Abstract and Applied Analysis

Volume 2014, Article ID 631419, 6 pages

http://dx.doi.org/10.1155/2014/631419

## Stability for Caputo Fractional Differential Systems

Department of Mathematics, Chungnam National University, Daejeon 305-764, Republic of Korea

Received 25 July 2013; Revised 13 November 2013; Accepted 28 November 2013; Published 5 January 2014

Academic Editor: T. Diagana

Copyright © 2014 Sung Kyu Choi et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We introduce the notion of *h*-stability for fractional differential systems. Then we investigate the boundedness and *h*-stability of solutions of Caputo fractional differential systems by using fractional comparison principle and fractional Lyapunov direct method. Furthermore, we give examples to illustrate our results.

#### 1. Introductions and Preliminaries

Lakshmikantham et al. [1–5] investigated the basic theory of initial value problems for fractional differential equations involving Riemann-Liouville differential operators of order . They followed the classical approach of the theory of differential equations of integer order in order to compare and contrast the differences as well as the intricacies that might result in development [6, Vol. I]. Li et al. [7] obtained some results about stability of solutions for fractional-order dynamic systems using fractional Lyapunov direct method and fractional comparison principle. Choi and Koo [8] improved on the monotone property of Lemma in [5] for the case with a nonnegative real number . Choi et al. [9] also investigated Mittag-Leffler stability of solutions of fractional differential equations by using the fractional comparison principle.

In this paper we introduce the notion of -stability for fractional differential equations. Then, we investigate the boundedness and -stability of solutions of Caputo fractional differential systems by using fractional comparison principle and fractional Lyapunov direct method. Furthermore, we give some examples to illustrate our results.

For the basic notions and theorems about fractional calculus, we mainly refer to some books [5, 10, 11].

We recall the notions of Mittag-Leffler functions which were originally introduced by Mittag-Leffler in 1903 [12]. Similar to the exponential function frequently used in the solutions of integer-order systems, a function frequently used in the solutions of fractional order systems is the Mittag-Leffler function, defined as where and is the Gamma function [11]. The Mittag-Leffler function with two parameters has the following form: where and . For , we have . Also, .

Note that the exponential function possesses the semigroup property (i.e., for all ), but the Mittag-Leffler function does not satisfy the semigroup property unless or [13].

We recall briefly the notions and basic properties about fractional integral operators and fractional derivatives of functions [5, 10]. Let .

*Definition 1 (see [5]). *The Riemann-Liouville fractional integral of order of a function is defined as
where (provided that the integral exists in the Lebesgue sense).

*Definition 2 (see [5]). *The Riemann-Liouville fractional derivative of order of a continuous function is given by
provided that the right side is pointwise defined on .

If , then the Riemann-Liouville fractional derivative of order of a function reduces to

Note that the Riemann-Liouville fractional derivatives have singularity at and the fractional equations in the Riemann-Liouville sense require initial conditions at some point different from . To overcome this issue, Caputo [14] defined the fractional derivative in the following way.

*Definition 3 (see [10]). *Let be a positive real number such that for . The Caputo fractional derivative of order of a function is defined by
where .

When , then the Caputo fractional derivative of order of reduces to

When , we have In particular, if , then we have

Hence, we can see that the Caputo derivative is defined for functions for which the Riemann-Liouville derivative exists. Also, we note that the Mittag-Leffler functions and satisfy the more general differential relations respectively, for .

We can obtain the following asymptotic property for and from the result [10, page 51].

Lemma 4 (see [10]). *When , then has different asymptotic behavior at infinity for and . *(1)*If and is a real number such that
then, for , the following asymptotic expansions are valid:
with ; and
with .*(2)*When , then, for , the following asymptotic estimate holds:
with , and where the first sum is taken over all integer such that
*

*Lemma 5. Let and . Then, and tend monotonically to zero as .*

*Proof. *If we set and in Lemma 4, then it follows from Lemma 4 that for we have
Thus, we have
For , we also have
by the above similar argument. This completes the proof.

*Corollary 6. Let and . Then, one has
*

*2. Main Results*

*2. Main Results*

*Let and . Denote by the function space
*

*Let be a domain and . We consider the Caputo fractional differential system with the initial value
where . If satisfies (21), it also satisfies the Volterra fractional integral equation
and vice versa.*

*In the sequential we assume that the solution of (21) exists globally on . See [5, Theorem ] for the existence and uniqueness result.*

*Next, we consider the nonhomogeneous linear fractional differential equation with Caputo fractional derivative
where is Hölder continuous with exponent . Then, we get the unique solution of (23) as
for each .*

*Lemma 7 (see [9, Lemma 3.2]). If one sets in (23) with a constant , then the solution of (24) reduces to
*

*Remark 8. *If , then it follows from Lemma 7 that

We can obtain the following Caputo fractional differential inequality of Gronwall type by Lemma 7.

*Lemma 9. Suppose that satisfies
where . Then one has
*

*Proof. *There exists a nonnegative function satisfying
It follows from Lemma 7 that
where denotes the convolution operator of nonnegative functions and . Since is nonnegative for each , then we have
This completes the proof.

*Remark 10. *If we set and in Lemma 9, then we have

We can obtain the following result about fractional integral inequality. It is adapted from the comparison principle regarding nonstrict inequalities in [2, 5].

*Lemma 11 (see [8, Lemma 2.11]). Let and . Suppose that satisfy the fractional integral inequality:
where and is monotonic nondecreasing in for each . If , then one has on .*

*Pinto [15] introduced -stability which is an important extension of the notions of exponential stability and uniform Lipschitz stability for differential equations.*

*We will give the notion of -stability for Caputo fractional differential systems.*

*Definition 12. *The zero solution of (21) is said to be (1)an *-system* if there exist a constant and a positive continuous function such that
for . Here .(2)*-*stable if is bounded.

*We recall the stability in the sense of Mittag-Leffler [8, 16].*

*Definition 13. *The zero solution of (21) is said to be a Mittag-Leffler system if
where , and are locally Lipschitz on with Lipschitz constant .

The zero solution of (21) is called *Mittag-Leffler stable* if the constant in (35) is nonpositive.

*Note that the Mittag-Leffler stability implies -stability, but the converse does not hold in general. See Remark 19 for the example.*

*We can obtain the following result adapted from Theorem 3.4 in [8].*

*Theorem 14. Suppose that the function of (21) satisfies
where is monotonic increasing in for each with . One considers the Caputo fractional differential equation
If the zero solution of (37) is an -system, then the zero solution of (21) is also an -system whenever .*

*Proof. *The equation (21) is equivalent to the following Volterra fractional integral equation:
Then, we obtain
Thus we have
where . By Lemma 11, we have for all . Since of (37) is an -system, there exist a constant and a positive continuous function such that
for . Thus, we see that
where with and . This completes the proof.

*Corollary 15. Suppose that all conditions of Theorem 14 hold. The asymptotic stability of (37) implies the corresponding asymptotic stability of (21).*

*We can obtain an upper bound of solutions for Caputo fractional differential equations via fractional Gronwall’s inequality. The following result is adapted from Theorem 5.1 in [7] and Theorem 3.15 in [9].*

*Lemma 16. Suppose that is a domain containing the origin and . Let be a continuously differentiable function and locally Lipschitz with respect to satisfying
where and are positive constants. Then one has
where is any solution of (21).*

*Proof. *It follows from (43) and (44) that
It follows from Lemma 9 that
Substituting (47) into (43) yields
This complete the proof.

*We can obtain the boundedness of solutions for Caputo fractional differential equations via the fractional Lyapunov direct method.*

*Theorem 17. Under the same assumptions of Lemma 16, all solutions of (21) are eventually bounded on .*

*Proof. *Let be any solution of (21). Then it follows from Lemma 16 that
for each . In view of Lemma 5 and Corollary 6, we note that tends monotonically zero as and is eventually bounded on . Hence, there exist a positive constant and such that
This completes the proof.

*We can obtain the following result [7, Theorem 5.1] about Mittag-Leffler stability of (21) as a corollary of Lemma 16.*

*Corollary 18. If one sets in the assumption of Lemma 16, then the zero solution of (21) is Mittag-Leffler stable.*

*3. Examples*

*3. Examples*

*In this section we give tow examples which illustrate some results in the previous section.*

*Example 1 (see [8]). *To illustrate Theorem 14, we consider the Caputo fractional differential equation
where . Then the zero solution of (51) is -stable.

*Proof. *The function satisfies
and the solution of the Caputo fractional differential equation
is given by . We have
where . Thus, the zero solution of (53) is -stable. Hence, the zero solution of (51) is -stable by Theorem 14.

*Remark 19. *We note that the fractional differential equation (53) given in the proof of Example 1 is -stable but not Mittag-Leffler stable.

*Proof. *Let be any solution of (53). Then, it follows from [8, Example 2.2] that is neither monotonic nondecreasing in nor monotonic nonincreasing in . Furthermore, we easily see that
Suppose that (53) is Mittag-Leffler stable; that is, there exist positive constants and satisfying
where , and is locally Lipschitz in . Since is monotonic nonincreasing in [17], we see that the right-hand function of (56) also is monotonic decreasing in . This contradicts the fact that has neither monotonic nondecreasing property nor monotonic nonincreasing property.

*Next, we will give an example to illustrate Theorem 17.*

*Example 2. *Let . We consider the Caputo fractional differential equation
where is bounded by a constant . Let . Then it follows that
Let . Applying them in Lemma 16 gives
Hence, all solutions of (57) are eventually bounded by Theorem 17.

*Conflict of Interests*

*Conflict of Interests*

*The authors declare no conflict of interests.*

*Acknowledgment*

*Acknowledgment*

*This work was supported by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (NRF-2013R1A1A2007585).*

*References*

*References*

- V. Lakshmikantham and A. S. Vatsala, “Theory of fractional differential inequalities and applications,”
*Communications in Applied Analysis*, vol. 11, no. 3-4, pp. 395–402, 2007. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - V. Lakshmikantham and A. S. Vatsala, “Basic theory of fractional differential equations,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 69, no. 8, pp. 2677–2682, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - V. Lakshmikantham and A. S. Vatsala, “General uniqueness and monotone iterative technique for fractional differential equations,”
*Applied Mathematics Letters*, vol. 21, no. 8, pp. 828–834, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - V. Lakshmikantham, “Theory of fractional functional differential equations,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 69, no. 10, pp. 3337–3343, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - V. Lakshmikantham, S. Leela, and J. V. Devi,
*Theory of Fractional Dynamic Systems*, Cambridge Scientific Publishers, 2009. - V. Lakshmikantham and S. Leela,
*Differential and Integral Inequalities, Vol I and II*, Academic Press, New York, NY, USA, 1969. - Y. Li, Y. Chen, and I. Podlubny, “Stability of fractional-order nonlinear dynamic systems: Lyapunov direct method and generalized Mittag-Leffler stability,”
*Computers & Mathematics with Applications*, vol. 59, no. 5, pp. 1810–1821, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. K. Choi and N. Koo, “The monotonic property and stability of solutions of fractional differential equations,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 74, no. 17, pp. 6530–6536, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. K. Choi, B. Kang, and N. Koo, “Stability for fractional differential equations,”
*Proceedings of the Jangjeon Mathematical Society*, vol. 16, no. 2, pp. 165–174, 2013. View at Google Scholar · View at MathSciNet - A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo,
*Theory and Applications of Fractional Differential Equations*, Elsevier, Amsterdam, The Netherlands, 2006. View at MathSciNet - I. Podlubny,
*Fractional Differential Equations*, Academic Press, San Diego, Calif, USA, 1999. View at MathSciNet - G. M. Mittag-Leffler, “Sur l’intégrable de Laplace-Abel,”
*Comptes Rendus de l'Académie des Sciences Series II*, vol. 136, pp. 937–939, 1903. View at Google Scholar - J. Peng and K. Li, “A note on property of the Mittag-Leffler function,”
*Journal of Mathematical Analysis and Applications*, vol. 370, no. 2, pp. 635–638, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Caputo, “Linear models of dissipation whose Q is almost frequency independent-II,”
*Geophysical Journal of the Royal Astronomical Society*, vol. 13, pp. 529–539, 1967. View at Publisher · View at Google Scholar - M. Pinto, “Perturbations of asymptotically stable differential systems,”
*Analysis*, vol. 4, no. 1-2, pp. 161–175, 1984. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Li, Y. Chen, and I. Podlubny, “Mittag-Leffler stability of fractional order nonlinear dynamic systems,”
*Automatica*, vol. 45, no. 8, pp. 1965–1969, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W. R. Schneider, “Completely monotone generalized Mittag-Leffler functions,”
*Expositiones Mathematicae*, vol. 14, no. 1, pp. 3–16, 1996. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet

*
*