Open Access

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

Journal of Inequalities and Applications20102010:475019

https://doi.org/10.1155/2010/475019

Received: 22 March 2010

Accepted: 18 July 2010

Published: 1 August 2010

Abstract

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.

1. Introduction

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

Halanay used the inequality as follows.

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

If
(1.2)
where , then there exist and such that
(1.3)

and hence as .

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

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
(1.5)
where is bounded and continuous for , , for , , and as . If there exists such that
(1.6)
then
(1.7)

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., [37]). 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).

2. Generalized Halanay Inequality

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

Theorem 2.1 (generalized Halanay inequality).

Consider
(2.1)
where , , , , , and are nonnegative continuous functions on , and the notation denotes the conventional derivative or the one-sided derivatives. Suppose that
(2.2)
Then for any , one has
(2.3)
where , , and is defined by the following procedure. Firstly, for every fixed , let denote the maximal real root of the equation
(2.4)
Obviously, is different for different , that is to say, is a function of . Then we define as
(2.5)

To prove the theorem, we need the following lemmas.

Lemma 2.2.

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

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
(2.7)

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
(2.8)
that is,
(2.9)

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
(2.10)
Then it is easily obtained that
(2.11)
On the other hand, when , we have
(2.12)

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
(2.13)
Then there exists such that . Since
(2.14)
we have
(2.15)

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 ,
(2.16)
with or , then for , we can find that
(2.17)

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
(2.18)

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
(2.19)
equation (2.3) holds for any , where is defined by
(2.20)

3. Applications of the Halanay Inequality

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., [811]). 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
(3.1)
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:
(3.2)
(3.3)
where
(3.4)

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
(3.5)

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
(3.6)
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
(3.7)

Theorem 3.2.

Let the continuous mapping satisfy (3.2) and (3.3). Suppose that
(3.8)
Then for any , one have
(3.9)
where is defined by the following procedure. Firstly, for every fixed , let denote the maximal real root of the equation
(3.10)
Since is a function of , then one defines as Furthermore, one has
(3.11)

Proof.

Let us define and . By means of
(3.12)
from Lemma 3.1, we have
(3.13)
On the other hand, it is easily obtained from (3.3) that
(3.14)

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
(3.15)
we have
(3.16)

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])
(3.17)

Example 3.5.

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

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:
(3.19)

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
(3.20)

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
(3.21)
(3.22)
(3.23)
where ,
(3.24)
Then if
(3.25)
(3.26)

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
(3.27)
where is defined as
(3.28)
The mappings , , which are frequently used in that following analysis, are defined recursively by
(3.29)

Theorem 3.8.

Let the continuous mapping in (3.20) satisfy (3.21), (3.23), and (3.27). Suppose that (3.25) and
(3.30)
are satisfied. Then one has
(3.31)
Furthermore, if satisfies
(3.32)
where is a constant, then one has
(3.33)

Proof.

Define
(3.34)
Then it follows that
(3.35)
It is easily obtained from (3.17) and (3.27) that
(3.36)
By virtue of Corollary 2.5, from (3.35)-(3.36) it is sufficient to prove (3.31) and
(3.37)
Since
(3.38)

the last assertion follows.

3.3. Comparison with the Existing Results

  1. (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,
    (3.39)
     

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
(3.40)

() 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 .
  1. (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
    (3.41)
     
in finite-dimensional space for the case of
(3.42)

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.

Declarations

Acknowledgments

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).

Authors’ Affiliations

(1)
School of Mathematics and Computational Science, Changsha University of Science and Technology, Changsha, China

References

  1. Halanay A: Differential Equations: Stability, Oscillations, Time Lags. Academic Press, New York, NY, USA; 1966:xii+528.MATHGoogle Scholar
  2. Baker CTH, Tang A: Generalized Halanay inequalities for Volterra functional differential equations and discretized versions. In Volterra Equations and Applications (Arlington, TX, 1996), Stability and Control: Theory and Applications. Volume 10. Edited by: Corduneanu C, Sandberg IW. Gordon and Breach, Amsterdam, The Netherlands; 2000:39–55.Google Scholar
  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 2000, 248(2):625–644. 10.1006/jmaa.2000.6947MathSciNetView ArticleMATHGoogle Scholar
  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 2004, 14(5):1839–1845. 10.1142/S0218127404010096MathSciNetView ArticleMATHGoogle Scholar
  5. Gan SQ: Dissipativity of -methods for nonlinear Volterra delay-integro-differential equations. Journal of Computational and Applied Mathematics 2007, 206(2):898–907. 10.1016/j.cam.2006.08.030MathSciNetView ArticleMATHGoogle Scholar
  6. Wen LP, Yu YX, Wang WS: Generalized Halanay inequalities for dissipativity of Volterra functional differential equations. Journal of Mathematical Analysis and Applications 2008, 347(1):169–178. 10.1016/j.jmaa.2008.05.007MathSciNetView ArticleMATHGoogle Scholar
  7. Wen LP, Wang WS, Yu YX: Dissipativity and asymptotic stability of nonlinear neutral delay integro-differential equations. Nonlinear Analysis: Theory, Methods & Applications 2010, 72(3–4):1746–1754. 10.1016/j.na.2009.09.016MathSciNetView ArticleMATHGoogle Scholar
  8. Hale JK, Lunel SM: Introduction to Functional-Differential Equations, Applied Mathematical Sciences. Volume 99. Springer, New York, NY, USA; 1993:x+447.View ArticleMATHGoogle Scholar
  9. Gil' MI: Stability of Finite- and Infinite-Dimensional Systems, The Kluwer International Series in Engineering and Computer Science no. 455. Kluwer Academic Publishers, Boston, Mass, USA; 1998:xviii+358.View ArticleGoogle Scholar
  10. Kolmanovskii V, Myshkis A: Introduction to the Theory and Applications of Functional-Differential Equations, Mathematics and Its Applications. Volume 463. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1999:xvi+648.View ArticleMATHGoogle Scholar
  11. Richard J-P: Time-delay systems: an overview of some recent advances and open problems. Automatica 2003, 39(10):1667–1694. 10.1016/S0005-1098(03)00167-5MathSciNetView ArticleMATHGoogle Scholar
  12. Gu K, Kharitonov VL, Chen J: Stability of Time-Delay Systems. Birkhäuser, Boston, Mass, USA; 2003.View ArticleMATHGoogle Scholar
  13. Bellen A, Zennaro M: Numerical Methods for Delay Differential Equations, Numerical Mathematics and Scientific Computation. The Clarendon Press, New York, NY, USA; 2003:xiv+395.View ArticleMATHGoogle Scholar
  14. Li SF: Theory of Computational Methods for Stiff Differential Equations. Hunan Science and Technology, Changsha, China; 1997.Google Scholar
  15. Bartoszewski Z, Kwapisz M: Delay dependent estimates for waveform relaxation methods for neutral differential-functional systems. Computers & Mathematics with Applications 2004, 48(12):1877–1892. 10.1016/j.camwa.2004.05.011MathSciNetView ArticleMATHGoogle Scholar
  16. Wang WS, Li SF: Stability analysis of nonlinear delay differential equations of neutral type. Mathematica Numerica Sinica 2004, 26(3):303–314.MathSciNetGoogle Scholar
  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 2004, 164–165: 797–814.MathSciNetView ArticleMATHGoogle Scholar
  18. Zhang C, Vandewalle S: Stability analysis of Runge-Kutta methods for nonlinear Volterra delay-integro-differential equations. IMA Journal of Numerical Analysis 2004, 24(2):193–214. 10.1093/imanum/24.2.193MathSciNetView ArticleMATHGoogle Scholar

Copyright

© Wansheng Wang. 2010

This article is published under license to BioMed Central Ltd. 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.