Research Article | Open Access
Stability of a Class of Hybrid Neutral Stochastic Differential Equations with Unbounded Delay
This paper studies the stability of hybrid neutral stochastic differential equations with unbounded delay. Some novel exponential stability criteria and boundedness conditions are established based on the generalized Itô formula and Lyapunov functions. The factor is used to overcome the difficulties caused by the unbounded delay effectively. In particular, our results generalize and improve some previous stability results from bounded delay to unbounded delay conditions. Finally, an example is presented to demonstrate the effectiveness of the proposed results.
With the deep development of the research on complex systems in recent years, much attention has been paid to the influence of random factors on the power system. Hence, the stochastic differential equations (SDEs) come to play important roles in many fields, such as molecular physics, population genetics, and some other branches of science (see [1–3]).
Practically, there are many systems depending on both present and past states, as well as the changing rate. To model this kind of systems primely, the delay systems and neutral stochastic differential equations (NSDEs) with time-dependent delay are studied widely. Recently, there have appeared many interesting results in the literature. For example, [4–6] studied the global asymptotic stability results and applications of time-varying delay systems in neural networks (NNs), memristive neural networks (MNNs), and chaotic Lure systems (CLSs). Zhu and Cao  investigated the global asymptotic stability for stochastic neural networks of neutral type with both Markovian jump parameters and mixed time delays. Liu and Zhu  studied mean square stability of two classes of theta method for NSDEs with bounded delay. Ma and Xi  established a moderate deviation principle for NSDEs driven by Poisson random measure and time delay.
On the other hand, some random abrupt changes generally exist in practical systems because of the change of internal and external environment. SDEs with Markovian switching (SDEwMs) are powerful tools for describing systems that encounter abrupt changes in structure. It is inspiring that many important results have been reported in the literature. For example, Zhu et al.  investigated the problem of robust exponential stability for a class of stochastically nonlinear jump systems with mixed time delays. Zhu  investigated the th moment exponential stability for a class of impulsive stochastic functional differential equations with Markovian switching (SFDEwMs). Furthermore, Zhu  studied the Razumikhin-type theorem for a class of SFDEwMs with Lévy noise, which was a breakthrough of the traditional Brownian motion. Reference  discussed the asymptotic stability of SDEwMs. Also, in recent years many researchers pay more effort to applying Markovian switching into the neural networks that has various applications (e.g., see [14–16]). Besides, a few stability studies on the NSDEs with Markovian switching (NSDEwMs) can be found in [17–20].
Above references just focus on bounded time delay, leaving many practical systems unanswered where the delay terms are usually required to be unbounded. For example, in the neural network model, stochastic unbounded variable delay differential system must be considered to model transmission and transformation of the signal in a better fashion (see ). Some related works on unbounded delay can be found in [20–24]. References [22, 24] investigated the existence and uniqueness, as well as the pathwise stability of the global solutions to SDEs and NSDEs with unbounded delay, respectively. Reference  studied the stability of SFDEs with unbounded delay. In Section of , the stability and boundedness of nonlinear hybrid SDEs were discussed when the delay function was given as . Particularly,  presented the existence and uniqueness of the exact solution for a class of NSDEwMs with unbounded delay and also showed the th moment exponential stability and almost sure exponential stability results under the bounded delay condition and established the Euler-Maruyama method under both cases. As far as we know, few works have been devoted to study the stability of neutral stochastic hybrid systems with unbounded delay.
Motivated by the above discussion, this paper aims to develop the th moment exponential stability and almost sure exponential stability criteria of the solution of NSDEwMs with unbounded delay after showing the corresponding existence and uniqueness theorem. Our methods rely upon the generalized Itô formula and Lyapunov functions. Besides, the factor is used to overcome the key challenges emerging from the neutral term and unbounded delay features. The contributions of this paper are twofold. The first one is that we improve the delay function in  to the general unbounded delay and add the neutral term. The other one is that we greatly generalize and advance the th moment exponential stability and almost sure exponential stability results in  where the delay term was bounded. It should be pointed out that we use the Euler-Maruyama method which was investigated in  to simulate a numerical example in this study.
The remainder of this paper is organized as follows. In Section 2, we define some notations and give four assumptions with respect to the system of the hybrid neutral stochastic differential equations with unbounded delay. In Section 3, we obtain our results through three theorems. A numerical example is proposed to demonstrate the results in Section 4. Finally, in Section 5, we conclude this paper with some general remarks.
2. Models, Notations, and Assumptions
We use the following notations throughout this paper without specification.
Let be a complete probability space with a filtration satisfying the usual conditions, which means that it is increasing and right continuous, and contains all -null sets. Let be an -dimensional standard Brownian motion defined on the probability space . For any , let stand for the Euclidean norm. If is a matrix, demote its trace norm by , where is the transpose. For a given , denote by the family of continuous function with the supremum norm . Also, denote by the family of bound, -measurable, -valued random variables and .
Let be a right-continuous Markovian chain on the probability space taking values in a finite states space with generator given by where and is the transition rate from to if , while . Assume that the Markov chain is independent of the Brownian motion .
The model considered in this paper is the following hybrid neutral stochastic differential equation with unbounded delay: with initial conditions where the functions are all Borel-measurable and is a -dimensional state process. The unbounded delay function is Borel-measurable. It is necessary to say that model (2) was investigated in  to study the existence and uniqueness of the solution under the unbounded delay, as well as the th moment exponential stability and almost sure exponential stability results under the bounded delay condition. Next we will further establish the th moment exponential stability and almost sure exponential stability criteria of model (2) when the delay function is unbounded. Besides, the following Assumption 4 we used is quite different from the assumption in .
Denote by the family of all continuous functions from to . Let denote the family of all continuous nonnegative functions from to such that, for each , they are continuously twice differentiable in and once in .
For a given , we define an operator by where
By the generalized Itô formula, we have where the function is defined by and is a martingale measure while is a Poisson random measure with intensity , in which is a Lebesgue measure on . The definition of and more related details can be found in .
Now we give the following primary inequalities.
Proposition 1. For any and , the following inequalities hold.
Nevertheless, additional assumptions will be considered to achieve the further conclusions.
Assumption 2 (the local Lipschitz condition). For each positive integer , there exists a positive constant such that for all with and for all , ,
Assumption 3. The delay function is differentiable and there exists a constant satisfying
Let , ; then , so is an increasing function of and , .
Assumption 4. There are a function , nonnegative constants , , , and positive constants , , with , such that and there also exists such that for , , and .
Assumption 5. For the same in Assumption 4, there is a constant such that for , , and .
Moreover, inequality (15) implies that
3. Main Results
In this section, we will obtain the th moment and almost sure exponential stability criteria of the solution of model (2) under Assumptions 2–5. In the following theorem, we will obtain the existence and uniqueness for the global solution of model (2).
Theorem 6. Let Assumptions 2–5 be satisfied; then, for initial condition (3), there exists a unique global solution ; of model (2) with the following properties hold: Furthermore, if , then the solution obeys that
Proof. It is well-known that, for a given initial condition (3), Assumption 2 supports the existence and uniqueness of maximal local solution of (2) on , where is the explosion time.
Since is bounded, there is a positive constant such that . For each integer , define the stopping time Obviously, is increasing as . Define , where
In order to show that the solution ,, does not explode in finite time, we need to prove that ., which implies
By the generalized Itô formula (7) and condition (14), we obtain that, for any , where is a local martingale with .
For any , integrating both sides of (22) and then taking expectation, we get that, for any , Applying (13) to the first term on the right side of (24), we have On the other hand, according to Assumption 3 and inequality , we get Substituting (25) and (26) into (24), it follows that Bearing in mind that in Assumption 4, we obtainwhere .
Define By (16), we get On the basis of (28) and (29), we have Remarking that , then . Letting in (30), we have ; that is, . For the arbitrariness of , we know that , which implies that as required.
We have established the existence and uniqueness of the global solution, and now we further verify its properties.
Noting that inequality (27) yields Letting , we get Dividing both sides of (32) by and letting , combining with (13) we obtain the assertion (18).
Particularly, when , from (31), we have Dividing both sides of this inequality by , and letting , we get which gives the desired estimate (19).
By Fubini’s theorem, we obtain this implies which is (20).
Theorem 8. Let Assumptions 2–5 be satisfied; then, for initial condition (3), the unique solution of (2) has the property where , while is the unique root to the equation If, furthermore, , then the solution obeys that
Proof. By the generalized Itô formula, for any , we have where is a local martingale with .
For any , let be the stopping time defined in the proof of Theorem 6. Integrating both sides of (41), and then taking expectation, we get that, for any , By Assumption 3, we get Next, we will estimate the second part of (43). Applying Proposition 1, as well as (13) and (15), we have the following expression when : While for , applying (10) and letting in Assumption 5, we get From (45) and (46), we get, for any , Substituting (44) and (47) into (43), we obtain that Bearing in mind that is the unique root to (38), as well as (13), we see, for any , where Then letting , the inequality becomes Dividing both sides of (51) by , and letting , it leads to which is (37).
In the case when , from (51), we have which can get (39).
Now we show (40). Rewriting the integral form of (41), we have where is the same as (42). Proceeding as in the proof before, with , we can state that