# Comparison principle and stability for a class of stochastic fractional differential equations

- Yuli Lu
^{1}, - Zhangsong Yao
^{2}, - Quanxin Zhu
^{1, 3}Email author, - Yi Yao
^{3}and - Hongwei Zhou
^{2}

**2014**:221

https://doi.org/10.1186/1687-1847-2014-221

© Lu et al.; licensee Springer. 2014

**Received: **3 February 2014

**Accepted: **17 July 2014

**Published: **15 August 2014

## 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.

## Keywords

*p*th moment exponential stability

## 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, ${\mathbb{R}}_{+}$ denotes the set of positive real numbers, *Z* denotes the set of integers and *N* is the set of positive integers. Let $B(t)=({B}_{1}(t),{B}_{2}(t),\dots {B}_{m}(t))$ be an *m*-dimensional Brownian motion defined on a complete probability space $(\mathrm{\Omega},\mathcal{F},P)$, let ${d}^{\alpha}x$ denote the differential of order *α*, and let $\parallel \cdot \parallel $ denote the Euclidean norm in ${\mathbb{R}}^{n}$.

**Definition 1** (R-L fractional integral [10, 12])

**Definition 2** (R-L fractional derivative [13])

*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 $f(t)\equiv c$ 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])

*f*over an interval $[{t}_{0},t]\subseteq (a,b)$ is defined as the sum of

*p*integrals with respect to the time-scales ${T}_{1},{T}_{2},\dots ,{T}_{p}$. We denote it by

*If*,

depends on the time-scale ${T}_{j}$ for each $j=1,2,\dots ,p$.

**Definition 4** (Multi-time scale differential [11])

*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 ${T}_{1}(t),{T}_{2}(t),\dots ,{T}_{p}(t)$. We denote it by

*df*,

*t*, and $({d}_{j}f)(t)$ corresponds to the integral $({I}_{j}f)(t)$ 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 $p=3$, consider the linearly independent set consisting of time-scale ${T}_{1}(t)=t$, which signifies the ideal and controlled environmental condition; ${T}_{2}(t)=B(t)$, where

*B*is an

*m*-dimensional Brownian motion on a complete probability space $\mathrm{\Omega}\equiv (\mathrm{\Omega},\mathcal{F},P)$; and ${T}_{3}(t)={t}^{\alpha}$, $0<\alpha <1$ 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 $\alpha \in (0,1)$, $b(t,x)\in C[{\mathbb{R}}_{+}\times {\mathbb{R}}^{n};{\mathbb{R}}^{n}]$, ${\sigma}_{1}(t,x)\in C[{\mathbb{R}}_{+}\times {\mathbb{R}}^{n};{\mathbb{R}}^{n\times m}]$, ${\sigma}_{2}(t,x)\in C[{\mathbb{R}}_{+}\times {\mathbb{R}}^{n};{\mathbb{R}}^{n}]$.

**Remark 2** The differentials *dt*, $dB(t)$, and ${(dt)}^{\alpha}$ are in the sense of Cauchy-Riemann or Lebesgue [14], Itô-Doob [15], and Jumarie [16, 17], respectively.

Assume that *b*, ${\sigma}_{1}$, and ${\sigma}_{2}$ satisfy the Lipschitz condition and linear growth condition, and thus it follows from [11] that system (4) has a unique solution $x(t)$. Also, assume that $b(t,0)\equiv 0$, ${\sigma}_{1}(t,0)\equiv 0$, ${\sigma}_{2}(t,0)\equiv 0$, and then system (4) admits a trivial solution or zero solution $x(t)\equiv 0$ corresponding to the initial data ${x}_{0}=0$.

**Remark 3** We remark that some classical models are special cases of system (4).

- (i)If ${\sigma}_{2}(\cdot ,\cdot )=0$ in Remark 1, then (4) is reduced to the following Itô-Doob type stochastic differential equation:$dx=b(t,x)\phantom{\rule{0.2em}{0ex}}dt+{\sigma}_{1}(t,x)\phantom{\rule{0.2em}{0ex}}dB(t),\phantom{\rule{2em}{0ex}}x({t}_{0})={x}_{0}.$(5)
- (ii)Letting ${\sigma}_{1}(\cdot ,\cdot )=0$ in (4), then we have the following generalized version of the classical deterministic fractional differential equation:$dx=b(t,x)\phantom{\rule{0.2em}{0ex}}dt+{\sigma}_{2}(t,x){(dt)}^{\alpha},\phantom{\rule{2em}{0ex}}x({t}_{0})={x}_{0}.$(6)
- (iii)If $b(\cdot ,\cdot )\equiv 0$ and ${\sigma}_{1}(\cdot ,\cdot )\equiv 0$, then (4) becomes the following deterministic fractional differential equation:${D}_{{t}_{0}}^{\alpha}x={\sigma}_{2}(t,x),\phantom{\rule{2em}{0ex}}x({t}_{0})={x}_{0}.$(7)

*x*and differentiable in

*t*. If $V\in C[{\mathbb{R}}_{+}\times {S}_{h},{\mathbb{R}}^{m}]$, then by the Itô’s formula and (4), we have the following:

**Definition 5** (Lyapunov stable)

- (i)
The zero solution $x(t)\equiv 0$ of system (4) is said to be Lyapunov stable if for every $\epsilon >0$ and ${t}_{0}\in [0,\mathrm{\infty})$, there exists $\delta =\delta (\epsilon ,{t}_{0})>0$ such that $\parallel x(t,{t}_{0},{x}_{0})\parallel <\epsilon $ for all $t>{t}_{0}$ when $\parallel {x}_{0}\parallel <\delta $.

- (ii)
The zero solution of system (4) is uniformly Lyapunov stable if for every $\epsilon >0$, there exists $\delta =\delta (\epsilon )>0$ such that $\parallel x(t,{t}_{0},{x}_{0})\parallel <\epsilon $ for all $t>{t}_{0}$ when $\parallel {x}_{0}\parallel <\delta (\epsilon )$.

- (iii)
The zero solution of system (4) is asymptotically stable if it is Lyapunov stable and there exists $\delta ({t}_{0})>0$ such that ${lim}_{t\to \mathrm{\infty}}x(t)=0$ when $\parallel {x}_{0}\parallel <\delta ({t}_{0})$.

**Definition 6** (Stable in probability)

when $\parallel {x}_{0}\parallel <\delta $.

**Definition 7** (Asymptotically stable in probability)

when $\parallel {x}_{0}\parallel <\delta $.

**Definition 8** ([18])

A function $\phi (z)$ is said to belong to the class $\mathcal{K}$ if $\phi \in C[{\mathbb{R}}_{+},{\mathbb{R}}_{+}]$, $\phi (0)=0$ and $\phi (z)$ is strictly increasing in *z*. A function $\phi (z)$ is said to belong to the class $\mathcal{VK}$ if *φ* belongs to $\mathcal{K}$ and *φ* is convex. A function $\phi (t,z)$ is said to belong to the class $\mathcal{CK}$ if $\phi \in C[{\mathbb{R}}_{+}\times {\mathbb{R}}_{+};{\mathbb{R}}_{+}]$, $\phi (t,0)=0$, and $\phi (t,z)$ is concave and strictly increasing in *z* for each $t\in {\mathbb{R}}_{+}$.

*Let*$f(t)$

*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)$[{t}_{0},T)$ ($T\le \mathrm{\infty}$)
*is the largest interval of existence of the maximal solution*$u(t)\equiv u(t,{t}_{0},{u}_{0})$*of the following deterministic fractional differential equation*:$du(t)=f(t,u(t))\phantom{\rule{0.2em}{0ex}}dt+\phi (t,u(t)){(dt)}^{\alpha},\phantom{\rule{2em}{0ex}}u({t}_{0})={u}_{0},$(8)

*where*$f,\phi \in C[[{t}_{0},T)\times {\mathbb{R}}^{n};{\mathbb{R}}^{n}]$

*and*$f(t,u)$, $\phi (t,u)$

*are monotonically non*-

*increasing in*

*u*

*for each*

*t*,

*and*$f(t,0)\equiv 0$, $\phi (t,0)\equiv 0$.

- (ii)$V\in C[{\mathbb{R}}_{+}\times {\mathbb{R}}^{n};{\mathbb{R}}_{+}]$,
*and for*$(t,x)\in {\mathbb{R}}_{+}\times {\mathbb{R}}^{n}$, $\tau \in ({t}_{0},t)$$\mathbf{E}{\mathcal{L}}_{1}V(t,x(t))\le f(t,\mathbf{E}V(t,x(t)))+\alpha \phi (t,\mathbf{E}V(t,x(t))){(t-\tau )}^{\alpha -1}.$(9)

*where*${\mathcal{L}}_{1}V$

*is the operator defined in Section*2.

- (iii)
*For the solution*$x(t)\equiv x(t,{t}_{0},{x}_{0})$*of*(4), $\mathbf{E}V(t,x(t))$*exists for*$t\ge {t}_{0}$.

*If*$\mathbf{E}[V({t}_{0},{x}_{0})]\le {u}_{0}$,

*then*

*Proof*We shall prove Lemma 2 by contradiction. Now suppose that (10) is not true, then there exists a constant $a>{t}_{0}$ such that

*u*for all

*t*, it follows from (9) and (11) that for each $s\in [b,a]$,

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*$V(t,x)\in C[{\mathbb{R}}_{+}\times {\mathbb{R}}^{n};{\mathbb{R}}^{n}]$

*such that the following two conditions are satisfied*:

- (1)$V(t,\cdot )$
*is a locally Lipschitz continuous in**x**and uniformly in**t**compact set of*$[0,\mathrm{\infty})$*satisfying*$\begin{array}{rcl}\mathbf{E}\left[{\mathcal{L}}_{1}V(t,x(t))\right]& \le & f(t,\mathbf{E}V(t,x(t)))\\ +\alpha \phi (t,\mathbf{E}V(t,x(t))){(t-\tau )}^{\alpha -1},\phantom{\rule{1em}{0ex}}\mathrm{\forall}(t,x)\in {\mathbb{R}}_{+}\times {\mathbb{R}}^{n},\end{array}$

*where*

*f*

*and*

*φ*

*are from Lemma*2.

- (2)
*For every*$(t,x)\in {\mathbb{R}}_{+}\times {\mathbb{R}}^{n}$, $V(t,x)$*satisfies*${\phi}_{1}(\parallel x\parallel )\le V(t,x(t))\le {\phi}_{2}(\parallel x\parallel ),$(12)

*where* ${\phi}_{1},{\phi}_{2}\in \mathcal{K}$.

*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 $x(t)$ be the solution of (4), then by (12) we have

*x*since $V(t,x)$ is continuous with respect to

*x*. Choosing ${u}_{0}=V({t}_{0},{x}_{0})\ge 0$, then for ${\delta}_{1}={\delta}_{1}(\epsilon ,\eta ,{t}_{0})>0$, there exists ${\delta}_{2}={\delta}_{2}({\delta}_{1})>0$ such that $\mathbf{E}[V({t}_{0},{x}_{0})]=\mathbf{E}[{u}_{0}]={u}_{0}<{\delta}_{1}(\epsilon ,\eta ,{t}_{0})$ when $\parallel {x}_{0}\parallel <{\delta}_{2}$. So it follows from Lemma 2 that

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 ${\delta}_{1}$, ${\delta}_{2}$ in the above proof are independent of ${t}_{0}$, we can prove similarly that *δ* does not depend on ${t}_{0}$, 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 $\eta \in (0,1)$ and $\epsilon >0$, there exists a positive constant ${\delta}_{0}={\delta}_{0}(\eta ,{t}_{0})>0$ such that

when $\parallel {x}_{0}\parallel <{\delta}_{0}$. 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*$p\ge 1$,

*where* ${\phi}_{1}\in \mathcal{VK}$, ${\phi}_{2}\in \mathcal{CK}$. *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

when $\mathbf{E}[V({t}_{0},{x}_{0})]\le {u}_{0}$.

when ${u}_{0}\le {\delta}_{1}$.

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

where $\alpha \in (0,1)$, $t\in [0,\mathrm{\infty})$.

*x*and uniformly in

*t*,

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.

## Declarations

### 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.

## Authors’ Affiliations

## References

- Mao X:
*Stochastic Differential Equation and Application*. Horwood, Chichester; 1997.Google Scholar - 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.20641View ArticleGoogle Scholar - 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.1103551View ArticleMATHGoogle Scholar - 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-8View ArticleGoogle Scholar - 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.View ArticleGoogle Scholar - Heaviside O:
*Electromagnetic Theory*. Chelsea, New York; 1971.MATHGoogle Scholar - Jenson VG, Jeffreys GV:
*Mathematical Methods in Chemical Engineering*. 2nd edition. Academic Press, New York; 1997.MATHGoogle Scholar - Anastasio TJ: The fractional-order dynamics of brainstem vestibule-oculumotor neurons.
*Biol. Cybern.*1994, 72(1):69-79. 10.1007/BF00206239View ArticleGoogle Scholar - Laskin N: Fractional market dynamics.
*Physica A*2000, 287: 482-492. 10.1016/S0378-4371(00)00387-3MathSciNetView ArticleGoogle Scholar - 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.1136View ArticleGoogle Scholar - Pedjeu JC, Ladde GS: Modeling, method and analysis.
*Chaos Solitons Fractals*2012, 45(3):279-293. 10.1016/j.chaos.2011.12.009MathSciNetView ArticleMATHGoogle Scholar - Kilbas AA, Srivastava HM, Trujillo JJ:
*Theory and Applications of Fractional Differential Equations*. Elsevier, Amsterdam; 2006.MATHGoogle Scholar - Ladas GE, Lakshmikantham V:
*Differential Equations in Abstract Spaces*. Academic Press, New York; 1972.MATHGoogle Scholar - Lang S:
*Real and Functional Analysis*. 3rd edition. Springer, New York; 1993.View ArticleMATHGoogle Scholar - Gihman II, Skorohod AV:
*Stochastic Differential Equations*. Springer, New York; 1972.View ArticleMATHGoogle Scholar - 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.020MathSciNetView ArticleMATHGoogle Scholar - 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.003MathSciNetView ArticleMATHGoogle Scholar - 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.View ArticleGoogle Scholar - Jumarie G:On the representation of fractional Brownian motion as an integral with respect to ${(\mathrm{d}t)}^{a}$.
*Appl. Math. Lett.*2005, 18(7):739-748. 10.1016/j.aml.2004.05.014MathSciNetView ArticleMATHGoogle Scholar - 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.001MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.