- Research
- Open access
- Published:
pth-moment stability of stochastic functional differential equations with Markovian switching and impulsive control
Advances in Continuous and Discrete Models volume 2023, Article number: 11 (2023)
Abstract
In this paper, we investigate the problem of pth-moment stability of stochastic functional differential equations with Markovian switching and impulsive control via comparison principle. Employing stochastic analysis theory and an impulsive delay differential inequality, we establish a new comparison principle for stochastic functional differential equations with Markovian switching and impulsive control. Using the comparison principle, we derive sufficient conditions for stochastic functional differential equations with Markovian switching and impulsive control by the stability of impulsive delay differential equations. An example is provided to show the effectiveness of the proposed results.
1 Introduction
The stochastic functional differential equations with Markovian switching and impulsive control provide very important mathematical modes for many real phenomena and processes in the field of biological and neural networks; see [1–7] and the references therein. In the recent years, pth-moment stability of stochastic functional differential equations with Markovian switching and impulsive control has attracted a considerable attention of researchers in the study of many interesting problems in neural networks, and some criteria of exponential stability for stochastic functional differential equations with Markovian switching and impulsive control have been given [3–7]. For example, Zhu [3], Gao [4], and Kao et al. [5] studied the pth-moment exponential stability of stochastic functional differential equations with Markovian switching and impulsive control by using Lyapunov functionals and Razumikhin technique. Wu et al. [6], discussed the pth-moment exponential stability of stochastic functional differential equations with Markovian switching and impulsive control by using a Razumikhin-type method. Li [7] obtained the pth-moment exponential stability of stochastic functional differential equations with impulsive control.
Motivated by the aforementioned discussions, in the present paper, we further study the comparison principle for stochastic functional differential equations with Markovian switching and impulsive control. It is well known that the comparison principle as an important method has been successfully used in stability analysis for impulsive delay differential equations [8, 9]. In this paper, we first establish a new comparison principle for impulsive stochastic delayed reaction–diffusion equations. Then using this comparison principle, we obtained some stability criteria for stochastic functional differential equations with Markovian switching and impulsive control, such as mean square stability, mean square uniform stability, mean square asymptotical stability, and mean square exponential stability. Therefore the comparison principle proposed in the paper is convenient for the study of stability of stochastic functional differential equations with Markovian switching and impulsive control. We summarize the main contributions of the work as follows:
(1) A novel approach, i.e., a comparison principle is established for stochastic functional differential equations with Markovian switching and impulsive control and impulsive functional differential equation. Meanwhile, bases on the comparison principle, we can easily obtain the pth-moment stability of stochastic functional differential equations with Markovian switching and impulsive control.
(2) Differently from the existing results [3–7], which focus only on the exponential stability for stochastic functional differential equations with Markovian switching and impulsive control, in this work, we obtain some stability criteria for such systems, including the pth-moment stability, pth-moment asymptotic stability, and pth-moment exponential stability.
The rest of the paper is organized as follows. In Sect. 2, we present our mathematical model of stochastic functional differential equations with Markovian switching and impulsive control. Moreover, we give some useful notations and definitions. In Sect. 3, we establish a new comparison principle for stochastic functional differential equations with Markovian switching and impulsive control. In Sect. 4, we give some sufficient conditions for stochastic functional differential equations with Markovian switching and impulsive control by employing the comparison principle. In Sect. 5, we provide an example to illustrate the effectiveness of the obtained results.
2 Model description and preliminaries
Let \(\mathbb{R}=(-\infty,+\infty )\) and \(Z_{+}=\{1,2,\ldots,n\}\), let \(\mathbb{R}^{n}\) and \(\mathbb{R}^{n\times m}\) denote the n-dimensional Euclidean space and the set of \(n\times m\) real matrices, respectively; \(\mathrm{PC}([-\tau,0];\mathbb{R}^{n})\) stands for the set of piecewise right-continuous functions ψ from \([-\tau,0]\) to \(\mathbb{R}^{n}\) with the norm \(\|\psi \|_{\tau}=\sup_{-\tau \leq \theta \leq 0}|\psi (\theta )|\). Let \((\Omega,\mathcal{F},\{\mathcal{F}_{t}\}_{t \geq t_{0}},\mathbb{P})\) be a complete probability space with filtration \(\{\mathcal{F}_{t}\}_{t \geq t_{0}}\). By \(w(t)\) we denote an m-dimensional Brownian motion on \((\Omega,\mathcal{F},\{\mathcal{F}_{t}\}_{t \geq t_{0}},\mathbb{P})\) and by \(\mathrm{PC}^{b}_{\mathcal{F}_{t}}([-\tau,0];\mathbb{R}^{n})\) the family of \({\mathcal{F}_{t}}\)-measurable \(\mathrm{PC}([-\tau,0];\mathbb{R}^{n})\)-valued stochastic processes \(\phi =\{\phi (\theta ):-\tau \leq \theta \leq 0\}\) such that \(\sup_{-\tau \leq \theta \leq 0}\mathbb{E}|\phi (\theta )|^{p}< \infty \), where \(\mathbb{E}\) is the mathematical expectation. Let \(r(t)\) be a right-continuous Markov chain defined on \((\Omega,\mathcal{F},\{\mathcal{F}_{t}\}_{t \geq t_{0}},\mathbb{P})\) and taking values in the finite state space \(\mathbb{S}=\{1,2,\ldots,N\}\) with generator \(\Gamma =(\gamma _{ij})_{N\times N}\) given by
where \(\triangle >0\), and \(\lim_{\triangle \rightarrow 0}\frac{o(\triangle )}{\triangle }=0\). If \(j\neq i\), \(\gamma _{ij}\geq 0\) is the transition rate from i to j, and \(\gamma _{ii}=-\Sigma _{j\neq i}\gamma _{ij}\).
Consider the following stochastic functional differential equations with Markovian switching and impulsive control:
where \(x(t)=(x_{1}(t),x_{2}(t),\ldots,x_{n}(t))^{T}\), \(x_{t}=\{x(t+\theta ),-\tau \leq \theta \leq 0,\tau >0\}\), \(f:\mathbb{R}^{+}\times \mathbb{R}^{n}\times \mathrm{PC}([-\tau,0]; \mathbb{R}^{n})\times \mathbb{S}\rightarrow \mathbb{R}^{n}\) and \(g:\mathbb{R}^{+}\times \mathbb{R}^{n}\times \mathrm{PC}([-\tau,0]; \mathbb{R}^{n})\times \mathbb{S}\rightarrow \mathbb{R}^{n\times m}\) are nonlinear functions, and \(I_{k}(t_{k},x(t_{k}^{-})):\mathbb{R}^{+}\times \mathbb{R}^{n} \rightarrow \mathbb{R}^{n}\) stands for impulsive perturbations of x at the time \(t_{k}\). The times \(t_{k}\) represent the impulsive moments satisfying \(0\leq t_{0}< t_{1}<\cdots <t_{k}<\cdots \) and \(\lim_{k\rightarrow \infty}t_{k}=+\infty \). Moreover, we assume that \(f(t,0,0,i)\equiv 0\) and \(g(t,0,0,i)\equiv 0\). Then system (2.1) has a trivial solution \(x\equiv 0\).
Definition 2.1
A function \(V:[t_{0}-\tau,+\infty )\times \mathbb{R}^{n}\times \mathbb{S} \rightarrow \mathbb{R}^{+}\) belongs to the class \(\mathcal{V}_{0}\) if
(i) the function V is continuously differentiable in t and twice differentiable in x in each of the sets \([t_{k-1},t_{k})\times \mathbb{R}^{n}\times \mathbb{S}\), \(k\in \mathbb{Z}_{+}\). In addition, \(V(t,0,i)=0\) for \(t\geq t_{0}\).
(ii) \(V(t,x,i)\) is locally Lipschitzian in \(x\in \mathbb{R}^{n}\);
(iii) \(\lim_{(t,z,i)\rightarrow (t_{k}^{-},x,i)}V(t,z,i)=V(t_{k}^{-},x,i)\), and \(\lim_{(t,z,i)\rightarrow (t_{k}^{+},x,i)}V(t,z,i)=V(t_{k}^{+},x,i)\).
For any \(V\in \mathcal{V}_{0}\) and \((t,x_{t},i)\in [t_{k},t_{k+1})\times \mathrm{PC}^{b}_{\mathcal{F}_{t}}([- \tau,0];\mathbb{R}^{n})\times \mathbb{S}\), we define the operator \(\mathcal{L}V\) as follows:
Definition 2.2
The trivial solution \(x(t)\equiv 0\) of system (2.2) is said to be
(i) pth-moment stable if for all \(\varepsilon >0\) and \(t_{0}\in \mathbb{R}_{+}\), there exists a constant \(\delta =\delta (t_{0},\varepsilon )>0\) such that \(\mathbb{E}|x(t,\phi )|^{p}<\varepsilon \) for \(t\geq t_{0}\) whenever \(\sup_{-\tau \leq \theta \leq 0}\mathbb{E}|\phi (\theta )|^{p}\leq \delta \).
(ii) pth-moment asymptotically stable if it is stable in mean square and for all \(\varepsilon >0\) and \(t_{0}\in \mathbb{R}_{+}\), there exist \(\delta >0\) and \(T=T(t_{0},\varepsilon )>0\) such that \(\mathbb{E}|x(t,\phi )|^{p}<\varepsilon \) for \(t\geq T+t_{0}\) whenever \(\sup_{-\tau \leq \theta \leq 0}\mathbb{E}|\phi (\theta )|^{p}\leq \delta \).
(iii) pth-moment exponentially stable if there exist two positive constants λ and K such that
Definition 2.3
A function \(b(r)\) is said to belong to the class \(\mathcal{K}\) if \(b\in C(\mathbb{R}_{+},\mathbb{R}_{+})\), \(b(0)=0\), and \(b(r)\) is strictly increasing in r. A function \(b(r)\) is said to belong to the class \(\mathcal{VK}\) if it is a \(\mathcal{K}\)-class convex function. A function \(a(t,r)\) is said to belong to the class \(\mathcal{CK}\) if \(a\in C(\mathbb{R}_{+}\times \mathbb{R}_{+},\mathbb{R}_{+})\), \(a(t,0)\equiv 0\), and \(a(t,r)\) is concave and strictly increasing in r for each \(t\geq t_{0}\in \mathbb{R}_{+}\).
3 Comparison principle
Consider the following impulsive functional differential equation:
where \(y_{t}(\theta )=y(t+\theta )\), \(\theta \in [-\tau,0]\), the initial value \(\xi (\theta )\) is a bounded \(\mathrm{\mathrm{PC}}([-\tau,0],\mathbb{R}_{+})\)-valued function, \(H_{k}:\mathbb{R}_{+}\rightarrow \mathbb{R}_{+}\) is nondecreasing, and \(H_{k}(t)\leq t\) for all \(k\in \mathbb{Z}_{+}\). Let \(H_{k}(0)\equiv 0\). Therefore system (3.1) admits a trivial solution \(y(t)\equiv 0\). We assume that system (3.1) has a solution for any initial value function ξ.
Theorem 3.1
(Comparison principle)
Assume that there exists a function \(V\in \mathcal{V}_{0}\) satisfying
(i) \(\mathbb{E}\mathcal{L}V(t,x_{t},i)\leq h(t,\mathbb{E}V(t,x(t),i), \mathbb{E}V_{t})\), \(t\geq t_{0}\), \(t\neq t_{k}\), where \(V_{t}=V(t+\theta,x(t+\theta ),i)\), \(\theta \in [-\tau,0]\);
(ii) \(\mathbb{E}V(t_{k},I_{k}(t_{k},x(t_{k}^{-})))\leq H_{k}(\mathbb{E}V(t_{k},x(t_{k}^{-}),i))\), \(k\in \mathbb{Z}_{+}\).
Then
provided that \(\mathbb{E}V(t_{0}+s,x(t_{0}+\theta ),i)\leq \xi (\theta )\) for \(\theta \in [-\tau,0]\), where \(r(t;t_{0},\xi (\theta ))\) is the maximal solution of (3.1).
Proof
For any \(t\in [t_{k-1},t_{k})\) and \(\Delta t>0\) sufficiently small satisfying \(t+\Delta t< t_{k}\), from Itô’s formula and condition (i) we get
Dividing both sides of Eq. (3.2) by Δt and taking the limit superior as \(\Delta t\rightarrow 0^{+}\), we get
where \(m(t)=\mathbb{E}V(t,x(t),i)\), \(m_{t}(\theta )=\mathbb{E}V(t+\theta,x(t+\theta ),i)\), and \(\theta \in [-\tau,0]\).
On the one hand, from Theorem 8.1.4 in [10] we can obtain
when \(\mathbb{E}V(t_{0}+\theta,\phi,i)=\mathbb{E}V(t_{0}+\theta,x(t_{0}+ \theta ),i)\leq \xi (\theta )\).
On the other hand, at the impulsive moments \(t_{k}\), from condition (ii) we get
Therefore from the above proof we get
Obviously, from Theorem 3.1 in [8] we immediately get
when \(\mathbb{E}V(t_{0}+s,x(t_{0}+\theta ),i)\leq \xi (\theta )\). □
4 Stability analysis of stochastic functional differential equations with Markovian switching and impulsive control
Theorem 4.1
Let conditions (i) and (ii) of Theorem 3.1hold, and assume that there exist \(V(t,x(t),i)\in \mathcal{V}_{0}\), \(b\in \mathcal{VK}\), and \(a\in \mathcal{CK}\) satisfying
(iii)
Then the trivial solution of system (2.2) is pth-moment stable if the trivial solution of (3.1) is stable. The trivial solution of system (2.2) is pth-moment asymptotically stable if the trivial solution of (3.1) is asymptotically stable.
Proof
Since the trivial solution of (3.1) is stable, for any given \(\varepsilon >0\), there exists \(\delta =\delta (t_{0},\varepsilon )>0\) with \(\delta < b(\varepsilon )\) such that when \(\|\xi \|_{\tau}<\delta \),
Since conditions (i) and (ii) of Theorem 3.1 are satisfied, by this theorem we get
Using condition (iii), we get
Combining (4.3) and (4.4), we get
Because the function b belongs to \(\mathcal{VK}\), we get
Hence we the trivial solution of system (2.2) is pth-moment stable if the trivial solution of (3.1) is stable.
Next, we prove that the trivial solution of system (2.2) is attractive in the pth moment. Since the trivial solution \(y(t;t_{0},\xi (s))\) of (3.1) is attractive, for any given \(\varepsilon >0\), there exist \(\delta _{2}=\delta _{2}(t_{0},\varepsilon )\) and \(T=T(t_{0},\delta _{2})\) such that when \(\|\xi \|_{\tau}<\delta _{2}\),
Since the function a belongs to \(\mathcal{CK}\), we obtain
For any \(\theta \in [-\tau,0]\), we set \(\xi (\theta )=a(t_{0}+\theta,\mathbb{E}|x(t_{0}+\theta )|^{p})\). From (4.8) it follows that \(\mathbb{E}V(t_{0}+\theta,x(t_{0}+\theta ),i)\leq \xi (\theta )\). Obviously, Theorem 3.1 holds. Consequently, we can find \(\delta _{3}>0\) such that, simultaneously,
From Eq. (4.7), Eq. (4.8), and Theorem 3.1 we derive that
Because the function b belongs to \(\mathcal{VK}\), we get
Thus the trivial solution of system (2.2) is attractive in the pth moment. By the above discussion the trivial solution of system (2.2) is asymptotically stable in the pth moment if the trivial of solution of (3.1) is asymptotically stable. □
Theorem 4.2
Let conditions (i) and (ii) of Theorem 3.1hold, and assume that there exists \(V(t,x(t),i)\in \mathcal{V}_{0}\) satisfying
(iii)′
where \(\lambda _{1}>0\) and \(\lambda _{2}>0\).
Then the trivial solution of system (2.2) is exponentially stable in the pth moment if the trivial solution of (3.1) is exponentially stable.
Proof
Since the trivial solution of (3.1) is exponentially stable, there exist two positive constants λ and k such that \(|y(t;t_{0},\xi (s))|\leq k\|\xi \|_{\tau}e^{-\lambda t}\) for \(t\geq t_{0}\), which implies that
From (4.11) we obtain that
For any \(\theta \in [-\tau,0]\), we choose \(\xi (\theta )=\lambda _{2}\mathbb{E}|x(t_{0}+\theta )|^{p}=\lambda _{2} \mathbb{E}|\phi (\theta )|^{p}\). From (4.13) we obtain \(\mathbb{E}V(t_{0}+\theta,x(t_{0}+\theta ),i)\leq \xi (\theta )\). Obviously, Theorem 3.1 holds.
From Eq. (4.12), Eq. (4.13), and Theorem 3.1 we get
from which we get that
where \(K=\frac{k\lambda _{2}}{\lambda _{1}}\).
Hence from (4.15) we derive that the trivial solution of system (2.2) is exponentially stable in the pth moment. □
5 Example
Example 5.1
Consider the following model:
where \(x(t)=(x_{1},x_{2})^{T}\), \(w(t)\) is a two-dimensional normalized Brownian motion defined on a complete probability space, \(\{r(t),t\geq 0\}\) is the Markov process taking values in \(\mathbb{S}=\{1,2\}\) with generator \(\Gamma =(q_{ij})_{2\times 2}\). \(|I_{k}(x(t_{k}^{-}))|\leq \mu _{k}|x(t_{k}^{-})|, \mu _{k}>0\).
Choose \(V(t,x(t),i)=p_{i}|x(t)|^{2}\), where \(p_{i}\) (\(i=1,2\)) are positive constants. Then we have
Namely,
where \(H(i)=p_{i}[A^{T}(i)+A(i)+(1+\frac{1}{p_{i}}\sum_{j=1}^{2}q_{ij}p_{j})E+2C^{T}(i)C(i)]\), and \(G(i)=p_{i}[B^{T}(i)B(i)+2D^{T}(i)D(i)]\) (\(i=1,2\)).
On the other hand,
Let \(a=- \frac{\max \{\lambda _{\max}(H(1)),\lambda _{\max}(H(2))\}}{\min \{p_{1},p_{2}\}}\), \(b= \frac{\max \{\lambda _{\max}(G(1)),\lambda _{\max}(G(2))\}}{\min \{p_{1},p_{2}\}}\), and \(c=\frac{\max \{p_{1},p_{2}\}\mu _{k}^{2}}{\min \{p_{1},p_{2}\}}\). Thus the comparison system of system (5.1) is
By Corollary 3.2 in [11] we obtain that system (5.6) is exponentially stable if the following conditions are satisfied:
where λ satisfies \(\lambda -2c+|b|+|b|e^{\lambda \tau}\).
By Theorem 4.2 we conclude that the trivial solution of system (5.1) is exponentially stable in mean square if (5.7) holds.
6 Conclusion
In the paper, we have established a comparison principle to study the pth-moment stability of stochastic functional differential equations with Markovian switching and impulsive control. The established comparison principle can be applied to investigate stability of stochastic functional differential equations with Markovian switching and impulsive control. We can see from our theorems and an example that sufficient conditions are easily obtained by employing the comparison principle together with the stability criteria for impulsive functional differential equations. We believe that the comparison principle is quite general and can be used to analyze other important problems.
References
Wang, P., Zou, W., Su, H.: Stability of complex-valued impulsive stochastic functional differential equations on networks with Markovian switching. Appl. Math. Comput. 348, 338–354 (2019)
Tran, K.Q., Nguyen, D.H.: Exponential stability of impulsive stochastic differential equations with Markovian switching. Syst. Control Lett. 162, 105178 (2022)
Zhu, Q.: pth moment exponential stability of impulsive stochastic functional differential equations with Markovian switching. J. Franklin Inst. 351(7), 3965–3986 (2014)
Gao, L., Wang, D., Zong, G.: Exponential stability of generalized stochastic impulsive functional differential equations with delayed impulses and Markovian switching. Nonlinear Anal. Hybrid Syst. 30, 199–212 (2018)
Kao, Y., Zhu, Q., Qi, W.: Exponential stability and instability of impulsive stochastic functional differential equations with Markovian switching. Appl. Math. Comput. 271, 795–804 (2015)
Wu, X., Zhang, W., Tang, Y.: pth moment exponential stability of impulsive stochastic delay differential systems with Markovian switching. Commun. Nonlinear Sci. Numer. Simul. 18(7), 1870–1879 (2013)
Li, B.: Stability of stochastic functional differential equations with impulses by an average approach. Nonlinear Anal. Hybrid Syst. 29, 221–233 (2018)
Liu, C., Li, C., Huang, T., Wang, H.: Stability criteria in terms of two measures for functional differential equation with variable-time impulses. Math. Methods Appl. Sci. 38, 2922–2936 (2015)
Stamova, I.M.: Stability Analysis of Impulsive Functional Differential Equations. de Gruyter, Berlin (2009)
Lakshmikantham, V., Leela, S.: Differential and Integral Inequalities. Academic Press, New York (1969)
Yang, Z., Xu, D., Xiang, L.: Exponential p-stability of impulsive stochastic differential equations with delays. Phys. Lett. A 359, 129–137 (2016)
Acknowledgements
The author would like to thank the reviewers for their constructive suggestions and helpful comments. This work was supported by Scientific Research Funds of Chengdu University (Grant No. 2081920034) and V.C. & V.R. Key Lab of Sichuan Province (Grant No. SCVCVR2021.07VS).
Author information
Authors and Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares no competing interests.
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 http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Li, Z. pth-moment stability of stochastic functional differential equations with Markovian switching and impulsive control. Adv Cont Discr Mod 2023, 11 (2023). https://doi.org/10.1186/s13662-023-03757-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-023-03757-5