 Research
 Open Access
 Published:
Asymptotic behavior of a thirdorder nonlinear neutral delay differential equation
Journal of Inequalities and Applications volume 2014, Article number: 512 (2014)
Abstract
The objective of this paper is to study asymptotic nature of a class of thirdorder neutral delay differential equations. By using a generalized Riccati substitution and the integral averaging technique, a new Philostype 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.
1 Introduction
In this work, we study the oscillation and asymptotic behavior of a thirdorder nonlinear neutral differential equation with variable delay arguments
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.
Throughout, we define
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 thirdorder differential equations are derived from many different areas of applied mathematics and physics, for instance, deflection of buckling beam with a fixed or variable crosssection, threelayer beam, electromagnetic waves, gravitydriven flows, etc. In recent years, the oscillation theory of thirdorder differential equations has received a great deal of attention since it has been widely applied in research of physical sciences, mechanics, radio technology, lossless highspeed computer network, control system, life sciences, and population growth.
Numerous research activities are concerned with the oscillation of solutions to different functional differential equations, for some related contributions, we refer the reader to [1–16] and the references cited therein. In the following, we provide some background details regarding the study of various classes of neutral differential equations. Baculíková and Džurina [3] studied a secondorder neutral differential equation
Agarwal et al. [1], Grace et al. [7], and Zhang et al. [16] considered a thirdorder nonlinear differential equation
Baculíková and Džurina [4], Candan [5, 6], Karpuz [8], Li and Rogovchenko [9], Li and Thandapani [10], and Li et al. [11, 12] investigated a class of thirdorder 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 thirdorder neutral differential equations. One of them is comparison method which is used to reduce the thirdorder neutral differential equations to the firstorder 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
where N:=(l{p}_{0}(l+\epsilon ))/(l+\epsilon )>0. Using (1) and (5), we conclude that
Integrating (6) from t to ∞, we obtain
Noting that z(t)>l, we get
Integrating (7) from t to ∞, we have
Integrating (8) from {t}_{1} to ∞, we deduce that
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
We use the integral averaging technique to establish a Philostype (see Philos [13]) criterion for (1). Let
We say that a function H\in \mathrm{C}(\mathbb{D},\mathbb{R}) belongs to the class 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.
Assume first that case (I) holds. It follows from {z}^{\prime}(t)>0 that
Using (1) and (12), we deduce that
Define a generalized Riccati substitution by
Then we have
By virtue of (14), we conclude that
Substituting (13) and (16) into (15), we obtain
It follows from Remarks 1 and 2 that, for any \alpha \in (0,1) and \beta \in (0,1),
i=1,2,\dots ,m. Combining (17) and (18), we get
where 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
and hence
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 thirdorder neutral delay differential equation
Let \rho (t)=t, \delta (t)=0, and H(t,s)={(ts)}^{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}.
References
Agarwal RP, Bohner M, Li T, Zhang C: Oscillation of thirdorder nonlinear delay differential equations. Taiwan. J. Math. 2013, 17: 545558.
Agarwal RP, Bohner M, Tang S, Li T, Zhang C: Oscillation and asymptotic behavior of thirdorder nonlinear retarded dynamic equations. Appl. Math. Comput. 2012, 219: 36003609. 10.1016/j.amc.2012.09.054
Baculíková B, Džurina J: Oscillation theorems for secondorder nonlinear neutral differential equations. Comput. Math. Appl. 2011, 62: 44724478. 10.1016/j.camwa.2011.10.024
Baculíková B, Džurina J: Oscillation of thirdorder neutral differential equations. Math. Comput. Model. 2010, 52: 215226. 10.1016/j.mcm.2010.02.011
Candan T: Oscillation criteria and asymptotic properties of solutions of thirdorder nonlinear neutral differential equations. Math. Methods Appl. Sci. 2014. 10.1002/mma.3153
Candan T: Asymptotic properties of solutions of thirdorder nonlinear neutral dynamic equations. Adv. Differ. Equ. 2014., 2014: Article ID 35
Grace SR, Agarwal RP, Pavani R, Thandapani E: On the oscillation of certain third order nonlinear functional differential equations. Appl. Math. Comput. 2008, 202: 102112. 10.1016/j.amc.2008.01.025
Karpuz B: Sufficient conditions for the oscillation and asymptotic behaviour of higherorder dynamic equations of neutral type. Appl. Math. Comput. 2013, 221: 453462.
Li T, Rogovchenko Y: Asymptotic behavior of higherorder quasilinear neutral differential equations. Abstr. Appl. Anal. 2014. 2014: Article ID 395368 10.1155/2014/395368
Li T, Thandapani E: Oscillation of solutions to oddorder nonlinear neutral functional differential equations. Electron. J. Differ. Equ. 2011. 2011: Article ID 23
Li T, Thandapani E, Graef JR: Oscillation of thirdorder neutral retarded differential equations. Int. J. Pure Appl. Math. 2012, 75: 511520.
Li T, Zhang C, Xing G: Oscillation of thirdorder neutral delay differential equations. Abstr. Appl. Anal. 2012. 2012: Article ID 569201 10.1155/2012/569201
Philos CG: Oscillation theorems for linear differential equations of second order. Arch. Math. 1989, 53: 482492. 10.1007/BF01324723
Thandapani E, Li T: On the oscillation of thirdorder quasilinear neutral functional differential equations. Arch. Math. (Brno) 2011, 47: 181199.
Xing G, Li T, Zhang C: Oscillation of higherorder quasilinear neutral differential equations. Adv. Differ. Equ. 2011. 2011: Article ID 45
Zhang Q, Gao L, Liu S, Yu Y: New oscillation criteria for thirdorder nonlinear functional differential equations. Abstr. Appl. Anal. 2014. 2014: Article ID 943170 10.1155/2014/943170
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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors contributed equally to this work. They both read and approved the final version of the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Jiang, Y., Li, T. Asymptotic behavior of a thirdorder nonlinear neutral delay differential equation. J Inequal Appl 2014, 512 (2014). https://doi.org/10.1186/1029242X2014512
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029242X2014512
Keywords
 asymptotic behavior
 thirdorder neutral differential equation
 oscillation
 generalized Riccati substitution