Skip to main content

Global attracting set for a class of nonautonomous neutral functional differential equations

Abstract

In this paper, a class of nonlinear and nonautonomous neutral functional differential equations is considered. By developing a new integral inequality, we obtain sufficient conditions for the existence of a global attracting set of neutral functional differential equations with time-varying delays. The results have extended and improved the related reports in the literature.

MSC:26D10, 26D15, 34K40.

1 Introduction

The asymptotic properties of neutral functional differential equations have attracted considerable attention in the past few decades, and many significant results have been obtained [16]. One of the most popular ways to analyze the stability property and asymptotic behavior is the method of Lyapunov functionals [13]. However, to construct a suitable Lyapunov functional is not easy for certain equations. The characteristic equation is another important researching tool. It seems to work well for constant delays in neutral equations [4, 5]. Meanwhile, the known approach to the study of differential inequalities for nonautonomous neutral functional differential equations was presented in Azbelev’s book [7]. These inequality methods are based on the representation formula of a solution and the analysis of Cauchy, Green’s and fundamental matrices. In this way, various assertions about the estimates of solutions, maximum principles and stability on neutral differential equations were obtained. Important results in this direction can be found in [710] and in the monograph [11]. Recently, by using differential and integral inequalities, Xu et al. have studied attracting and invariant sets of functional differential systems [12, 13] and impulsive functional differential equations [14]. However, the inequalities mentioned above are ineffective in studying the attracting sets of a class of nonlinear and nonautonomous neutral functional differential equations.

Motivated by the above discussions, in this paper, we will improve the inequality established in [15] so that it is effective for neutral functional differential equations. Combining with the properties of nonnegative matrices, we obtained some sufficient conditions ensuring the global attracting set for a class of nonlinear and nonautonomous neutral differential equations with time-varying coefficients and unbounded delays. The results extend the earlier publications.

2 Preliminaries

In this section, we introduce some notations and recall some basic definitions.

E denotes the n×n identity matrix, R is the set of real numbers and R + =[0,+). AB (A<B) means that each pair of corresponding elements of A and B satisfies the inequality “≤ (<).” Especially, A is called a nonnegative matrix if A0, where 0 denotes the n×n zero matrix.

C[X,Y] denotes the space of continuous mappings from the topological space X to the topological space Y. Especially, let C = Δ C[(, t 0 ], R n ] denote the family of all bounded continuous R n -valued functions ϕ on (, t 0 ], here t 0 0.

For x R n , A R n × n , φC, τC[R, R + ], we define [ x ] + = ( | x 1 | , | x 2 | , , | x n | ) T , [ A ] + = ( | a i j | ) n × n , [ φ ( t ) ] τ ( t ) + = ( φ 1 ( t ) τ ( t ) , φ 2 ( t ) τ ( t ) , , φ n ( t ) τ ( t ) ) T , φ i ( t ) τ ( t ) = sup 0 s τ ( t ) | φ i (ts)|, i=1,2,,n.

We consider the following differential equation

{ d d t [ x ( t ) H ( t , x ( t τ ( t ) ) ) ] = A ( t ) x ( t ) + F ( t , x ( t τ ( t ) ) ) , t t 0 , x ( t ) = φ ( t ) , < t t 0 ,
(1)

where x= ( x 1 , , x n ) T R n , H,FC[R× R n , R n ], F(t,0)0, τC[R, R + ], lim t + (tτ(t))=+. We always assume that for any φC, the system (1) has at least one solution through ( t 0 ,φ) denoted by x(t, t 0 ,φ) or simply x(t) if no confusion should occur.

Definition 2.1 (Xu [16])

fU C t means that fC[ R + ×R, R + ] and for any given α and any ε>0 there exist positive numbers B, T and A satisfying

α t f(t,s)dsB, α t T f(t,s)ds<ε,tA.
(2)

Especially, fU C t if f(t,s)=f(ts) and 0 f(u)du<.

Definition 2.2 The set S R n is called a global attracting set of (1), if for any initial value φC, the solution x(t) = Δ x(t, t 0 ,φ) converges to S as t+. That is,

dist(x(t),S)0ast+,

where dist(x,S)=inf{|xa|:aS} and || is a norm of R n .

For a nonnegative matrix A R n × n , let ρ(A) denote the spectral radius of A. Then ρ(A) is an eigenvalue of A and its eigenspace is denoted by

Ω ρ (A) = Δ {z R n |Az=ρ(A)z},

which includes all positive eigenvectors of A provided that the nonnegative matrix A has at least one positive eigenvector (see Refs. [17]).

Lemma 2.1 (Lasalle [18])

IfA0andρ(A)<1, then ( E A ) 1 0.

3 Main results

Theorem 3.1 Let yC[R, R + n ] be a solution of the delay integral inequality

(3)
(4)

whereGC[ R + × R + , R + n ], B R + n × n , QC[ R + ×R, R + n × n ], J= ( j 1 , , j n ) T 0, φC[(, t 0 ], R + n ], lim t + (tτ(t))=+. Assume that the following conditions are satisfied: ( A 1 ) = G(t, t 0 )0ast+, and there exists a constant matrix Π 1 0such that

t 0 t Q(t,s)ds Π 1 ,t t 0 .
(5)

; ( A 2 ) = LetΠ= Π 1 +B, ρ(Π)<1.Then there existz>0, z Ω ρ (Π)and a constantk>0, such that

y(t)<kz+ ( E Π ) 1 J,fort t 0 .
(6)

.

Proof By the condition Π0 and the properties of nonnegative matrices, there exists a positive vector z such that Πz=ρ(Π)z. Together with ρ(Π)<1 and Lemma 2.1, this implies that ( E Π ) 1 exists and ( E Π ) 1 0.

For the initial conditions y(t)φ(t), <t t 0 , we have

y(t) k 0 z+ ( E Π ) 1 J,<t t 0 ,
(7)

where z Ω ρ (Π), z>0, k 0 = φ min 1 i n z i 0, φ= max 1 i n { sup < t t 0 | φ i (t)|}.

From lim t + G(t, t 0 )=0, there must be a constant T>0 such that

G(t, t 0 ) 1 ρ ( Π ) 2 k 0 z,fort> t 0 +T.
(8)

By the continuity of y(t), together with (4) and (7), there exists a constant k> k 0 such that

y(t)<kz+ ( E Π ) 1 J,fort(, t 0 +T].
(9)

In the following, we shall prove that

y(t)<kz+ ( E Π ) 1 J,fort> t 0 +T.
(10)

If this is not true, from (9) and the continuity of y(t), then there must be a constant t 1 > t 0 +T and some integer i such that

(11)
(12)

where { } i denotes the i th component of vector {}.

Using (3), (5), (8), (12) and ρ(Π)<1, we obtain that

y i ( t 1 ) { G ( t 1 , t 0 ) + B [ y ( t 1 ) ] τ ( t 1 ) + + t 0 t 1 Q ( t 1 , s ) [ y ( s ) ] τ ( s ) + d s + J } i { 1 ρ ( Π ) 2 k 0 z + [ B + t 0 t 1 Q ( t 1 , s ) d s ] [ k z + ( E Π ) 1 J ] + J } i { 1 ρ ( Π ) 2 k z + Π [ k z + ( E Π ) 1 J ] + ( E Π ) ( E Π ) 1 J } i { 1 ρ ( Π ) 2 k z + ρ ( Π ) k z + ( Π + E Π ) ( E Π ) 1 J } i { 1 + ρ ( Π ) 2 k z + ( E Π ) 1 J } i < { k z + ( E Π ) 1 J } i .
(13)

This contradicts the equality in (11), and so (10) holds. The proof is complete. □

In order to study the attracting set, we rewrite Eq. (1) as

{ x ( t ) = Φ ( t , t 0 ) [ φ ( t 0 ) H ( t 0 , φ ( t 0 τ ( t 0 ) ) ) ] + H ( t , x ( t τ ( t ) ) ) x ( t ) = + t 0 t Φ ( t , s ) [ A ( s ) H ( s , x ( s τ ( s ) ) ) + F ( s , x ( s τ ( s ) ) ) ] d s , t t 0 , x ( t ) = φ ( t ) , < t t 0 ,
(14)

where Φ(t, t 0 ) is the fundamental matrix of the linear equation x ˙ (t)=A(t)x(t).

For (1), we suppose the following: ( B 1 ): = [ F ( t , x ( t τ ( t ) ) ) ] + Q(t) [ x ( t ) ] τ ( t ) + +J(t), [ H ( t , x ( t τ ( t ) ) ) ] + H ˆ [ x ( t ) ] τ ( t ) + , where QC[R, R + n × n ], H ˆ R + n × n , J(t)= ( J 1 ( t ) , , J n ( t ) ) T 0, J i C[R, R + ], i=1,2,,n.; ( B 2 ): = [ Φ ( t , s ) ] + { [ A ( s ) ] + H ˆ +Q(s)}= ( w i j ( t , s ) ) n × n , w i j U C t , lim t + Φ(t, t 0 )=0. For t t 0 , there exist a constant matrix Π 1 0 and a vector J ˆ 0 such that

t 0 t [ Φ ( t , s ) ] + { [ A ( s ) ] + H ˆ + Q ( s ) } ds Π 1 , t 0 t [ Φ ( t , s ) ] + J(s)ds J ˆ .

; ( B 3 ): = Let Π= Π 1 + H ˆ , ρ(Π)<1..

Theorem 3.2 Assume that ( B 1 )-( B 3 ) hold. ThenS={x R n | [ x ] + ( E Π ) 1 J ˆ }is a global attracting set of (1).

Proof From (14) and ( B 1 ), we can get for t t 0 ,

[ x ( t ) ] + [ Φ ( t , t 0 ) ] + [ φ ( t 0 ) H ( t 0 , φ ( t 0 τ ( t 0 ) ) ) ] + + H ˆ [ x ( t ) ] τ ( t ) + + t 0 t [ Φ ( t , s ) ] + { [ A ( s ) ] + H ˆ + Q ( s ) } [ x ( s ) ] τ ( s ) + d s + t 0 t [ Φ ( t , s ) ] + J ( s ) d s .
(15)

By ( B 2 )-( B 3 ) and Theorem 3.1, there exists a constant k>0 such that

[ x ( t ) ] + <kz+ ( E Π ) 1 J ˆ ,fort t 0 ,
(16)

where z Ω ρ (Π), z>0, k> φ min 1 i n z i , φ= max 1 i n { sup < t t 0 | φ i (t)|}.

From (16), there must be a constant vector σ0 such that

lim t + ¯ [ x ( t ) ] + =σkz+ ( E Π ) 1 J ˆ .
(17)

Next, we will show that σS. From lim t + Φ(t, t 0 )=0, w i j U C t , for any ε>0 and e= ( 1 , 1 , , 1 ) T R + n , there exists a positive number T 1 > t 0 such that for all t> T 1

(18)
(19)

According to the definition of superior limit and lim t + (tτ(t))=+, there exists sufficiently large T 2 T 1 such that

[ x ( t ) ] r ( t ) + <σ+εe,t T 2 ,
(20)

where r(t)= T 1 + sup t T 1 s t τ(s). Therefore, from ( B 2 ), (15) and (18)-(19), when t T 2 , we obtain

[ x ( t ) ] + ε e 2 + H ˆ [ x ( t ) ] τ ( t ) + + t 0 t T 1 [ Φ ( t , s ) ] + { [ A ( s ) ] + H ˆ + Q ( s ) } [ x ( s ) ] τ ( s ) + d s + t T 1 t [ Φ ( t , s ) ] + { [ A ( s ) ] + H ˆ + Q ( s ) } [ x ( s ) ] τ ( s ) + d s + J ˆ ε e 2 + H ˆ [ x ( t ) ] τ ( t ) + + t 0 t T 1 [ Φ ( t , s ) ] + { [ A ( s ) ] + H ˆ + Q ( s ) } [ k z + ( E Π ) 1 J ˆ ] d s + t T 1 t [ Φ ( t , s ) ] + { [ A ( s ) ] + H ˆ + Q ( s ) } [ x ( s ) ] τ ( s ) + d s + J ˆ ε e + H ˆ ( σ + ε e ) + t T 1 t [ Φ ( t , s ) ] + { [ A ( s ) ] + H ˆ + Q ( s ) } ( σ + ε e ) d s + J ˆ ε e + Π ( σ + ε e ) + J ˆ .
(21)

Due to (17) and the definition of superior limit, there exists T 3 T 2 such that [ x ( T 3 ) ] + >σεe. Combining with (21), we get

σεe< [ x ( T 3 ) ] + εe+Π(σ+εe)+ J ˆ .
(22)

Letting ε0, we have σ ( E Π ) 1 J ˆ , that is σS, and the proof is completed. □

Remark 3.1 Theorem 3.2 is a generalization of the results in [12, 13] as H0 in (1) without the boundedness of τ(t).

Corollary 3.1 Suppose that the conditions of Theorem 3.2 hold andJ(t)0. Ifx(t)=0is an equilibrium point of System (1), then the equilibrium pointx(t)=0is globally asymptotically stable.

4 Example

Consider the following scalar equation

d d t [ x ( t ) 1 4 x ( t τ ( t ) ) ] =atx(t)+btx ( t τ ( t ) ) +J(t),t0,
(23)

where a>0, b are constants, J(t)=sint and τ(t)= 1 2 (t+sint).

We easily verify that |Φ(t,0)|= e a 0 t v d v , lim t + Φ(t,0)=0. For any t0, we get

If | b | a < 1 2 , we can get S={x R n ||x| 2 a 2 | b | } is the global attracting set for (23).

Remark 4.1 If J(t)0 and | b | a < 1 2 , then every solution of (23) tends to zero at ∞. However, the methods in [4, 6] are inefficient for (23) because the variable coefficients A(t)=at and Q(t)=bt are unbounded for t0.

References

  1. Hale JK, Lunel SMV: Introduction to Functional Differential Equations. Springer, Berlin; 1993.

    Book  Google Scholar 

  2. Agarwal RP, Grace SR: Asymptotic stability of differential systems of neutral type. Appl. Math. Lett. 2000, 13: 15–19.

    MathSciNet  Article  Google Scholar 

  3. Agarwal RP, Grace SR: Asymptotic stability of certain neutral differential equations. Math. Comput. Model. 2000, 31: 9–15.

    MathSciNet  Article  Google Scholar 

  4. Cao DQ, He P, Ge YM: Simple algebraic criteria for stability of neutral delay-differential systems. J. Franklin Inst. 2005, 342: 311–320. 10.1016/j.jfranklin.2004.11.007

    MathSciNet  Article  Google Scholar 

  5. Dix JG, Philos CG, Purnaras IK: Asymptotic properties of solutions to linear non-autonomous neutral differential equations. J. Math. Anal. Appl. 2006, 318: 296–304. 10.1016/j.jmaa.2005.06.005

    MathSciNet  Article  Google Scholar 

  6. Zhang Y: Stability of large scale systems with delays of neutral-type. Sci. China Ser. A 1988, 4: 337–347. in Chinese

    Google Scholar 

  7. Azbelev NV, Maksimov VP, Rakhmatullina LF: Introduction to the Theory of Linear Functional Differential Equations. World Federation Publisher Company, Atlanta; 1995.

    Google Scholar 

  8. Gusarenko SA, Domoshnitsky A: Asymptotic and oscillation properties of first order linear scalar functional-differential equations. Differ. Uravn. 1989, 25(12):2090–2103.

    MathSciNet  Google Scholar 

  9. Bainov D, Domoshnitsky A: Nonnegativity of the Cauchy matrix and exponential stability of a neutral type system of functional differential equations. Extr. Math. 1993, 8(1):75–82.

    MathSciNet  Google Scholar 

  10. Domoshnitsky A, Maghakyan A, Shklyar R: Maximum principles and boundary value problems for first order neutral functional differential equations. J. Inequal. Appl. 2009.

    Google Scholar 

  11. Agarwal RP, Berezansky L, Braverman E, Domoshnitsky A: Nonoscillation Theory of Functional Differential Equations with Applications. Springer, Berlin; 2012.

    Book  Google Scholar 

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

    MathSciNet  Article  Google Scholar 

  13. Xu DY, Zhao HY: Invariant and attracting sets of Hopfield neural networks with delay. Int. J. Syst. Sci. 2001, 32(7):863–866.

    Article  Google Scholar 

  14. Xu DY, Yang Z: Attracting and invariant sets for a class of impulsive functional differential equations. J. Math. Anal. Appl. 2007, 329(2):1036–1044. 10.1016/j.jmaa.2006.05.072

    MathSciNet  Article  Google Scholar 

  15. Xiang L, Teng LY, Wu H: A new delay vector integral inequality and its application. J. Inequal. Appl. 2010.

    Google Scholar 

  16. Xu DY: Integro-differential equations and delay integral inequalities. Tohoku Math. J. 1992, 44(3):365–378. 10.2748/tmj/1178227303

    MathSciNet  Article  Google Scholar 

  17. Horn RA: Matrix Analysis. Cambridge University Press, Cambridge; 1985.

    Book  Google Scholar 

  18. Lasalle JP: The Stability of Dynamical System. SIAM, Philadelphia; 1976.

    Book  Google Scholar 

Download references

Acknowledgements

This work was supported by the National Natural Science Foundation of China under Grant No.10971147.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Lingying Teng.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

LT conceived of the study and drafted the manuscript. LX helped to perform the analysis and give the example. DX participated in its design and coordination. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions

About this article

Cite this article

Teng, L., Xiang, L. & Xu, D. Global attracting set for a class of nonautonomous neutral functional differential equations. J Inequal Appl 2012, 143 (2012). https://doi.org/10.1186/1029-242X-2012-143

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2012-143

Keywords

  • integral inequality
  • attracting set
  • neutral functional differential equations