Abstract
The objective in this paper is to study the oscillatory and asymptotic behavior of the solutions of a linear third-order delay differential equation of the form
We establish new oscillation criteria that can be used to test for oscillations, even when the previously known criteria fail to apply. Examples illustrating the results are also given.
Similar content being viewed by others
1 Introduction
In this work, we are concerned with the oscillation of a linear third-order delay differential equation of the form
where \(t_{0}>0\) is a fixed real number, \(r_{1}, r_{2}, q\in \mathcal{C}(I,\mathbb {R})\) are positive functions and the delay function \(\tau\in\mathcal{C}^{1}(I,\mathbb {R})\) satisfies \(\tau(t)< t\), \(\tau'(t) \ge0\) and \(\tau(t)\to\infty\) as \(t\to\infty\).
Throughout, we will always assume that
By a solution of (1.1) we mean a function \(y(t)\in\mathcal{C} ^{1}[t_{y},\infty)\) which has the property \(r_{1}(t)y'(t)\in \mathcal{C}^{1}[t_{y},\infty)\) and \(r_{2}(t) ( r_{1}(t)y'(t) ) ' \in\mathcal{C}^{1}[t_{y},\infty)\) and satisfies (1.1) on \([t_{y},\infty)\) for every \(t\ge t_{y}\ge t_{0}\).
We restrict our attention to those solutions of (1.1) which exist on I and satisfy the condition \(\sup\{\vert x(t)\vert : t\ge t _{1}\}>0\) for any \(t_{1}\geq t_{y}\). We assume that (1.1) possesses such a solution.
A solution \(y(t)\) of (1.1) is said to be oscillatory if it is neither eventually positive nor eventually negative. Otherwise, it is said to be nonoscillatory. The equation itself is termed oscillatory if all of its solutions oscillate.
As is well known, differential equations of third-order have long been considered as valuable tools in the modeling of many phenomena in different areas of applied mathematics and physics. Indeed, it is worthwhile to mention their use in the study of entry-flow phenomenon [1], the propagation of electrical pulses in the nerve of a squid approximated by the famous Nagumo’s equation [2], the feedback nuclear reactor problem [3] and so on.
Hence, a great amount of work has been done over the last three decades on the oscillation theory of third-order differential equations with variable coefficients. The most significant results published up to 2014 have been collected and summarized in recent monographs [4, 5].
It follows from the generalized Kiguradze lemma (cf. Lemma 1) that the first derivative of any positive solution y of (1.1) is of one sign eventually, i.e., y is either increasing or decreasing. Since in the ordinary case (when \(\tau(t)\equiv t\)) there always exists a decreasing solution of (1.1), see [6, Lemma 1], authors have used various techniques to present sufficient conditions guaranteeing that any solution of (1.1) oscillates or converges to zero eventually. For such results, we refer the reader to [6–14] and the references cited therein.
However, it is interesting to note that the delay argument can cause that (1.1) becomes oscillatory. As an example of this property, we can consider the third-order differential equation \(y'''(t)+y(t- \tau) = 0\), \(\tau>0\), which is oscillatory if and only if \(\tau \mathrm {e}>3\) (see [15, Theorem 1]). But the corresponding third-order ordinary differential equation \(y'''(t)+y(t) = 0\) has a nonoscillatory solution \(y(t) = \mathrm {e}^{-t}\). Therefore, it is of special interest to establish new criteria ensuring oscillation of all solutions of (1.1) when \(\tau(t)< t\).
An interesting method in oscillation theory is to use some comparison principles based on which the oscillatory behavior of the solutions of the studied differential equation is inherited from the oscillations in a first-order delay differential equations, resulting in conditions involving \(1/\mathrm {e}\). The results concerned with this problem for (1.1) and its various generalizations were presented in [7, 16–22].
For a particular case of (1.1), namely,
Baculíková and Džurina [17] established the following results.
Theorem A
(See [17, Theorem 2])
Assume that
If the first-order delay differential equation
is oscillatory, then every solution of (1.2) is either oscillatory or converges to zero as \(t\to\infty\).
Theorem B
(See [17, Theorem 3])
Let there exist a function \(\xi(t)\in\mathcal{C}^{1}(I,\mathbb {R})\) such that
If both first-order delay differential equations (1.4) and
are oscillatory, then (1.2) is oscillatory.
It is useful to note that oscillations in (1.4) rule out increasing positive solutions of (1.1). The proof of Theorem A is essentially based on using the following estimate relating an increasing positive solution of (1.2) with its second quasi-derivative:
A similar estimate for increasing positive solutions of (1.1), namely,
was given in [7, Lemma 4]. In fact, inequality (1.6) in a more or less general form was repeatedly used in the process of elimination of increasing positive solutions in (1.1), its generalizations or particular cases; see, e.g., [7, 21–26]. It is clear after checking that, despite the differences in the proofs of the cited works, the resulting criteria have in common that their strength depends on the sharpness of estimate (1.6).
On the other hand, oscillations in (1.5) eliminate the existence of positive decreasing solutions in (1.2). Since there is no general rule as to how to choose a function \(\xi(t)\) satisfying the imposed conditions, an interesting problem is how to establish a corresponding result without requiring the existence of the unknown function \(\xi(t)\). Here, we will also address this problem.
The main objective in this paper is to study the asymptotic and oscillatory behavior of the solutions of (1.1). Our method is essentially based on establishing sharper estimates for increasing positive solutions of (1.1) than (1.6), using an iterative technique; and to obtain analogous iterative estimates for decreasing positive solutions of (1.1). Similar ideas as those presented here have been successively employed in investigating oscillatory behavior of second-order advanced differential equations, see a recent work [27] for details. The results obtained are new even in the case of (1.1) when \(r_{i}(t) = 1\), \(i = 1,2\). Furthermore, the iterative nature of the results enables us to test for oscillations, even when the previously known results fail to apply. We demonstrate the improvement we achieve with these results by applying them to Euler-type delay differential equations.
Remark 1
In the sequel, all functional inequalities are assumed to hold eventually, that is, they are satisfied for all t large enough.
Remark 2
Without loss of generality, we can deal only with the positive solutions of (1.1).
2 Some lemmas and auxiliary results
In this section, we state and prove some lemmas that will be useful in establishing our main results. For completeness, we start by recalling the adaptation of the generalized Kiguradze lemma. Next, we will provide some important monotonic properties of a positive solution y of (1.1) in cases (2.1) and (2.2), respectively.
For the sake of brevity, we define
for \(t\in I\). Using this notation, equation (1.1) takes the form
Lemma 1
(See [28, Lemma 2])
Assume that \(y(t)\) is an eventually positive solution of (1.1). Then \(y(t)\) satisfies one of the following two cases:
eventually.
Lemma 2
Assume that \(y(t)\) is a positive solution of (1.1) which satisfies (2.1). Denote
for \(t\ge t_{*}\), where \(t_{*}\in I\) is large enough. Then
Proof
Let \(y(t)\) be a solution of (1.1) satisfying (2.1) on \([t_{1},\infty)\), \(t_{1}\in I\). Since \(L_{2}y(t)\) is nonincreasing, it is easy to see that
or
Integrating the above inequality from \(t_{1}\) to t and using (2.3), we have
Obviously, there exists \(t_{2}\ge t_{1}\) such that for all \(t\ge t _{2}\),
That is, (2.4) is satisfied for \(m = 1\).
Now, proceeding to the next induction step, we assume that (2.4) holds for some \(m>1\), which means that
Combining (2.5) and (1.1), we get
or
where \(x(t): = L_{2}y(t)\). In view of \(x(\tau(t))\ge x(t)\), we can write the last inequality in the form
Applying the Grönwall inequality in (2.7), we obtain
or,
Therefore,
that is,
Integrating the above inequality from \(t_{*}\) to t and using (2.8) again, we obtain
Hence, there exists \(t_{**}\ge t_{*}\) such that for all \(t\ge t_{**}\),
which, in view of (2.3), becomes
This completes the induction step and the proof of the lemma. □
Remark 3
Note that, for \(m=1\), (2.4) reduces to (1.6).
Lemma 3
Assume that \(y(t)\) is an eventually positive solution of (1.1) which satisfies (2.2). Denote
for \(v\ge u\ge t_{*}\), where \(t_{*}\in I\) is large enough. Then
Proof
Let \(y(t)\) be a solution of (1.1) satisfying (2.2) on \([t_{1},\infty)\), \(t_{1}\in I\). Since \(L_{2}y(t)\) is nonincreasing, we may write
for some \(v\ge u \ge t_{1}\), and hence,
Integrating the above inequality from u to \(v\ge u\ge t_{1}\), we get
which means that (2.11) is satisfied for \(n = 1\).
Now, assume that (2.11) holds for some \(n>1\), i.e.,
Clearly, using (2.14) with \(u = \tau(t)\) and \(v = t\) in (1.1) yields
Proceeding as in the proof of Lemma 2, we get
Using (2.15) in (2.12), we have
and therefore,
Finally, by integrating (2.16) from u to \(v\ge u\ge t_{*}\), we conclude that
Thus, relation (2.11) holds for any \(n\in \mathbb {N}\). The proof is complete. □
Lemma 4
Assume that \(y(t)\) is an eventually positive solution of (1.1) which satisfies (2.2). If
then \(y(t)\) tends to zero as \(t\to\infty\).
Proof
Since the proof is similar to that of [17, Lemma 2], we omit it. □
3 Main results
We are prepared to provide the main results of the paper. At first, we improve Theorem A by establishing a new sufficient condition for all nonoscillatory solutions of (1.1) to converge to zero as \(t\to\infty\). Second, we relax condition (2.17) and employ another one in order to eliminate (2.2)-type solutions in (1.1) and attain oscillation of (1.1).
Theorem 1
Let (2.17) hold and \(R_{m}(t,t_{*})\) be defined by (2.3). If the first-order delay differential equation
is oscillatory for some \(m\in \mathbb {N}\) and \(t_{*}\in I\), then every solution of (1.1) is either oscillatory or tends to zero as \(t\to\infty\).
Proof
Let \(y(t)\) be a nonoscillatory solution of (1.1), say \(y(t)>0\) and \(y(\tau(t))>0\) for \(t\ge T_{1}\) for some \(T_{1}\ge t_{0}\). By Lemma 1, \(y(t)\) satisfies either (2.1) or (2.2) for \(t\ge t_{1}\ge T_{1}\).
Assume first that \(y(t)\) satisfies (2.1) for \(t\ge t_{1}\). Combining (2.4) with (1.1), we see that \(x(t) := L_{2}y(t)\) is a positive solution of the first-order delay differential inequality
Then, by virtue of [29, Theorem 1], the associated delay differential equation (3.1) also has a positive solution, which is a contradiction. The proof is complete.
Now, assume that \(y(t)\) satisfies (2.2) for \(t\ge t_{1}\). By Lemma 4, we have \(\lim_{t\to\infty}y(t) = 0\). The proof is complete. □
Applying the known oscillation criteria for (3.1), one immediately gets an oscillation criterion for (1.1). The following is due to Ladde et al. [30, Theorem 2.1.1].
Corollary 1
Let (2.17) hold and \(R_{m}(t,t_{*})\) be defined by (2.3). If
for some \(m\in \mathbb {N}\) and \(t_{*}\in I\), then every solution of (1.1) is either oscillatory or tends to zero as \(t\to\infty\).
Theorem 2
Let \(R_{m}(t,t_{*})\) and \(\tilde{R}_{n}(v,u)\) be defined by (2.3) and (2.10), respectively. If the first-order delay differential equation (3.1) is oscillatory for some \(m\in \mathbb {N}\) and \(t_{*}\in\mathcal{I}\), and
for some \(n\in \mathbb {N}\), then (1.1) is oscillatory.
Proof
Let \(y(t)\) be a nonoscillatory solution of (1.1), say \(y(t)>0\) and \(y(\tau(t))>0\) for \(t\ge T_{1}\) for some \(T_{1}\ge t_{0}\). By Lemma 1, \(y(t)\) satisfies either (2.1) or (2.2) for \(t\ge t_{1}\ge T_{1}\).
Assume first that \(y(t)\) satisfies (2.1) for \(t\ge t_{1}\). Proceeding as in the proof of Theorem 1, we arrive at a contradiction.
Now, assume that \(y(t)\) satisfies (2.2) for \(t\ge t_{1}\). Integrating (1.1) from \(\tau(t)\) to t, we have
Using (2.11) in (3.4) with \(u = \tau(s)\) and \(v = \tau(t)\), we see that
Taking the lim sup as \(t\to\infty\) on both sides of the above inequality, we are led to a contradiction with (3.3). The proof is complete. □
4 Examples
The following examples are provided to show the improvement we achieve by our results over those presented earlier. All numerical calculations can be easily performed in MATLAB.
Example 1
Consider the third-order differential equation of the Euler type:
For \(m = 1\), the left-hand side of condition (3.1) gives
However, for \(m=2\), we get
that is, (3.1) is satisfied for \(m= 2\). On the other hand, it is easy to verify that (2.17) holds. Thus, from Corollary 1, we conclude that every solution of (4.1) is either oscillatory or tends to zero as \(t\to\infty\). One such nonoscillatory solution is \(y(t) = t^{-1}\).
We remark that Theorem A, as well as [7, Theorem 1], [22, Theorem 12], [25, Theorem 2.9], fail due to (4.2).
Example 2
Consider the third-order differential equation of the Euler type
From Example 1, we know that (3.1) is satisfied for \(m = 1\). On the other hand, the left-hand side of (3.3) gives
and
for \(n = 1,2,3\), respectively. Thus, (3.3) is satisfied for \(n=3\), and from Theorem 2 we conclude that (4.3) is oscillatory. We stress that, unlike the results in [9, 10, 16–20, 25, 31], we do not require the existence of a suitable auxiliary function.
5 Summary
In this paper, we have obtained new oscillation criteria for (1.1), which, to the best of our knowledge, essentially improve a number of related results reported in the literature, even in the case when \(r_{1} = r_{2} \equiv1\).
Our approach is based on refining classical techniques, in which a desired property of the studied equation is deduced from oscillation of first-order equations by taking into account such part of the overall impact of the delay which has been neglected in earlier results.
An interesting problem for further research is to establish different iterative techniques for testing oscillations in (1.1) independently on the constant \(1/\mathrm {e}\).
References
Jayaraman, G, Padmanabhan, N, Mehrotra, R: Entry flow into a circular tube of slowly varying cross-section. Fluid Dyn. Res. 1(2), 131-144 (1986)
McKean, HP: Nagumo’s equation. Adv. Math. 4(3), 209-223 (1970)
Vreeke, SA, Sandquist, GM: Phase space analysis of reactor kinetics. Nucl. Sci. Eng. 42(3), 295-305 (1970)
Padhi, S, Pati, S: Theory of Third-Order Differential Equations. Springer, New Delhi (2014)
Saker, S: Oscillation Theory of Delay Differential and Difference Equations: Second and Third Orders. LAP Lambert Academic Publishing (2010)
Cecchi, M, Došlá, Z, Marini, M: Disconjugate operators and related differential equations. In: Proceedings of the 6th Colloquium on the Qualitative Theory of Differential Equations, Szeged, 1999. Proc. Colloq. Qual. Theory Differ. Equ. (1999). Electron. J. Qual. Theory Differ. Equ. 6, 4 (2000)
Agarwal, RP, Aktas, MF, Tiryaki, A: On oscillation criteria for third order nonlinear delay differential equations. Arch. Math. 45(1), 1-18 (2009)
Aktaş, M, Tiryaki, A, Zafer, A: Oscillation criteria for third-order nonlinear functional differential equations. Appl. Math. Lett. 23(7), 756-762 (2010)
Baculíková, B, Elabbasy, EM, Saker, SH, Džurina, J: Oscillation criteria for third-order nonlinear differential equations. Math. Slovaca 58(2), 201-220 (2008)
Saker, SH, Džurina, J: On the oscillation of certain class of third-order nonlinear delay differential equations. Math. Bohem. 135(3), 225-237 (2010)
Škerlík, A: Integral criteria of oscillation for a third order linear differential equation. Math. Slovaca 45(4), 403-412 (1995)
Grace, SR, Agarwal, RP, Aktas, MF: On the oscillation of third order functional differential equations. Indian J. Pure Appl. Math. 39(6), 491-507 (2008)
Aktas, MF, Tiryaki, A, Zafer, A: Integral criteria for oscillation of third order nonlinear differential equations. Nonlinear Anal. 71(12), e1496-e1502 (2009)
Aktaş, MF, Tiryaki, A: Oscillation criteria for a class of third-order nonlinear delay differential equations. In: Further Progress in Analysis, pp. 507-514. World Scientific, Hackensack (2009)
Ladas, G, Sficas, YG, Stavroulakis, IP: Necessary and sufficient conditions for oscillations of higher order delay differential equations. In: Differential Equations, Birmingham, Ala., 1983. North-Holland Math. Stud., vol. 92, pp. 373-379. North-Holland, Amsterdam (1984)
Agarwal, RP, Bohner, M, Li, T, Zhang, C: Oscillation of third-order nonlinear delay differential equations. Taiwan. J. Math. 17(2), 545-558 (2013)
Baculíková, B, Džurina, J: Oscillation of third-order nonlinear differential equations. Appl. Math. Lett. 24(4), 466-470 (2011)
Baculíková, B, Džurina, J: Oscillation of third-order functional differential equations. Electron. J. Qual. Theory Differ. Equ. 43, 1 (2010)
Candan, T, Dahiya, RS: Oscillation of third order functional differential equations with delay. In: Proceedings of the Fifth Mississippi State Conference on Differential Equations and Computational Simulations, Mississippi State, MS, 2001. Electron. J. Differ. Equ. Conf., vol. 10, pp. 79-88. Southwest Texas State University, San Marcos (2003)
Elabbasy, EM, Hassan, TS, Elmatary, BM: Oscillation criteria for third order delay nonlinear differential equations. Electron. J. Qual. Theory Differ. Equ. 5, 11 (2012)
Bohner, M, Grace, SR, Jadlovská, I: Oscillation criteria for third-order functional differential equations with damping. Electron. J. Differ. Equ. 215, 15 (2016)
Baculíková, B, Džurina, J, Rogovchenko, YV: Oscillation of third order trinomial delay differential equations. Appl. Math. Comput. 218(13), 7023-7033 (2012)
Gao, L, Zhang, Q, Liu, S: Oscillatory behavior of third-order nonlinear delay dynamic equations on time scales. J. Comput. Appl. Math. 256, 104-113 (2014)
Hassan, TS: Oscillation of third order nonlinear delay dynamic equations on time scales. Math. Comput. Model. 49(7-8), 1573-1586 (2009)
Grace, SR: Oscillation criteria for third order nonlinear delay differential equations with damping. Opusc. Math. 35(4), 485-497 (2015)
Li, T, Zhang, C, Baculí ková, B, Džurina, J: On the oscillation of third-order quasi-linear delay differential equations. Tatra Mt. Math. Publ. 48, 117-123 (2011)
Jadlovska, I: Iterative oscillation results for second-order differential equations with advanced argument. Electron. J. Differ. Equ. (2017)
Kusano, T, Naito, M: Comparison theorems for functional-differential equations with deviating arguments. J. Math. Soc. Jpn. 33(3), 509-532 (1981)
Philos, CG: On the existence of nonoscillatory solutions tending to zero at ∞ for differential equations with positive delays. Arch. Math. (Basel) 36(2), 168-178 (1981)
Ladde, GS, Lakshmikantham, V, Zhang, BG: Oscillation Theory of Differential Equations with Deviating Arguments. Monographs and Textbooks in Pure and Applied Mathematics, vol. 110. Dekker, New York (1987)
Grace, SR, Agarwal, RP, Pavani, R, Thandapani, E: On the oscillation of certain third order nonlinear functional differential equations. Appl. Math. Comput. 202(1), 102-112 (2008)
Acknowledgements
We are grateful to the editors and three anonymous referees for a very careful reading of the manuscript and for pointing out several inaccuracies. The work on this research has been supported by the internal grant project No. FEI-2015-22.
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided 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
Chatzarakis, G.E., Grace, S.R. & Jadlovská, I. Oscillation criteria for third-order delay differential equations. Adv Differ Equ 2017, 330 (2017). https://doi.org/10.1186/s13662-017-1384-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-017-1384-y