Skip to content

Advertisement

Open Access

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

Journal of Inequalities and Applications20122012:143

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

Received: 6 June 2011

Accepted: 4 June 2012

Published: 22 June 2012

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.

Keywords

integral inequalityattracting setneutral functional differential equations

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 , + ) . A B ( A < B ) means that each pair of corresponding elements of A and B satisfies the inequality “≤ (<).” Especially, A is called a nonnegative matrix if A 0 , 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 ( t s ) | , 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 , F C [ 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])

f U C t means that f C [ R + × R , R + ] and for any given α and any ε > 0 there exist positive numbers B, T and A satisfying
α t f ( t , s ) d s B , α t T f ( t , s ) d s < ε , t A .
(2)

Especially, f U C t if f ( t , s ) = f ( t s ) and 0 f ( u ) d u < .

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 ) 0 as t + ,

where dist ( x , S ) = inf { | x a | : a S } 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 | A z = ρ ( 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])

If A 0 and ρ ( A ) < 1 , then ( E A ) 1 0 .

3 Main results

Theorem 3.1 Let y C [ R , R + n ] be a solution of the delay integral inequality
(3)
(4)

where G C [ R + × R + , R + n ] , B R + n × n , Q C [ 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 ) 0 as t + , and there exists a constant matrix Π 1 0 such that

t 0 t Q ( t , s ) d s Π 1 , t t 0 .
(5)
; ( A 2 ) = Let Π = Π 1 + B , ρ ( Π ) < 1 .Then there exist z > 0 , z Ω ρ ( Π ) and a constant k > 0 , such that
y ( t ) < k z + ( E Π ) 1 J , for t 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 , for t > 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 ) < k z + ( E Π ) 1 J , for t ( , t 0 + T ] .
(9)
In the following, we shall prove that
y ( t ) < k z + ( E Π ) 1 J , for t > 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 Q C [ 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 ) } d s Π 1 , t 0 t [ Φ ( t , s ) ] + J ( s ) d s J ˆ .
; ( B 3 ): = Let Π = Π 1 + H ˆ , ρ ( Π ) < 1 ..

Theorem 3.2 Assume that ( B 1 )-( B 3 ) hold. Then S = { 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 ) ] + < k z + ( E Π ) 1 J ˆ , for t 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 ) ] + = σ k z + ( 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 H 0 in (1) without the boundedness of τ ( t ) .

Corollary 3.1 Suppose that the conditions of Theorem 3.2 hold and J ( t ) 0 . If x ( t ) = 0 is an equilibrium point of System (1), then the equilibrium point x ( t ) = 0 is globally asymptotically stable.

4 Example

Consider the following scalar equation
d d t [ x ( t ) 1 4 x ( t τ ( t ) ) ] = a t x ( t ) + b t x ( t τ ( t ) ) + J ( t ) , t 0 ,
(23)

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

We easily verify that | Φ ( t , 0 ) | = e a 0 t v d v , lim t + Φ ( t , 0 ) = 0 . For any t 0 , 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 ) = a t and Q ( t ) = b t are unbounded for t 0 .

Declarations

Acknowledgements

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

Authors’ Affiliations

(1)
College of Computer Science and Technology, Southwest University for Nationalities, Chengdu, Sichuan, P.R. China
(2)
Yangtze Center of Mathematics, Sichuan University, Chengdu, Sichuan, P.R. China
(3)
College of Computer science, Civil Aviation Flight University of China, Guanghan, P.R. China

References

  1. Hale JK, Lunel SMV: Introduction to Functional Differential Equations. Springer, Berlin; 1993.View ArticleGoogle Scholar
  2. Agarwal RP, Grace SR: Asymptotic stability of differential systems of neutral type. Appl. Math. Lett. 2000, 13: 15–19.MathSciNetView ArticleGoogle Scholar
  3. Agarwal RP, Grace SR: Asymptotic stability of certain neutral differential equations. Math. Comput. Model. 2000, 31: 9–15.MathSciNetView ArticleGoogle 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.007MathSciNetView ArticleGoogle 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.005MathSciNetView ArticleGoogle Scholar
  6. Zhang Y: Stability of large scale systems with delays of neutral-type. Sci. China Ser. A 1988, 4: 337–347. in ChineseGoogle 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.MathSciNetGoogle 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.MathSciNetGoogle 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.View ArticleGoogle 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-0MathSciNetView ArticleGoogle 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.View ArticleGoogle 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.072MathSciNetView ArticleGoogle 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/1178227303MathSciNetView ArticleGoogle Scholar
  17. Horn RA: Matrix Analysis. Cambridge University Press, Cambridge; 1985.View ArticleGoogle Scholar
  18. Lasalle JP: The Stability of Dynamical System. SIAM, Philadelphia; 1976.View ArticleGoogle Scholar

Copyright

© Teng et al.; licensee Springer 2012

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

Advertisement