Abstract

This paper deals with stochastically globally exponential stability (SGES) for stochastic impulsive differential systems (SIDSs) with discrete delays (DDs) and infinite distributed delays (IDDs). By using vector Lyapunov function (VLF) and average dwell-time (ADT) condition, we investigate the unstable impulsive dynamics and stable impulsive dynamics of the suggested system, and some novel stability criteria are obtained for SIDSs with DDs and IDDs. Moreover, our results allow the discrete delay term to be coupled with the nondelay term, and the infinite distributed delay term to be coupled with the nondelay term. Finally, two examples are given to verify the effectiveness of our theories.

1. Introduction

During the past few years, stochastic differential systems (SDSs) have been paid a great deal of attention in various fields. For example, there have been a number of works on the stability of SDSs (e.g., see [1–6]), and such a topic is of great significance in many practical applications. On the other hand, delay problems are often encountered in the chemical industry system, neural network system, and other systems. As a result, the stability analysis problem of SDSs with delays was studied in [2–12], where the delays were divided into constant delays, time-varying delays, and distributed delays. For a kind of SDSs with DDs and IDDs, there are many researchers to pay much attention on this topic, SDSs with DDs and IDDs were applied to study neural network systems [13–15], especially. However, these modes do not include some dynamic phenomena with impulses even if they are indeed important in practice.

Systems with impulses have been widely applied in practice. For instance, they are often used to describe dynamic processes that mutate at successive times [7, 8, 11, 12, 16–20]. In the past few decades, addressed system was studied extensively (e.g., see [16, 19]) and it was found that impulsive systems can contribute the exponential stability of SDSs (e.g., see [8, 11, 12]). The impulse one can not only cause complex dynamic behaviors such as instability, but also stabilize the unstable dynamic system. How to use the appropriate impulse control to stabilize the unstable SDSs or let impulses play a negative role on the stable system is of great significance. This paper aims to study these interesting topics for SIDSs with DDs and IDDs.

In order to deal with the stability of systems with DDs and IDDs, there have appeared many methods such as the fixed point theory, Lyapunov-Krasovskii function or the scalar Lyapunov function. For example, the Lyapunov -Krasovskii function and matrix inequality method were used in [13]; Chen et al. in [15] employed the fixed point theorem; Huang and Cao in [14] applied the Lyapunov functional method and the semimartingale convergence theorem. However, until now, there have been essentially no results to deal with SIDSs with DDs and IDDs by using the vector Lyapunov method. To investigate the stability issue, two new methods were recently proposed: the VLF method [9, 12, 19–23] and the ADT method [18, 24]. The ADT effectively limits the impulse and could promote the stability of the system. By using VLF, inequality techniques, and impulse conditions, some useful exponential stability criteria are obtained. As a feasible alternative to scalar Lyapunov function, VLF has attracted more and more attention in recent years (e.g., see [9]). In [25], VLF was first introduced and widely used in various fields owing to its outstanding advantages. In terms of construction, the theory of VLF provides a more flexible method for dealing with the complexity of SIDSs (e.g., see [19, 26]). The real reason is that the theory of VLF can reduce the dimension and reduce the requirement of system component (e.g., see [26]). Therefore, there are many related results reported on the vector Lyapunov function method (e.g., see [9, 12, 19–23]). However, the joint system with IDDs of stochastic impulsive and DDs has not been solved, which greatly limits the effectiveness of VLF.

Motivated by the above discussions, we study SGES of SIDS with DDs and IDDs by using ADT condition and VLF. We consider two cases: unstable impulse dynamics and stable impulsive dynamics. For these two cases, some sufficient conditions are established for SIDS with DDs and IDDs based on the strength of VLF and ADT condition. Moreover, the results show that continuous SDSs with DDs and IDDs are stable and the impulsive one is unstable, according to the relationship between ADT and impulse, a lower bound of ADT is given to the mixed system is exponential stability. When continuous SIDS with DDs and IDDs are not stable, the impulsive effect can stabilize the system successfully under the upper bound condition of the given ADT.

There are three contributions to the paper. (1) To the best of our knowledge, there have been no studies on the stability of SIDS with DDs and IDDs by VLF. (2) The discrete delay term is coupled with the nondelay term and the infinitely distributed delay term is coupled with the nondelay term. It should be mentioned that the comparison principle was used [19, 20, 23] and the components of VLF were separate, but the coupling of distributed delay term with nondelay term was not considered in [9, 12]. (3) The third is infinitely distributed delay: due to its infinite nature, we deal with it by the construction formula and . Thus, our results are innovative than those in [9, 19, 20, 23].

The remainder of this paper is organized as follows. In the second part, the model and the preliminary knowledge are introduced. Two novel stability criteria are established for the stochastic impulsive systems with DDs and IDDs in the third part. In the fourth part, two examples are given to verify the correctness of our results.

2. Preliminaries

Through the paper, no special instructions, we will use the following instructions.

is an -valued Brownian motion defined on a complete probability space . represents the set of positive integer and denotes the real number. For a give , let . Given , , if , for all . Define . Given a vector or matrix , its transpose is denoted by . for two given sets with . represents the trace of the matrix B, where . Let be the Euclidean norm and present the vector that all the components are 1. means identity matrix. For a given function and the initial time , define . Given a function , denote . A function is of class if it is of class and concave. A function is of class , if is of class for each fixed and decreases to zero as for each fixed . The inverse of the function is denoted by .

We will consider the following SIDSs with DDs and IDDs:where is the system state, , is a bounded and positive constant. is a impulsive time sequence satisfying . The initial function is a adapted continuous stochastic variable with finite . For all , the function , , and are assumed to be Lipschitz and Borel measurable. For the aim of stability, we assume that and , and thus is a trivial solution of system (1). As a usual, we assume with no emphasis on conditions that there exists a unique global solution for the initial value .

In this paper, we always assume that is meaningful. That is, the delay kernels are real-valued nonnegative continuous functions and satisfy , where is a positive number.

Definition 1. (see [6]): For arbitrary , if there is , , , , such thatThen, system (1) is stochastically globally asymptotically stable. Furthermore, if , then system (1) is stochastically globally exponentially stable (SGES).

Definition 2. (see [11, 24]): For an impulsive sequence , shows the number of impulses that occur in the half-open interval . Iffor , , then and are called the average dwell-time (ADT) and the elasticity number, respectively.

Definition 3. (see [9]): Let denote the family of the nonnegative functions that are continuously twice differentiable in and once in , is bounded. Then, for any , the operator of , is defined asDefine . In particular, if , then becomes a scalar.
Let be a continuous function. Then, the upper Dini derivative of is defined as . In particular, if is continuous, then it follows from [27] that .

Definition 4. (see [28]) Let off-diagonal elements of the matrix be nonpositive. If each of the following statements holds, then is a nonsingular M-matrix.(1)If the diagonal elements of A are all positive, then there exists a positive vector such that or .(2), , where , and is the spectral radius of the matrix .For a nonsingular M-matrix A, it can denote .

3. Main Results

In this section, we will establish the SGES of system (1) with destabilizing impulses.

Theorem 1. For system (1), assume that there is locally Lipschitz Lyapunov function , , , , , , positive matrices , and nonnegative matrices , , , where is continuous function and such that the following conditions:(i), , .(ii), , where is a nonsingular M-matrix, .(iii) and ,(iv), where ,where , , with , .
Then, system (1) is SGES.

Proof. By taking expectation on both sides of (5) and (6) and using Holder inequality in [6], we haveNext, we divide the proof into three steps. Step 1. We first prove the existence of . If is a nonsingular M-matrix, there is with such that For any given , let Obviously, it follows from (11) that and , where . On the other hand, we have Thus, there is a unique constant such that . Letting , there is a constant such that . Step 2. Next, we need to prove that for and , where , and . Clearly, (13) holds for . For simplicity, let , . It is easy to check that (13) is equivalent to the following: Now suppose that (13) is not valid in some interval, then there are two cases: Case 1. (13) is not true at the nonimpulse point of the certain interval; Case 2. (13) does not hold at the impulse point of the certain interval. For Case 1, there exists a such that holds for all and , and is not true for and . Define Noting that and are continuous for , there exist and such that where is arbitrarily small. Hence, it follows from (16) and (17) that By the definition of , we have which together with (19) yields Due to , then , for . By virtue of Dini-derivation, (8), and the formula, we obtain Then, it follows from (22) that Combining (21) and (23), we get , which contradicts with (18). Thus, holds for all . That is, (13) holds for all . For Case 2, we have that (13) holds for all and does not hold at . Thus, for some , Then, it follows from (9) that at the time instance , which contradicts with (24). Therefore, (13) holds for . Therefore, by using the mathematical induction, we see that (13) is satisfied for all . Step 3. Finally, we will prove that system (1) is SGES. In fact, it follows from condition (i) and Jensen’s inequality in [29] thatAccording to (iv), we obtain . This fact together with and (26) givesBy using Markov inequality in [29] and (27), we have that for arbitrary and , , which together with (i) yieldswhere . This verifies that system (1) is SGES.