Abstract

Synchronization problem for a class of uncertain fractional order chaotic systems is studied. Some fundamental lemmas are given to show the boundedness of a complicated infinite series which is produced by differentiating a quadratic Lyapunov function with fractional order. By using the fractional order extension of the Lyapunov stability criterion and the proposed lemma, stability of the closed-loop system is analyzed, and two sufficient conditions, which can enable the synchronization error to converge to zero asymptotically, are driven. Finally, an illustrative example is presented to confirm the proposed theoretical results.

1. Introduction

As a branch of mathematics, fractional calculus mainly tackles the generalization of the concepts of derivation and integration with arbitrary orders. Although the fractional calculus has been given 300 years ago, its applications to engineering have begun just in recent three decades [1]. Among the literatures studied on fractional order systems, some subjects are studied, for instance, system stability analysis [2, 3], chaotic systems synchronization [49], optimal control [10], adaptive control [11, 12], finite-time stability analysis [13, 14], systems identification [15], applications in finances, and sliding modes.

The synchronization of chaotic systems problem has become more and more attractive to researchers due to its potential applications in secure communication [46, 1620]. Reference [20] is the first literature studied on the synchronization between two fractional order chaotic systems, in which the authors indicated that fractional order chaotic systems can also be synchronized by using the similar method as that of their integer counterparts. Meantime, the actual systems are often subject to system uncertainties and external disturbances [2125]. These uncertainties and disturbances, which have to be considered for analyzing and controlling the system, can be brought through various forms. There have been some results about the stability of fractional order systems with system uncertainties [2630]. For example, the stability problem of fractional order linear uncertain systems expressed in the transfer function form and the state-space form is, respectively, studied in [27] and [28]. The robust stability and stabilization of fractional order linear systems with positive real uncertainty are investigated in [26] by means of LMI technique. Synchronization for chaotic and uncertain Duffing-Holmes systems has been done by using the sliding mode control method, and fractional order mathematics is used to express the system and sliding mode for synchronization [29]. In [30], synchronization for a class of uncertain fractional order neural networks subject to external disturbances and disturbed system parameters is studied. But it should be pointed out that, in the above literatures, the stability of the closed-loop system is analyzed by using the integer-order Lyapunov methods.

However, the lack of extension of the existing robust control methods to fractional order nonlinear uncertain systems is sensible. Besides, to the authors’ best knowledge, there are only a few works dealing with the robust synchronization of uncertain fractional order chaotic systems. In [31], synchronization of uncertain Duffing-Holmes system has been studied by using the sliding mode control method. In [32], an adaptive sliding mode controller for synchronization of two fractional order chaotic systems with fully unknown system uncertainties and external disturbances is proposed. In the above literatures, the sliding mode control methods are used. The stability analysis is the same as in integer-order systems. Thanks to the works of Li et al. [2], the Lyapunov direct method (also called the Lyapunov second method) has been extended to fractional order nonlinear systems. In the stability analysis of fractional order systems, the Lyapunov function is often used. The th-order of can be given as . So the stability analysis may be very hard due to the complicated infinite series.

Based on the above discussions, we know that it is still of considerable importance to seek direct systematic approaches for designing robust synchronization controllers for uncertain fractional order chaotic systems. In this paper, a robust controller is proposed to solve the synchronization problem of fractional order chaotic systems with both system uncertainties and norm bounded external disturbances. The fractional order Lyapunov approach is used to analyze the stability of the estimation error system. It ought to be mentioned that the proof of the complicated boundary condition is given in this paper; the proposed method is very simple for practical applications; the proposed methods enable us to establish a fundamental stability analysis framework in fractional order nonlinear systems.

The remainder of this paper is organized as follows. Section 2 gives mathematical model of the fractional order systems and some preliminaries. In Section 3, the robust synchronization controller is designed and two sufficient conditions are driven. Simulation studies are included in Section 4. Finally, Section 5 concludes this work.

2. Preliminaries

The fractional order integrodifferential operator is the extended concept of integer-order integrodifferential operator. The commonly used definitions in the literatures are Grunwald-Letnikov, Riemann-Liouville, and Caputo definitions. Because of the Caputo derivative taking on the same form as integer-order differential on the initial conditions, having well-understood physical meanings and more applications in engineering, we will use this definition in this paper. The lower limit of the fractional calculus is set as 0 in this paper. The fractional order integral with order can be expressed as

The Caputo fractional derivative is defined as follows:where is the fractional order, . represents Euler’s function.

The following lemmas will be used in this paper [2].

Lemma 1. Let be an equilibrium of the fractional order system:Suppose there exist a Lyapunov function and class- functions , such thatwhere ; then the equilibrium point of system (2) is Mittag-Leffler stable.

Lemma 2. Mittag-Leffler stability means asymptotical stability.

It should be pointed out that, in integer-order nonlinear systems, Lyapunov direct method (also called the Lyapunov second method) offers a method to analyze the stability of the closed-loop system without solving the differential equations explicitly. Although the Lyapunov stability theory for integer-order systems was proposed in 1892 and it has been studied and modified by lots of expert researchers, the Lyapunov stability theory for fractional order systems has been developed until recently (see Lemmas 1 and 2). Besides, we can see that the structure of stability theory for fractional order systems is very similar to the integer-order systems.

3. Main Results

3.1. Synchronization of Fractional Order Chaotic Systems with System Uncertainty

Consider the following master fractional order chaotic system:where represents the state vector, is a constant matrix, is an unknown nonlinear function, and is the fractional order.

The following assumption is needed in this paper.

Assumption 3. The unknown nonlinear function is smooth enough such that has arbitrary order derivative. Then, we can further assume that satisfies the Lipschitz condition with respect to : that is,where is the Lipschitz constant.

Remark 4. Assumption 3 is not restrictive, since there are lots of fractional order chaotic systems satisfying Assumption 3, for example, fractional order chaotic neural networks [30], fractional order financial chaotic system [33], fractional order Lorenz system [34], fractional order Chen system [35], and fractional order Chua’s system [36]. In fact, this assumption enables us to have a simpler analysis of the system stability.

Let us construct the following slave chaotic system:

Define the synchronization error as

Then the synchronization error dynamic equation can be given as

The objective of this section is to design a controller such that the slave chaotic system (7) synchronizes chaotic system (5): that is, . To meet this objective, let us construct the following robust controller:where is a robust term to cancel the unknown nonlinear function. is a proper constant matrix to be chosen such thatwhere with .

Substituting controller (10) into (9), we have

In the stability analysis of fractional order nonlinear systems, the Lyapunov function candidate is often used. The th-order of can be given aswhere

Remark 5. To achieve the results by using the stability theorems of fractional order systems, in the literatures [16, 37], the authors suppose that the bounded condition holds, where is a positive constant. This condition is only verified through simulation results. But in this paper, we will give a strict proof of this condition and establish a fundamental result. This result is given to use for stability analysis of fractional order nonlinear systems, especially for Mittag-Leffler stability [2] analysis of fractional order nonlinear systems.

Lemma 6. Suppose that Assumption 3 is satisfied. Then there exists some positive constant such that

Proof. From Assumption 3 we know exist. It is obvious that are bounded. As a result, there exists such thatOn the other hand, because , we havewhere is a positive constant.
It is known that the gamma function is nonzero everywhere along the real line, and there is in fact no complex number for which . As a result the reciprocal gamma function is an entire function. There exists a lower bound such that for .
Since , the infinite series is convergence. So, there exists an upper bound such thatFrom the above discussion, we can obtain the following inequality:in whichThis completes the proof.

Remark 7. It should be pointed out that the value of in Lemma 6 is hard to be estimated. In this paper, we only estimate its value through simulation results.

From the above discussions, now we are ready to give the following theorem.

Theorem 8. Consider the master chaotic system (5) and the slave chaotic system (7). Suppose that Assumption 3 is satisfied. If the control input is chosen as (10), and the robust term is constructed aswhere is a positive constant, then synchronization between systems (5) and (7) will be achieved.

Proof. From (21) and (12) we haveLet us define the Lyapunov function candidate asThen we haveFrom Assumption 3 and Lemma 6 we haveIf we can choose large enough and such that , , where , we obtainForm Lemmas 1 and 2, we know the synchronization error will converge to zero asymptotically. And this ends the proof.

3.2. Synchronization of Fractional Order Chaotic Systems with Both System Uncertainty and Norm Bounded External Disturbance

Consider the following master and slave fractional order chaotic systems:where represents the state variables and is a constant matrix. is an unknown nonlinear function which satisfies Assumption 3. is the fractional order.

Assumption 9. The nonlinear term represents external disturbance which is smooth enough and satisfieswhere is a known positive function.

Theorem 10. Consider the master chaotic system (27) and the slave chaotic system (28). Suppose that Assumptions 3 and 9 are satisfied. If the control input is chosen aswhere is a positive constant, then synchronization between systems (27) and (28) will be achieved.

Proof. From (27) and (28) we can obtainSubstituting controller (30) into (31) yieldsDefining the Lyapunov function candidate as , we haveAccording to Assumptions 3 and 9 and Lemma 6 we haveAs the same analysis in Theorem 8, if we can choose large enough and , then synchronization between systems (27) and (28) will be achieved. This ends the proof of Theorem 10.

4. Simulation Studies

In simulation, the fractional order Rössler chaotic system will be used. The fractional order model of the Rössler system is described bywhere are system parameters. When , , , and the fractional order , system (35) has a chaotic attractor, which is depicted in Figure 1.

Let us define the slave system as (7). The initial condition is set as . From the simulation we know that the state of fractional order Rössler system is bounded, and the Lipchitz constant can be chosen as : that is,which means that Assumption 3 is satisfied.

From (35) we know ; then we can choose the matrix as . As a result, , which means the condition in Theorem 8 is satisfied. According to Theorem 8, the synchronization between master and slave systems can be achieved. The parameter of the robust term is selected as . The simulation results are shown in Figures 25. From Figure 2, we can see a quick convergence of the synchronization errors. Figures 35 show the boundedness of the control inputs.

To show the robustness of the proposed control method, we consider the following external disturbance in slave system (28):

Then we can choose as . Then we can declare that , which means that Assumption 9 is satisfied. According to Theorem 10 we know that synchronization between systems (27) and (28) can be achieved. The simulation results are presented in Figures 69. From the simulation results we can conclude that good synchronization performance has been obtained. We can see that, in simulation results, the chattering phenomenon does exist because of the sign function in controllers (21) and (30).

5. Conclusion

We investigate the robust synchronization of fractional order chaotic systems with both system uncertainties and norm bounded external disturbances. A boundary condition, which is introduced by differentiating the squared Lyapunov function with fractional order, is verified. The boundary condition enables us to have a simpler analysis of system stability by using Lyapunov directed method. It is shown that the synchronization errors converge to zero asymptotically. The effectiveness of the proposed method is confirmed by two numerical simulations. How to cancel the chattering phenomenon in the synchronization controller design is one of our investigation directions.

Conflict of Interests

The authors do not have a direct financial relation with any commercial identity mentioned in their paper that might lead to a conflict of interests for any of the authors.

Acknowledgments

This research is supported by the National Natural Science Foundation of China (Grant no. 11401008), the Natural Science Foundation for the Higher Education Institutions of Anhui Province of China (Grant nos. KJ2015A256 and KJ2014A064), the Natural Science Foundation for Anhui University of Science and Technology (Grant no. 201428), and the Natural Science Foundation for Huainan Normal University (Grant no. 2015XJ07ZD).