The author Adel Ouannas was supported by the Directorate General for Scientific Research and Technological Development of Algeria. The author Shaher Momani was supported by Ajman University in UAE.
Abstract
This paper studies the dynamics of a new fractional-order discrete system based on the Caputo-like difference operator. This is the first study to explore a three-dimensional fractional-order discrete chaotic system without equilibrium. Through phase portrait, bifurcation diagrams, and largest Lyapunov exponents, it is shown that the proposed fractional-order discrete system exhibits a range of different dynamical behaviors. Also, different tests are used to confirm the existence of chaos, such as 0–1 test and C0 complexity. In addition, the quantification of the level of chaos in the new fractional-order discrete system is measured by the approximate entropy technique. Furthermore, based on the fractional linearization method, a one-dimensional controller to stabilize the new system is proposed. Numerical results are presented to validate the findings of the paper.
Throughout the years, interest grew about chaos in discrete dynamical systems and a large number of discrete chaotic systems were proposed.[1–6] Discrete chaos has been shown to provide accurate modeling of numerous natural physical phenomena in the fields of biology, chemistry, and physics.[7] The control and synchronization of such systems also known as maps have been widely investigated.[8–11]
In the chaos literature, there is an active interest in the study of chaotic systems without equilibrium points due to its importance in engineering application. The attractors associated with these systems are called hidden attractors. Such attractors are namely observed in the nonlinear system with no equilibrium point, infinite equilibrium, or with only one stable equilibrium, where their basin of attraction does not intersect with the neighborhoods of the equilibrium.[12,13] Recently, many research works with respect to continuous chaotic systems with hidden attractors have been published.[14,15] Those works have demonstrated that such systems can be applied in different engineering fields, such as aircraft control systems. Compared with the continues-time system with hidden attractors, the fractional-order discrete counterpart is relatively new. There are only a few investigations of hidden attractors in discrete chaotic systems.[16–18]
In recent years, discrete fractional calculus has received considerable attention. A few researchers have attempted to develop a theoretical framework for fractional calculus on time scale.[19–23] Recently, researchers have diverted their attention to discrete chaotic systems with fractional order. Some conventional discrete chaotic systems have been extended to the fractional case using discrete fractional calculus.[24–30] From what has been reported, the fractional-order discrete systems are sensitive to variation in the fractional order in addition to their natural sensitivity to variation in the initial condition and parameter.
In the current paper, we consider a new fractional-order discrete system without equilibrium and focus on the study of the effect of the fractional order on the dynamic behaviors of this new system. Bifurcations and chaos properties are obtained through the largest Lyapunov exponents, 0–1 test, C0 algorithm, and entropy. The remainder of this paper is organized as follows. In Section 2, the basic notions related to discrete fractional calculus are introduced. Section 3 presents the new fractional-order discrete system. In Section 4, the complex dynamics of the proposed fractional-order discrete system are investigated numerically by varying the fractional order, initial conditions, and bifurcation parameters. In Section 5, chaos and complexity of the new system are confirmed by using 0–1 test, C0 complexity, and entropy. Section 6 proposes an active control scheme to stabilize the states of the fractional-order discrete system. Section 7 contains the conclusion.
2. Theoretical background
In this section, we recall some basic concepts of discrete fractional calculus and stability result that will aid the reader in understanding the analysis in the manuscript. We shall use the time scale Na = {a,a + 1,a + 2, …}, where .
3. Description of the new fractional-order discrete system
A new fractional-order discrete system is reported in this paper, and is described by a set of three-dimensional fractional-order difference equation as follows:
where a is the starting point, 0 < ν < 1 is the fractional order, x,y,z are the state variables, and a1, a2, a3, a4 are the bifurcation parameters. The equilibrium points of the fractional-order discrete system (9) are found by solving the following system of equation:
From Eq. (10), we have the simplified form
The aim is to demonstrate that the fractional-order discrete system (9) can generate hidden chaotic attractors, for that we only need to determine the cases in which equation (11) has no solution. In particular, when −a1 + a2 + a3 ≠ 0 and 1 < 4a4 (−a1+ a2 + a3), equation (11) has no solution, which means that the system (9) has no equilibrium. We must therefore impose the condition (11) on the system parameters ai in order to obtain the hidden attractors.
To continue with our analysis, we need to define the numerical formula of the system (9). Using Theorem 1, the state solution of the fractional-order discrete system (9) can be obtained as follows:
By replacing the discrete kernel function by and assuming that a = 0, the above equation is converted to
where x(0),y(0), and z(0) are the initial conditions. For the system parameters choice a1 = 1, a2 = 0.7, a3 = 1, a4 = 0.7, initial conditions x(0) = 1.5, y(0) = 2.84, z(0) = −1.2, and fractional order ν = 0.998, system (9) can display a hidden attractor as exhibited in Fig. 1. More basic characteristics of this fractional-order discrete system will be given in the following section.
Fig. 1. The hidden chaotic attractor of the fractional-order discrete system for ν = 0.998.
4. Bifurcation diagrams and largest Lyapunov exponents
In this section, the bifurcation diagrams, largest Lyapunov exponent, and phase portraits are used to analyze the dynamic behavior of the fractional-order discrete system (9). Firstly, we investigate the bifurcation diagrams of the fractional-order discrete system (9) as the system parameter a1 is varied when the other parameters are taken as a2 = 0.7, a3 = 1, a4 = 0.7. The bifurcation diagrams are obtained by plotting the local maxima of the state x(n) in term of system parameter a1 for three different values of ν as shown in Fig. 2. By comparing Fig. 2(a) with Figs. 2(b) and 2(c), we find that the interval in which chaos exists shrinks as ν decreases. In particular, when ν decreases from 0.9935 to 0.9434, the area of chaotic motion shrinks from [1,1.008]∪[1.66,1.267]∪[1.045,1.196] to [1.022,1.116]∪[1.164,1.216]. When the parameters are assigned as a1 = 1, a2 = 0. 7, a4 = 0. 7, the bifurcation diagrams with a3 varying are shown in Fig. 3. From this diagram, it can be seen that the bifurcation structure is apparently the same. When ν reduces to 0.9434, the fractional-order discrete system (9) becomes totally periodic in the interval [1,1.141]. Next, the dynamic behavior of the fractional-order discrete system (9) with parameter a4 varied is studied in Figs. 4(a) and 5(a). It can be seen that the states of system (9) change qualitatively with the variation of order ν and parameter a4. The bifurcation diagram of the fractional-order discrete system (10) with ν = 0.9935 is plotted in Fig. 4(a). As can be seen, when 0.87 ≤ ν ≤ 0.8, system (9) exhibits chaotic behavior. A series of period windows occur in the region (0.7,0.8) as ν reduces to 0.9434 (see Fig. 5(a)). Although bifurcation plots are a useful tool in determining the existence of chaos and quantifying it, the most agreed upon tool is Lyapunov exponents. The largest Lyapunov exponents of this new fractional-order discrete system are calculated by the Jacobian matrix algorithm.[33] Figures 4(b) and 5(b) show the estimated largest Lyapunov exponents for ν = 0.9935, a4 = 0.7 and for ν = 0.9434, a4 = 0.7, respectively. Obviously, when we select ν = 0.9935, the corresponding largest Lyapunov exponent is positive, which implies that system (9) is in chaotic state. And when the fractional order is set to ν = 0.9434, the largest Lyapunov exponent is zero, which implies that system (9) is in periodic state.
Fig. 4. (a) Bifurcation diagrams of the fractional-order discrete system (9) versus a4 for ν = 0.9935. (b) The estimated largest Lyapunov exponent of the fractional-order discrete system for ν = 0.9935 and a4 = 0.7.
Fig. 5. (a) Bifurcation diagrams of the fractional-order discrete system (9) versus a4 for ν = 0.9434. (b) The estimated largest Lyapunov exponent of the fractional-order discrete system for ν = 0.9434 and a4 = 0.7.
In order to observe the influence of the fractional order ν on the dynamic of the fractional-order discrete system, we fix the system parameters a1 = 1, a2 = 0.7, a3 = 1, a4 = 0.7, and vary ν in the interval [0.8,1]. Figure 6 shows that the fractional-order discrete system displays limit cycles, periodic and chaotic motions with the variation of order ν. In particular, we find that when 0 ≤ ν ≤ 0.81, the system diverges to infinity. When ν ∈ [0.9153,0.9339]∪[0.9429,0.9726]∪[0.9883,1], the largest Lyapunov exponent changes its value quickly between negative and positive, which implies that there are periodic windows in the chaotic region. When ν is decreased from 0.915, the fractional-order discrete system converges to a periodic orbit. When ν ∈ [0.8211,0.8467], the system has more complex hidden chaotic attractors as its largest Lyapunov exponent takes the highest values. The phase portraits in the x–y plane for different values of order ν are shown in Fig. 7.
Fig. 7. Phase portraits of the fractional-order discrete system (9): (a) periodic orbit for ν = 0.9996, (b) chaotic hidden attractor for ν = 0.9935, (c) periodic attractor for ν = 0.9434, (d) two limit cycles for ν = 0.9177, (e) periodic orbit for ν = 0.895, (f) hidden chaotic attractor for ν = 0.84.
5. The 0–1 test and complexity
5.1. The 0–1 test
Another method to validate the existence of chaos in the fractional-order discrete system is the 0–1 test method.[34] The 0–1 test method for chaos is a binary test that reveals chaotic behavior in nonlinear systems, where the input is a series of data and the output is 0 or 1 depending on whether the dynamic is chaotic or non chaotic. We briefly review the steps of the test algorithm. First, we consider the state x(j) of the system (9). Then, we define the translation components p and q as follows:
where c in an arbitrary constant in the rang (0,2π). Here, the dynamics of the components p–q provides a visual test. Basically, if the dynamic of the system is regular, then the behavior of trajectories in the p–q plane is bounded, whereas if the dynamic is chaotic, then the p–q trajectories show Brownian like behavior. Next, we define the mean square displacement Mc(n) as
Finally, we define the asymptotic growth rate K as
Now, we apply the 0–1 test to the discrete series data x(n) for different values of ν where the system parameters are assigned as a1 = 1, a2 = 0.7, a3 = 1, a4 = 0.7. The translation components p–q of the fractional-order discrete system (9) are calculated and illustrated in Fig. 8. In particular, when ν = 0.9996, ν = 0.9434, ν = 0.895 and ν = 0.9177, the trajectories in the p–q plane show bounded behavior, system (9) is in periodic state. When ν is set to ν = 0.9935 and ν = 0.84, the trajectories in the p–q plane show unbounded trajectories, system (9) is chaotic, which confirms very well the results in Fig. 8.
Fig. 8. The 0–1 test of the fractional-order discrete system (9): (a) ν = 0.9996, (b) ν = 0.9935, (c) ν = 0.9434, (d) ν = 0.9177, (e) ν = 0.895, (f) ν = 0.84.
5.2. The C0 complexity
In order to observe the effect of fractional order ν on the dynamic properties of the fractional-order discrete system (9), we measure the complexity of the new system using C0 algorithm.[35] Suppose that {x(j); j = 0,1,…, N − 1} is a series of data and
is the corresponding Fourier transformation. The mean square value of ψN can be written as
Next, import a parameter r and keep all the amplitude spectra components unchanged if their square is larger than rGN. Otherwise, replace all the parts that are equal to or less than rGN with zero, as follows:
Then, define the inverse Fourier transformation of as
Finally, the C0 complexity is given by
Fixing system parameters to a1 = 1, a2 = 0.7, a3 = 1, a4 = 0.7 and ν ∈ [0.8,1], the result of C0 complexity is plotted in Fig. 9. We notice that the complexity of the fractional-order discrete system increases when ν passes to the range [0.8211,0.8467], which agrees well with the result in Fig. 7.
Fig. 9. The C0 complexity of the fractional-order discrete system (9) versus ν with a1 = 1, a2 = 0.7, a3 = 1, and a4 = 0.7.
5.3. Approximate entropy
The complexity of the fractional-order discrete system (9) can be described by employing approximate entropy (ApEn),[36,37] which is briefly described as follow. Consider a set of discrete data x(1), x(2),…,x(n), define n − m + 1 vectors as follows:
These vectors represent m consecutive x values starting with the i-th data. With tolerance r and for each i ∈ [1,n − m + 1], define the following equation:
where K is the number of X(i) having d(X(i),X(j))≤ r. In this case, d(X(i),X(j)) denote the maximum absolute difference between X(i) and X(j). We define the approximate entropy by
where ϕm(r) is considered as
Figure 10 shows the ApEn of the proposed fractional-order discrete system (9) for different fractional order values when a1 = 1, a2 = 0.7, a3 = 1, a4 = 0.7. As one can see, the complexity of the fractional- order discrete system (9) varies as we vary ν. When ν ∈ [0.8211,0.8467], the system (9) is more complex. Therefore, we must be aware of the selected fractional order in order to have a relatively high structural complexity.
Fig. 10. Approximate entropy of the fractional-order discrete system (9) versus ν with a1 = 1, a2 = 0.7, a3 = 1, and a4 = 0.7.
6. Chaos control
In this section, we present a control law to stabilize the states of the fractional-order discrete chaotic system (9). Moreover, the control law will force the states of the map (9) to zero in sufficient time.
To illustrate the result given in Theorem 3, we display the evolution after control of the chaotic states of system (9) when a = 0, (a1, a2, a3, a4) = (1, 0.7, 1, 0.7), initial conditions x0 = 1.5, y0 = 2.84, z0 = −1.2, and ν = 0.84 in Fig. 11. From Fig. 11, it is easily observed that the evolution of the system states converges, and so the control law given in Eq. (29) stabilizes the new fractional-order discrete chaotic system.
Fig. 11. The states and phase space of the controlled system (9).
7. Conclusion
A fractional-order discrete system without equilibrium, which exhibits rich dynamics and hidden chaotic attractors, was examined in this work. The proposed fractional-order discrete system has constructed based on the Caputo-like difference operator with no equilibrium. There are some important concluding remarks to indicate here.
First, based on the fractional difference order, we have shown that varying the fractional order impacts the parameter interval over which chaos is observed, as well as the shape of the resulting attractors. The 0–1 test and C0 complexity have confirmed the results found by the phase-space portraits and bifurcation diagrams. We have also quantified the level of chaos present in the proposed map by means of the approximate entropy measure. Second, the suggested stabilization controller can impose the fractional-order discrete system states to approach to zero asymptotically. Third, the executed numerical simulations have supported the dynamics, complexity, and control results. Furthermore, many applications of such fractional maps are expected to appear in the near future.
In future works, we will aim to define new chaotic discrete systems using fractal derivative with fractional kernel functions. This new derivative will be more suitable for modeling real world phenomena. Preliminary idea concerning this issue can be found in Refs. [38–41].