Abstract

We establish a new comparison principle for impulsive differential systems with time delay. Then, using this comparison principle, we obtain some sufficient conditions for several stabilities of impulsive delay differential equations. Finally, we present an example to show the effectiveness of our results.

1. Introduction

The impulsive functional differential systems provide very important mathematical models for many real phenomena and processes in the field of natural sciences and technology [13]. In the last few decades, the stability theory of impulsive differential equations had a rapid development; for instance, see [116]. In those works, most researchers utilized Lyapunov functions or Lyapunov functionals coupled with a certain Razumikhin technique. It is well known that comparison principles play an important role in the theory for differential systems, which always reduce the studies from a given complicated differential system to some relatively simpler differential system. Up to now, there exist many results on this subject; see [2, 3, 516]. For example, Lakshmikantham et al. [3] presented a comparison principle for impulsive differential systems and applied it to the stability. Significant progress has been made in the theory of impulsive functional differential equations in recent years (see [17, 18]). It is well known that the monotone iterative technique offers an approach for obtaining approximate solutions of nonlinear differential equations. Some recent advances in the field of approximate solutions of nonlinear differential equations can be found in [1921]. Afterwards, some researchers gave several new comparison principles in the qualitative analysis for the solutions of impulsive systems; see [5, 9, 10]. In particular, there has been a significant development in the studies of comparison principles for delay systems; see [68]. At the same time, the comparison principles for differential systems with impulses and delays simultaneously have attracted many researchers, and many interesting results on this subject are obtained; see [911].

In view of the importance of comparison principles in the qualitative analysis for differential equations, in this paper we establish a new comparison principle for impulsive delay differential systems. As an application, we use it to deal with the stability of impulsive functional differential equations.

The rest of this paper is organized as follows. In Section 2, we introduce some useful notations and definitions. In Section 3, a new comparison principle and its applications to stability are given. Finally, we give an example to illustrate our results in Section 4.

2. Preliminaries

Let denote the set of real numbers, the set of nonnegative real numbers, the set of positive integers, and the -dimensional real Euclidean space equipped with the norm .

Consider the following impulsive functional differential equations:where and denotes the right-hand derivative of . The impulse times satisfy and . Also, assume ; meanwhile , where is an open set in , where is continuous except at a finite number of points , at which and exist and . For , the norm of is defined by . For each , is defined by , . For each , . For any , there exists a () such that implies that , where .

Define . For any , let .

In this paper, we suppose that there exists a unique solution of system (1) through each . Furthermore, we assume that , and , , so that is a solution of system (1), which is called the trivial solution.

We now give some useful notations and definitions that will be used in the sequel.

Definition 1. A function belongs to class , if(i)is continuous on each set and exists,(ii) is locally Lipschitzian in and .

Definition 2. Let , for any ; the upper right-hand Dini derivative of along a solution of system (1) is defined by

Definition 3. Assume is the solution of system (1) through . Then the trivial solution of (1) is said to bestable, if, for any and , there exists some such that implies , ;attractive, if, for any and , there exist some , such that implies , ;asymptotically stable if and simultaneously hold;exponentially stable; assume is a constant, if, for any and , there exists some such that implies , .

In the proof of our main results we will use the following lemma.

Lemma 4 (see [6]). Let satisfy Then, the right maximal solution ofand the left maximal solution of satisfy the relation whenever .

3. Comparison Results and Applications

In this section, we will establish a general comparison principle for the impulsive delay differential system (1), by comparing it with a scalar impulsive differential system. Then, applying the comparison principle, we obtain some stability criteria. First of all, we present the following comparison principle.

Lemma 5. Assume that satisfy ; , is the right maximal solution of where , , , is nondecreasing, and is the left maximal solution of Then whenever .

Proof. Since , there exists some such that . Since , by Lemma 4, it follows that When , Therefore, using Lemma 4 again, we obtain By induction, we can get The proof is complete.

Theorem 6. Assume that the conditions in Lemma 5 are satisfied; is the solution of system (1) with . And the following conditions hold:(i), if , ; then(ii), where and is nondecreasing.
Then implies

Proof. Let be a solution of system (1) existing for such that .
For simplicity, let ; then .
First, we will provewhere is small enough, is the solution of and . Note that since is continuous, a solution exists.
If (16) is not true, then there exists some such that Therefore,here, since is an interior point of the interval in which the functions are continuous, it implies that the left limits equal the right limits. Thus, it follows that Now consider the left maximal solution , , ofBy Lemma 4, we obtain Since , and , , it follows that Since , we have , .
Consequently, condition (i) yields which contradicts with (20). Hence, (16) is proved.
When , .
Next, we will prove where is small enough, is the solution of and .
By the above proof, it easily follows that If (25) is false, then there exists a such that This implies that Now consider the left maximal solution , , of By Lemma 5, we obtain Since , it follows that , , and , .
This implies that , .
Consequently, condition (i) yields which contradicts with (29). Hence, (25) is proved.
By induction, we can obtain where is small enough, is the solution of and , .
This means that , , which completes the proof.

Remark 7. If , Theorem 6 is similar to Lemma  2 in [14]. However, it should be noted that inequality is not enough for the validity of the claim of Lemma 2. In Theorem 6, we complement and correct the known results in [14].

Next, we give some special cases of Theorem 6, which can be concrete and used easily.

Corollary 8. Assume that is the solution of (1) with . Let , , , in Lemma 5, and(i), if , ; then(ii), .Then implies

Remark 9. In particular, let in Corollary 8; the estimate of can be obtained; that is, . If , in Corollary 8, then .

Remark 10. If , , in Corollary 8, then comparison system (7) becomes an ordinary differential equation and the corresponding style of Corollary 8 reduces to the result of Liu and Xu [8].

Corollary 11. Assume that is the solution of (1) with . Let , , in Lemma 5, and(i), if , ; then (ii), where and is nondecreasing.
Then implies

Remark 12. From Corollary 11, we can observe that is not always positive. That is, is allowed. To the best of our knowledge, no similar work has been carried out on comparison method for impulsive functional differential systems. Hence, our result greatly enriches the theory of comparison principle and can be used for a wider class of impulsive systems.

Next, we will apply the comparison result to establish some stability criteria of system (1). In what follows, let be the class of continuous strictly increasing functions defined on with .

Theorem 13. Assume that the conditions in Theorem 6 are satisfied. Moreover, if there exists function such that then the stability properties of the trivial solution of comparison system (7) imply the corresponding stability properties of the trivial solution of impulsive functional differential system (1).

Proof. We establish asymptotical stability. First, we prove that the trivial solution of system (1) is stable. Since the trivial solution of system (7) is stable, for any given , , there exists such that Since , then there exists such that Let , and, from Theorem 6, we have Hence, ; that is, the trivial solution of (1) is stable.
Now, we prove that the trivial solution of system (1) is attractive.
For any given , , and , there exists satisfing , . Since is asymptotically stable, hence, there exists such that From Theorem 6, we obtain Hence, for ; that is, the trivial solution of (1) is attractive. Therefore, the trivial solution of system (1) is asymptotically stable.

Theorem 14. Assume that the conditions in Theorem 6 are satisfied. Moreover, if there exist constants , such that the following condition holds then the exponential stability of the trivial solution of comparison system (7) implies the exponential stability of the trivial solution of impulsive functional differential system (1).

Proof. Since the trivial solution of (7) is exponentially stable, hence, assuming is a constant, for any given , , there exists such that implies From Theorem 6, we have Hence, , . Therefore, the trivial solution of system (1) is exponentially stable. This completes the proof.

4. An Example

In this section, we will give an example to illustrate the effectiveness of our results.

Example 1. Consider the following impulsive delay differential equations:where , , and , for all .

Property 1. The trivial solution of system (48) is exponentially stable if .

Proof. Choose . Then when , ; that is, , and we haveFurthermore, Then we can give the following comparison system: We can easily observe the solution of (51); that is, .
If , then the solution of (51) is exponentially stable. Hence, by Theorem 14, the solution of (48) is also exponentially stable. This completes the proof.

Remark 15. In [3, p129], the author gave the sufficient condition for the uniform stability of the functional differential equation of (48) without impulses; that is, . It is easy to check that implies . Therefore, Property 1 shows that under proper impulse effect, the exponential stability can be derived, which illustrates that the impulses do contribute the equations stability and attractive properties.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work was supported in part by National Science Foundation of China under Grant (no. 61201430) and Scientific and Technological Program of Huangdao District (no. 2014-1-28).