- Open Access
Attracting and invariant sets of nonlinear neutral differential equations with delays
Advances in Difference Equations volume 2012, Article number: 113 (2012)
In this paper, we study the attracting and invariant sets for a class of nonlinear neutral differential equations with delays. By using the properties of -matrix, a new delay differential-difference inequality is established. Based on the new inequality, we get the global attracting and invariant sets and the sufficient condition ensuring the exponential stability in Lyapunov sense of nonlinear neutral differential equations with delays. Our results are independent of time delays and do not require the differentiability, boundedness of the derivative of delay functions and the boundedness of activation functions. Two examples are presented to illustrate the effectiveness of our conclusion.
Delay effects exist widely in many real-world models such as the SEIRS epidemic model  and neural networks [2–5]. The existence of time delays may destroy a stable system and cause sustained oscillations, bifurcation or chaos and thus could be harmful. Therefore, it is of prime importance to consider the effect of delays on the dynamical behaviors of the system. Recently, there are many authors who consider the effect of delays on the stability in Lyapunov sense of the system with time delays [2–11]. In addition, another type of time delays, namely neutral-type time delays, has recently drawn much attention in research [12–21]. In fact, many practical delay systems can be modeled as differential systems of neutral type whose differential expression includes not only the derivative term of the current state but also the derivative of the past state, such as partial element equivalent circuits and transmission lines in electrical engineering, controlled constrained manipulators in mechanical engineering, neural networks models, and population dynamics (see  and references therein).
The works [12–22] mentioned above are focused on studying the stability in Lyapunov sense of the neutral differential equations, which requires the existence and uniqueness of equilibrium points. However, in many real physical systems, especially in nonlinear and non-autonomous dynamical systems, the equilibrium point sometimes does not exist. Therefore, an interesting subject is to discuss the stability in Lagrange sense. Basically, the goal of the study on global stability in Lagrange sense is to determine global attracting sets. Once a global attracting set is found, a rough bound of periodic states and chaotic attractors can be estimated. For this reason, some significant works have been done on the techniques and methods of determining the invariant set and attracting set for various differential systems [23–30]. In these works mentioned before, there is only one paper  that considers a positive invariant set and a global attracting set for nonlinear neutral differential systems with delays, but the boundedness of activation functions is required.
It is well known that differential inequalities are very important tools for investigating the dynamical behavior of differential equations (see [11, 20, 21, 26, 28, 31–34]). Xu et al. developed a delay differential inequality with the impulsive initial conditions and derived some sufficient conditions to determine the invariant set and the global attracting set for a class of nonlinear non-autonomous functional differential systems with impulsive effects . In , Eduardo Liz et al. developed a generalized Halanay inequality and derived some sufficient conditions for the existence and stability of almost periodic solutions for quasilinear delay systems. In , Xu et al. developed the singular impulsive delay differential inequality and transformed the n-dimensional impulsive neutral differential equation to a 2n-dimensional singular impulsive delay differential equation and derived some sufficient conditions ensuring the global exponential stability in Lyapunov sense of a nonlinear impulsive neutral differential equation with time-varying delays, but they assumed that the discontinuous points of the derivative of the solution belonged to the first kind. As we all know, the discontinuous points of the derivative of continuous functions may not be the first kind. In addition, we know that LMI method is another effective tool for investigating the dynamical behavior of a differential system [14, 15, 35]. The results given in the LMI form are dependent on time delays, so we must give additional constraint conditions such as differentiability or boundedness of the derivative of delay functions on the time-varying delays. However, the conditions given in the form of -matrix are usually independent of the time delays, thus, the time delays are harmless. Motivated by the before discussions, our objective in this paper is to improve the inequality established in  and  so that it is effective for neutral differential equation. By establishing a new delay differential-difference inequality, without assuming that the discontinuous points of the derivative of the solution belong to the first kind, the global attracting and invariant sets and the sufficient condition ensuring the global exponential stability in Lyapunov sense of a nonlinear neutral differential equations with delays are obtained. Our results are independent of the time delays, and do not require the differentiability, boundedness of the derivative of delay functions and the boundedness of activation functions. Two examples are presented to illustrate the effectiveness of our conclusion.
Model description and preliminaries
Throughout this paper, we use the following notations. Let be the space of n-dimensional nonnegative real column vectors, be the space of n-dimensional real column vectors, , and denote the set of real matrices. Usually E denotes an unit matrix. For , the notation () means that each pair of corresponding elements of A and B satisfies the inequality ‘’. Especially, is called a nonnegative matrix if , and z is called a positive vector if . denotes the r th row vector of the matrix A.
denotes the space of continuous mappings from the topological space X to the topological space Y. Especially, denotes the family of all continuous -valued functions, where .
, where is a bounded interval, and denote the right-hand and left-hand limits of the function , respectively. Especially, let .
For , , and φ is a continuous function on , we define
and denotes the upper-right-hand derivative of at time t.
For , we introduce the following norm:
In this paper, we consider the following nonlinear neutral differential equation with time-varying delays:
where τ, , , , and are constants, , , is differentiable, and , satisfy
the initial function .
Throughout this paper, the solution of (1) with the initial condition is denoted by or , where , .
Definition 1 The set is called a positive invariant set of (1) if, for any initial value , we have the solution for .
Definition 2 The set is called a global attracting set of (1) if, for any initial value , the solution converges to S as . That is,
where , , for .
Definition 3 The zero solution of (1) is said to be globally exponentially stable in Lyapunov sense if there exist constants and such that for any solution with the initial condition ,
Definition 4 ()
Let the matrix have non-positive off-diagonal elements (i.e., , ), then each of the following conditions is equivalent to the statement ‘D is a nonsingular -matrix’.
All the leading principle minors of D are positive.
and , where , .
The diagonal elements of D are all positive and there exists a positive vector d such that or .
For a nonsingular -matrix D, we denote .
For a nonnegative matrix , let be the spectral radius of A. Then is an eigenvalue of A and its eigenspace is denoted by
which includes all positive eigenvectors of A provided that the nonnegative matrix A has at least one positive eigenvector (see Ref. ).
Lemma 1 ()
there is a positive vector such that .
Based on Lemma 1 in  and Theorem 2.1 in , we develop the following delay differential-difference inequality with the PC-value initial condition such that it is effective for neutral differential equation with delays.
Theorem 1 Let, and, satisfy
where, , , for, , , , , , , and. Suppose thatandis an-matrix, then the solution of (4) has the following property:
provided that the initial conditions satisfy
and the positive constant λ is determined by the following inequalities:
Proof Since Π is an -matrix, there exists a vector such that , that is . By using continuity and combining with , we know there exists a positive constant λ satisfying (7).
We at first shall prove that for any positive ε
If inequality (8) is not true, from (6) and , , then there must be a constant and some integer m, r such that
By using (4), (7), (9) and (10), we have
This contradicts the second inequality in (9), so the first inequality in (8) holds. Therefore, we have to assume that (10) holds and we shall obtain another contradiction. Next, we consider three cases.
Case 1. The elements of the and are not all zero. Without loss of generality, we let , . Then, by using (4), (10) and the first inequality in (8), we have
Which contradicts the first equality in (10), so under this case, the second inequality in (8) holds.
Case 2. The elements of the and are all zero, but the elements of the are not all zero. Without loss of generality, we let , . Combining with and the monotonicity of , from (10) and , we know there must exist such that
By using (4) and (13), we have
which contradicts the first equality in (10); so under this case, the second inequality in (8) holds.
Case 3. The elements of the , and are all zero, then the conclusion of the second inequality in (5) is trivial.
From the above analysis, we know (8) is true for all . Letting in (8), we can get (5).
The proof is complete. □
For the model (1), we introduce the following assumptions:
() The functions , are Lipschitz continuous, i.e., there are positive constants , , such that for all
() Let and be a nonsingular -matrix, where , , . Let .
Theorem 2 Assume that (), () hold. Thenis a global attracting set of (1).
where such that .
Then, for , from (1) and (), we calculate the upper-right-hand derivative along the solutions of (1),
So, from (16) and (), we get
On the other hand, we have
From (), Definition 4 and Lemma 1, we have , , and so
Furthermore, for , we have
By using continuity, we can find a positive constant λ such that
and we know
From (15) and the initial conditions in (1): , , where , we can get
where . From (20), (22), we know
From (17), (19), (23), () and Theorem 1, we get
From (24), we know the conclusion is true. The proof is complete. □
If , in the model (1), then we know the model (1) has an equilibrium point zero. From Theorem 2, we get the following conclusion.
Corollary 1 Assume that (), () withhold. Then the zero solution of (1) is globally exponentially stable in Lyapunov sense and the exponential convergence rate is determined by (21).
Theorem 3 Assume that (), () hold. Thenis a positive invariant set and also a global attracting set of (1).
Proof Since and , then from the definition of and , we get
We choose in Theorem 1; the remaining proof is similar to the proof of Theorem 2, and we omit it here. So we get the conclusion. □
If we further assume that , , then the system (1) becomes
Therefore, we can get the following corollary.
Corollary 2 Assume that () and () with, hold. Thenis a positive invariant set and also a global attracting set of (26).
Remark 2 The authors in  consider the special case of the model (26), but they require that the activation functions are continuous and monotonically nondecreasing, and the delay functions are satisfying .
Example 1 Consider the nonlinear neutral differential equation with delays
where , , , for .
By simple computation, we get
We can easily observe that , is a nonsingular -matrix and
Let , and , which satisfies the inequalities
Case 1 Let , , so by Theorem 2, we know is a global attracting set of (27), and by Theorem 3, we know is a positive invariant and global attracting set of (27). (See Figure 1.)
Remark 3 The authors in  considered the global attracting set of neutral type system, but the boundedness of activation functions is required, so the Theorem 1 in  is ineffective for the model (27).
Case 2 If , from Corollary 1, we know the zero solution of (27) is globally exponentially stable in Lyapunov sense and the exponential convergence rate is equal to 0.11. (See Figure 2.)
Example 2 Consider the nonlinear differential equation with delays
where , , for .
Similarly to the computation of Example 1, from Corollary 2, we can get the set is an invariant and global attracting set of the model (28). (See Figure 3.)
Remark 5 It is evident that the activation function is not monotonically nondecreasing and the delay functions do not satisfy , so the results in  are invalid for the model (28).
Gao S, Chen L, Nieto JJ, Torres A: Analysis of a delayed epidemic model with pulse vaccination and saturation incidence. Vaccine 2006, 24: 6037–6045. 10.1016/j.vaccine.2006.05.018
Mohamad S, Gopalsamy K: Exponential stability of continuous-time and discrete-time cellular neural networks with delays. Appl. Math. Comput. 2003, 135: 17–38. 10.1016/S0096-3003(01)00299-5
Song QK, Cao JD: Stability analysis of Cohen-Grossberg neural network with both time-varying and continuously distributed delays. J. Comput. Appl. Math. 2006, 197: 188–203. 10.1016/j.cam.2005.10.029
Zhang Q, Wei XP, Xu J: Delay-dependent exponential stability of cellular neural networks with time-varying delays. Chaos Solitons Fractals 2005, 23: 1363–1369.
Zhou DM, Zhang LM, Cao JD: On global exponential stability of cellular neural networks with Lipschitz-continuous activation function and variable delays. Appl. Math. Comput. 2004, 2: 379–392.
Gu HB, Jiang HJ, Teng ZD: Existence and globally exponential stability of periodic solution of BAM neural networks with impulses and recent-history distributed delays. Neurocomputing 2008, 71: 813–822. 10.1016/j.neucom.2007.03.007
Hale JK, Verduyn Lunel SM: Introduction to Functional Differential Equations. Springer, New York; 1993.
Kolmanovskii V, Myshkis A: Introduction to the Theory and Applications of Functional Differential Equations. Kluwer Academic, London; 1999.
Long SJ, Xu DY: Delay-dependent stability analysis for impulsive neural networks with time varying delays. Neurocomputing 2008, 71: 1705–1713. 10.1016/j.neucom.2007.03.010
Long SJ, Xu DY, Zhu W: Global exponential stability of impulsive dynamical systems with distributed delays. Electron. J. Qual. Theory Differ. Equ. 2007, 10: 1–13.
Xu DY, Yang ZC: Impulsive delay differential inequality and stability of neural networks. J. Math. Anal. Appl. 2005, 305: 107–120. 10.1016/j.jmaa.2004.10.040
Haddock JR, Krisztin T, Terjéki J, Wu JH: An invariance principle of Lyapunov-Razumikhin type for neutral functional differential equations. J. Differ. Equ. 1994, 107: 395–417. 10.1006/jdeq.1994.1019
Haddock JR, Krisztin T, Wu JH: Asymptotic equivalence of neutral and infinite retarded differential equations. Nonlinear Anal. 1990, 4: 369–377.
Park JH, Kwon OM: Global stability for neural networks of neutral-type with interval time-varying delays. Chaos Solitons Fractals 2009, 41: 1174–1181. 10.1016/j.chaos.2008.04.049
Park JH, Kwon OM, Lee SM: LMI optimization approach on stability for delayed neural networks of neutral-type. Appl. Math. Comput. 2008, 196: 236–244. 10.1016/j.amc.2007.05.047
Qiu J, Cao J: Delay-dependent robust stability of neutral-type neural networks with time delays. J. Math. Control Sci. Appl. 2007, 1: 179–188.
Rakkiyappan R, Balasubramaniam P, Cao JD: Global exponential stability results for neutral-type impulsive neural networks. Nonlinear Anal., Real World Appl. 2010, 11: 122–130. 10.1016/j.nonrwa.2008.10.050
Rojsiraphisal T, Niamsup P: Exponential stability of certain neutral differential equations. Appl. Math. Comput. 2010, 217: 3875–3880. 10.1016/j.amc.2010.09.047
Wen LP, Wang WS, Yu YX: Dissipativity and asymptotic stability of nonlinear neutral delay integro-differential equations. Nonlinear Anal. 2010, 72: 1746–1754. 10.1016/j.na.2009.09.016
Xu DY, Yang ZG, Yang ZC: Exponential stability of nonlinear impulsive neutral differential equations with delays. Nonlinear Anal. 2007, 67: 1426–1439. 10.1016/j.na.2006.07.043
Xu LG, Xu DY: Exponential stability of nonlinear impulsive neutral integro-differential equations. Nonlinear Anal. 2008, 69: 2910–2923. 10.1016/j.na.2007.08.062
Mai H, Liao X, Li C: A semi-free weighting matrices approach for neutral-type delayed neural networks. J. Comput. Appl. Math. 2009, 225: 44–55. 10.1016/j.cam.2008.06.016
Liao XX, Luo Q, Zeng ZG: Positive invariant and global exponential attractive sets of neural networks with time-varying delays. Neurocomputing 2008, 71: 513–518. 10.1016/j.neucom.2007.07.017
Tu ZW, Jian JG, Wang BX: Positive invariant sets and global exponential attractive sets of a class of neural networks with unbounded time-delays. Commun. Nonlinear Sci. Numer. Simul. 2011, 16: 3738–3745. 10.1016/j.cnsns.2010.12.013
Luo Q, Zeng ZG, Liao XX: Global exponential stability in Lagrange sense for neutral type recurrent neural networks. Neurocomputing 2011, 74: 638–645. 10.1016/j.neucom.2010.10.001
Huang YM, Zhu W, Xu DY: Invariant and attracting set of fuzzy cellular neural networks with variable delays. Appl. Math. Lett. 2009, 22: 478–483. 10.1016/j.aml.2008.06.019
Xu DY, Li SY, Zhou X, Pu ZL: Invariant set and stable region of a class of partial differential equation with time delays. Nonlinear Anal., Real World Appl. 2001, 2: 161–169. 10.1016/S0362-546X(00)00111-5
Xu DY, Yang ZC: Attracting and invariant sets for a class of impulsive functional differential equations. J. Math. Anal. Appl. 2007, 329: 1036–1044. 10.1016/j.jmaa.2006.05.072
Xu DY, Zhao HY: Invariant and attracting sets of Hopfield neural networks with delay. Int. J. Syst. Sci. 2001, 32: 863–866.
Zhao HY: Invariant set and attractor of nonautonomous functional differential systems. J. Math. Anal. Appl. 2003, 282: 437–443. 10.1016/S0022-247X(02)00370-0
Burton TA: Differential inequalities and existence theory for differential, integral and delay equations. Comparison Methods and Stability Theory 1994, 35–56.
Liz E, Trofimchuk S: Existence and stability of almost periodic solutions for quasilinear delay systems and the Halanay inequality. J. Math. Anal. Appl. 2000, 248: 625–644. 10.1006/jmaa.2000.6947
Wang XH, Guo QY, Xu DY: Exponential p -stability of impulsive stochastic Cohen-Grossberg neural networks with mixed delays. Math. Comput. Simul. 2009, 79: 1698–1710. 10.1016/j.matcom.2008.08.008
Wang XH, Xu DY: Global exponential stability of impulsive fuzzy cellular neural networks with mixed delays and reaction-diffusion terms. Chaos Solitons Fractals 2009, 42: 2713–2721. 10.1016/j.chaos.2009.03.177
Rakkiyappan R, Balasubramaniam P: LMI conditions for global asymptotic stability results for neutral-type neural networks with distributed time delays. Appl. Math. Comput. 2008, 204: 317–324. 10.1016/j.amc.2008.06.049
Berman A, Plemmons RJ: Nonnegative Matrices in Mathematical Sciences. Academic Press, New York; 1979.
Horn R, Johnson C: Matrix Analysis. Cambridge University Press, Cambridge; 1985.
The author sincerely thanks the editor and the reviewers for the detailed comments and valuable suggestions to improve the quality of this paper. The author would like to thank the professor Daoyi Xu of Sichuan University for his help in completing this paper. This work is supported by National Natural Science Foundation of China under Grant 10971147, Scientific Research Fund of Sichuan Provincial Education Department under Grant 10ZA032, Mathematics Tianyuan Fund under Grant 11126229 and Fundamental Research Funds for the Central Universities under Grant 2011SCU11111.
The author declares that they have no competing interests.
SJL carried out the main proof of the theorems and examples in this paper alone. The author approved the final manuscript.