Abstract
In this paper, we study a class of stochastic fractional differential equations. We first establish a novel comparison principle for such equations. Then, we use the new comparison principle to obtain some stability criteria, which include the stability in probability, uniform stability in probability, asymptotic stability in probability, and p th moment exponential stability. Finally, an example is provided to illustrate the obtained results.
Similar content being viewed by others
1 Introduction
In recent decades, stochastic models have been applied in many areas such as social science, physical science, finance, control engineering, mechanical, electrical and industry. The stability analysis is one of the most important research topics in stochastic models. There has been a large number of stability results in the literature. For instance, see [1] and the references therein.
On the other hand, fractional calculus is a mathematical subject with a history of more than 300 years. There have been more and more researchers interested in studying the fractional calculus in the last twenty years. One of the main reasons is that the integer-order calculus and conventional differential equations are no longer suitable tools for many systems and processes, such as viscoelastic system [2], dielectric polarization [3], electrode-electrolyte polarization [4], electrical circuit [5], electromagnetic waves [6], heat condition [7], biological system [8], quantitative finance [9], and quantum evolution of complex system [10]. However, such systems can be elegantly described by fractional-order differential equations with the help of the fractional calculus.
In comparison with the classical integer-order calculus, the fractional calculus has natural advantages in describing systems possessing memory and hereditary properties. In recent years, the classical mathematical modeling approaches coupled with the stochastic methods have been used to develop stochastic dynamic models for financial data (stock price). In order to extend this approach to more complex dynamic processes in sciences and engineering operating under internal structural and external environmental perturbations, we establish stochastic fractional differential equations by introducing the concept of dynamics processes operating under a set of linearly independent time-scales.
Recently, the authors in [11] studied the problem of existence and uniqueness of solutions of the initial value problem of stochastic fractional differential equations. But they did not discuss the stability analysis problem. This situation encourages our present research.
Motivated by the above discussion, in this paper we investigate the stability analysis problem for a class of stochastic fractional differential equations. Different from the traditional Lyapunov stability theory, we first establish a novel comparison principle for stochastic fractional differential equations, and then obtain some stability criteria including the stability in probability, uniform stability in probability, asymptotic stability in probability, p th moment stability of such equations based on the new comparison principle. Finally, we use an example to illustrate our stability results.
The rest of this paper is organized as follows. In Section 2, we introduce the model of a class of stochastic fractional differential equations, some preliminary results and definitions. In Section 3, we construct the comparison principle for stochastic fractional differential equations of Itô-Doob type and obtain some stability criteria including the stability in probability, uniform stability in probability, asymptotic stability in probability, p th moment stability of such equations. An example is provided to illustrate how to apply the developed results in the stability analysis in Section 4. Finally, in Section 5, we conclude the paper with some general remarks.
2 Preliminary description and problem formulation
Throughout this paper, unless otherwise specified, ℝ denotes the set of real numbers, denotes the set of positive real numbers, Z denotes the set of integers and N is the set of positive integers. Let be an m-dimensional Brownian motion defined on a complete probability space , let denote the differential of order α, and let denote the Euclidean norm in .
Definition 1 (R-L fractional integral [10, 12])
Let be a continuous function defined on the interval , where and . Then, for , we define the Riemann-Liouville fractional integral as follows:
where is the gamma function defined by
Definition 2 (R-L fractional derivative [13])
Let , , , and then the Riemann-Liouville derivative is defined as
Submitting (1) into (2), we have
When l is a nonnegative integer, then equality (3) represents the classical derivative of integer order. However, the properties of differential and integral with integer order are different. For instance, letting in equality (3), where c is a constant, then we can obtain its l th derivative,
which is clearly different from the differential with integer order.
Definition 3 (Multi-time scale integral [11])
For , , let be a set of linearly independent time-scales. Let be a continuous function defined by . The multi-time scale integral of the composite function f over an interval is defined as the sum of p integrals with respect to the time-scales . We denote it by If,
where the sense of the integral
depends on the time-scale for each .
Definition 4 (Multi-time scale differential [11])
Let f be a function defined in Definition 3. The multi-time scale differential of the composite function f is defined to be the sum of the partial differentials of f with respect to the times-scales . We denote it by df,
where for each ,
for small Δt, and corresponds to the integral in Definition 3. In particular, if the function f has continuous partial derivatives with respect to each time-scale, then the following holds:
Remark 1 For , consider the linearly independent set consisting of time-scale , which signifies the ideal and controlled environmental condition; , where B is an m-dimensional Brownian motion on a complete probability space ; and , indicates the time-varying delay or lagged process. Under this set of time-scale, the following stochastic fractional differential equation of Itô-Doob type is suggested:
where , , , .
Remark 2 The differentials dt, , and are in the sense of Cauchy-Riemann or Lebesgue [14], Itô-Doob [15], and Jumarie [16, 17], respectively.
Assume that b, , and satisfy the Lipschitz condition and linear growth condition, and thus it follows from [11] that system (4) has a unique solution . Also, assume that , , , and then system (4) admits a trivial solution or zero solution corresponding to the initial data .
Remark 3 We remark that some classical models are special cases of system (4).
-
(i)
If in Remark 1, then (4) is reduced to the following Itô-Doob type stochastic differential equation:
(5) -
(ii)
Letting in (4), then we have the following generalized version of the classical deterministic fractional differential equation:
(6) -
(iii)
If and , then (4) becomes the following deterministic fractional differential equation:
(7)
Take , and then is an open set and . Let denote the family of all nonnegative functions on , which are continuously twice differentiable in x and differentiable in t. If , then by the Itô’s formula and (4), we have the following:
where
Definition 5 (Lyapunov stable)
-
(i)
The zero solution of system (4) is said to be Lyapunov stable if for every and , there exists such that for all when .
-
(ii)
The zero solution of system (4) is uniformly Lyapunov stable if for every , there exists such that for all when .
-
(iii)
The zero solution of system (4) is asymptotically stable if it is Lyapunov stable and there exists such that when .
Definition 6 (Stable in probability)
The zero solution of system (4) is said to be stable in probability if for every and , there exists such that
when .
Definition 7 (Asymptotically stable in probability)
The zero solution of system (4) is asymptotically stable if it is stable in probability, and for every , there exists such that
when .
Definition 8 ([18])
A function is said to belong to the class if , and is strictly increasing in z. A function is said to belong to the class if φ belongs to and φ is convex. A function is said to belong to the class if , , and is concave and strictly increasing in z for each .
Let be a continuous function, then the solution of the following equation:
is defined by the equality
3 Comparison principle and stability for stochastic fractional differential equations
In this section, we present our main results. First of all, we give the comparison principle, which plays an important role in the proof of our results.
Lemma 2 Assume that the following conditions are satisfied.
-
(i)
() is the largest interval of existence of the maximal solution of the following deterministic fractional differential equation:
(8)
where and , are monotonically non-increasing in u for each t, and , .
-
(ii)
, and for ,
(9)
where is the operator defined in Section 2.
-
(iii)
For the solution of (4), exists for .
If , then
Proof We shall prove Lemma 2 by contradiction. Now suppose that (10) is not true, then there exists a constant such that
Since , by the continuity of and , we see that there exists a constant satisfying
Noting that and are monotonically non-increasing in u for all t, it follows from (9) and (11) that for each ,
Integrating both sides of the above inequality, we obtain
Thus, by using the Dynkin formula, we get
Recalling that , the above inequality yields
which contradicts (11). Hence, (10) is satisfied. This completes the proof of Lemma 2. □
As an application of the comparison principle, we will deduce some stability criteria for system (4).
Theorem 1 Assume that there exists a function such that the following two conditions are satisfied:
-
(1)
is a locally Lipschitz continuous in x and uniformly in t compact set of satisfying
where f and φ are from Lemma 2.
-
(2)
For every , satisfies
(12)
where .
If the zero solution of (8) is Lyapunov stable, then the zero solution of (4) is stable in probability. Moreover, if the zero solution of (8) is uniformly stable, then the zero solution of (4) is uniformly stable in probability.
Proof Let be the solution of (4), then by (12) we have
Now suppose that the zero solution of (8) is Lyapunov stable. Then it follows from the definition of Lyapunov stability that for any and , there exists such that if , then , . Obviously, the function is continuous with respect to x since is continuous with respect to x. Choosing , then for , there exists such that when . So it follows from Lemma 2 that
By using the Chebyshev inequality and (13)-(14), we have
and so
Therefore, from the definition of the stability in probability, we see that the zero solution of (4) is stable in probability. Furthermore, we suppose that the zero solution of (8) is uniformly stable. Noting that the constants , in the above proof are independent of , we can prove similarly that δ does not depend on , which verifies that the zero solution of (4) is uniformly stable in probability. The proof of Theorem 1 is completed. □
Theorem 2 Assume that all the conditions of Theorem 1 are satisfied. If the zero solution of (8) is asymptotically stable, then the zero solution of (4) is asymptotically stable.
Proof Suppose that the zero solution of (8) is asymptotically stable. Then, for any and , there exists a positive constant such that
when . Choosing , then by Theorem 1, inequality (12) and the continuity of , we obtain
Hence, there exists such that
when . This together with the definition of asymptotic stability in probability implies that the zero solution of (4) is asymptotically stable in probability. This completes the proof of Theorem 2. □
Theorem 3 Assume that all the conditions of Theorem 1 are satisfied. Moreover, for any ,
where , . If the zero solution of (8) is Lyapunov stable, then the zero solution of (4) is pth moment exponentially stable.
Proof By using Jensen’s inequality and (15), we obtain
For the solution of (4), it follows from Lemma 2 that
when .
Now suppose that the zero solution of (8) is Lyapunov stable. Then, for any and , there exists such that
when .
Let us choose such that and . Recalling that , there exists such that , when . Hence, by (16)-(18), we obtain
This fact together with yields that
Therefore, from the definition of the p th moment exponential stability, we see that the zero solution of (4) is p th moment exponentially stable. The proof of Theorem 3 is completed. □
4 An example
Consider the following stochastic fractional differential system:
where , .
Letting , and then we have
Obviously, is locally Lipschitz continuous in x and uniformly in t,
where . Thus, for the stochastic fractional differential system (19), the comparison function can be chosen as
The solution of equation (20) is
where denotes the Mittag-Leffler function
For more details about the Mittag-Leffler function, we refer the reader to [16]. It is obvious that the solution of (20) is stable. So, according to Theorem 1, the zero solution of stochastic fractional differential equation (19) is stable in probability.
5 Conclusion
In this paper, we have established a novel comparison principle for a class of stochastic fractional differential systems. By employing the new comparison principle and Lyapunov stability theory, we obtain some useful stability criteria. These criteria are drawn from the stability of the comparison function with regard to the original system and an inequality constraint condition. As an application, an example is presented to illustrate how to apply the developed results in the stability analysis. The example shows that the proposed method is very convenient.
References
Mao X: Stochastic Differential Equation and Application. Horwood, Chichester; 1997.
Bagley RL, Calico RA: Fractional order state equations for the control of viscoelastic structures. J. Guid. Control Dyn. 1991, 14(2):304-311. 10.2514/3.20641
Sun HH, Abdelwahad AA, Onaral B: Linear approximation of transfer function with a pole of fractional order. IEEE Trans. Autom. Control 1984, 29(5):441-444. 10.1109/TAC.1984.1103551
Ichise M, Nagayanagi Y, Kojima T: An analog simulation of non-integer order transfer functions for analysis of electrode process. J. Electroanal. Chem. Interfacial Electrochem. 1971, 33(2):253-256. 10.1016/S0022-0728(71)80115-8
Chen G, Friedman EG: An RLC interconnect model based on Fourier analysis. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 2005, 24(2):170-183.
Heaviside O: Electromagnetic Theory. Chelsea, New York; 1971.
Jenson VG, Jeffreys GV: Mathematical Methods in Chemical Engineering. 2nd edition. Academic Press, New York; 1997.
Anastasio TJ: The fractional-order dynamics of brainstem vestibule-oculumotor neurons. Biol. Cybern. 1994, 72(1):69-79. 10.1007/BF00206239
Laskin N: Fractional market dynamics. Physica A 2000, 287: 482-492. 10.1016/S0378-4371(00)00387-3
Kusnezov D, Bulgac A, Dang GD: Quantum Lévy processes and fractional kinetics. Phys. Rev. Lett. 1999, 82(6):1136-1139. 10.1103/PhysRevLett.82.1136
Pedjeu JC, Ladde GS: Modeling, method and analysis. Chaos Solitons Fractals 2012, 45(3):279-293. 10.1016/j.chaos.2011.12.009
Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.
Ladas GE, Lakshmikantham V: Differential Equations in Abstract Spaces. Academic Press, New York; 1972.
Lang S: Real and Functional Analysis. 3rd edition. Springer, New York; 1993.
Gihman II, Skorohod AV: Stochastic Differential Equations. Springer, New York; 1972.
Jumarie G: Fractional Brownian motions via random walk in the complex plane and via fractional derivative. Comparison and further results on their Fokker-Planck equations. Chaos Solitons Fractals 2004, 22(4):907-925. 10.1016/j.chaos.2004.03.020
Jumarie G: New stochastic fractional models for Malthusian growth, the Poissonian birth process and optimal management of populations. Math. Comput. Model. 2006, 44(3-4):231-254. 10.1016/j.mcm.2005.10.003
Dong F, Wu Y, Fang Y: Comparison principle and stability of general continuous time Markov jump system. 2. Proceedings of the 2008 International Conference on Computational Intelligence and Security 2008, 186-191.
Jumarie G:On the representation of fractional Brownian motion as an integral with respect to . Appl. Math. Lett. 2005, 18(7):739-748. 10.1016/j.aml.2004.05.014
Jumarie G: Modified Riemann-Liouville derivative and fractional Taylor series of nondifferentiable functions further results. Comput. Math. Appl. 2006, 51(9-10):1367-1376. 10.1016/j.camwa.2006.02.001
Acknowledgements
This work was jointly supported by the National Natural Science Foundation of China (61374080), the Natural Science Foundation of Zhejiang Province (LY12F03010), the Natural Science Foundation of Ningbo (2012A610032), K.C. Wong Magna Fund in Ningbo University, and a Project Funded by the Priority Academic Program Development of Jiangsu Higher Education Institutions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.
The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Lu, Y., Yao, Z., Zhu, Q. et al. Comparison principle and stability for a class of stochastic fractional differential equations. Adv Differ Equ 2014, 221 (2014). https://doi.org/10.1186/1687-1847-2014-221
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2014-221