- Research
- Open access
- Published:

# Globally exponential stability of a certain neutral differential equation with time-varying delays

*Advances in Difference Equations*
**volume 2014**, Article number: 32 (2014)

## Abstract

In this paper, an improved globally exponential stability criterion of a certain neutral delayed differential equation with time-varying of the form \frac{d}{dt}[x(t)+px(t-\tau (t))]=-ax(t)+btanhx(t-\sigma (t)) has been proposed in the form of linear matrix inequality. We first propose an upper bound of the solution in terms of an exponential function. Then we apply Lyapunov functions, a descriptor form, the Leibniz-Newton formula and radially unboundedness to formulate the sufficient criterion. To show the effectiveness of the proposed criterion, four numerical examples are presented.

## 1 Introduction

In this paper, we investigate the stability of the neutral delayed differential equation (NDE) of the form

where *a*, *b* are positive real constants and |p|<1. The delays \tau (t), \sigma (t) are bounded continuous functions defined as \tau (t):[0,\mathrm{\infty})\to [0,\tau ] and \sigma (t):[0,\mathrm{\infty})\to [0,\sigma ] satisfying

For each solution of equation (1), we assume the initial condition

where r=max\{\tau ,\sigma \}, \varphi \in \mathbb{C}([-r,0];\mathbb{R}).

The NDE (1), consisting of discrete and neutral delays, often appears in scientific and engineering fields such as aircraft, chemical processing, control systems, and biological systems ([1–3] and references therein). It is well known that a small change in delay may destabilize a system [4, 5]. Therefore, researchers had increased their attention to the study of the stabilization of the system by proposing stability criteria in various forms, commonly in the form of a linear matrix inequality (LMI) base. It is also known that the LMI condition can be classified into two categories: delay independent (no information of delay used) and delay dependent (engaged with delay). The latter condition is generally considered as less conservative than the former when the delay is small.

Earlier stability studies of equation (1) had focused on the case of constant delays as in the form

Several techniques such as using a Lyapunov-like theorem method, Lyapunov-Krasovskii functional, integral inequalities, and model transformations have been used to obtain sufficient conditions to ensure stability of the NDE [6–17]. The asymptotic stability of the NDE with constant delays (3) has been discussed in [6, 7, 9–17], while the exponential stability has been studied in [7, 8, 16, 18]. There are only three researches [7, 8, 18] proposing globally exponential stability criteria for the NDE with time-varying delays (1), which can be considered as a more realistic situation since the time delays are usually not constant. However, the criterion proposed in [7] cannot specify the rate of convergence, which may be regarded as only asymptotically stable [8], while criteria proposed in [8, 18] are slightly conservative and can be improved.

In this article, we reinvestigate the exponential stability of the NDE (1) with time-varying delays. We also propose an upper bound of solution of the neutral differential equation in terms of an exponential function. Using the descriptor form introduced in [1, 19], a model transformation, Lyapunov-Krasovskii functions, and radially unboundedness, an improved globally exponential stability criterion is formulated in the form of LMI. Finally, four numerical examples are presented to show the effectiveness of the proposed criterion by comparing the upper bounds of the delay \sigma (t) and the parameter *b* with other existing work.

*Notations*: Throughout this article, ∗ represents the elements below the main diagonal of a symmetric matrix. The notation A\ge 0 (A>0) means *A* is semi-positive definite (positive definite); {A}^{T} denotes the transpose of the matrix *A* and \parallel \cdot \parallel denotes the Euclidean norm of given vector or matrix; ℝ denotes the set of real numbers; {\mathbb{R}}^{n} denotes the set of *n*-tuples of real numbers; and {\mathbb{R}}^{n\times n} denotes the set of n\times n matrices whose entries are real.

## 2 Preliminaries

For convenience, we define a new variable D(t):\equiv x(t)+px(t-\tau (t)). Therefore, the NDE (1) can be written as

With the new variable above, we now define the descriptor form of equation (1) as follows:

**Definition 1** The equilibrium point x=0 of the system (1) is exponentially stable if there exist positive real constants *K* and *λ* such that

where {\parallel {x}_{t}\parallel}_{s}={sup}_{-r\le s\le 0}\parallel x(t+s)\parallel.

**Lemma 2** (Cauchy inequality)

*For any symmetric positive definite matrix* N\in {\mathbb{R}}^{n\times n} *and* x,y\in {\mathbb{R}}^{n}, *we have*

**Proposition 3** *Let* M>0, \mu >0, |p|<1 *and* 0\le \tau (t)\le \tau. *If* x:[-\tau ,\mathrm{\infty})\to R, *satisfying*

*and*

*Then there exist positive scalars*
\u03f5,m\in [0,\frac{-ln|p|}{\tau}]
*such that*
|p|{e}^{\u03f5\tau}<1
*and*

*where* N:\equiv {\parallel {x}_{0}\parallel}_{s}+\frac{M}{1-|p|{e}^{\u03f5\tau}} *and* \phi =min\{m,\u03f5\}.

*Proof* Since |p|<1 and 0\le \tau (t)\le \tau, there exist sufficient small scalar \u03f5,m\in [0,\frac{-ln|p|}{\tau}] such that |p|{e}^{\u03f5\tau}<1 and |p|{e}^{m\tau}<1. Next we will show that the inequality (6) holds. If \mu \le \u03f5, we choose \mu =\u03f5; else if \mu >\u03f5, we have {e}^{-\mu t}\le {e}^{-\u03f5t}.

For t=0, we have

Thus, the inequality (6) holds for t=0.

For t>0, suppose the equality (6) fails; *i.e.* there exists {t}^{\ast}>0 such that

*Case* I. Let {t}^{\ast}>\tau ({t}^{\ast})>0. We have

*Case* II. Let -\tau <0<{t}^{\ast}<\tau ({t}^{\ast}). Then \parallel x({t}^{\ast}-\tau ({t}^{\ast}))\parallel \le {\parallel {x}_{0}\parallel}_{s}={sup}_{s\in [-\tau ,0]}\parallel x(s)\parallel; thus,

For both cases, there is contradiction to the inequality (7). Therefore, the inequality (6) holds for all t\ge 0. □

## 3 Main results

In this section, the globally exponential stability for the NDE with time-varying delays in equation (1) will be presented as follows.

**Theorem 4** *For given* a>0, b>0, k>0 *and* \tau (t), \sigma (t) *satisfying* (2), *the neutral differential equation* (1) *is globally exponentially stable if the operator* *D* *is stable* (*i*.*e*. |p|<1) *and there exist positive scalars* {q}_{1}, *α*, *β*, *and scalars* {q}_{i}, i=2,3,\dots ,6 *such that*

*where* (1,2)=-a{q}_{1}+{q}_{2}-{q}_{3}-{q}_{4}, (2,2)=2{q}_{4}-2{q}_{5}-2{q}_{6}+\alpha +\beta, (3,3)=-2{q}_{6}-\alpha (1-{\delta}_{1}){e}^{-2k\tau}.

*Proof* Choose a Lyapunov-Krasovskii functional candidate V={V}_{1}+{V}_{2}+{V}_{3} where

where D=x(t)+px(t-\tau (t)), {q}_{1}>0, \alpha >0, \beta >0, {q}_{i}, i=2,3,\dots ,6 are real numbers and *γ* is a positive number that will be determined later.

Taking derivatives of {V}_{1}(t) and {V}_{2}(t) along the trajectory of equation (4), we have

Utilizing the Leibniz-Newton formula, {\int}_{t-\tau (t)}^{t}\dot{x}(s)\phantom{\rule{0.2em}{0ex}}ds=x(t)-x(t-\tau (t)), we obtain

Since \tau (t)\le \tau, \sigma (t)\le \sigma, \dot{\tau}(t)<{\delta}_{1}, \dot{\sigma}(t)<{\delta}_{2} and {tanh}^{2}x(t)\le {x}^{2}(t), we have

Combining equations (9) and (10), we have

where \ell (t)={[D,x(t),x(t-\tau (t)),tanhx(t-\sigma (t)),{\int}_{t-\tau (t)}^{t}\dot{x}(s)\phantom{\rule{0.2em}{0ex}}ds]}^{T} and Ω is defined in equation (8). Since \mathrm{\Omega}<0, we have {\dot{V}}_{1}(t)+{\dot{V}}_{2}(t)\le {e}^{2kt}{\ell}^{T}(t)\mathrm{\Omega}\ell (t)<0. Therefore, there is a positive number *λ* such that

Taking the derivative of {V}_{3} along the trajectory of equation (4) and utilizing the Cauchy inequality (Lemma 2), we have

We choose

We obtain \dot{V}(t)={\dot{V}}_{1}(t)+{\dot{V}}_{2}(t)+{\dot{V}}_{3}(t)\le -\frac{\lambda}{2}{e}^{2kt}{\parallel x(t)\parallel}^{2}<0. From the condition that \dot{V}(t) is negative definite and 0\le \tau (t)\le \tau, 0\le \sigma (t)\le \sigma, we have V(x(t))\le V(x(0)), for all t\ge 0, with

where \mathrm{\Delta}={q}_{1}{(1+|p|)}^{2}+\alpha \tau +\beta \sigma +\gamma {(1+|p|)}^{2}.

From \gamma {e}^{2kt}{\parallel D\parallel}^{2}\le V(x(t))\le \mathrm{\Delta}{\parallel {x}_{0}\parallel}_{s}^{2}, we obtain \parallel D\parallel \le M{e}^{-kt} where M=\sqrt{\frac{\mathrm{\Delta}}{\gamma}}{\parallel {x}_{0}\parallel}_{s}. Because D=x(t)+px(t-\tau (t)), we have

Since |p|<1 and 0\le \tau (t)\le \tau, we can choose a sufficiently small positive constant \phi =k<\frac{-ln|p|}{\tau} so that |p|{e}^{\phi \tau}<1. Utilizing Proposition 3, we have

Choosing \mu =max\{{\parallel {x}_{0}\parallel}_{s},\frac{M}{1-|p|{e}^{\phi \tau}}\}, we obtain

This implies that the zero solution of equation (1) is exponentially stable. By radially unboundedness, it is globally exponentially stable with a rate of convergence k=\phi >0. □

**Remark 5** If k=0, one can easily see that the zero solution of equation (1) is uniformly asymptotically stable when the following criterion holds:

where (1,2)=-a{q}_{1}+{q}_{2}-{q}_{3}-{q}_{4}, (2,2)=2{q}_{4}-2{q}_{5}-2{q}_{6}+\alpha +\beta.

**Remark 6** Our globally exponential stability criterion (8) is delay dependent relating to delays *τ*, *σ* but the uniformly asymptotic stability criterion (11) is delay independent. In addition, both criteria depend on the rates of change of the delays {\delta}_{1} and {\delta}_{2}. These criteria are found to be less conservative than those in [7, 8] because our rate of change of delay {\delta}_{1} does not require it to be less than 1 but it is so in [7, 8].

## 4 Numerical examples

In this section, four numerical examples are given to show the effectiveness of our main results by comparing the upper bounds of the delays *σ* and the parameter *b* as well as investigating the rate of convergence. The feasibility of all criteria are obtained by using the LMI control toolbox in MATLAB.

**Example 1** Consider the following equation with time-varying delays:

when \tau (t)=2{sin}^{2}(t) and \sigma (t)=\frac{{cos}^{2}(t)}{5}.

Solving the condition (8), we obtain a set of parameters guaranteeing globally exponential stability as follows:

Moreover, we investigate the feasibility of the criterion (8) by varying the values of parameter *p* and find that the criterion maintains its feasibility up to p=0.6. This example shows that our proposed condition (8) is practical for the NDE with time-varying delays.

**Example 2** Consider the following equation studied in [7, 8]:

when \tau (t)=\frac{{sin}^{2}(t)}{10} and {\delta}_{2}=0.2.

Solving our criterion (11), guaranteeing a uniformly asymptotic stability, allows an upper bound \sigma ={10}^{25}, which is fairly the same as found in other existing work [7, 8].

In case of exponential stability, when k=0.0038 is given, our criterion (8) allows the upper bound of the time delay \sigma (t)=7.5231 along with a set of parameters guaranteeing globally exponential stability as follows:

Furthermore, we vary the rate of convergence and find that our criterion (8) is still feasible up to k=0.028 along with the upper bound \sigma (t)=0.0321. However, the criterion proposed in [8] is only feasible for an asymptotically stable case, while the criterion in [7] gives no information on *k* (see the comparison in Table 1). This example shows that our criterion (8) is less conservative than previous results.

**Example 3** Consider the following equation from [7–9, 12, 13, 15, 16]:

By solving LMI (11), it allows the upper bound of the time delay \sigma ={10}^{21}, which guarantees uniformly asymptotic stability. When k=0.0038 is given, solving LMI (8) yields the upper bound of the time delay \sigma =175.354 along with a set of parameters guaranteeing globally exponential stability as follows:

In Table 2, we compare the upper bounds of *σ* with other work. It is clear that the upper bounds from our criteria (8) and (11) are larger than many values obtained from other work.

**Example 4** Consider the following equation, studied in [7–9, 13, 15, 16, 18]:

By solving LMI (11), it allows the upper bound of the parameter b=1.405, ensuring uniformly asymptotic stability. When k=0.177 is given, solving LMI (8) allows the upper bound b=1.1089, with a set of parameters guaranteeing the exponential stability as follows:

The values of the upper bounds *b* are compared with other work (see Table 3). The results show that our upper bound *b* is larger than the values obtained from other work.

Furthermore, we have investigated the rate of convergence by fixing the value of b=1.346 (as obtained by [7]), and solving criterion (8) yields the rate of convergence of k=0.0343, while no information on *k* can be specified from the criterion in [7].

**Remark 7** One can obtain a faster speed of convergence up to k=0.2489 in Example 3 and up to k=0.93 in Example 4 with trade-off in smaller upper bounds decreasing to near zero.

**Remark 8** It is worth pointing out that the upper bounds from [7] are larger than the values obtained by solving our LMI (8) as seen in Tables 2 and 3. However, the upper bounds in [7] are given without any information of the rate of convergence.

## 5 Conclusion

In this paper, we have proved an important inequality associated with a time-varying neutral delay. Then we proposed two criteria for ensuring globally exponential stability and uniformly asymptotic stability of the neutral differential equation with time-varying delays. Finally, four numerical examples are given to show that the proposed criteria are less conservative than much existing work.

## References

Fridman E: Stability of linear descriptor systems with delays: a Lyapunov-based approach.

*J. Math. Anal. Appl.*2002, 273: 24-44. 10.1016/S0022-247X(02)00202-0Kwon OM, Park J, Lee SM: Augmented Lyapunov functional approach to stability of uncertain neutral systems with time-varying delays.

*Appl. Math. Comput.*2009, 207: 202-212. 10.1016/j.amc.2008.10.018Liao X, Liu Y, Guo S, Mai H: Asymptotic stability of delayed neural networks: a descriptor system approach.

*Commun. Nonlinear Sci. Numer. Simul.*2009, 14: 3120-3133. 10.1016/j.cnsns.2008.12.001Logemann H, Twonley S: The effects of small delays in the feedback loop on the stability of the neutral systems.

*Syst. Control Lett.*1996, 27: 267-274. 10.1016/0167-6911(96)00002-3Park JH: Delay-dependent criterion for guaranteed cost control of neutral delay systems.

*J. Optim. Theory Appl.*2005, 124: 491-502. 10.1007/s10957-004-0947-8Agarwal RP, Grace SR: Asymptotic stability of certain neutral differential equations.

*Math. Comput. Model.*2000, 31: 9-15.Chen H, Meng X: An improved exponential stability criterion for a class of neutral delayed differential equations.

*Appl. Math. Lett.*2011, 24: 1763-1767. 10.1016/j.aml.2010.10.007Chen H: Some improved criteria on exponential stability of neutral differential equation.

*Adv. Differ. Equ.*2012., 2012: Article ID 170 10.1186/1687-1847-2012-170Deng S, Liao X, Guo S: Asymptotic stability analysis of certain neutral differential equations: a descriptor system approach.

*Math. Comput. Simul.*2009, 71: 4297-4308.El-Morshedy HA, Gopalsamy K: Nonoscillation, oscillation and convergence of a class of neutral equations.

*Nonlinear Anal.*2000, 40: 173-183. 10.1016/S0362-546X(00)85010-5Hale JK, Verduyn Lunel SM:

*Introduction to Functional Differential Equations*. Springer, New York; 1993.Kwon OM, Park JH: On improved delay-dependent stability criterion of certain neutral differential equations.

*Appl. Math. Comput.*2008, 199: 385-391. 10.1016/j.amc.2007.09.031Nam PT, Phat VN: An improved stability criterion for a class of neutral differential equations.

*Appl. Math. Lett.*2009, 22: 31-35. 10.1016/j.aml.2007.11.006Park JH: Delay-dependent criterion for asymptotic stability of a class of neutral equations.

*Appl. Math. Lett.*2004, 17: 1203-1206. 10.1016/j.aml.2003.05.013Park JH, Kwon OM: Stability analysis of certain nonlinear differential equation.

*Chaos Solitons Fractals*2008, 27: 450-453.Rojsiraphisal T, Niamsup P: Exponential stability of certain neutral differential equations.

*Appl. Math. Lett.*2010, 17: 3875-3880.Sun YG, Wang L: Note on asymptotic stability of a class of neutral differential equations.

*Appl. Math. Lett.*2006, 19: 949-953. 10.1016/j.aml.2005.10.015Li X: Global exponential stability for a class of neural networks.

*Appl. Math. Lett.*2009, 22: 1235-1239. 10.1016/j.aml.2009.01.036Fridman E: New Lyapunov-Krasovskii functionals for stability of linear retarded and neutral type systems.

*Syst. Control Lett.*2001, 43: 309-319. 10.1016/S0167-6911(01)00114-1

## Acknowledgements

The authors would like to thank the anonymous referees for their valuable comments and suggestions, which have led to significant improvement of this paper. This research is fully supported by Chiang Mai University.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

All authors declare that they have no competing interests.

### Authors’ contributions

The work presented here was carried out in collaboration between both authors. TR designed the problem and initiated techniques used in this work. Both authors carried out the analysis. PK ran numerical tests. TR wrote the manuscript and both 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

Keadnarmol, P., Rojsiraphisal, T. Globally exponential stability of a certain neutral differential equation with time-varying delays.
*Adv Differ Equ* **2014**, 32 (2014). https://doi.org/10.1186/1687-1847-2014-32

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1847-2014-32