- Research
- Open Access
- Published:

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

*Journal of Inequalities and Applications*
**volume 2012**, Article number: 143 (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.

## 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 [1–6]. One of the most popular ways to analyze the stability property and asymptotic behavior is the method of Lyapunov functionals [1–3]. 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 [7–10] 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\times n identity matrix, \mathbb{R} is the set of real numbers and {\mathbb{R}}_{+}=[0,+\mathrm{\infty}). A\le 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\ge 0, where 0 denotes the n\times 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\stackrel{\mathrm{\Delta}}{=}C\phantom{\rule{0.25em}{0ex}}[(-\mathrm{\infty},{t}_{0}],{\mathbb{R}}^{n}] denote the family of all bounded continuous {\mathbb{R}}^{n}-valued functions *ϕ* on (-\mathrm{\infty},{t}_{0}], here {t}_{0}\ge 0.

For x\in {\mathbb{R}}^{n}, A\in {\mathbb{R}}^{n\times n}, \phi \in C, \tau \in C[\mathbb{R},{\mathbb{R}}_{+}], we define {[x]}^{+}={(|{x}_{1}|,|{x}_{2}|,\dots ,|{x}_{n}|)}^{T}, {[A]}^{+}={(|{a}_{ij}|)}_{n\times n}, {[\phi (t)]}_{\tau (t)}^{+}={({\parallel {\phi}_{1}(t)\parallel}_{\tau (t)},{\parallel {\phi}_{2}(t)\parallel}_{\tau (t)},\dots ,{\parallel {\phi}_{n}(t)\parallel}_{\tau (t)})}^{T}, {\parallel {\phi}_{i}(t)\parallel}_{\tau (t)}={sup}_{0\le s\le \tau (t)}|{\phi}_{i}(t-s)|, i=1,2,\dots ,n.

We consider the following differential equation

where x={({x}_{1},\dots ,{x}_{n})}^{T}\in {\mathbb{R}}^{n}, H,F\in C[\mathbb{R}\times {\mathbb{R}}^{n},{\mathbb{R}}^{n}], F(t,0)\equiv 0, \tau \in C[\mathbb{R},{\mathbb{R}}_{+}], {lim}_{t\to +\mathrm{\infty}}(t-\tau (t))=+\mathrm{\infty}. We always assume that for any \phi \in C, the system (1) has at least one solution through ({t}_{0},\phi ) denoted by x(t,{t}_{0},\phi ) or simply x(t) if no confusion should occur.

**Definition 2.1** (Xu [16])

f\in U{C}_{t} means that f\in C[{\mathbb{R}}_{+}\times \mathbb{R},{\mathbb{R}}_{+}] and for any given *α* and any \epsilon >0 there exist positive numbers *B*, *T* and *A* satisfying

Especially, f\in U{C}_{t} if f(t,s)=f(t-s) and {\int}_{0}^{\mathrm{\infty}}f(u)\phantom{\rule{0.2em}{0ex}}du<\mathrm{\infty}.

**Definition 2.2** The set S\subset {\mathbb{R}}^{n} is called a global attracting set of (1), if for any initial value \phi \in C, the solution x(t)\stackrel{\mathrm{\Delta}}{=}x(t,{t}_{0},\phi ) converges to *S* as t\to +\mathrm{\infty}. That is,

where dist(x,S)=inf\{|x-a|:a\in S\} and |\cdot | is a norm of {\mathbb{R}}^{n}.

For a nonnegative matrix A\in {\mathbb{R}}^{n\times n}, let \rho (A) denote the spectral radius of *A*. Then \rho (A) 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 Refs. [17]).

**Lemma 2.1** (Lasalle [18])

*If*A\ge 0*and*\rho (A)<1, *then*{(E-A)}^{-1}\ge 0.

## 3 Main results

**Theorem 3.1**
*Let*
y\in C[\mathbb{R},{\mathbb{R}}_{+}^{n}]
*be a solution of the delay integral inequality*

*where*G\in C[{\mathbb{R}}_{+}\times {\mathbb{R}}_{+},{\mathbb{R}}_{+}^{n}], B\in {\mathbb{R}}_{+}^{n\times n}, Q\in C[{\mathbb{R}}_{+}\times \mathbb{R},{\mathbb{R}}_{+}^{n\times n}], J={({j}_{1},\dots ,{j}_{n})}^{T}\ge 0, \phi \in C[(-\mathrm{\infty},{t}_{0}],{\mathbb{R}}_{+}^{n}], {lim}_{t\to +\mathrm{\infty}}(t-\tau (t))=+\mathrm{\infty}. *Assume that the following conditions are satisfied*: ({\mathbb{A}}_{1}) = G(t,{t}_{0})\to 0*as*t\to +\mathrm{\infty}, *and there exists a constant matrix*{\mathrm{\Pi}}_{1}\ge 0*such that*

; ({\mathbb{A}}_{2}) = *Let*\mathrm{\Pi}={\mathrm{\Pi}}_{1}+B, \rho (\mathrm{\Pi})<1.*Then there exist*z>0, z\in {\mathrm{\Omega}}_{\rho}(\mathrm{\Pi})*and a constant*k>0, *such that*

.

*Proof* By the condition \mathrm{\Pi}\ge 0 and the properties of nonnegative matrices, there exists a positive vector *z* such that \mathrm{\Pi}z=\rho (\mathrm{\Pi})z. Together with \rho (\mathrm{\Pi})<1 and Lemma 2.1, this implies that {(E-\mathrm{\Pi})}^{-1} exists and {(E-\mathrm{\Pi})}^{-1}\ge 0.

For the initial conditions y(t)\le \phi (t), -\mathrm{\infty}<t\le {t}_{0}, we have

where z\in {\mathrm{\Omega}}_{\rho}(\mathrm{\Pi}), z>0, {k}_{0}=\frac{\parallel \phi \parallel}{{min}_{1\le i\le n}{z}_{i}}\ge 0, \parallel \phi \parallel ={max}_{1\le i\le n}\{{sup}_{-\mathrm{\infty}<t\le {t}_{0}}|{\phi}_{i}(t)|\}.

From {lim}_{t\to +\mathrm{\infty}}G(t,{t}_{0})=0, there must be a constant T>0 such that

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

In the following, we shall prove that

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

where {\{\cdot \}}_{i} denotes the *i* th component of vector \{\cdot \}.

Using (3), (5), (8), (12) and \rho (\mathrm{\Pi})<1, we obtain that

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

where \mathrm{\Phi}(t,{t}_{0}) is the fundamental matrix of the linear equation \dot{x}(t)=A(t)x(t).

For (1), we suppose the following: ({\mathbb{B}}_{1}): = {[F(t,x(t-\tau (t)))]}^{+}\le Q(t){[x(t)]}_{\tau (t)}^{+}+J(t), {[H(t,x(t-\tau (t)))]}^{+}\le \stackrel{\u02c6}{H}{[x(t)]}_{\tau (t)}^{+}, where Q\in C[\mathbb{R},{\mathbb{R}}_{+}^{n\times n}], \stackrel{\u02c6}{H}\in {\mathbb{R}}_{+}^{n\times n}, J(t)={({J}_{1}(t),\dots ,{J}_{n}(t))}^{T}\ge 0, {J}_{i}\in C[\mathbb{R},{\mathbb{R}}_{+}], i=1,2,\dots ,n.; ({\mathbb{B}}_{2}): = {[\mathrm{\Phi}(t,s)]}^{+}\{{[A(s)]}^{+}\stackrel{\u02c6}{H}+Q(s)\}={({w}_{ij}(t,s))}_{n\times n}, {w}_{ij}\in U{C}_{t}, {lim}_{t\to +\mathrm{\infty}}\mathrm{\Phi}(t,{t}_{0})=0. For \mathrm{\forall}t\ge {t}_{0}, there exist a constant matrix {\mathrm{\Pi}}_{1}\ge 0 and a vector \stackrel{\u02c6}{J}\ge 0 such that

; ({\mathbb{B}}_{3}): = Let \mathrm{\Pi}={\mathrm{\Pi}}_{1}+\stackrel{\u02c6}{H}, \rho (\mathrm{\Pi})<1..

**Theorem 3.2** *Assume that* ({\mathbb{B}}_{1})-({\mathbb{B}}_{3}) *hold*. *Then*S=\{x\in {\mathbb{R}}^{n}|{[x]}^{+}\le {(E-\mathrm{\Pi})}^{-1}\stackrel{\u02c6}{J}\}*is a global attracting set of* (1).

*Proof* From (14) and ({\mathbb{B}}_{1}), we can get for \mathrm{\forall}t\ge {t}_{0},

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

where z\in {\mathrm{\Omega}}_{\rho}(\mathrm{\Pi}), z>0, k>\frac{\parallel \phi \parallel}{{min}_{1\le i\le n}{z}_{i}}, \parallel \phi \parallel ={max}_{1\le i\le n}\{{sup}_{-\mathrm{\infty}<t\le {t}_{0}}|{\phi}_{i}(t)|\}.

From (16), there must be a constant vector \sigma \ge 0 such that

Next, we will show that \sigma \in S. From {lim}_{t\to +\mathrm{\infty}}\mathrm{\Phi}(t,{t}_{0})=0, {w}_{ij}\in U{C}_{t}, for any \epsilon >0 and e={(1,1,\dots ,1)}^{T}\in {\mathbb{R}}_{+}^{n}, there exists a positive number {T}_{1}>{t}_{0} such that for all t>{T}_{1}

According to the definition of superior limit and {lim}_{t\to +\mathrm{\infty}}(t-\tau (t))=+\mathrm{\infty}, there exists sufficiently large {T}_{2}\ge {T}_{1} such that

where r(t)={T}_{1}+{sup}_{t-{T}_{1}\le s\le t}\tau (s). Therefore, from ({\mathbb{B}}_{2}), (15) and (18)-(19), when t\ge {T}_{2}, we obtain

Due to (17) and the definition of superior limit, there exists {T}_{3}\ge {T}_{2} such that {[x({T}_{3})]}^{+}>\sigma -\epsilon e. Combining with (21), we get

Letting \epsilon \to 0, we have \sigma \le {(E-\mathrm{\Pi})}^{-1}\stackrel{\u02c6}{J}, that is \sigma \in S, and the proof is completed. □

**Remark 3.1** Theorem 3.2 is a generalization of the results in [12, 13] as H\equiv 0 in (1) without the boundedness of \tau (t).

**Corollary 3.1** *Suppose that the conditions of Theorem* 3.2 *hold and*J(t)\equiv 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

where a>0, *b* are constants, J(t)=sint and \tau (t)=\frac{1}{2}(t+sint).

We easily verify that |\mathrm{\Phi}(t,0)|={e}^{-a{\int}_{0}^{t}v\phantom{\rule{0.2em}{0ex}}dv}, {lim}_{t\to +\mathrm{\infty}}\mathrm{\Phi}(t,0)=0. For any t\ge 0, we get

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

**Remark 4.1** If J(t)\equiv 0 and \frac{|b|}{a}<\frac{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 t\ge 0.

## References

Hale JK, Lunel SMV:

*Introduction to Functional Differential Equations*. Springer, Berlin; 1993.Agarwal RP, Grace SR: Asymptotic stability of differential systems of neutral type.

*Appl. Math. Lett.*2000, 13: 15–19.Agarwal RP, Grace SR: Asymptotic stability of certain neutral differential equations.

*Math. Comput. Model.*2000, 31: 9–15.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.007Dix 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.005Zhang Y: Stability of large scale systems with delays of neutral-type.

*Sci. China Ser. A*1988, 4: 337–347. in ChineseAzbelev NV, Maksimov VP, Rakhmatullina LF:

*Introduction to the Theory of Linear Functional Differential Equations*. World Federation Publisher Company, Atlanta; 1995.Gusarenko SA, Domoshnitsky A: Asymptotic and oscillation properties of first order linear scalar functional-differential equations.

*Differ. Uravn.*1989, 25(12):2090–2103.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.Domoshnitsky A, Maghakyan A, Shklyar R: Maximum principles and boundary value problems for first order neutral functional differential equations.

*J. Inequal. Appl.*2009.Agarwal RP, Berezansky L, Braverman E, Domoshnitsky A:

*Nonoscillation Theory of Functional Differential Equations with Applications*. Springer, Berlin; 2012.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-0Xu DY, Zhao HY: Invariant and attracting sets of Hopfield neural networks with delay.

*Int. J. Syst. Sci.*2001, 32(7):863–866.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.072Xiang L, Teng LY, Wu H: A new delay vector integral inequality and its application.

*J. Inequal. Appl.*2010.Xu DY: Integro-differential equations and delay integral inequalities.

*Tohoku Math. J.*1992, 44(3):365–378. 10.2748/tmj/1178227303Horn RA:

*Matrix Analysis*. Cambridge University Press, Cambridge; 1985.Lasalle JP:

*The Stability of Dynamical System*. SIAM, Philadelphia; 1976.

## Acknowledgements

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

## Author information

### Authors and Affiliations

### Corresponding author

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

## 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

Received:

Accepted:

Published:

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

### Keywords

- integral inequality
- attracting set
- neutral functional differential equations