1. Introduction
Fractional calculus, which is a generalization of classical calculus has a wide range in many scientific fields. Fractional order dynamical systems have information about their earlier and present stages to give more realistic information about the dynamical behavior. Therefore, the dynamical behaviors can be conceptualized and explore more accurately in the framework of the fractional derivatives. It is possible to define various integrals and fractional derivatives (non-local or local). Several types of fractional derivatives, with non-local properties have been introduced in the literature, among which we mention Riemann–Liouville, Grünwald–Letnikov, Riesz, Liouville–Caputo, modified Riemann–Liouville, Caputo–Fabrizio and Atangana–Baleanu [
1,
2].
The local operators are extended from the concept of traditional differentiation. For example, Khalil [
3] developed his own derivative which is known as a conformable derivative of order
. This operator has the classical properties of the ordinary calculus. Later, Katugampola [
4] proposed an alternative fractional derivative similar to the conformable derivative with classical properties, which refers to the Leibniz and Newton calculus. The same author in [
5], presented a fractional integral that unifies six fractional integrals: Riemann–Liouville, Hadamard, Erdlyi–Kober, Katugampola, Weyl and Liouville. In 2015, Atangana et al. [
6] investigated some properties of Khalil derivative and they introduced some definitions such as
q-derivative or fractal derivative. The same author in [
7], introduced the Atangana derivative which obeys all the properties satisfied by the Newtonian concept of derivative. Sousa and Oliveira [
8] described a derivative that involves the Mittag–Leffler function and it was named
M-derivative. More recently, the same authors in [
9] introduced a truncated
M-derivative, this operator unifies the four existing derivatives above mentioned except the Atangana derivative.
On the other hand, Baleanu et al. [
10] proposed a hybrid fractional operator which is expressed as a linear combination of Caputo derivative and the Riemann-Liouville integral. They substituted the classical derivative with the proportional derivative operator defined by Anderson and Ulness [
11]. Baleanu et al. found a connection between their operator and the Mittag-Leffler function when they solved differential equations. The aim for which they created this hybrid operator was creating a general operator that allows modeling real data from a range of processes and systems.
This motivation is one of two trends mentioned by Baleanu and Fernandez in [
12]. The other is the pure desire to generalize power functions and extend definitions covering different kernel functions. In these work, the authors suggest a classification by organizing fractional operators into classes having different types of properties. One of them, local and non-local operators.
Here, Riemann–Liouville derivative is considered non-local because it does not only depend on the behavior of a function but also on its behavior in a region. Therefore, this is often used in modeling physical processes with memory effects.
In this framework, the non-local (Liouville–Caputo, Caputo–Fabrizio and Atangana–Baleanu) derivatives and local operator based on the truncated M-derivative are considered to propose a generalized operator covering different kernel functions. Therefore, the main contributions of this research are:
Three order non-local M-fractional derivative with a power law, exponential decay and Mittag–Leffler function.
Numerical schemes based on Lagrange interpolation to predict chaotic behaviors of Rucklidge, Shimizu–Morioka and a hybrid strange attractor.
Numerical analysis based on 0–1 test and sensitive dependence on initial conditions to support chaos existence in the above mentioned chaotic attractor.
The paper is organized as follows. Basic definitions and notations of fractional-order derivative are given in
Section 2. In
Section 3, classical Rucklidge system and Shimizu–Morioka attractor are presented. In
Section 4 numerical schemes and chaos analysis for the chaotic attractor are shown. Finally, in
Section 5 the conclusions are summarized. The results obtained prove the applicability and validity of these new derivatives and open new investigations and applications in science and engineering.
2. Mathematical Preliminaries
Definition 1. The Liouville–Caputo operator is the convolution of the local derivative of a given function with a power-law kernel. This derivative of order is defined as follows: [1] Definition 2. The Caputo–Fabrizio derivative in Liouville–Caputo sense is obtained by replacing the kernel with the function and per in the definition (1), then the fractional derivative is defined as [13,14]where is a normalization function. Definition 3. Let . The fractional integral of order γ of a function f is defined in [14] asgiven that the above definition is an average between the function f and its integral of order 1, this implies then thatwhere, Definition 4. Let then, the Atangana–Baleanu fractional derivative in Liouville–Caputo sense is given as [2]where is a normalization function with the same properties as in Caputo–Fabrizio case. Definition 5. The fractional integral associate to the Atangana–Baleanu fractional derivative with non-local kernel is defined aswhen γ is zero we recover the initial function and if also γ is 1, we obtain the ordinary integral. Definition 6. Let and . For and , the local M-derivative of f of order α, denoted by , is defined as below [8] Definition 7. Let . For and a truncated M-fractional derivative of f of order α, denoted by , is defined as below [9] and is a truncated Mittag–Leffler function of one parameter defined by Equation (4) Some properties of this derivative are presented in the next theorem [
15].
Theorem 1. Let , and f, g α-differentiable at a point . Then
- 1.
.
- 2.
.
- 3.
.
- 4.
, where is a constant.
- 5.
(Chain rule) If f is differentiable, then .
Now, we present three novel operators involving the power law, exponential decay and the complete Mittag–Leffler memory in convolution with the truncated M-derivative.
Definition 8. Let continuous and M-differentiable on with order , then the M-fractional derivative of f in the Riemann–Liouville sense with order γ is defined as followswhere and is the truncated one parameter Mittag–Leffler function defined in Equation (4), . Definition 9. Let continuous and M-differentiable on with order , then the M-fractional derivative of f in the Caputo–Fabrizio–Riemann–Liouville sense with order γ is defined as followswhere is defined on property 5 and is defined in Equation (4), . Definition 10. Let continuous and M-differentiable on with order , then the M-fractional derivative of f in Atangana–Baleanu–Riemann–Liouville sense with order γ is defined as followswhere is defined on property 5 and is defined in Equation (4), . In the next section, we consider these novel fractional operators with three orders involving the truncated
M-derivative in convolution with the power-law, exponential decay law and Mittag–Leffler kernel given in Equations (
5)–(
7) to predict complex chaotic behaviors of Rucklidge, Shimizu–Morioka and hybrid strange attractors.
3. Rucklidge, Shimizu–Morioka and Hybrid Strange Attractors
3.1. Rucklidge Attractor
The Rucklidge system [
16] is described by using autonomous differential equations as follows
where
a,
k are unfolding real parameters; and
are the states. The system (
8) was obtained from [
17] by using partial differential equations with Galërkin method. Rucklidge model considers the 2D convection problem of Boussinesq fluid.
Figure 1 shows a numerical simulation for Equation (
8) with initial conditions:
,
,
; parameters of the system:
,
; simulation time
[s] and step size
.
3.2. Shimizu–Morioka Attractor
Shimizu and Morioka proposed in [
18], an algebraic system which exhibits Lorenz-like dynamics. This system is composed by a set of three non-linear differential equations given by
where
are the parameters of the system. For some
B values, the system above proposed displays a Hopf bifurcation (critical and supercritical). This system has two fixed points,
located at
and one more
located at the origin.
Figure 2 shows the numerical result for Equation (
9) with initial conditions:
,
,
; parameters of the system:
,
; simulation time
[s] and step size
.
3.3. Strange Hybrid Attractor
Sprott in [
19] proposed a three-dimensional time-reversible system with quadratic non-linearity and an unusual property that exhibits conservative behavior for some initial conditions and dissipative behavior for another. The conservative behavior has quasi-periodic orbits because the dissipative is chaotic. This strange attractor coexists with an infinite set of nested invariant tori in the state space and it is expressed by the following equations
Since the only possible solutions are quasi-periodic or chaotic, the system (
10) is bounded with no equilibrium points (stable or unstable).
The dynamic behavior for the strange hybrid attractor is shown in
Figure 3, with initial conditions:
,
,
; simulation time
[s] and step size
.
4. Numerical Schemes and Simulations for Chaotic Attractors
In this section, novel numerical schemes based on the scheme proposed by Toufik and Atangana [
20] are proposed to predict chaotic behaviors for the truncated
M-Rucklidge, truncated
M-Shimizu–Morioka and truncated
M-Strange hybrid fractional attractors in Liouville–Caputo, Caputo–Fabrizio and Atangana–Baleanu sense with three orders
.
4.1. Truncated M-Fractional Rucklidge Attractor with Three Orders and Power-Law, Exponential Decay Law and Mittag–Leffler Memories
Considering the truncated
M-derivative (
3), the time operators in Equation (
8) are generalized by the operator
, i.e.,
By using the property 5 in Theorem 1, the system given in Equation (
11) can be written as follows
The Rucklidge chaotic model given by Equation (
8) can be written as follows by using the novel fractional operators with power-law, exponential decay law and Mittag–Leffler kernel in convolution with the truncated
M-derivative given in Equations (
5)–(
7).
4.1.1. Numerical Scheme for Truncated M-Fractional Rucklidge Attractor in Liouville–Caputo Sense with Three Orders
Equation (
13) is converted to the Volterra type since the fractional integral is differentiable, then the Riemann–Liouville derivatives can be replace to Liouville–Caputo derivatives. By applying the Lotka–Volterra integral in both sides of Equation (
13), the following equations are obtained [
20]
At a given point
the above equations are reformulated
The functions
,
, and
can be approximated by using the Lagrangian piece-wise interpolation in the following manner
Finally, in
the following numerical scheme is presented
A detailed analysis of the error was shown by Toufik and Atangana in [
20].
4.1.2. Numerical Simulations
The numerical results shown in
Figure 4 and
Figure 5 were carried out by simulating the truncated
M-fractional Rucklidge attractor (
13) with
,
and
values arbitrarily chosen. Here, we can get the following cases:
Case 1. If in Equation (13), we obtain the truncated M-Rucklidge attractor (12). Figure 4a–f display the numerical approximation for the truncated M-Rucklidge attractor (12) considering the numerical scheme given in Equation (16). The Rucklidge attractor of Khalil’s type is recovered when and , see Figure 4a,b. When and , the M-attractor is showed in Figure 4c,d. The behavior of the truncated M-Rucklidge attractor given by Equation (12) is obtained when and , see Figure 4e,f.
Case 2. Now, considering Equation (13), the Rucklidge attractor of Khalil’s type is recovered when , , and , see Figure 5a. If , the Katugampola derivative [4] is obtained, since the generalized derivative proposed by Sousa [8] is obtained when , and . The Rucklidge attractor involving the M-derivative is shown in Figure 5b. This behavior is obtained when , and . The Liouville–Caputo fractional Rucklidge attractor numerical approximation is displayed in Figure 5c with , and . By choosing , and , the truncated M-Rucklidge attractor numerical approximation is showed in Figure 5d.
Finally, to carry out the numerical results depicted in Figure 6, the parameters , and were set to show interesting behaviors. These numerical simulations correspond to the truncated M-fractional Rucklidge attractor in Liouville–Caputo sense with three orders. In these results one can see denser inner rolls in contrast with the classical Rucklidge attractor showed in Figure 1. The above simulation results were developed for and ; step size and simulation time [s], with initial conditions and different values of α, β and γ arbitrarily chosen.
4.1.3. Numerical Scheme for Truncated M-Fractional Rucklidge Attractor in Caputo–Fabrizio Sense with Three Orders
The system (
13) can be written by applying the Caputo–Fabrizio integral in both sides of these equations
Reformulating the above-mentioned equations at a given point
with
, we have [
20]
Approximating by the Lagrangian piece-wise interpolation, yields
In the interval
, we obtain the following numerical scheme
A detailed analysis of the error was shown by Toufik and Atangana in [
20].
4.1.4. Numerical Simulations
In the same way, the truncated
M-fractional Rucklidge attractor (
14) in Caputo–Fabrizio sense was approximated by the numerical scheme given in Equation (
17). The parameters
,
and
were setting to depict interesting behaviors in
Figure 7. In these results, one can see that the states tend to go towards the inner roll in contrast with the truncated
M-fractional Rucklidge attractor in the Liouville–Caputo sense.
The above approximations were carried out with and ; step size and simulation time [s], with initial conditions by using the parameters , and arbitrarily chosen.
4.1.5. Numerical Scheme for Truncated M-Fractional Rucklidge Attractor in Atangana–Baleanu Sense with Three Orders
Applying the Atangana–Baleanu integral (
2) in both sides of Equation (
15), we get
In order to use
, the following expressions are gotten [
20]
Approximating the integrals by using the Lagrangian piece-wise interpolation, the above equations are expressed as
Finally, approximating
,
and
in
, the following numerical scheme is obtained
A detailed analysis of the error was shown by Toufik and Atangana in [
20].
4.1.6. Numerical Simulations
The numerical simulations given in
Figure 8, shown new behaviors for the truncated
M-fractional Rucklidge attractor with Mittag–Leffler memory considering
,
and
. These behaviors depict attractor Rucklidge-like without an inner double roll.
All simulations referred above were developed for and ; step size and simulation time [s], with initial conditions by considering different cases of , and arbitrarily chosen.
4.1.7. Chaos Analysis
The 0-1 test is a chaos analysis which provides a 2-dimensional system. This system, from
for
, is given as
where
c is fixed as
.
For a continuous time system, the 2-dimensional mean square displacement is given as follows
where the growth rate is defined as
If
then it means that the system is regular, on the other hand, the system is chaotic if
[
21].
Here, Equation (
19) is approximated by a time series sampled with a sampled time
This test is applied with
in order to analyze the present chaos in the
M-Rucklidge attractor.
Table 1 shows the growth rates by using the operators given by Equations (
13)–(
15). In general, one can conclude that the dynamic in each state is chaotic.
Figure 9 depicts typical plots of
p and
q for chaotic dynamics. This figure illustrates a strong chaotic dynamic in state
x for
M-fractional Rucklidge attractor in Caputo–Fabrizio and Atangana–Baleanu sense. In addition, contrasting behaviors of the variables
p and
q is shown.
4.2. Truncated M-Fractional-Shimizu–Morioka Attractor with Three Orders and Mittag–Leffler Memory
Considering Equation (
7), the Shimizu–Morioka system (
9) is written as follows
based on the numerical scheme formulated in Equation (
18), we get
The numerical results shown in
Figure 10 and
Figure 11 were carried out by simulating the truncated
M-fractional Shimizu–Morioka attractor with Mitagg-Leffler memory (
21) with
,
and
values arbitrarily chosen.
If
in Equation (
21), we get the truncated
M-Rucklidge attractor.
Figure 10a–f display the numerical approximation for the truncated
M-Shimizu–Morioka attractor considering the numerical scheme shown in Equation (
22).
The Shimizu–Morioka attractor of Khalil’s type is recovered when
and
, see
Figure 10a,b.
When
and
, the
M-derivative Shimizu–Morioka attractor is showed in
Figure 10c,d.
The behavior of the truncated
M-Shimizu–Morioka attractor is obtained when
and
, see
Figure 10e,f.
By setting
and
; with initial conditions
,
,
, step size
and simulation time
[s] numerical simulations for the truncated
M-fractional Shimizu–Morioka attractor (
21) of order
,
and
are presented in
Figure 11. Although inner rolls are not present, symmetry still remains. This is because the Mittag–Leffler function present in the Atangana–Baleanu formulation describes the memory effect better than other fractional operators.
Chaos Analysis
In the same way,
M-fractional Shimizu–Morioka attractor in Atangana–Baleanu sense (
21) is analyzed by using the 2-dimensional mean square displacement approximation (
20) to verify the existence of chaos. According to the results shown in
Table 2, the chaos existence is strongly present in states
and
. It can be seen in
Figure 12.
4.3. Truncated M-Fractional Strange Hybrid Attractor with Three Orders and Mittag–Leffler Memory
Each state of the model (
10) is generalized by using the truncated
M-fractional operator in Atangana–Baleanu sense (
7). In this example, we consider the incommensurate strange hybrid attractor with nine non-integer orders to generate novel behaviors with different dynamics. As particular cases, each state would have the derivative of Khalil [
3], Katugampola [
4], Sousa and Oliveira [
8], the fractional derivative of Atangana–Baleanu [
2] or a combination of them. The incommensurate truncated
M-fractional strange hybrid attractor is given by
The numerical approximation of the strange hybrid model given by Equation (
23) derives from the numerical scheme developed in Equation (18) and it is expressed as follows
where,
Now, we consider several numerical simulations choosing arbitrarily values for the parameters , and as follows:
- Case 1.
Choosing
,
,
for the state
x;
,
,
for the state
y; and
,
,
for the state
z;
Figure 13a shows interesting behavior for the truncated
M-fractional strange hybrid attractor in Atangana–Baleanu sense.
- Case 2.
Choosing
,
,
for the first state
x;
,
,
for the second state
y; and
,
,
for the third state
z;
Figure 13b shows interesting behavior for the truncated
M-fractional strange hybrid attractor in Atangana–Baleanu sense.
- Case 3.
Setting
,
,
for the first state;
,
,
for the second state; and
,
,
for the last state; the truncated
M-fractional strange hybrid attractor exhibits complex dynamics involving the Mittag–Leffler memory and the local
M-derivative, see
Figure 13c.
- Case 4.
Considering for the state
x the orders
,
,
; the values
,
,
for the state
y; and
,
,
for
z;
Figure 13d depicts complex dynamics for the truncated
M-fractional strange hybrid attractor in Atangana–Baleanu sense.
- Case 5.
Next, to get the simulation shown in
Figure 13e, in the state
x was choosing
,
,
; for the state
y,
,
; and the values
,
,
in the state
z.
- Case 6.
The following parameters, randomly chosen, were set on the system (
23):
,
and
for the first state;
,
and
for the second; and
,
,
for the third state. Here, the inner scroll still remains because the external dynamics depict an attractor strange-like with quasi-periodic orbits. It can be see in
Figure 13f.
The simulations shown in
Figure 13, were developed by setting the initial conditions
,
and
; a step size of
and a simulation time of
[s].
Chaos Analysis
In this part, a 0–1 test was carried out for the incommensurate M-fractional Strange attractor. This system was setting with a combination of earlier attractor orders for the cases 1, 2 until 5. In addition, six random orders were chosen for the case 6.
Table 3 shows growth rates for each incommensurate system, whereas
Figure 14 and
Figure 15, depict contrasting behaviors of the variables
p and
q. According to growth rates, one can see the presence of chaos in whole system due to
.
On the other hand, sensitive dependence on initial conditions is one of the main components of chaos theory [
22]. To carry out this analysis, we use the direct method [
23]. This test consists of simulating a chaotic attractor with the same parameters, orders and trajectories very close to each other obtaining the difference between those trajectories. If the differences separate exponentially then the system is sensitive to initial conditions, in consequence, the system is chaotic.
In order to show the difficulty to predict behaviors in M-fractional Strange attractor, we perform a sensitivity test to initial conditions through the direct method. To do this, we set the numerical simulations as follows: the first trajectory with: and the second: for the Cases 1, 2, 3 until 6.
Figure 16,
Figure 17 and
Figure 18 show the difference between the above mentioned trajectories for the states
and
z, respectively. According to these numerical results, one can conclude that the three non-integer orders involving the novel
M-derivative difficult the prediction of behaviors.
5. Conclusions
In this work, truncated M-fractional derivatives with three orders were suggested by using the truncated M-derivative and fractional operators with power-law, exponential decay and Mittag–Leffler kernel. These derivatives recover behaviors such as: Khalil conformable derivative, the M-derivative, alternative fractional derivative, generalized alternative fractional derivative, fractional derivatives of Liouville–Caputo, Caputo–Fabrizio and Atangana–Baleanu type or a combination of them with varying the orders , and , two for the truncated M-derivative and one of the fractional term related to power-law, exponential decay kernel or Mittag–Leffler function. These operators can describe memory, non-locality, elasticity and fractal effects at the same time.
Numerical results for three different attractors have been displayed to show the generalization of the proposed derivatives. The first attractor is concerned with the Rucklidge attractor with a power law, exponential decay law and Mittag–Leffler kernel. The second one considered the Shimizu–Morioka attractor with Mittag–Leffler memory and the last one example considered the incommensurate fractional hybrid strange attractor with orders , and involving the generalized Mittag–Leffler function. For each derivative, we provided numerical schemes easy to carry out based on Lagrange interpolation. The numerical simulations showed complex dynamics and new attractor which proves that these new truncated M-ractional derivatives with memory can capture more complexities than other fractional operators, local or non-local. In the results obtained, one can see that all behaviors of the particular derivatives (conformable derivative of Khalil type, M-derivative, alternative fractional derivative, generalized alternative fractional derivative, or fractional derivatives of the Liouville–Caputo, Caputo–Fabrizio and Atangana–Baleanu type) are recovered.
Additionally, 0-1 test and sensitive dependence on initial conditions were considered to verify the existence of chaos in the above mentioned chaotic attractor. These tests, as well as the numerical simulations, were carried out by using MATLAB R2017a on a computer with the following features: AMD A12-9720P processor @2.7GHz, 8GB RAM under GNU Arch Linux with KDE Plasma 5.18.3.
We believe that these novels truncated M-fractional derivatives with three orders and power, exponential and strong Mittag–Leffler memories can be applied to various kinds of real-world problems and applications in many fields.