Abstract
In this short paper, a new stability theorem for neutral stochastic delay differential equations with Markovian switching is investigated by applying stochastic analysis technique and Razumikhin stability approach. A novel criterion of the th moment exponential stability is derived for the related systems. The feature of the criterion shows that the estimated upper bound for the diffusion operator of Lyapunov function is allowed to be indefinite, even if to be unbounded, which can loosen the constraints of the existing results. Last, an example is provided to illustrate the usefulness and significance of the theoretical results.
1. Introduction
As is well-known, the stability is very hot topic in deterministic or stochastic dynamic systems (for instance, see [1–37] and references therein). Recently, a class of stochastic hybrid systems (also known as stochastic systems with Markovian switching) has been used to model many practical systems where they may experience abrupt changes in their structure and parameters. In [38], the author explained that the Markovian switching systems had been emerging as a convenient mathematical framework for the formulation of various design problems in different fields such as target tracking, fault tolerant control, and manufacturing processes, which can be seen as the motivation of wide practical use of the theoretic results for hybrid systems. Owing to their widely real applications, stochastic systems with Markovian switching have received a great deal of attention and many interesting results have been reported in the literature. For example, [39] considered the stability of stochastic differential equations with infinite Markovian switchings and [40] studied the stability for stochastic differential equations with semi-Markovian switchings. The results of stochastic hybrid systems are applied in feedback controls and neural networks; please refer to [41–45] and the reference therein.
As an important class of hybrid stochastic system, neutral stochastic delay differential equations with Markovian switching (NSDDEwMS) have been applied in practice, such as traffic control, neutral networks, and chemical process. Due to its wide applications, more and more researchers focus on this system. An important question for such a model is the stability analysis. Lyapunov-Razumikhin functions method and Lyapunov-Krasovskii functionals method are two effective methods that have been exploited for the stability analysis. For example, Mao in [46, 47] applied Razumikhin approach to derive the exponential stability criteria for neutral stochastic delay differential systems with Markovian switching. In [48–53], the authors considered the exponential stability by using Lyapunov-Krasovskii functionals method. Reference [54] applied some special techniques to study the exponential stability. Besides, Zhu in [55, 56] obtained several novel exponential stability criteria for some more complex systems with impulse control and Lévy noise. In addition, [57] considered the stability in distribution of neutral stochastic differential delay equations with Markovian switching and [58, 59] studied the almost sure stability for the same system.
Although the above exponential stability criteria can be used to judge the stability for many NSDDEwMS, nevertheless, these conditions in the above literature can be weakened to cover a large collection of NSDDEwMS. In other words, there are some shortcomings in the former criteria. The main is that all the above criteria for exponential stability in the related literature imposed some strict conditions on the diffusion operator of Lyapunov functions. For example, [46, 47] required the estimated upper bound for the diffusion operator of Lyapunov functions to be negative constant numbers. Reference [48] needed that the estimated upper bound must be a negative value function. Simply speaking, the former results all need that the upper bound for the diffusion operator of the Lyapunov function is negative definite for all . This restriction leads to the criteria having strong conservativeness in practice due to the fact that there are a large number of time-varying systems not satisfying the above conditions. As shown by an example in Section 4, the existing results and methods cannot be applied to analyse the stability for more general time-varying systems.
Motivated by the above discussion, in this short note, we focus on the exponential stability for NSDDEwMS. By using the notions such as uniformly stable function (USF), overshoot of the USF that dated from [60, 61] and then combining the stochastic analysis techniques, we obtain a novel stability criterion for NSDDEwMS. The feature of the criterion is that the coefficients of the estimated upper bound for the diffusion operator of Lyapunov functions can be allowed sign-changing as the time-varying, which can be used more widely than the existing results.
The rest of the paper is organized as follows. In Section 2, we introduce the model of NSDDEwMS and some preliminaries. The main result and its proof will be displayed in Section 3. An example is provided in Section 4. Finally, we conclude this paper with some general remarks in Section 5.
Throughout this short paper, let be a complete probability space with a natural filtration satisfying the usual condition (i.e., it is right continuous and contains all -null sets). denotes the Euclidean norm of . The symbol denotes the family of continuous function from to with the norm . We use to denote the family of all -measurable, valued random variables satisfying . We use to denote the expectation operator with respect to the probability measure . Let be an -dimensional Brownian motion defined on a complete probability space. . denotes the set of positive integers.
2. Preliminaries
Let be a right-continuous Markov chain on the probability space taking values in a finite state space with generator given by where . Here is the transition rate from to if while .
In this short paper, we will consider the following neutral stochastic delay differential system with Markovian switching:with the initial data . We assume that , satisfy the local Lipschitz condition and the linear growth condition. Additionally, we impose the following condition:on to guarantee the existence and uniqueness of solution for system (2) for all . We also assume that , , and , which implies that the trivial solution of system (2) exists. In order to use Lyapunov’s method to study the th moment exponential stability, we need the following definitions.
Definition 1. The trivial solution of (2) is said to be th moment exponentially stable if for all . When , th moment exponential stability is usually called mean square exponentially stable.
Definition 2. The function belongs to class if it is a continuously twice differentiable with respect to and once differentiable with respect to .
Next, we need an operator from to by where
In order to overcome the difficult caused by the neutral item, we need the following inequality.
Lemma 3. Let . Then holds for any .
The following lemma, which is important in the proof of the main result, can be found in Lemma 1 of [62].
Lemma 4. Let be a constant. Let a function admit a sequence and positive constants and , such that , for all . is continuous on for all and the left limit exist. Assume that there exists a constant such that holds for all . Then holds for all .
The following definitions, which are dated from [60], are important in the proof of our main result.
Definition 5. A piecewise continuous function is said to be a USF if the following linear time-varying equation is globally uniformly asymptotically stable:
Definition 6. Let be a USF. Then the set is said to be the uniform convergence set of . For any , the overshoot of is defined as follows:
3. Main Results
In this section, we will use stochastic analysis theory, Lyapunov’s method, and Lemmas 3 and 4 to obtain a criterion for th moment exponential stability of system (2). Our main result is the following.
Theorem 7. Let be all positive numbers, and is a USF. If there exist a function and a constant such that the following conditions hold for all ,
(1) for all , , (2) the following Razumikhin-type condition holds:Then, system (2) is th moment exponentially stable; here .
Proof. First of all, we will prove the following fact: if holds for all which implies , then, for any ,In order to prove inequality (14), we consider the following two cases:
(A): holds for all .
(B): does not hold for some .
For (A), we know that holds for any . By using Ito’s formula and the standard stopping times technique, we obtain that which implies that .
For (B), define . Then or . If , then, for all , . So according to the result of (A), we obtain that If , from the definition of , we have Combining the above three inequalities, we can see that inequality (14) holds.
Assume that holds for all , then holds for all . According to condition (2), we know that . Thus, from inequality (14), condition (1), and Lemma 3, we conclude that, for any , By condition (1), we can see that Using Lemma 3 again, we obtain that In order to use Lemma 4, we need to justify that . In fact, on one hand, due to , there exists a constant such that . On the other hand, due to being a USF and , there exists a constant such that . Thus where . By Lemma 4, we derive that which implies that In other words, we have proved that system (2) is th moment exponentially stable.
Remark 8. Here, by using stochastic analysis theory, some notions as uniformly stable function (USF), overshoot of the USF that dated from [60, 61], and some inequality techniques, we obtain a novel exponential stability criterion with respect to the related systems. The method we use here is rather different from the traditional Razumikhin approach. Thus, we provide a new method to investigate the stability analysis for neutral stochastic delayed differential equations with Markovian switchings. In the future, we can develop this approach to study the stability for impulsive neutral stochastic delayed differential equations.
Remark 9. If system (2) has no Markovian switching and , then ; the condition of Theorem 7 becomes , which is the same as the conditions in [46, 47]. If the model we considered has no Markovian switching, stochastic disturbance, and neutral item, then we can obtain the same result as Theorem 1 in [60]. Thus, our result is the generalization of Theorem 1 in [60] and the main results in [46, 47].
Remark 10. In Theorem 3.1 of [53], the condition (3.3) ensured that the coefficient of the estimated upper bound for the diffusion operator of Lyapunov function is a negative value, and the condition of Theorem 3.1 in [48] required that the coefficient function of the estimated upper bound for the diffusion operator of Lyapunov function is a negative definite function, which are very conservative in the practice if the system is time-varying system. But our conditions allow this function to take values on and even allow it to be unbounded. Thus, our result can be used more widely and is less conservative than the existing results. See Example 1 for more details.
4. An Example
In this section, we will give an example to illustrate the validity and significance of our result.
Example 1. Now we will consider the following neutral-type stochastic delay differential system with Markovian switching: whereand is a right-continuous Markov chain on the state space with the generator Theorem 3.1 in [48] is void in determining the exponential stability for such a system. In fact, taking and , then, by Ito’s formula, and Obviously, the conditions in Theorem 3.1 [48] do not hold. But we can judge the exponential stability for such system by using our result. Take and . By Ito’s formula,
and Choosing , then , where . Here, is an unbounded function, taking values in , so we cannot use any former results to judge the mean-square exponential stability for such system. But, from our result, we can determine its stability. In fact, taking , then holds for all . Thus . Additionally, , and . By Theorem 7, the system is mean square exponentially stable. See Figure 1.
5. Conclusion
In this paper, we investigate the stability criterion for neutral stochastic delay differential equations with Markovian switching. By using stochastic analysis technique and Razumikhin approach, we overcome the difficulty caused by the neutral item for the related system. Finally, we derive a new and novel Razumikhin exponential stability criterion. The feature of the result is that the estimated upper bound for the diffusion operator of Lyapunov function is allowed to take values on , even if it is allowed to be unbounded. The criterion can reduce some restrictiveness of the related results that are existing in the previous literature. An example is provided to show the superiority of the new exponential stability criterion.
Data Availability
No data were used to support this study.
Conflicts of Interest
The author declares that they have no conflicts of interest.
Acknowledgments
This work was supported by the China Postdoctoral Science Foundation (2018M632325).