Abstract
In this work, new conditions are obtained for the oscillation of solutions of the even-order equation
where \(n\geq 2\) is an even integer and \(z ( \zeta ) =x ^{\alpha } ( \zeta ) +p ( \zeta ) x ( \sigma ( \zeta ) ) \). By using the theory of comparison with first-order delay equations and the technique of Riccati transformation, we get two various conditions to ensure oscillation of solutions of this equation. Moreover, the importance of the obtained conditions is illustrated via some examples.
Similar content being viewed by others
1 Introduction
In this work, we establish the oscillatory behavior of the nth-order neutral equation
where α is a ratio of odd positive integers, n is an even integer, \(n\geq 2\),
Throughout this work, we assume that:
- \(( H_{1} ) \) :
-
\(p, r\in C ( [ \zeta _{0}, \infty ) ) \), \(r ( \zeta ) >0\), \(r^{\prime } ( \zeta ) \geq 0\), and \(0\leq p ( \zeta ) <1\);
- \(( H_{2} ) \) :
-
\(q\in C ( [ \zeta _{0}, \infty ) \times ( a,b ) ,\mathbb{R} ) \), \(q ( \zeta ,s ) \geq 0\), and
$$ \int _{\zeta _{0}}^{\infty }\frac{1}{r ( s ) }\,\mathrm{d}s= \infty ; $$ - \(( H_{3} ) \) :
-
\(f\in C ( \mathbb{R} ,\mathbb{R} ) \), \(\vert f ( x ) \vert \geq k \vert x^{\alpha } \vert \) for \(x\neq 0\), and k is a positive constant;
- \(( H_{4} ) \) :
-
\(\sigma \in C ( [ \zeta _{0},\infty ) , ( 0,\infty ) ) \), \(\sigma ( \zeta ) \leq \zeta \), and \(\lim_{\zeta \rightarrow \infty }\sigma ( \zeta ) =\infty \);
- \(( H_{5} ) \) :
-
\(g\in C ( [ \zeta _{0}, \infty ) \times ( a,b ) ,\mathbb{R} ) \), \(g ( \zeta ,s ) \leq \zeta \), g has nonnegative partial derivatives, and \(\lim_{\zeta \rightarrow \infty }g ( \zeta ,s ) =\infty \).
By a solution of Eq. (1.1), we purpose a function \(x ( \zeta ) \in C ( [ \zeta _{k},\infty ) , \mathbb{R} ) \) for some \(\zeta _{k}\geq \zeta _{0}\) such that \(z ( \zeta ) \in C^{ ( n ) } ( [ \zeta _{k},\infty ) ,\mathbb{R} ) \) and \(( r ( \zeta ) z^{ ( n-1 ) } ( \zeta ) ) \in C^{1} ( [ \zeta _{k},\infty ) ,\mathbb{R} ) \) and satisfies Eq. (1.1) on \([ \zeta _{k},\infty ) \). If x is neither positive nor negative eventually, then \(x ( \zeta ) \) is called oscillatory, or it will be non-oscillatory.
The theory of oscillation of differential equation has been the subject of many papers [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37]. During the recent decades, a great amount of work has been done on development the oscillation theory of the nth-order equations with delay and advanced argument, see [4,5,6,7,8,9,10,11,12, 23, 25, 27, 28, 31,32,33,34,35,36,37]. In the following, we present some related examples:
In [36], Zhang et al. established the conditions of oscillation of the equation
where \(f ( x ) =x^{\beta }\), β is a ratio of odd positive integers, \(\beta \leq \alpha \), and
Moreover, in [35], some oscillation results have been presented, which improves the results in [36]. As well, Baculikova et al. in [8] studied the properties of oscillation of the solutions of equation (1.3) under conditions (1.4) and
For more oscillation results about (1.3), see [3,4,5]. The asymptotic properties and oscillation of equation
where \(y ( \zeta ) =x ( \zeta ) +p ( \zeta ) x ( \sigma ( \zeta ) ) \), have been considered in [7, 23, 32, 37].
In [31], the oscillatory behavior of the neutral differential equation
where \(\gamma \geq 1\) is a real number, is established.
In this paper, by using the technique of comparison with first order delay equations and technique of Riccati transformation, we obtain a two different conditions ensure oscillation of solutions of this equation, which extend and improve results of [31]. Moreover, we establish some new criterion for oscillation of Eq. (1.1) by using an integral averages condition of Philos-type. We illustrate the importance of our results by presenting some examples.
During the following sections of our paper, we shall need the next definition and lemmas.
Definition 1
([29])
Let
Let H be a continuous real functions on D. It is said that H belongs to the function class ℑ, written by \(H\in \Im \), if
-
(i)
\(H ( \zeta ,\zeta) =0\) for \(\zeta \geq \zeta _{0}\), \(H ( \zeta ,s ) >0\) on \(D_{0}\);
-
(ii)
The partial derivative \(\partial H/\partial s\in C ( D_{0}, [ 0,\infty ) ) \) such that the condition
$$ \frac{\partial H ( \zeta ,s ) }{\partial s}=-h(\zeta ,s)\sqrt{H ( \zeta ,s ), } $$for all \((\zeta ,s)\in D_{0}\) is satisfied for some \(h\in C ( D, \mathbb{R} ) \).
Lemma 1.1
([3])
Suppose that n be an even, \(w\in C^{n} ( [ \zeta _{0},\infty ) ) \), w of constant sign, \(w^{ ( n ) } ( \zeta ) \neq 0\) on \([ \zeta _{0},\infty ) \) and \(w ( \zeta ) w^{ ( n ) } ( \zeta ) \leq 0\). Then,
-
(I)
The derivatives \(w^{ ( i ) } ( \zeta ) , i=1,2,\ldots,n-1\), are of constant sign on \([ \zeta _{1},\infty ) \) for some \(\zeta _{1}\geq \zeta _{0}\);
-
(II)
There exists an odd integer \(l\in [ 1,n ) \), such that, for\(\ \zeta \geq \zeta _{1}\),
$$ y ( \zeta ) y^{ ( i ) } ( \zeta ) >0 $$for all \(i=0,1,\ldots,l\) and
$$ ( -1 ) ^{n+i+1}y ( \zeta ) y^{ ( i ) } ( \zeta ) >0 $$for all \(i=l+1,\ldots,n\).
Lemma 1.2
([3])
Let w be as in Lemma 1.1 and \(w^{ ( n-1 ) } ( \zeta ) w^{ ( n ) } ( \zeta ) \leq 0\) for \(\zeta \geq \zeta _{0}\). Then there exists a constant \(M>0\) such that
for all large ζ.
Lemma 1.3
([3])
Let w be as in Lemma 1.1 and \(w^{ ( n-1 ) } ( \zeta ) w^{ ( n ) } ( \zeta ) \leq 0\) for \(\zeta \geq \zeta _{0}\). If \(\lim_{\zeta \rightarrow \infty }w ( \zeta ) \neq 0\), then for every \(\mu \in ( 0,1 ) \) there exists a \(\zeta _{\mu }\geq \zeta _{0}\) such that
for all \(\zeta \geq \zeta _{\mu }\).
2 Main results
Lemma 2.1
Assume that \(x ( \zeta ) \) is an eventually positive solution of equation (1.1). If
where \(\rho \in C^{\prime } ( [ \zeta _{0},\infty ) , \mathbb{R} ^{+} ) \) and \(\lambda \in ( 0,1 ) \), then
where M is a positive real constant and
and
Proof
Let \(x ( \zeta ) \) be an eventually positive solution of equation (1.1). Then we can assume that \(x ( \zeta ) >0\), \(x ( \sigma ( \zeta ) ) >0\), and \(x ( g ( \zeta ,s ) ) >0 \) for \(\zeta \geq \zeta _{1}\). Hence, we deduce \(z ( \zeta ) >0 \) for \(\zeta \geq \zeta _{1} \) and
Therefore, the function \(r ( \zeta ) z^{ ( n-1 ) } ( \zeta ) \) is decreasing and \(z^{ ( n-1 ) } ( \zeta ) \) is eventually of one sign. We claim that \(z^{ ( n-1 ) } ( \zeta ) \geq 0\). Otherwise, if there exists \(\zeta _{2}\geq \zeta _{1} \) such that \(z^{ ( n-1 ) } ( \zeta ) <0 \) for \(\zeta \geq \zeta _{2} \), and
where m is a positive constant. Integrating the above inequality from \(\zeta _{2} \) to ζ, we have
Letting \(\zeta \rightarrow \infty \), we get \(\lim_{\zeta \rightarrow \infty }z^{ ( n-2 ) } ( \zeta ) =-\infty \), which implies \(z ( \zeta ) \) is eventually negative by Lemma 1.1. This is a contradiction. Hence, we have that \(z^{ ( n-1 ) } ( \zeta ) \geq 0\) for \(\zeta \geq \zeta _{1}\). Furthermore, from Eq. (1.1) and \(( H_{1} )\), we get
this implies that \(z^{ ( n ) } ( \zeta ) \leq 0\), \(\zeta \geq \zeta _{1}\). From Lemma 1.1, we obtain that
for \(\zeta \geq \zeta _{2}\) are satisfied.
Next, from definition (1.2), we get
and so
By \(( H_{3} ) \) and (2.4), we find
Combining (1.1) and (2.5), we have
Since \(g ( \zeta ,s ) \) is nondecreasing with respect to s, we get \(g ( \zeta ,s ) \geq g ( \zeta ,a ) \) for \(s\in ( a,b ) \), and so
Using Lemma 1.2 with \(u=z^{\prime }\), there exists \(M>0\) such that
From the definition of ω, we see that \(\omega ( \zeta ) >0 \) and
From (2.6), we obtain
By using (2.7), we have
This completes the proof. □
Theorem 2.1
If there exist a function \(\rho \in C^{1} ( [ \zeta _{0}, \infty ) ,\mathbb{R} ^{+} ) \) and constants \(\lambda \in ( 0,1 ) \), \(M>0\) such that
then Eq. (1.1) is oscillatory.
Proof
Suppose that Eq. (1.1) has a nonoscillatory solution in \([ \zeta _{0},\infty ) \). Without loss of generality, we assume that \(x ( \zeta ) \) is an eventually positive solution of equation (1.1). From Lemma 2.1, we get that (2.1) holds. Using the inequality
with \(U=\rho ^{\prime }/\rho \), \(\upsilon =\lambda Mg^{n-2} ( \zeta ,s ) g^{\prime } ( \zeta ,a ) / ( r ( \zeta ) \rho ( \zeta ) ) \) and \(y=\omega ( \zeta ) \), we find
Integrating this inequality from \(\zeta _{1}\) to ζ, we obtain
which contradicts (2.8) and this completes the proof. □
Theorem 2.2
If, for some constant \(\mu \in ( 0,1 ) \), the differential equation
is oscillatory, where
then Eq. (1.1) is oscillatory.
Proof
Suppose that Eq. (1.1) has a nonoscillatory solution in \([ \zeta _{0},\infty ) \). Without loss of generality, we assume that \(x ( \zeta ) \) is an eventually positive solution of equation (1.1). From Lemma 2.1, we get that (2.3)–(2.6) hold. By using Lemma 1.3, we find
for all \(\zeta \geq \zeta _{2}\geq \max \{ \zeta _{1},\zeta _{ \mu } \} \). Thus, from (2.6), we obtain
Therefore, we see that \(u ( \zeta ) :=r ( \zeta ) z^{ ( n-1 ) } ( \zeta ) \) is a positive solution of the differential inequality
From [29, Corollary 1], we have that Eq. (2.9) also has a positive solution, a contradiction. This completes the proof. □
By using Theorem 2.1.1 in [20], we get the following corollary.
Corollary 2.1
If, for some constant \(\mu \in ( 0,1 ) \),
then Eq. (1.1) is oscillatory.
Theorem 2.3
If there exist \(H\in \Im \), \(\rho \in C^{1} ( [ \zeta _{0}, \infty ) ,\mathbb{R} ^{+} ) \) and constants \(\lambda \in ( 0,1 ) \), \(M>0\) such that
where
then Eq. (1.1) is oscillatory.
Proof
Suppose that Eq. (1.1) has a nonoscillatory solution in \([ \zeta _{0},\infty ) \). Without loss of generality, we assume that \(x ( \zeta ) \) is an eventually positive solution of equation (1.1). From Lemma 2.1, we get that (2.1) holds. Multiplying (2.1) by \(H ( \zeta ,s ) \) and integrating from \(\zeta _{2}\) to ζ, we get
and hence,
It follows that
which implies
From (2.10), we have a contradiction. This completes the proof. □
The following oscillation criteria treat the cases when it is not possible to verify easily conditions (2.10).
Theorem 2.4
Assume that
and
If there exists \(\psi \in C ( [ \zeta _{0},\infty ) , \mathbb{R} ) \) such that, for \(\zeta \geq \zeta _{0}\),
and
where \(\psi _{+} ( \zeta ) =\max \{ \psi ( \zeta ) ,0 \} \), then every solution of Eq. (1.1) is oscillatory.
The proof of Theorem 2.4 is similar to the proof of Theorem 2.5 in [18] and hence is omitted.
Example 2.1
Consider the following nth-order neutral differential equation:
where \(n=2\), \(\alpha =3\), \(r ( \zeta ) =1\), \(p ( \zeta ) =1-\frac{1}{\zeta }\), \(\sigma ( \zeta ) =\zeta - \sigma \), \(q ( \zeta ,s ) =\zeta ^{2}s\), \(f ( x ) =x ^{3}\), \(g ( \zeta ,s ) =\zeta s\), and let \(\rho ( \zeta ) =1\), then for any constants \(\lambda \in ( 0,1 ) \) and \(M>0\) we have
From Theorem 2.1, it follows that Eq. (2.11) is oscillatory.
Example 2.2
Consider the equation
where \(p_{0}\in [ 0,1 ) \), \(\delta ,\beta \in ( 0,1 ) \), and \(q_{0}>0\). We note that \(a=0\), \(b=1\), \(r ( \zeta ) :=\zeta \), \(q ( \zeta ) :=q_{0}/\zeta ^{n-1}\), and \(f ( x ) :=x^{\alpha }\). Hence,
Let \(\rho ( \zeta ) :=\zeta ^{n}\). Then we have (2.8) holds if
for every positive constant M. By using Theorem 2.1, Eq. (2.11) is oscillatory if (2.13) holds. Note that there is difficulty in applying Condition (2.13) due to a constant M. But, by using Corollary 2.1, we get that Eq. (2.11) is oscillatory if
that is,
References
Agarwal, R.P., Bohner, M., Li, T., Zhang, C.: A new approach in the study of oscillatory behavior of even-order neutral delay differential equations. Appl. Math. Comput. 225, 787–794 (2013)
Agarwal, R.P., Bohner, M., Li, T., Zhang, C.: Comparison theorems for oscillation of second-order neutral dynamic equations. Mediterr. J. Math. 11, 1115–1127 (2014)
Agarwal, R.P., Grace, S.R., O’Regan, D.: Oscillation Theory for Difference and Functional Differential Equations. Kluwer Academic, Dordrecht (2000)
Agarwal, R.P., Grace, S.R., O’Regan, D.: Oscillation criteria for certain nth order differential equations with deviating arguments. J. Math. Anal. Appl. 262, 601–622 (2001)
Agarwal, R.P., Grace, S.R., O’Regan, D.: The oscillation of certain higher-order functional differential equations. Math. Comput. Model. 37, 705–728 (2003)
Agarwal, R.P., Zhang, C., Li, T.: Some remarks on oscillation of second order neutral differential equations. Appl. Math. Comput. 274, 178–181 (2016)
Baculikova, B., Dzurina, J.: Oscillation theorems for higher order neutral differential equations. Appl. Math. Comput. 219, 3769–3778 (2012)
Baculikova, B., Dzurina, J., Graef, J.R.: On the oscillation of higher-order delay differential equations. J. Math. Sci. 187(4), 387–400 (2012)
Bazighifan, O., Elabbasy, E.M., Moaaz, O.: Oscillation of higher-order differential equations with distributed delay. J. Inequal. Appl. 2019, 55 (2019)
Bohner, M., Hassan, T.S., Li, T.: Fite–Hille–Wintner-type oscillation criteria for second order half-linear dynamic equations with deviating arguments. Indag. Math. 29, 548–560 (2018)
Bohner, M., Li, T.: Oscillation of second-order p-Laplace dynamic equations with a nonpositive neutral coefficient. Appl. Math. Lett. 37, 72–76 (2014)
Candan, T., Dahiya, R.S.: Oscillation behavior of higher order neutral differential equations. Appl. Math. Comput. 167(2), 1267–1280 (2005)
Chatzarakis, G.E., Jadlovska, I., Li, T.: Oscillations of differential equations with non-monotone deviating arguments. Adv. Differ. Equ. 2019, 233 (2019)
Chatzarakis, G.E., Li, T.: Oscillations of differential equations generated by several deviating arguments. Adv. Differ. Equ. 2017, 292 (2017)
Chatzarakis, G.E., Li, T.: Oscillation criteria for delay and advanced differential equations with nonmonotone arguments. Complexity 2018, Article ID 8237634 (2018)
Chiu, K.S., Li, T.: Oscillatory and periodic solutions of differential equations with piecewise constant generalized mixed arguments. Math. Nachr. (2019). https://doi.org/10.1002/mana.201800053
Elabbasy, E.M., Hassan, T.S., Moaaz, O.: Oscillation behavior of second-order nonlinear neutral differential equations with deviating arguments. Opusc. Math. 32(4), 719–730 (2012)
Erbe, L., Hassan, T.S., Peterson, A.: Oscillation of second order neutral delay differential equations. Adv. Dyn. Syst. Appl. 3(1), 53–71 (2008)
Grace, S.R., Dzurina, J., Jadlovska, I., Li, T.: On the oscillation of fourth-order delay differential equations. Adv. Differ. Equ. 2019, 118 (2019)
Ladde, G.S., Lakshmikantham, V., Zhang, B.G.: Oscillation Theory of Differential Equations with Deviating Arguments. Dekker, New York (1987)
Li, T., Pintus, N., Viglialoro, G.: Properties of solutions to porous medium problems with different sources and boundary conditions. Z. Angew. Math. Phys. 70, 86 (2019). https://doi.org/10.1007/s00033-019-1130-2
Li, T., Rogovchenko, Y.V.: Oscillation of second-order neutral differential equations. Math. Nachr. 288, 1150–1162 (2015)
Li, T., Rogovchenko, Y.V.: Oscillation criteria for even-order neutral differential equations. Appl. Math. Lett. 61, 35–41 (2016)
Li, T., Rogovchenko, Y.V.: Oscillation criteria for second-order superlinear Emden–Fowler neutral differential equations. Monatshefte Math. 184, 489–500 (2017)
Li, T., Rogovchenko, Y.V.: On asymptotic behavior of solutions to higher-order sublinear Emden–Fowler delay differential equations. Appl. Math. Lett. 67, 53–59 (2017)
Li, T., Rogovchenko, Y.V., Zhang, C.: Oscillation results for second-order nonlinear neutral differential equations. Adv. Differ. Equ. 2013, 336 (2013)
Liu, Q., Bohner, M., Grace, S.R., Li, T.: Asymptotic behavior of even-order damped differential equations with p-Laplacian like operators and deviating arguments. J. Inequal. Appl. 2016, 321 (2016)
Moaaz, O., Elabbasy, E.M., Bazighifan, O.: On the asymptotic behavior of fourth-order functional differential equations. Adv. Differ. Equ. 2017, 261 (2017)
Philos, C.G.: On the existence of nonoscillatory solutions tending to zero at ∞ for differential equations with positive delays. Arch. Math. 36, 168–178 (1981)
Philos, C.H.G.: Oscillation theorems for linear differential equations of second order. Arch. Math. 53(5), 483–492 (1989)
Shi, Y.: Oscillation criteria for nth order nonlinear neutral differential equations. Appl. Math. Comput. 235, 423–429 (2014)
Tang, S., Li, T., Thandapani, E.: Oscillation of higher-order half-linear neutral differential equations. Demonstr. Math. XLVI(1), 101–109 (2013)
Wang, P., Li, C., Zhang, J., Li, T.: Quasilinearization method for first-order impulsive integro-differential equations. Electron. J. Differ. Equ. 2019, 46 (2019)
Xing, G., Li, T., Zhang, C.: Oscillation of higher-order quasi-linear neutral differential equations. Adv. Differ. Equ. 2011, 45 (2011)
Zhang, C., Agarwal, R.P., Bohner, M., Li, T.: New results for oscillatory behavior of even-order half-linear delay differential equations. Appl. Math. Lett. 26, 179–183 (2013)
Zhang, C., Li, T., Suna, B., Thandapani, E.: On the oscillation of higher-order half-linear delay differential equations. Appl. Math. Lett. 24, 1618–1621 (2011)
Zhang, Q., Yan, J., Gao, L.: Oscillation behavior of even-order nonlinear neutral differential equations with variable coefficients. Comput. Math. Appl. 59, 426–430 (2010)
Acknowledgements
The authors offer their earnest thanks to the referees and editors. In fact, their useful comments contributed significantly to improve the original article.
Availability of data and materials
The current article did not produce any datasets.
Funding
There are no funding for this article.
Author information
Authors and Affiliations
Contributions
In this article, all authors contributed equally. The authors read and approved the revised version of the article.
Corresponding author
Ethics declarations
Competing interests
There are no competing interests among the authors.
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
Moaaz, O., Elabbasy, E.M. & Muhib, A. Oscillation criteria for even-order neutral differential equations with distributed deviating arguments. Adv Differ Equ 2019, 297 (2019). https://doi.org/10.1186/s13662-019-2240-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2240-z