Amina-Aicha Khennaoui1, Adel Ouannas2, Samir Bendoukha3, Xiong Wang4, Viet-Thanh Pham5. 1. Department of Mathematics and Computer Sciences, University of Larbi Ben M'hidi, Oum El Bouaghi 04000, Algeria. 2. Department of Mathematics and Computer Science, University of Larbi Tebessi, Tebessa 12002, Algeria. 3. Electrical Engineering Department, College of Engineering at Yanbu, Taibah University, Medina 42353, Saudi Arabia. 4. Institute for Advanced Study, Shenzhen University, Shenzhen 518060, China. 5. Modeling Evolutionary Algorithms Simulation and Artificial Intelligence, Faculty of Electrical & Electronics Engineering, Ton Duc Thang University, Ho Chi Minh City, Vietnam.
Abstract
In this paper, we propose a fractional map based on the integer-order unified map. The chaotic behavior of the proposed map is analyzed by means of bifurcations plots, and experimental bounds are placed on the parameters and fractional order. Different control laws are proposed to force the states to zero asymptotically and to achieve the complete synchronization of a pair of fractional unified maps with identical or nonidentical parameters. Numerical results are used throughout the paper to illustrate the findings.
In this paper, we propose a fractional map based on the integer-order unified map. The chaotic behavior of the proposed map is analyzed by means of bifurcations plots, and experimental bounds are placed on the parameters and fractional order. Different control laws are proposed to force the states to zero asymptotically and to achieve the complete synchronization of a pair of fractional unified maps with identical or nonidentical parameters. Numerical results are used throughout the paper to illustrate the findings.
Chaotic dynamical systems have attracted a considerable level of attention over the last three decades due to the wide range of applications. Chaotic systems can be divided into two main categories: continuous-time and discrete-time. In this paper, we are interested in discrete-time chaotic systems, which are also referred to as chaotic maps. Over the years, a number of different chaotic maps have been proposed in the literature and applied in different fields including the Henon map [1], the Lozi system [2], the generalized Henon map [3], the Baier–Klein system [4], the Stefanski map [5], the Rössler map [6] and the Wang map [7]. Since the Henon and Lozi maps are the earliest discrete-time chaotic systems, they have been studied extensively by a vast number of researchers. One of the interesting studies is that of Zeraoulia and Sprott [8], where the authors proposed a new chaotic map as a combination of the the Henon and Lozi maps named the unified map. In this unified map, they included a parameter that can be varied between zero and one to alter the dynamics of the map with one end of the spectrum belonging to the Henon map and the other to the Lozi map. A summary of the unified map’s bifurcation and dynamics will be presented later on in Section 2.1.The general idea of a fractional derivative for a continuous-time real function can be attributed to Gottfried Leibniz in a letter he wrote back in 1695. The proper definition of such a derivative, however, was not formulated until the late 19th Century as a result of the collective works of Liouville, Grunwald, Letnikov and Riemann. Fractional calculus has since been shown to be useful in the fields of capacitor theory, electrical circuits, chemistry, viscoelasticity, neurology, diffusion, control theory and statistics [9]. As for discrete-time functions, the first definition of a fractional difference operator was made by Diaz and Olser in 1974 [10]. The interesting thing about this operator is that it is a generalization of the binomial formula for the n-th difference operator by means of the Gamma function. The vast majority of literature related to fractional discrete calculus was published in the last decade including [11,12,13,14,15].In recent years, since fractional discrete calculus became a subject of interest [15], focus has shifted towards fractional-order chaotic maps. To date, only a small number of fractional maps have been proposed in the literature [16,17,18,19], which has motivated the research presented in this paper. It is reported that these fractional chaotic maps have superior characteristics over their integer counterparts. In [19], the authors point out that the chaotic patterns exhibited by the fractional generalized Henon map depend on the fractional order. This means that the fractional map is more suitable for secure communications and encryption, as it includes a new degree of freedom. These added degrees of freedom can also be used in catching the hidden aspects of real-world phenomena encountered in ecology [18]. The author of [17] concluded that fractional maps have simpler forms, but hold richer dynamical behaviors than their integer counterparts.In our study, we examine the fractional map corresponding to the unified discrete-time system and study its dynamics and control. Generally, when we talk about chaotic systems, we are interested in their control and synchronization. Control aims to adaptively force the chaotic states to a steady state, usually zero, [20,21], whereas synchronization is concerned with forcing a slave system to follow the same trajectory of a master with different initial conditions [22,23,24,25,26,27,28,29,30,31,32]. To the best of our knowledge, very few studies have been dedicated to the control and synchronization of fractional-order chaotic maps, including [33,34,35].
2. Results
Since the subject of fractional discrete calculus is still relatively new and the notation has not yet been settled, we start with a general description of the notation and stability results that will aid the reader in understanding the analysis to come. We note that similar to continuous-time fractional calculus, where numerous definitions exist for the fractional derivative of a function, the Caputo one is the most used today. Throughout this paper, the notation is employed to denote the -Caputo type delta difference of a function with [12] defined as:
where is the fractional order, , and . In (11), the -th fractional sum of is defined similar to [11] as:
with , . The term denotes the falling function defined in terms of the Gamma function as:The following two theorems describe the numerical formula for a fractional discrete map, as well as the fractional discrete direct Lyapunov method, respectively. In order to use Theorem 2 later on, we will require the inequality described by Lemma 1 below.[
the equivalent discrete integral equation can be obtained as:
where:[
then the trivial solution of the system is asymptotically stable.[The following subsections describe the main findings of our study. Section 2.1 describes the signal model of the proposed fractional unified map and investigates its entropy and chaotic dynamics by means of phase portraits and bifurcation plots. Section 2.2 and Section 2.3 describe the proposed stabilization and synchronization schemes.
2.1. Chaos in the Fractional-Order Unified Map
In [8], Zeraoulia and Sprott proposed a new unified piecewise chaotic map:
where the bifurcation parameter is in the range and function is defined as:The importance of this unified map stems from the fact that setting to zero yields the classical Hénon map depicted in Figure 1a and given by:
Figure 1
(a) The original Henon chaotic attractor obtained from the unified chaotic map for . (b) The original Lozi chaotic attractor obtained from the unified chaotic map for .
On the other hand, when , we end up with the classical Lozi map depicted in Figure 1b and defined as:What is more interesting is that they demonstrated how the system exhibits a chaotic behavior for . Figure 2 shows the bifurcation diagram with the critical parameter being changed in steps of . System (9) may be rewritten in the form:
Figure 2
The bifurcation diagram of the unified chaotic map with the critical parameter being changed in steps of .
Then, using the discrete fractional calculus described in the previous section, we may define the fractional unified map as:
for , where and are the Caputo-like delta differences of states and , respectively, and is the fractional order.Following Theorem 2, using the discrete kernel function:
and assuming that , the numerical formulas for the fractional map (14) may be obtained as:In [8], it was reported that while the bifurcation parameter is close to zero, the function defined in (10) behaves similar to the term . and when is close to one it behaves similar to the absolute function . Since the values and belong to the fractional Hénon and Lozi maps, which have been studied previously in the literature, we choose to ignore them and investigated the numerical Formula (16) over the range . Considering the values and , Figure 3 depicts the phase space for and with initial conditions . The states of the fractional map for 100 points are displayed in Figure 4 and Figure 5. Observe that in this case, the fractional map (14) refers to the classical map.
Figure 3
(a) A chaotic attractor obtained from the unified chaotic map for . (b) A chaotic attractor obtained from the unified chaotic map for .
Figure 4
Time evolution of the states for the fractional the unified chaotic map for and .
Figure 5
Time evolution of the states for the fractional unified chaotic map for and .
With the same parameters and the same initial condition, using numerical Formula (16), the fractional map is shown in Figure 6 for different fractional orders . As decreases, the phase plane of the fractional maps changes its shape until it completely disappears. For , the minimum fractional order that produced a bounded attractor is . On the other hand, when , we see that we obtain a bounded attractor as far as .
Figure 6
Phase portraits of the fractional unified map for: (a) and (b) with different fractional orders.
The “approximate entropy” was proposed by Pincus to present the complexity of time series [37,38]. Approximate entropy measurement is helpful and applied to discover different chaotic systems [39,40]. The brief computation of the approximate entropy is presented as follows. By selecting a sequence of N data samples , a sequence of vectors is constructed:
in which m is the embedding dimension. The distance between the vector and the vector is . It is noted that we choose the following threshold [37,38]:
where std denotes the standard deviation of the data s. As a result, we can calculate the number of vectors (K) having distance [37,38]. The approximate entropy is:
in which is given by:
and is defined by:We have calculated the approximate entropy (ApEn) for the fractional-order unified map, and the results are reported in Table 1. For , the complexity of the fractional-order unified map is reduced when the value of is decreased to 0.88. For , when reducing the value of from to , the complexity of the map varies. The results display the changes of the phase portraits in Figure 6.
Table 1
Approximate entropy calculation of the fractional-order unified map for different fractional orders.
α
υ
ApEn
α
υ
ApEn
0.2
0.98
0.4037
0.8
0.98
0.2451
0.2
0.95
0.4511
0.8
0.95
0.2571
0.2
0.90
0.4407
0.8
0.90
0.2304
0.2
0.88
0.0981
0.8
0.88
0.2530
To investigate the chaotic behavior of the fractional map, we study the bifurcation of the parameter with the step size . Figure 7 illustrates the results. The figure demonstrates clearly the chaotic behavior of the fractional map. When , chaos is observed in the interval . A decrease in the fractional order leads to a decrease in the interval, where chaos is apparent. As shown in Figure 8, for , chaos is seen in the interval . A better understanding of the route to chaos can be seen in Figure 9, where the range of is increased to . However, for , a border-collision bifurcation scenario is observed. The map begins with a fully-developed chaotic regime, and increasing leads to the disappearance of the chaotic band and the appearance of a four-period orbit. Experiments have also shown that even with fractional orders less than one, the fractional map still behaves in a similar manner to the standard case with the one exception that the chaotic interval varies with .
Figure 7
The bifurcation diagram of the unified chaotic map with as the critical parameter for and
Figure 8
The bifurcation diagram of the fractional unified chaotic map for with as the critical parameter.
Figure 9
Bifurcation diagram of the fractional unified chaotic map for with .
2.2. Control of the Fractional-Order Unified Map
In this section, we are interested in a one-dimensional adaptive control law that forces the states of the proposed two-dimensional fractional unified system to zero asymptotically. Chaos control is an important subject, particularly in engineering, as it may have applications in stabilizing a chaotic dynamical system, e.g., a two degree of freedom robot arm.The 2D fractional-order unified chaotic map can be controlled under the 1D control law:The controlled fractional-order unified chaotic map can be described as follows:Substituting the proposed control law (22) in (23) leads to the new dynamics:Since the aim of the control law (22) is to force the two states towards zero asymptotically, what we want to do is to show that the zero solution of this resulting controlled system dynamics is globally asymptotically stable. In order to do so, we employ the fractional discrete Lyapunov method described in Theorem 2. We propose the Lyapunov function:
leading to:Using the inequality of Lemma 1, we see that:Therefore, by Theorem 2, we conclude that the zero solution of System (23) is in fact globally asymptotically stable, and thus, the fractional unified map is controlled. ☐In order to put Theorem 3 to the test, a MATLAB script was run taking and and following the time evolution of the states of (23). The result in Figure 10 clearly shows how the states progress towards zero.
Figure 10
Time evolution of the controlled states of the fractional unified map with , and .
2.3. Synchronization
Perhaps synchronization is the most interesting aspect of chaotic dynamical systems in general, as it allows many applications of chaos. In this section, we present two synchronization schemes related to the proposed fractional unified system. The first deals with two fractional identical unified maps and the second with different maps. The terms identical and different in this context refer to the parameter having the same values or different values, respectively.
2.3.1. Synchronization of Identical Fractional Unified Maps
Let us consider the master system described for by:Note that the subscript m in the states refers to the master. As for the slave system, we choose the exact same map, but use a subscript s instead and with the addition of a controller for the first state, i.e.,:
where u is a controller to be determined later. The aim of synchronization is to force the error system:
to zero asymptotically. The following theorem presents the proposed control law.Subject to:
whereThe fractional difference equations related to error System (30) can be given by:Substituting the control law (31) yields the simplified system:Using the same Lyapunov functional from Theorem 3 and employing Lemma 1, we have:It then follows directly from Theorem 2 that the zero solution of error System (33) is globally asymptotically stable. Hence, regardless of the initial conditions, the errors are guaranteed to converge towards zero asymptotically, meaning that the master and slave maps are synchronized. ☐The control law (31) was implemented in MATLAB with and . Over time, the synchronization error depicted in Figure 11 can be seen to converge towards zero.
Figure 11
Time evolution of the synchronization errors for the identical fractional-order unified chaotic maps with , and .
2.3.2. Synchronization of Different Fractional Unified Maps
Let us, now, consider master System (28) with the slave:
for and with . The error system is defined in the same way as in (30). Theorem 5 below presents the one-dimensional control law that will generally synchronize the slave to the master regardless of the values of and .Subject to
the master-slave pair (This result can be proven in much the same way as Theorem 4 was using the same Lyapunov function and the error dynamics:
leading to:Using the same previous Lyapunov function, we have:Again, it is easy to conclude that the zero error of (38) is globally asymptotically stable and that the master and slave are synchronized. ☐Figure 12 shows the time evolution of the synchronization errors for the fractional maps with different parameters. We assumed and . Again, the errors can be easily shown to converge towards zero asymptotically.
Figure 12
Time evolution of the synchronization errors for the different fractional-order unified chaotic maps with and .
3. Discussion
In this paper, we have proposed a fractional-order unified map based on the integer-order unified map developed by Zeraoulia and Sprott in [8] as a cross-over system between the Hénon and Lozi maps. The dynamics and bifurcations of the proposed map are discussed. Based on the results, we see that the bifurcation parameter has an effect on the range of fractional orders for which chaos is observed. The lower is, the lower the range becomes. In addition, we see that the fractional order also has an impact on the existence and shape of the chaotic behavior. This is what was referred to in [18] as an added degree of freedom. For instance, if the map is to be used in a secure communications or encryption setting, then it will allow for a wider range of pseudo-random keys. We have also calculated and presented the approximate entropy values of the fractional-order map for various values of the fractional order. Again, we see that the values of and both have an impact on the entropy.This paper also proposed a one-dimensional adaptive control strategy that forces the states towards zero asymptotically. The convergence of the states to zero was established by means of the Lyapunov method and verified by means of numerical results. Furthermore, two one-dimensional synchronization schemes were proposed for master and slave fractional unified maps with identical or nonidentical parameters. Numerical results were presented to confirm the success of these synchronization schemes.