A Generalized Halanay Inequality for Stability of Nonlinear Neutral Functional Differential Equations

This paper is devoted to generalize Halanay's inequality which plays an important rule in study of stability of differential equations. By applying the generalized Halanay inequality, the stability results of nonlinear neutral functional differential equations (NFDEs) and nonlinear neutral delay integrodifferential equations (NDIDEs) are obtained.

In 1966, in order to discuss the stability of the zero solution of

Halanay used the inequality as follows.

Lemma 1.1 (Halanay's inequality, see [1]).

If

where , then there exist and such that

and hence as .

In 1996, in order to investigate analytical and numerical stability of an equation of the type

Baker and Tang [2] give a generalization of Halanay inequality as Lemma 1.2 which can be used for discussing the stability of solutions of some general Volterra functional differential equations.

Lemma 1.2 (see [2]).

Suppose , , and

where is bounded and continuous for , , for , , and as . If there exists such that

then

In recent years, the Halanay inequality has been extended to more general type and used for investigating the stability and dissipativity of various functional differential equations by several researchers (see, e.g., [3–7]). In this paper, we consider a more general inequality and use this inequality to discuss the stability of nonlinear neutral functional differential equations (NFDEs) and a class of nonlinear neutral delay integrodifferential equations (NDIDEs).

In this section, we first give a generalization of Lemma 1.1.

Theorem 2.1 (generalized Halanay inequality).

Consider

where , , , , , and are nonnegative continuous functions on , and the notation denotes the conventional derivative or the one-sided derivatives. Suppose that

Then for any , one has

where , , and is defined by the following procedure. Firstly, for every fixed , let denote the maximal real root of the equation

Obviously, is different for different , that is to say, is a function of . Then we define as

To prove the theorem, we need the following lemmas.

Lemma 2.2.

There exists nontrivial solution , , , , ( and are constants) to systems

if and only if for any fixed characteristic equation (2.4) has at least one nonnegative root .

Proof.

If systems (2.6) have nontrivial solution , , then is obviously a nonnegative root of the characteristic equation (2.4). Conversely, if characteristic equation (2.4) has nonnegative root for any fixed , then and , , are obviously a nontrivial solution of (2.6).

Lemma 2.3.

If (2.2) holds, then

(i)for any fixed , characteristic equation (2.4) does not have any nonnegative root but has a negative root ;

(ii)

Proof.

We consider the following two cases successively.

Case 1 ().

Obviously, for any fixed , the root of characteristic equation (2.4) is . Now we want to show that . Suppose this is not true. Take such that . Then there exists such that . Using condition (2.2), we have

which is a contradiction, and therefore .

Case 2 ().

In this case, obviously, for any fixed , is not a root of (2.4). If (2.4) has a positive root at a certain fixed , then it follows from (2.2) and (2.4) that

that is,

After simply calculating, we have which contradicts the assumption. Thus, (2.4) does not have any nonnegative root.

To prove that (2.4) has a negative root for any fixed , we set and define

Then it is easily obtained that

On the other hand, when , we have

which implies that is a strictly monotone increasing function. Therefore, for any fixed the characteristic equation (2.4) has a negative root .

It remains to prove that . If it does not hold, we arbitrarily take such that and fix

Then there exists such that . Since

we have

which is a contradiction, and therefore .

Lemma 2.4.

If (2.6) has a solution with exponential form , , , , then for any , any nontrivial solution , of (2.1) satisfies (2.3).

Proof.

The required result follows at once when . If there exists such that when ,

with or , then for , we can find that

a contradiction proving the lemma.

Proof of Theorem 2.1.

By Lemma 2.3, we can find that for any fixed , characteristic equation (2.4) only has negative root and . Thus from Lemma 2.2 we know that systems (2.6) have not nontrivial solution with the form , , , . However, it is easily verified that systems (2.6) have nontrivial solution , , , . The result now follows from Lemma 2.4.

Corollary 2.5.

If (2.1) and (2.2) hold, then

Proof.

follows at once from the arbitrariness of . Since , is an immediate consequence of Theorem 2.1.

Corollary 2.6 (see [3]).

Suppose that , , , , and . Then when

equation (2.3) holds for any , where is defined by

In this section, we consider several simple applications of Theorem 2.1 to the study of stability for nonlinear neutral functional differential equations (NFDEs) and nonlinear neutral delay-integrodifferential equations (NDIDEs).

3.1. Stability of Nonlinear NFDEs

Neutral functional differential equations (NFDEs) are frequently encountered in many fields of science and engineering, including communication network, manufacturing systems, biology, electrodynamics, number theory, and other areas (see, e.g., [8–11]). During the last two decades, the problem of stability of various neutral systems has been the subject of considerable research efforts. Many significant results have been reported in the literature. For the recent progress, the reader is referred to the work of Gu et al. [12] and Bellen and Zennaro [13]. However, these studies were devoted to the stability of linear systems and nonlinear systems with special form, and there exist few results available in the literature for general nonlinear NFDEs. Therefore, deriving some sufficient conditions for the stability of nonlinear NFDEs motivates the present study.

Let be a real or complex Banach space with norm . For any given closed interval , let the symbol denote a Banach space consisting of all continuous mappings , on which the norm is defined by .

Our investigations will center on the stability of nonlinear NFDEs

where the derivative is the conventional derivative, , , and are constants, is a given continuously differentiable mapping, and is a given continuous mapping and satisfies the following conditions:

where

and throughout this paper, , , and , for all , denote continuous functions. The existence of a unique solution on the interval of (3.1) will be assumed.

To study the stability of (3.1), we need to consider a perturbed problem

where we assume the initial function is also a given continuously differentiable mapping, but it may be different from in problem (3.1).

To prove our main results in this section, we need the following lemma.

Lemma 3.1 (cf. Li [14]).

If the abstract function has a left-hand derivative at point , then the function also has the left-hand derivative at point , and the left-hand derivative is

If has a right-hand derivative at point , then the function also has the right-hand derivative at point , and the right-hand derivative is

Theorem 3.2.

Let the continuous mapping satisfy (3.2) and (3.3). Suppose that

Then for any , one have

where is defined by the following procedure. Firstly, for every fixed , let denote the maximal real root of the equation

Since is a function of , then one defines as Furthermore, one has

Proof.

Let us define and . By means of

from Lemma 3.1, we have

On the other hand, it is easily obtained from (3.3) that

Thus, the application of Theorem 2.1 and Corollary 2.5 to (3.13) and (3.14) leads to Theorem 3.2.

Remark 3.3.

In Theorem 3.2, the derivative can be understood as the right-hand derivative and the same results can be obtained. In fact, defining

we have

where denotes the identity matrix, and denotes the logarithmic norm induced by .

Remark 3.4.

From (3.9), we know that and have an exponential asymptotic decay when the conditions of Theorem 3.2 are satisfied.

Not that for special case where is a Hilbert space with the inner product and corresponding norm , condition (3.2) is equivalent to a one-sided Lipschitz condition (cf. Li [14])

Example 3.5.

Consider neutral delay differential equations with maxima (see [15])

Since it can be equivalently written in the pattern of IVP (3.1) in NFDEs, on the basis of Theorem 3.2, we can assert that the system is exponentially stable if the assumptions of Theorem 3.2 are satisfied.

Example 3.6.

As a specific example, consider the following nonlinear system:

where there exists a constant such that . It is easy to verify that , , , and . Then, according to Theorem 3.2 presented in this paper, we can assert that the system (3.19) is exponentially stable.

3.2. Asymptotic Stability of Nonlinear NDIDEs

Consider neutral Volterra delay-integrodifferential equations

Since (3.20) is a special case of (3.1), we can directly obtain a sufficient condition for stability of (3.20).

Theorem 3.7.

Let the continuous mapping in (3.20) satisfy

where ,

Then if

one has (3.9) and (3.11).

Our main objective in this subsection is to apply Corollary 2.5 to (3.20) and give another sufficient condition for the asymptotical stability of the solution to (3.20). We will assume that (3.21) and (3.23) are satisfied. We also assume that the continuous mapping in (3.20) satisfies

where is defined as

The mappings , , which are frequently used in that following analysis, are defined recursively by

Theorem 3.8.

Let the continuous mapping in (3.20) satisfy (3.21), (3.23), and (3.27). Suppose that (3.25) and

are satisfied. Then one has

Furthermore, if satisfies

where is a constant, then one has

Proof.

Define

Then it follows that

It is easily obtained from (3.17) and (3.27) that

By virtue of Corollary 2.5, from (3.35)-(3.36) it is sufficient to prove (3.31) and

Since

the last assertion follows.

3.3. Comparison with the Existing Results

(i) In 2004, Wang and Li [16] were among the first who studied IVP in nonlinear NDDEs with a single delay in a finite dimensional space , that is,

They obtained the asymptotic stability result (3.31) for the cases of (3.25), (3.26) and (3.25), and (3.30) under the following assumptions:

()there exists a constant such that

() is a strictly increasing function on the interval ;

()

From Theorems 3.7 and 3.8 of the present paper, we can obtain the asymptotic stability results (3.31) for NDDEs (3.39), which do not require the above severe conditions (a) and (b) to be satisfied but require .

(ii) In 2004, using a generalized Halanay inequality proved by Baker and Tang [2], Zhang and Vandewalle [17, 18] proved the contractility and asymptotic stability of solution to Volterra delay-integrodifferential equations with a constant delay

in finite-dimensional space for the case of

where , , , and .

Note that in this case, , and condition (3.26) is equivalent to condition (3.30). Since Theorem 3.7 or Theorem 3.8 of the present paper can be applied to (3.41) with a variable delay , , and (3.9), (3.11) can be obtained under condition (3.26), the results of these two theorems are more general and deeper than these obtained by Zhang and Vandewalle mentioned above.

This work was partially supported by the National Natural Science Foundation of China (Grant no. 10871164) and the China Postdoctoral Science Foundation Funded Project (Grant nos. 20080440946 and 200902437).

1. Halanay, A: Differential Equations: Stability, Oscillations, Time Lags,p. xii+528. Academic Press, New York, NY, USA (1966)

2. Baker, CTH, Tang, A: Generalized Halanay inequalities for Volterra functional differential equations and discretized versions. In: Corduneanu C, Sandberg IW (eds.) Volterra Equations and Applications (Arlington, TX, 1996), Stability and Control: Theory and Applications, vol. 10, pp. 39–55. Gordon and Breach, Amsterdam, The Netherlands (2000)

3. Liz, E, Trofimchuk, S: Existence and stability of almost periodic solutions for quasilinear delay systems and the Halanay inequality. Journal of Mathematical Analysis and Applications. 248(2), 625–644 (2000). Publisher Full Text

4. Tian, H: Numerical and analytic dissipativity of the -method for delay differential equations with a bounded variable lag. International Journal of Bifurcation and Chaos in Applied Sciences and Engineering. 14(5), 1839–1845 (2004). Publisher Full Text

5. Gan, SQ: Dissipativity of -methods for nonlinear Volterra delay-integro-differential equations. Journal of Computational and Applied Mathematics. 206(2), 898–907 (2007). Publisher Full Text

6. Wen, LP, Yu, YX, Wang, WS: Generalized Halanay inequalities for dissipativity of Volterra functional differential equations. Journal of Mathematical Analysis and Applications. 347(1), 169–178 (2008). Publisher Full Text

7. Wen, LP, Wang, WS, Yu, YX: Dissipativity and asymptotic stability of nonlinear neutral delay integro-differential equations. Nonlinear Analysis: Theory, Methods & Applications. 72(3-4), 1746–1754 (2010). PubMed Abstract | Publisher Full Text

8. Hale, JK, Lunel, SM: Introduction to Functional-Differential Equations, Applied Mathematical Sciences,p. x+447. Springer, New York, NY, USA (1993)

9. Gil', MI: Stability of Finite- and Infinite-Dimensional Systems, The Kluwer International Series in Engineering and Computer Science no. 455,p. xviii+358. Kluwer Academic Publishers, Boston, Mass, USA (1998)

10. Kolmanovskii, V, Myshkis, A: Introduction to the Theory and Applications of Functional-Differential Equations, Mathematics and Its Applications,p. xvi+648. Kluwer Academic Publishers, Dordrecht, The Netherlands (1999)

11. Richard, J-P: Time-delay systems: an overview of some recent advances and open problems. Automatica. 39(10), 1667–1694 (2003). Publisher Full Text

12. Gu, K, Kharitonov, VL, Chen, J: Stability of Time-Delay Systems, Birkhäuser, Boston, Mass, USA (2003)

13. Bellen, A, Zennaro, M: Numerical Methods for Delay Differential Equations, Numerical Mathematics and Scientific Computation,p. xiv+395. The Clarendon Press, New York, NY, USA (2003)

14. Li, SF: Theory of Computational Methods for Stiff Differential Equations, Hunan Science and Technology, Changsha, China (1997)

15. Bartoszewski, Z, Kwapisz, M: Delay dependent estimates for waveform relaxation methods for neutral differential-functional systems. Computers & Mathematics with Applications. 48(12), 1877–1892 (2004). PubMed Abstract | Publisher Full Text

16. Wang, WS, Li, SF: Stability analysis of nonlinear delay differential equations of neutral type. Mathematica Numerica Sinica. 26(3), 303–314 (2004)

17. Zhang, C, Vandewalle, S: Stability analysis of Volterra delay-integro-differential equations and their backward differentiation time discretization. Journal of Computational and Applied Mathematics. 164-165, 797–814 (2004)

18. Zhang, C, Vandewalle, S: Stability analysis of Runge-Kutta methods for nonlinear Volterra delay-integro-differential equations. IMA Journal of Numerical Analysis. 24(2), 193–214 (2004). Publisher Full Text