 Research
 Open Access
 Published:
Asymptotic behavior of an oddorder delay differential equation
Boundary Value Problems volume 2014, Article number: 107 (2014)
Abstract
We study asymptotic behavior of solutions to a class of oddorder delay differential equations. Our theorems extend and complement a number of related results reported in the literature. An illustrative example is provided.
MSC:34K11.
1 Introduction
Professor Ivan Kiguradze is widely recognized as one of the leading contemporary experts in the qualitative theory of ordinary differential equations. His research has been partly summarized in the monograph written jointly with Professor Chanturia [1] where many fundamental results on the asymptotic behavior of solutions to important classes of nonlinear differential equations were collected. In particular, the Kiguradze lemma and Kiguradze classes of solutions are well known to researchers working in the area and are extensively used to advance the knowledge further.
In this tribute to Professor Kiguradze, we are concerned with the asymptotic behavior of solutions to an oddorder delay differential equation
where $t\ge {t}_{0}>0$ and $n\ge 3$ is an odd natural number, $\gamma >0$ is a ratio of odd natural numbers, $r\in {\mathrm{C}}^{1}([{t}_{0},\mathrm{\infty}),\mathbb{R})$, $p,q,g\in \mathrm{C}([{t}_{0},\mathrm{\infty}),\mathbb{R})$, $r(t)>0$, ${r}^{\prime}(t)+p(t)\ge 0$, $p(t)\ge 0$, $q(t)>0$, $g(t)\le t$, and ${lim}_{t\to \mathrm{\infty}}g(t)=\mathrm{\infty}$.
By a solution of (1.1) we mean a function $x\in \mathrm{C}([{T}_{x},\mathrm{\infty}),\mathbb{R})$, ${T}_{x}\ge {t}_{0}$, such that $r{({x}^{(n1)})}^{\gamma}\in {\mathrm{C}}^{1}([{T}_{x},\mathrm{\infty}),\mathbb{R})$ and $x(t)$ satisfies (1.1) on $[{T}_{x},\mathrm{\infty})$. We consider only those extendable solutions of (1.1) that do not vanish eventually, that is, condition $sup\{x(t):t\ge T\}>0$ holds for all $T\ge {T}_{x}$. We tacitly assume that (1.1) possesses such solutions. As customary, a solution of (1.1) is said to be oscillatory if it has arbitrarily large zeros on the ray $[{T}_{x},\mathrm{\infty})$; otherwise, we call it nonoscillatory.
Analysis of the oscillatory and nonoscillatory behavior of solutions to different classes of differential and functional differential equations has always attracted interest of researchers; see, for instance, [1–19] and the references cited therein. One of the main reasons for this lies in the fact that delay differential equations arise in many applied problems in natural sciences, technology, and automatic control, cf., for instance, Hale [20]. In particular, (1.1) may be viewed as a special case of a more general class of higherorder differential equations with a onedimensional pLaplacian, which, as mentioned by Agarwal et al. [4], have applications in continuum mechanics.
Let us briefly comment on a number of closely related results which motivated our study. In [2, 5–8, 14], the authors investigated asymptotic properties of a thirdorder delay differential equation
Using a Riccati substitution, Liu et al. [11], Zhang et al. [16], and Zhang et al. [18] studied oscillation of (1.1) assuming that $n\ge 2$ is even, $g(t)\le t$, and
In the special case when $p(t)=0$, (1.1) reduces to a twoterm differential equation
which was studied by Zhang et al. [17] who established the following result.
Theorem 1.1 ([[17], Corollary 2.1])
Let
and assume that $\delta ({t}_{0})<\mathrm{\infty}$. Suppose also that
and, for some ${\lambda}_{1}\in (0,1)$,
Then every solution of (1.3) is either oscillatory or converges to zero as $t\to \mathrm{\infty}$.
To the best of our knowledge, only a few results are known regarding oscillation of (1.1) for n odd. Furthermore, in this case the methods in [11, 18] which employ Riccati substitutions cannot be applied to the analysis of (1.1). Therefore, the objective of this paper is to extend the techniques exploited in [17] to the study of (1.1) in the case when the integral in (1.2) is finite, that is, for all$\phantom{\rule{0.25em}{0ex}}{T}_{1}\ge T\ge {t}_{0}$,
As usual, all functional inequalities considered in this paper are supposed to hold for all t large enough. Without loss of generality, we may deal only with positive solutions of (1.1), because under our assumption that γ is a ratio of odd natural numbers, if $x(t)$ is a solution of (1.1), so is $x(t)$.
2 Main results
We need the following auxiliary lemmas.
Lemma 2.1 Assume that (1.2) is satisfied and let $x(t)$ be an eventually positive solution of (1.1). Then there exists a sufficiently large ${t}_{1}\ge {t}_{0}$ such that, for all $t\ge {t}_{1}$,
Proof Let $x(t)$ be an eventually positive solution of (1.1). Then there exists a ${T}_{0}\ge {t}_{0}$ such that $x(t)>0$ and $x(g(t))>0$ for all $t\ge {T}_{0}$. By virtue of (1.1),
Thus,
which means that the function
is decreasing for $t\ge {T}_{0}$. Therefore, ${x}^{(n1)}(t)$ does not change sign eventually, that is, there exists a ${t}_{1}\ge {T}_{0}$ such that either ${x}^{(n1)}(t)>0$ or ${x}^{(n1)}(t)<0$ for all $t\ge {t}_{1}$.
We claim that ${x}^{(n1)}(t)>0$ for all $t\ge {t}_{1}$. Otherwise, there should exist a $T\ge {t}_{1}$ such that
and, for all $t\ge T$,
where
Inequality (2.3) yields
Integrating this inequality from ${T}_{1}$ to t, ${T}_{1}\ge T$, we conclude that
Passing to the limit as $t\to \mathrm{\infty}$ and using (1.2), we deduce that
It follows now from the inequalities ${x}^{(n1)}(t)<0$ and ${x}^{(n2)}(t)<0$ that $x(t)<0$, which contradicts our assumption that $x(t)>0$. Finally, write (2.2) in the form
which implies that ${x}^{(n)}(t)<0$. This completes the proof. □
Lemma 2.2 (Agarwal et al. [3])
Assume that $u\in {\mathrm{C}}^{n}([{t}_{0},\mathrm{\infty}),{\mathbb{R}}^{+})$, ${u}^{(n)}(t)$ is nonpositive for all large t and not identically zero on $[{t}_{0},\mathrm{\infty})$. If ${lim}_{t\to \mathrm{\infty}}u(t)\ne 0$, then for every $\lambda \in (0,1)$, there exists a ${t}_{\lambda}\in [{t}_{0},\mathrm{\infty})$ such that
holds on $[{t}_{\lambda},\mathrm{\infty})$.
Lemma 2.3 (Agarwal et al. [4])
The equation
where $\gamma >0$ is a quotient of odd natural numbers, $r\in {\mathrm{C}}^{1}([{t}_{0},\mathrm{\infty}),(0,\mathrm{\infty}))$, and $a\in \mathrm{C}([{t}_{0},\mathrm{\infty}),\mathbb{R})$ is nonoscillatory if and only if there exist a number $T\ge {t}_{0}$ and a function $v\in {\mathrm{C}}^{1}([T,\mathrm{\infty}),\mathbb{R})$ such that, for all $t\ge T$,
For a compact presentation of our results, we introduce the following notation:
Theorem 2.4 Assume that
Then every solution $x(t)$ of (1.1) is either oscillatory or satisfies
provided that either

(i)
(1.2) holds or

(ii)
(1.4) is satisfied and, for some ${\lambda}_{1}\in (0,1)$,
$$\underset{t\to \mathrm{\infty}}{lim\hspace{0.17em}sup}{\int}_{{t}_{0}}^{t}[q(s){(\frac{{\lambda}_{1}}{(n2)!}{g}^{n2}(s)\delta (s))}^{\gamma}E({t}_{0},s)\phi (s)]\phantom{\rule{0.2em}{0ex}}\mathrm{d}s=\mathrm{\infty}.$$(2.6)
Proof Assume that (1.1) has a nonoscillatory solution $x(t)$ which is eventually positive and such that
Case (i) By Lemma 2.1, we conclude that (2.1) holds for all $t\ge {t}_{1}$, where ${t}_{1}\ge {t}_{0}$ is sufficiently large. It follows from Lemma 2.2 that
for every $\lambda \in (0,1)$ and for all sufficiently large t. Let
By virtue of (1.1), we conclude that $y(t)$ is a positive solution of a differential inequality
However, it follows from the result due to Werbowski [[15], Corollary 1] that the latter inequality does not have positive solutions under the assumption (2.4), which is a contradiction. The proof of part (i) is complete.
Case (ii) Similar analysis to that in Lemma 2.1 leads to the conclusion that a nonoscillatory positive solution with the property (2.7) satisfies, for $t\ge {t}_{1}$, either conditions (2.1) or
where ${t}_{1}\ge {t}_{0}$ is sufficiently large. Assume first that (2.1) holds. As in the proof of the part (i), one arrives at a contradiction with the condition (2.4). Suppose now that (2.8) holds. For $t\ge {t}_{1}$, define a new function $v(t)$ by
Then $v(t)<0$ for $t\ge {t}_{1}$. Since
we deduce that the function $r(t){({x}^{(n1)}(t))}^{\gamma}E(t,{t}_{0})$ is decreasing. Thus, for$\phantom{\rule{0.25em}{0ex}}s\ge t\ge {t}_{1}$,
Dividing both sides of (2.10) by ${(r(s)E({t}_{0},s))}^{1/\gamma}$ and integrating the resulting inequality from t to T, we obtain
Letting $T\to \mathrm{\infty}$ and taking into account that ${x}^{(n1)}(t)<0$ and ${x}^{(n2)}(t)>0$, we conclude that
Hence,
which yields
Thus, by (2.9), we conclude that
Differentiation of (2.9) yields
It follows now from (1.1) and (2.9) that
On the other hand, it follows from Lemma 2.2 that
for every $\lambda \in (0,1)$ and for all sufficiently large t. Therefore, (2.11) yields
Multiplying (2.12) by ${\delta}^{\gamma}(t)E({t}_{0},t)$ and integrating the resulting inequality from ${t}_{1}$ to t, we have
Let $A:={\delta}^{\gamma}(s)E({t}_{0},s){r}^{1/\gamma}(s)$ and $B:={r}^{1/\gamma}(s){\delta}^{\gamma 1}(s)E({t}_{0},s){\varphi}_{+}(s)$. Using the fact that ${v}^{(\gamma +1)/\gamma}(s)={(v(s))}^{(\gamma +1)/\gamma}$ and the inequality
(see Zhang and Wang [[19], Lemma 2.3] for details) and the definition of φ, we derive from (2.11) that
which contradicts (2.6). This completes the proof for the part (ii). □
Remark 2.5 For a result similar to the one established in part (i) in Theorem 2.4, see also Zhang et al. [[16], Theorem 5.3].
Remark 2.6 For $p(t)=0$, Theorem 2.4 includes Theorem 1.1.
In the remainder of this section, we use different approaches to arrive at the conclusion of Theorem 2.4. First, we employ the integral averaging technique to replace assumption (2.6) with a Philostype condition.
To this end, let $\mathbb{D}=\{(t,s):t\ge s\ge {t}_{0}\}$. We say that a function $H\in \mathrm{C}(\mathbb{D},\mathbb{R})$ belongs to the class ${\mathcal{P}}_{\gamma}$ if
and H has a nonpositive continuous partial derivative $\partial H/\partial s$ with respect to the second variable satisfying the condition
for some function $\xi \in {L}_{\mathrm{loc}}(\mathbb{D},\mathbb{R})$.
Theorem 2.7 Let $\delta (t)$ be as in Theorem 2.4 and suppose that (1.4) and (2.4) hold. Assume that there exists a function $H\in {\mathcal{P}}_{\gamma}$ such that
for all ${t}_{1}\ge {t}_{0}$ and for some ${\lambda}_{1}\in (0,1)$. Then the conclusion of Theorem 2.4 remains intact.
Proof Assuming that $x(t)$ is an eventually positive solution of (1.1) that satisfies (2.7) and proceeding as in the proof of Theorem 2.4, we arrive at the inequality (2.12) which holds for all $\lambda \in (0,1)$. Multiplying (2.12) by $H(t,s)$ and integrating the resulting inequality from ${t}_{1}$ to t, we obtain
Let
and
Using the inequality
we obtain
which contradicts assumption (2.13). This completes the proof. □
Finally, we formulate also a comparison result for (1.1) that leads to the conclusion of Theorem 2.4.
Theorem 2.8 Let $\delta (t)$ be as above, and assume that (1.4) and (2.4) hold. If a secondorder halflinear ordinary differential equation
is oscillatory for some ${\lambda}_{1}\in (0,1)$, then the conclusion of Theorem 2.4 remains intact.
Proof Assuming again that $x(t)$ is an eventually positive solution of (1.1) that satisfies (2.7) and proceeding as in the proof of Theorem 2.4, we obtain (2.12) which holds for all $\lambda \in (0,1)$. By virtue of Lemma 2.3, we conclude that (2.14) is nonoscillatory, which is a contradiction. The proof is complete. □
3 Example
The following example illustrates possible applications of theoretical results obtained in the previous section.
Example 3.1 For $t\ge 1$, consider the thirdorder differential equation
It is not difficult to verify that (1.4) holds and
Let ${t}_{0}=1$. Then $\delta (t)=1/t$, $\varphi (t)=0$, $\phi (t)=1/t$, and thus
for some ${\lambda}_{1}\in (0,1)$. Hence, by Theorem 2.4, every solution of (3.1) is either oscillatory or satisfies (2.5). As a matter of fact, $x(t)={\mathrm{e}}^{t}$ is a solution of this equation satisfying condition (2.5).
Remark 3.2 Note that Theorems 2.4, 2.7, and 2.8 ensure that every solution $x(t)$ of (1.1) is either oscillatory or satisfies (2.5) and, unfortunately, these results cannot distinguish solutions with different behaviors. Since the sign of the derivative ${x}^{\prime}(t)$ is not known, it is difficult to establish sufficient conditions which guarantee that all solutions of (1.1) are just oscillatory and do not satisfy (2.5). Neither is it possible to use the technique exploited in this paper for proving that all solutions of (1.1) satisfy (2.5). Therefore, these two interesting problems remain for future research.
References
 1.
Kiguradze IT, Chanturia TA: Asymptotic Properties of Solutions of Nonautonomous Ordinary Differential Equations. Kluwer Academic, Dordrecht; 1993. Translated from the 1985 Russian original
 2.
Agarwal RP, Aktas MF, Tiryaki A: On oscillation criteria for third order nonlinear delay differential equations. Arch. Math. 2009, 45: 118.
 3.
Agarwal RP, Grace SR, O’Regan D: Oscillation Theory for Difference and Functional Differential Equations. Kluwer Academic, Dordrecht; 2000.
 4.
Agarwal RP, Grace SR, O’Regan D: Oscillation Theory for Second Order Linear, HalfLinear, Superlinear and Sublinear Dynamic Equations. Kluwer Academic, Dordrecht; 2002.
 5.
Baculíková B, Džurina J: Comparison theorems for the thirdorder delay trinomial differential equations. Adv. Differ. Equ. 2010., 2010: Article ID 160761
 6.
Baculíková B, Džurina J, Rogovchenko YuV: Oscillation of third order trinomial delay differential equations. Appl. Math. Comput. 2012, 218: 70237033. 10.1016/j.amc.2011.12.049
 7.
Džurina J, Komariková R: Asymptotic properties of thirdorder delay trinomial differential equations. Abstr. Appl. Anal. 2011., 2011: Article ID 730128
 8.
Džurina J, Kotorová R: Properties of the third order trinomial differential equations with delay argument. Nonlinear Anal. TMA 2009, 71: 19952002. 10.1016/j.na.2009.01.070
 9.
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
 10.
Li, T, Rogovchenko, YuV, Tang, S: Oscillation of secondorder nonlinear differential equations with damping. Math. Slovaca (2014, in press)
 11.
Liu S, Zhang Q, Yu Y: Oscillation of evenorder halflinear functional differential equations with damping. Comput. Math. Appl. 2011, 61: 21912196. 10.1016/j.camwa.2010.09.011
 12.
Philos ChG: Oscillation theorems for linear differential equations of second order. Arch. Math. 1989, 53: 482492. 10.1007/BF01324723
 13.
Rogovchenko YuV, Tuncay F: Oscillation criteria for secondorder nonlinear differential equations with damping. Nonlinear Anal. 2008, 69: 208221. 10.1016/j.na.2007.05.012
 14.
Tiryaki A, Aktas MF: Oscillation criteria of a certain class of third order nonlinear delay differential equations with damping. J. Math. Anal. Appl. 2007, 325: 5468. 10.1016/j.jmaa.2006.01.001
 15.
Werbowski J: Oscillations of firstorder differential inequalities with deviating arguments. Ann. Mat. Pura Appl. 1985, 140: 383392. 10.1007/BF01776858
 16.
Zhang C, Agarwal RP, Li T: Oscillation and asymptotic behavior of higherorder delay differential equations with p Laplacian like operators. J. Math. Anal. Appl. 2014, 409: 10931106. 10.1016/j.jmaa.2013.07.066
 17.
Zhang C, Li T, Sun B, Thandapani E: On the oscillation of higherorder halflinear delay differential equations. Appl. Math. Lett. 2011, 24: 16181621. 10.1016/j.aml.2011.04.015
 18.
Zhang Q, Liu S, Gao L: Oscillation criteria for evenorder halflinear functional differential equations with damping. Appl. Math. Lett. 2011, 24: 17091715. 10.1016/j.aml.2011.04.025
 19.
Zhang S, Wang Q: Oscillation of secondorder nonlinear neutral dynamic equations on time scales. Appl. Math. Comput. 2010, 216: 28372848. 10.1016/j.amc.2010.03.134
 20.
Hale JK: Theory of Functional Differential Equations. Springer, New York; 1977.
Acknowledgements
The authors express their sincere gratitude to both anonymous referees for the careful reading of the original manuscript and useful comments that helped to improve the presentation of the results and accentuate important details.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Both authors contributed equally to this work and are listed in alphabetical order. 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 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
Received
Accepted
Published
DOI
Keywords
 asymptotic behavior
 oddorder
 delay differential equation
 oscillation