# Asymptotic behavior of a third-order nonlinear neutral delay differential equation

- Ying Jiang
^{1}and - Tongxing Li
^{2, 3}Email author

**2014**:512

https://doi.org/10.1186/1029-242X-2014-512

© Jiang and Li; licensee Springer. 2014

**Received: **22 September 2014

**Accepted: **8 December 2014

**Published: **23 December 2014

## Abstract

The objective of this paper is to study asymptotic nature of a class of third-order neutral delay differential equations. By using a generalized Riccati substitution and the integral averaging technique, a new Philos-type criterion is obtained which ensures that every solution of the studied equation is either oscillatory or converges to zero. An illustrative example is included.

**MSC:**34K11.

### Keywords

asymptotic behavior third-order neutral differential equation oscillation generalized Riccati substitution## 1 Introduction

where $m\ge 1$ is an integer and ${t}_{0}>0$. We assume that the following hypotheses are satisfied.

(A_{1}) $r\in {\mathrm{C}}^{1}([{t}_{0},\mathrm{\infty}),(0,\mathrm{\infty}))$, $P,\tau ,{Q}_{i},{\sigma}_{i}\in \mathrm{C}([{t}_{0},\mathrm{\infty}),[0,\mathrm{\infty}))$, ${f}_{i}\in \mathrm{C}(\mathbb{R},\mathbb{R})$, and $u{f}_{i}(u)>0$ for $u\ne 0$, $i=1,2,\dots ,m$;

(A_{2}) ${r}^{\prime}(t)\ge 0$, ${\int}_{{t}_{0}}^{\mathrm{\infty}}{r}^{-1}(t)\phantom{\rule{0.2em}{0ex}}\mathrm{d}t=\mathrm{\infty}$, and $0\le P(t)\le {p}_{0}<1$;

(A_{3}) ${lim}_{t\to \mathrm{\infty}}(t-\tau (t))={lim}_{t\to \mathrm{\infty}}(t-{\sigma}_{i}(t))=\mathrm{\infty}$, $i=1,2,\dots ,m$;

(A_{4}) there exist constants ${\alpha}_{i}>0$ such that ${f}_{i}(u)/u\ge {\alpha}_{i}$ for $u\ne 0$ and $i=1,2,\dots ,m$.

By a solution of equation (1), we mean a function $x\in \mathrm{C}([{T}_{x},\mathrm{\infty}),\mathbb{R})$, ${T}_{x}\ge {t}_{0}$, which has the properties $z\in {\mathrm{C}}^{2}([{T}_{x},\mathrm{\infty}),\mathbb{R})$, $r{z}^{\u2033}\in {\mathrm{C}}^{1}([{T}_{x},\mathrm{\infty}),\mathbb{R})$, and satisfies (1) on $[{T}_{x},\mathrm{\infty})$. We consider only those solutions *x* of (1) which satisfy assumption $sup\{|x(t)|:t\ge T\}>0$ for all $T\ge {T}_{x}$. We assume that (1) possesses such solutions. A solution of (1) is called oscillatory if it has arbitrarily large zeros on $[{T}_{x},\mathrm{\infty})$; otherwise, it is termed nonoscillatory.

As is well known, the third-order differential equations are derived from many different areas of applied mathematics and physics, for instance, deflection of buckling beam with a fixed or variable cross-section, three-layer beam, electromagnetic waves, gravity-driven flows, *etc.* In recent years, the oscillation theory of third-order differential equations has received a great deal of attention since it has been widely applied in research of physical sciences, mechanics, radio technology, lossless high-speed computer network, control system, life sciences, and population growth.

*et al.*[1], Grace

*et al.*[7], and Zhang

*et al.*[16] considered a third-order nonlinear differential equation

*et al.*[11, 12] investigated a class of third-order neutral differential equations

Define $\tilde{\tau}(t):=t-\tau (t)$ and ${\tilde{\sigma}}_{i}(t):=t-{\sigma}_{i}(t)$, $i=1,2,\dots ,m$. It follows from conditions (A_{1}) and (A_{3}) that $\tilde{\tau}(t)\le t$, ${\tilde{\sigma}}_{i}(t)\le t$, and ${lim}_{t\to \mathrm{\infty}}\tilde{\tau}(t)={lim}_{t\to \mathrm{\infty}}{\tilde{\sigma}}_{i}(t)=\mathrm{\infty}$, $i=1,2,\dots ,m$. Hence, equation (3) is a special case of (1). As a matter of fact, equation (1) reduces to the form of (3) if $m=1$ and ${f}_{1}(u)=u$.

There are two techniques in the study of oscillation of third-order neutral differential equations. One of them is comparison method which is used to reduce the third-order neutral differential equations to the first-order differential equations or inequalities; see, *e.g.*, [8–10]. Another technique is the Riccati technique; see, *e.g.*, [4–6, 10–12]. In this paper, using a *generalized* Riccati substitution which differs from those reported in [4–6, 10–12], a new asymptotic criterion for (1) is presented. In what follows, all functional inequalities are tacitly supposed to hold for all sufficiently large *t*.

## 2 Some lemmas

**Lemma 1**

*Assume that conditions*(A

_{1})-(A

_{4})

*hold and*

*x*

*is a positive solution of*(1).

*Then there are only the following two possible cases for*

*z*

*defined by*(2):

- (I)
$z(t)>0$, ${z}^{\prime}(t)>0$, ${z}^{\u2033}(t)>0$, ${z}^{\u2034}(t)\le 0$,

*and*${(r(t){z}^{\u2033}(t))}^{\prime}\le 0$; - (II)
$z(t)>0$, ${z}^{\prime}(t)<0$, ${z}^{\u2033}(t)>0$, ${z}^{\u2034}(t)\le 0$,

*and*${(r(t){z}^{\u2033}(t))}^{\prime}\le 0$,

*for* $t\ge T$, *where* $T\ge {t}_{0}$ *is sufficiently large*.

*Proof* The proof is similar to that of Baculíková and Džurina [[4], Lemma 1], and hence is omitted. □

**Lemma 2**

*Assume that conditions*(A

_{1})-(A

_{4})

*hold and let*

*x*

*be a positive solution of*(1)

*and corresponding*

*z*

*satisfy case*(II)

*in Lemma*1.

*If*

*then* ${lim}_{t\to \mathrm{\infty}}x(t)={lim}_{t\to \mathrm{\infty}}z(t)=0$.

*Proof*Suppose that

*x*is a positive solution of (1). Since $z(t)>0$ and ${z}^{\prime}(t)<0$, there exists a finite constant $l\ge 0$ such that ${lim}_{t\to \mathrm{\infty}}z(t)=l\ge 0$. We shall prove that $l=0$. Assume now that $l>0$. Then for any $\epsilon >0$, there exists a ${t}_{1}\ge T$ such that $l+\epsilon >z(t)>l$ for $t\ge {t}_{1}$. Choose $0<\epsilon <l(1-{p}_{0})/{p}_{0}$. It is not hard to find that

*t*to ∞, we obtain

*t*to ∞, we have

which contradicts (4). Hence, $l=0$ and ${lim}_{t\to \mathrm{\infty}}z(t)=0$. Then it follows from $0\le x(t)\le z(t)$ that ${lim}_{t\to \mathrm{\infty}}x(t)=0$. The proof is complete. □

**Lemma 3** (See [[4], Lemma 3])

*Assume that* $u(t)>0$, ${u}^{\prime}(t)>0$, *and* ${u}^{\u2033}(t)\le 0$ *for* $t\ge {t}_{0}$. *If* $\sigma \in \mathrm{C}([{t}_{0},\mathrm{\infty}),[0,\mathrm{\infty}))$, $\sigma (t)\le t$, *and* ${lim}_{t\to \mathrm{\infty}}\sigma (t)=\mathrm{\infty}$, *then for every* $\alpha \in (0,1)$, *there exists a* ${T}_{\alpha}\ge {t}_{0}$ *such that* $u(\sigma (t))/\sigma (t)\ge \alpha u(t)/t$ *for* $t\ge {T}_{\alpha}$.

**Remark 1** If *u* satisfies conditions of Lemma 3, then $u(t-{\sigma}_{i}(t))/u(t)\ge \alpha (t-{\sigma}_{i}(t))/t$ for $i=1,2,\dots ,m$ when using conditions (A_{1}) and (A_{3}).

**Lemma 4** (See [[4], Lemma 4])

*Assume that* $u(t)>0$, ${u}^{\prime}(t)>0$, ${u}^{\u2033}(t)>0$, *and* ${u}^{\u2034}(t)\le 0$ *for* $t\ge {t}_{0}$. *Then for each* $\beta \in (0,1)$, *there exists a* ${T}_{\beta}\ge {t}_{0}$ *such that* $u(t)\ge \beta t{u}^{\prime}(t)/2$ *for* $t\ge {T}_{\beta}$.

**Remark 2** If *u* satisfies conditions of Lemma 4, then $u(t-{\sigma}_{i}(t))/{u}^{\prime}(t-{\sigma}_{i}(t))\ge \beta (t-{\sigma}_{i}(t))/2$ for $i=1,2,\dots ,m$ when using condition (A_{3}).

## 3 Main results

*X*if

- (i)
$H(t,t)=0$, $t\ge {t}_{0}$, $H(t,s)>0$, $(t,s)\in {\mathbb{D}}_{0}$;

- (ii)
*H*has a nonpositive continuous partial derivative $\partial H/\partial s$ on ${\mathbb{D}}_{0}$ with respect to the second variable, and there exist functions $\rho \in {\mathrm{C}}^{1}([{t}_{0},\mathrm{\infty}),(0,\mathrm{\infty}))$, $\delta \in {\mathrm{C}}^{1}([{t}_{0},\mathrm{\infty}),\mathbb{R})$, and $h\in \mathrm{C}({\mathbb{D}}_{0},\mathbb{R})$ such that$\frac{\partial H(t,s)}{\partial s}+(2\delta (s)+\frac{{\rho}^{\prime}(s)}{\rho (s)})H(t,s)=-h(t,s)\sqrt{H(t,s)}.$(9)

**Theorem 1**

*Assume that conditions*(A

_{1})-(A

_{4})

*and*(4)

*are satisfied*.

*If*

*holds for some*$\alpha \in (0,1)$, $\beta \in (0,1)$,

*and for some*$H\in X$,

*where*

*then every solution* *x* *of* (1) *is either oscillatory or satisfies* ${lim}_{t\to \mathrm{\infty}}x(t)=0$.

*Proof* Suppose to the contrary and assume that (1) has a nonoscillatory solution *x*. Without loss of generality, we can assume that there exists a ${t}_{1}\ge {t}_{0}$ such that $x(t)>0$, $x(t-\tau (t))>0$, and $x(t-{\sigma}_{i}(t))>0$ for $t\ge {t}_{1}$ and $i=1,2,\dots ,m$. By Lemma 1, we observe that *z* satisfies either (I) or (II) for $t\ge T$, where $T\ge {t}_{1}$ is large enough. We consider each of the two cases separately.

*G*is defined as in (11), $A(t):=({\rho}^{\prime}(t)/\rho (t))+2\delta (t)$, and $B(t):=1/(r(t)\rho (t))$. Replacing in the latter inequality

*t*with

*s*, multiplying both sides by $H(t,s)$ and integrating with respect to

*s*from some ${T}_{1}$ (${T}_{1}\ge T$) to

*t*, we derive from $H(t,t)=0$ and (9) that

which contradicts condition (10).

Assume now that case (II) holds. By virtue of Lemma 2, ${lim}_{t\to \mathrm{\infty}}x(t)=0$. This completes the proof. □

**Corollary 1**

*The conclusion of Theorem*1

*remains intact if condition*(10)

*is replaced by the assumptions*

*and*

As an application of Theorem 1, we provide the following example.

**Example 1**For $t\ge 1$, consider a third-order neutral delay differential equation

Let $\rho (t)=t$, $\delta (t)=0$, and $H(t,s)={(t-s)}^{2}$. It is not difficult to verify that all assumptions of Theorem 1 are satisfied. Hence, every solution *x* of (19) is either oscillatory or satisfies ${lim}_{t\to \mathrm{\infty}}x(t)=0$. As a matter of fact, one such solution is $x(t)={t}^{-1}$.

## Declarations

### Acknowledgements

The authors are grateful to the editors and two anonymous referees for a very thorough reading of the manuscript and for pointing out several inaccuracies. This research is supported by NNSF of P.R. China (Grant No. 61403061) and the AMEP of Linyi University, P.R. China.

## Authors’ Affiliations

## References

- Agarwal RP, Bohner M, Li T, Zhang C:
**Oscillation of third-order nonlinear delay differential equations.***Taiwan. J. Math.*2013,**17:**545-558.MathSciNetMATHGoogle Scholar - Agarwal RP, Bohner M, Tang S, Li T, Zhang C:
**Oscillation and asymptotic behavior of third-order nonlinear retarded dynamic equations.***Appl. Math. Comput.*2012,**219:**3600-3609. 10.1016/j.amc.2012.09.054MathSciNetView ArticleGoogle Scholar - Baculíková B, Džurina J:
**Oscillation theorems for second-order nonlinear neutral differential equations.***Comput. Math. Appl.*2011,**62:**4472-4478. 10.1016/j.camwa.2011.10.024MathSciNetView ArticleMATHGoogle Scholar - Baculíková B, Džurina J:
**Oscillation of third-order neutral differential equations.***Math. Comput. Model.*2010,**52:**215-226. 10.1016/j.mcm.2010.02.011View ArticleMATHGoogle Scholar - Candan T:
**Oscillation criteria and asymptotic properties of solutions of third-order nonlinear neutral differential equations.***Math. Methods Appl. Sci.*2014. 10.1002/mma.3153Google Scholar - Candan T:
**Asymptotic properties of solutions of third-order nonlinear neutral dynamic equations.***Adv. Differ. Equ.*2014.,**2014:**Article ID 35Google Scholar - Grace SR, Agarwal RP, Pavani R, Thandapani E:
**On the oscillation of certain third order nonlinear functional differential equations.***Appl. Math. Comput.*2008,**202:**102-112. 10.1016/j.amc.2008.01.025MathSciNetView ArticleMATHGoogle Scholar - Karpuz B:
**Sufficient conditions for the oscillation and asymptotic behaviour of higher-order dynamic equations of neutral type.***Appl. Math. Comput.*2013,**221:**453-462.MathSciNetView ArticleGoogle Scholar - Li T, Rogovchenko Y:
**Asymptotic behavior of higher-order quasilinear neutral differential equations.***Abstr. Appl. Anal.*2014.**2014:**Article ID 395368 10.1155/2014/395368Google Scholar - Li T, Thandapani E:
**Oscillation of solutions to odd-order nonlinear neutral functional differential equations.***Electron. J. Differ. Equ.*2011.**2011:**Article ID 23Google Scholar - Li T, Thandapani E, Graef JR:
**Oscillation of third-order neutral retarded differential equations.***Int. J. Pure Appl. Math.*2012,**75:**511-520.MATHGoogle Scholar - Li T, Zhang C, Xing G:
**Oscillation of third-order neutral delay differential equations.***Abstr. Appl. Anal.*2012.**2012:**Article ID 569201 10.1155/2012/569201Google Scholar - Philos CG:
**Oscillation theorems for linear differential equations of second order.***Arch. Math.*1989,**53:**482-492. 10.1007/BF01324723MathSciNetView ArticleMATHGoogle Scholar - Thandapani E, Li T:
**On the oscillation of third-order quasi-linear neutral functional differential equations.***Arch. Math. (Brno)*2011,**47:**181-199.MathSciNetMATHGoogle Scholar - Xing G, Li T, Zhang C:
**Oscillation of higher-order quasi-linear neutral differential equations.***Adv. Differ. Equ.*2011.**2011:**Article ID 45Google Scholar - Zhang Q, Gao L, Liu S, Yu Y:
**New oscillation criteria for third-order nonlinear functional differential equations.***Abstr. Appl. Anal.*2014.**2014:**Article ID 943170 10.1155/2014/943170Google Scholar

## Copyright

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/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.