About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 938027, 6 pages
http://dx.doi.org/10.1155/2013/938027
Research Article

Exponential Stability of Impulsive Delay Differential Equations

Department of Mathematics, Harbin Institute of Technology, Harbin 150001, China

Received 8 September 2012; Revised 3 January 2013; Accepted 8 January 2013

Academic Editor: Xinan Hao

Copyright © 2013 G. L. Zhang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

The main objective of this paper is to further investigate the exponential stability of a class of impulsive delay differential equations. Several new criteria for the exponential stability are analytically established based on Razumikhin techniques. Some sufficient conditions, under which a class of linear impulsive delay differential equations are exponentially stable, are also given. An Euler method is applied to this kind of equations and it is shown that the exponential stability is preserved by the numerical process.

1. Introduction

Impulsive differential equations arise widely in the study of medicine, biology, economics, engineering, and so forth. In recent years, theory of impulsive differential delay equations (IDDEs) has been an object of active research (see [118] and references therein). The results about the existence and uniqueness of IDDEs have been studied in [2, 7]. The stability of IDDEs has attracted increasing interest in both theoretical research and practical applications (see [1, 3, 518] and references therein). In particular, special attention has been focused on exponential stability of IDDEs (see [1, 3, 8, 9, 15]) because it has played an important role in many areas.

There is a little work done on exponential stability for IDDEs by the Lyapunov-Razumikhin method. Wang and Liu [15] have extended Lyapunov-Razumikhin method to IDDEs and established some exponential stability criteria. In this paper we restrict the length of each impulsive interval instead of some conditions in [15]. As a result, several new criteria on exponential stability are analytically derived.

There are a few papers on numerical methods of impulsive differential equations. In [19], Covachev et al. obtained a convergent difference approximation for a nonlinear impulsive ordinary system in a Banach space. In [20, 21], the authors studied the stability of Runge-Kutta methods for linear impulsive ordinary differential equations. In [4], Ding et al. studied the convergence property of an Euler method for IDDEs. In [18], asymptotic stability of numerical solutions and exact solutions of a class of linear IDDEs was studied by the property of DDEs without impulsive perturbations. The convergence of the numerical methods for this kind of equations was studied. In this paper, we study exponential stability of the numerical solutions of linear IDDEs.

The rest of the paper is organized as follows. In Section 2, we obtained two criteria on exponential stability for IDDEs by the Lyapunov-Razumikhin method. The results obtained are applied to a class of linear IDDEs. In the last section, we prove that the Euler method for the linear IDDEs preserves the analytic exponential stability.

2. Stability of Analytic Solutions

Consider the impulsive delay differential system where ; ; , with as ; is a set of piecewise continuous functions which have a finite number of points of discontinuity in a finite interval and for all . We assume that , , so that is a solution of (1) as , which we call the zero solution.

Definition 1 (see [15]). A function : is said to belong to the class if(i) is continuous in each of the sets and for each , , exists, ;(ii) is locally Lipschitzian in all , and for all .

Definition 2 (see [15]). Given a function : , the upper right-hand derivative of with respect to system (1) is defined by for .

Definition 3 (see [15]). The zero solution of (1) is said to be exponentially stable, if there exist constants and , such that for any initial data ,

Theorem 4. Assume that there exist a function ; constants , ; positive constants , , , ; and a function with , such that for any with the following conditions hold:(i) for all , ;(ii) for all , whenever for ;(iii) for ;(iv) for , and , where .
Then the zero solution of (1) is exponentially stable.

Proof. Similar to the proof of Theorem 3.1 in [15], we obtain that Since , there exists such that and . So Hence the zero solution of (1) is exponentially stable.

Remark 5. Theorem 3.1 in [15] requires that , and , which implies . In our Theorem 4, we require for , and instead. This means that the impulsive effects are bounded instead of tending to zero (see Example 13).

Theorem 6. Assume that there exist a function ; constants , ; positive constants , , , , ; and a function with , such that for any with , the following conditions hold:(i) for all , ;(ii) for all , , whenever for , where is a constant and ,   and is the smallest integer larger than or equal to ; (iii);(iv) for , and , where , .
Then the zero solution of (1) is exponentially stable.

Proof. Let be the solution of system (1) and . We will prove
Let We need to show that for all . It is clear that for , since by condition (i).
Next we shall show , for . Suppose this is not true. Then there is a such that , , , and Note that . Then for . By condition (ii), . So which contradicts (8). Hence , for all .
Assume that , for . We shall show that , for . Obviously, by condition (iii) Suppose that there exists a such that and . There is a such that , , , and
Since , then for any , we have Thus by condition (ii), , then which contradicts (11). Hence for all . By induction, for all . In view of for all , we obtain for , . Since , there exists such that and . By condition (i) where . Hence the zero solution of (1) is exponentially stable.

Remark 7. Theorem 6 says that the delay differential equation is unstable and the suitable impulse effects are given, then it will become stable (see Example 14). Compared with the Theorem 3.1 in [16], we do not require that . For example, by Theorem 6 we know that the zero solution of the following system is exponentially stable:
In the following we consider where , and are constants.

Theorem 8. Assume that , and there is a constant such that and , where . Then the zero solution of (17) is exponentially stable.

Proof. Assume that .(i)Obviously, there exist , such that .(ii) Assume that for all . For any , if we have . For , we have (iii) Suppose that . Hence (iv) Obviously, and .
By Theorem 4, the zero solution of (11) is exponentially stable.

Similarly, by Theorem 6 we have the following theorem.

Theorem 9. Assume that , , and there are constants and such that , , and , where , . Then the zero solution of (17) is exponentially stable.

3. The Euler Method for Linear IDDEs

In this section, we consider the exponential stability of the Euler method for (17). The convergence property can be proved similarly to [4]. The Euler method for (17) with initial function is given by where . Let , then is an approximation for the exact solution for , and is an approximation for .

Definition 10. The Euler method for (11) is said to be exponentially stable if there exist positive constants , and , for any , such that for , , and .

The following theorem indicates that the Euler method preserves the property of exact solutions which was obtained above.

Theorem 11. Under the conditions of Theorem 8, the Euler method for (17) is exponentially stable.

Proof. If , then . (i) If , we want to prove that for , . Obviously, . Firstly, we consider the case and . Because and , so . Hence we have Because , we have . By the inequality holding for all , we get .
Assume that for . Then So (22) holds for , . Suppose that (22) holds for , . Next, we shall prove (22) holds, when , . Hence Assume that for . Then Hence (22) holds. Since , there exists such that and . Hence (ii)If , we can prove that Consequently, the theorem holds.

Theorem 12. Under the conditions of Theorem 9, the Euler method for (17) is exponentially stable.

Example 13. Consider the system Obviously, satisfies the Theorem 8. Therefore the zero solution of (29) is exponentially stable. By Theorem 11, the Euler method for (29) is also exponentially stable (see Figure 1).

938027.fig.001
Figure 1: The solutions of (29), as , .

Example 14. Obviously, the zero solution of the system is unstable (see Figure 2) while the zero solution of the following system is exponentially stable by Theorem 9 with . By Theorem 12, the Euler method for (31) is also exponentially stable (see Figure 3).

938027.fig.002
Figure 2: The solution of (30) as , .
938027.fig.003
Figure 3: The solutions of (31), as , .

Acknowledgments

The authors wish to thank referees for valuable comments. The research was supported by the NSF of China no. 11071050.

References

  1. A. Anokhin, L. Berezansky, and E. Braverman, “Exponential stability of linear delay impulsive differential equations,” Journal of Mathematical Analysis and Applications, vol. 193, no. 3, pp. 923–941, 1995. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  2. G. Ballinger and X. Liu, “Existence and uniqueness results for impulsive delay differential equations,” Dynamics of Continuous, Discrete and Impulsive Systems, vol. 5, no. 1–4, pp. 579–591, 1999. View at Zentralblatt MATH · View at MathSciNet
  3. L. Berezansky and L. Idels, “Exponential stability of some scalar impulsive delay differential equations,” Communications in Applied Analysis, vol. 2, no. 3, pp. 301–308, 1998. View at Zentralblatt MATH · View at MathSciNet
  4. X. Ding, K. Wu, and M. Liu, “The Euler scheme and its convergence for impulsive delay differential equations,” Applied Mathematics and Computation, vol. 216, no. 5, pp. 1566–1570, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. M. De La Sen and N. Luo, “A note on the stability of linear time-delay systems with impulsive inputs,” IEEE Transactions on Circuits and Systems. I, vol. 50, no. 1, pp. 149–152, 2003. View at Publisher · View at Google Scholar · View at MathSciNet
  6. M. De la Sen, “Stability of impulsive time-varying systems and compactness of the operators mapping the input space into the state and output spaces,” Journal of Mathematical Analysis and Applications, vol. 321, no. 2, pp. 621–650, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  7. X. Liu, “Stability results for impulsive differential systems with applications to population growth models,” Dynamics and Stability of Systems, vol. 9, no. 2, pp. 163–174, 1994. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  8. X. Liu, X. Shen, and Y. Zhang, “Exponential stability of singularly perturbed systems with time delay,” Applicable Analysis, vol. 82, no. 2, pp. 117–130, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  9. X. Liu and Q. Wang, “The method of Lyapunov functionals and exponential stability of impulsive systems with time delay,” Nonlinear Analysis: Theory, Methods & Applications, vol. 66, no. 7, pp. 1465–1484, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  10. X. Liu, X. Shen, Y. Zhang, and Q. Wang, “Stability criteria for impulsive systems with time delay and unstable system matrices,” IEEE Transactions on Circuits and Systems. I, vol. 54, no. 10, pp. 2288–2298, 2007. View at Publisher · View at Google Scholar · View at MathSciNet
  11. Z. Luo and J. Shen, “Stability of impulsive functional differential equations via the Liapunov functional,” Applied Mathematics Letters, vol. 22, no. 2, pp. 163–169, 2009. View at Publisher · View at Google Scholar · View at MathSciNet
  12. I. M. Stamova and G. T. Stamov, “Lyapunov-Razumikhin method for impulsive functional differential equations and applications to the population dynamics,” Journal of Computational and Applied Mathematics, vol. 130, no. 1-2, pp. 163–171, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  13. J. H. Shen, “Razumikhin techniques in impulsive functional-differential equations,” Nonlinear Analysis: Theory, Methods & Applications, vol. 36, no. 1, pp. 119–130, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  14. J. Shen and J. Yan, “Razumikhin type stability theorems for impulsive functional-differential equations,” Nonlinear Analysis: Theory, Methods & Applications, vol. 33, no. 5, pp. 519–531, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  15. Q. Wang and X. Liu, “Exponential stability for impulsive delay differential equations by Razumikhin method,” Journal of Mathematical Analysis and Applications, vol. 309, no. 2, pp. 462–473, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  16. Q. Wang and X. Liu, “Impulsive stabilization of delay differential systems via the Lyapunov-Razumikhin method,” Applied Mathematics Letters, vol. 20, no. 8, pp. 839–845, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  17. Y. Zhang and J. Sun, “Stability of impulsive functional differential equations,” Nonlinear Analysis: Theory, Methods & Applications, vol. 68, no. 12, pp. 3665–3678, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  18. G. L. Zhang, M. H. Song, and M. Z. Liu, “Asymptotical stability of a class impulsive delay differential equations,” Journal of Applied Mathematics, vol. 2012, Article ID 723893, 9 pages, 2012. View at Publisher · View at Google Scholar
  19. V. Covachev, H. Akça, and F. Yeniçerioğlu, “Difference approximations for impulsive differential equations,” Applied Mathematics and Computation, vol. 121, no. 2-3, pp. 383–390, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  20. M. Z. Liu, H. Liang, and Z. W. Yang, “Stability of Runge-Kutta methods in the numerical solution of linear impulsive differential equations,” Applied Mathematics and Computation, vol. 192, no. 2, pp. 346–357, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  21. X. J. Ran, M. Z. Liu, and Q. Y. Zhu, “Numerical methods for impulsive differential equation,” Mathematical and Computer Modelling, vol. 48, no. 1-2, pp. 46–55, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet