Abstract
The oscillatory behavior of the solutions to a differential equation with several non-monotone arguments and nonnegative coefficients is studied, and some new oscillation criteria are given. More precisely, sufficient conditions in terms of limsup and liminf are established, which essentially improve several known criteria existing in the literature. The results are illustrated by examples numerically solved in MATLAB.
Similar content being viewed by others
1 Introduction
Consider the first-order linear differential equation with several variable deviating arguments of either delayed (DDE)
or advanced type (ADE)
where \(p_{i}\), \(q_{i}\), \(1\leq i\leq m\), are functions of nonnegative real numbers, and \(\tau _{i}\), \(\sigma _{i}\), \(1\leq i\leq m\), are functions of positive real numbers satisfying
and
respectively.
By a solution of (E) or (\(E'\)) we mean a function absolutely continuous on \([t_{0},\infty )\) satisfying (E) or (\(E'\)) for almost all \(t\geq t_{0}\).
A solution of (E) or (\(E'\)) is oscillatory if it is neither eventually positive nor eventually negative. If there exists an eventually positive or eventually negative solution, then the equation is nonoscillatory. An equation is oscillatory if all its solutions oscillate.
The problem of establishing sufficient conditions for the oscillation of all solutions of equations (E) or (\(E'\)) has been studied extensively. The reader is referred to [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23] and the references cited therein. Most of this work though involves the special case where the arguments are nondecreasing, while only a small fraction of these papers deal with the general case where the arguments are not necessarily monotone. See, for example, [1,2,3,4,5,6,7, 13, 14] and the references cited therein. The general case is significant not only from the mathematical standpoint, but for its applications in the real world as well. This is because there are always natural disturbances, for example, noise in communication systems, that affect all the parameters of the equation, and therefore the fair (from a mathematical point of view) monotone arguments become non-monotone almost always.
The objective of this paper is to derive new sufficient conditions for all solutions of (E) and (\(E'\)) to be oscillatory when the arguments are not necessarily monotone. Our results essentially improve several known criteria existing in the literature, which are briefly reviewed below for the reader’s convenience.
Throughout this paper, we are going to use the following notation:
and
where \(\tau (t):=\max_{1\leq i\leq m}\{\tau _{i}(t)\}\) and \(\sigma (t):= \min_{1\leq i\leq m}\{\sigma _{i}(t)\}\).
1.1 DDEs (chronological review)
It follows from Remark 2.7.3 in [20] that if \(\tau _{i}\), \(1\leq i\leq m\), are nondecreasing and
then every solution of (E) oscillates. This result is similar to Theorem 2.1.3 [20] which is a special case of the result by Ladas, Lakshmikantham, and Papadakis [17].
In 1978, Ladde [19] and in 1982, Ladas and Stavroulakis [18] proved that if
then every solution of (E) oscillates.
In 1984, Hunt and Yorke [11] proved that if \(\tau _{i}\) are nondecreasing, \(t-\tau _{i}(t)\leq \tau _{0}\), \(1\leq i\leq m\), and
then every solution of (E) oscillates.
Suppose that \(\tau _{i}\), \(1\leq i\leq m\), are not necessarily monotone. Set
Clearly, \(h_{i}\), h are nondecreasing and \(\tau _{i}(t)\leq h_{i}(t) \leq h(t)< t\) for all \(t\geq t_{0}\).
In 2016, Braverman, Chatzarakis, and Stavroulakis [1] proved that if, for some \(r\in \mathbb{N} \),
or
where
then every solution of (E) oscillates.
Several improvements have been made to the above conditions, see [3,4,5, 7] to arrive at the recent forms [4]
where
with
where \(\lambda _{0}\) is the smaller root of the transcendental equation \(\lambda =e^{\alpha \lambda }\).
1.2 ADEs (chronological review)
For (\(E'\)), the dual condition of (1.3) is
where \(\sigma _{i}\), \(1\leq i\leq m\), are nondecreasing (see [20], paragraph 2.7).
In 1978, Ladde [19] and in 1982, Ladas and Stavroulakis [18] proved that if
then every solution of (\(E'\)) oscillates.
In 1990, Zhou [23] proved that if \(\sigma _{i}(t)-t\leq \sigma _{0}\), \(1\leq i\leq m\), and
then every solution of (\(E'\)) oscillates; see also [8, Corollary 2.6.12].
Suppose that \(\sigma _{i}\), \(1\leq i\leq m\), are not necessarily monotone. Set
Clearly, \(\rho _{i}\), ρ are nondecreasing and \(\sigma _{i}(t) \geq \rho _{i}(t)\geq \rho (t)>t\) for all \(t\geq t_{0}\).
In 2016, Braverman, Chatzarakis, and Stavroulakis [1] proved that if, for some \(r\in \mathbb{N} \),
or
where
then every solution of (\(E'\)) oscillates.
Several improvements have been made to the above conditions, see [3,4,5, 7] to arrive at the recent forms [4]
where
with
where \(\lambda _{0}\) is the smaller root of the transcendental equation \(\lambda =e^{\beta \lambda}\).
2 Main results
2.1 DDEs
New sufficient conditions are established for the oscillation of all solutions of (E) using an iterative method. These conditions, involving limsup and liminf, significantly improve several results in the literature.
We now cite two lemmas which will be used to prove the main results. Their proofs are similar to those of Lemmas 2.1.1, 2.1.3, and 2.1.2 in [8], respectively.
Lemma 1
Let h be as in (1.6). Then
Lemma 2
Let \(\alpha \in (0,1/e]\), x be an eventually positive solution of (E), and h be as in (1.6). Then
and
where \(\lambda _{0}\) is the smaller root of the transcendental equation \(\lambda =e^{\alpha \lambda }\).
On the basis of the above lemmas, we present the following results. Without loss of generality, we deal only with eventually positive solutions of (E) (or (\(E'\))) since, under our assumptions, if x is a solution, so is −x.
Theorem 1
Let \(\alpha \in (0,1/e]\) and h be as in (1.6). Assume that, for some \(\ell \in \mathbb{N} \),
where
with
and \(\lambda _{0}\) is the smaller root of the transcendental equation \(\lambda =e^{\alpha \lambda }\). Then every solution of (E) oscillates.
Proof
Assume the opposite. Let x be an eventually positive solution of (E). Then there exists a \(t_{1}>t_{0}\) such that \(x(t)>0\) and \(x( \tau _{i}(t)) >0\) for all \(t\geq t_{1}\) and \(1 \leq i \leq m\). Thus, by virtue of (E),
which implies that x is an eventually nonincreasing function of positive numbers.
Dividing (E) by \(x( t) >0\) and integrating the resulting equality on \([ \tau (t),t ] \), we deduce that
or
or
Therefore,
Combining (E) and (2.6), we arrive at
Dividing (2.7) by \(x( t) >0\) and integrating the resulting inequality on \([ \tau (t),t ] \), we obtain
or
Combining (E) and (2.8), we have
Dividing (2.9) by \(x( t) >0\) and integrating the resulting inequality on \([ \tau (s),t ] \), we get
or
Integrating (E) from \(\tau (t)\) to t, using (2.10), multiplying by \(P(t)\), and taking into account the fact that \(x^{\prime }(t)\leq -P(t)x(\tau (t))\), we conclude that
It follows from \(\tau (u)\leq h(u)\) that
By virtue of (2.3), for each \(\epsilon >0\) and for sufficiently large t, the last inequality becomes
or
with
Applying the Grönwall inequality in (2.11), we obtain
Dividing (E) by \(x( t) >0\), integrating the resulting equality on \([\tau ( s),t ] \) and using (2.12), we deduce that
or
Integrating (E) from \(\tau (t)\) to t and using (2.13), we obtain
Multiplying the last inequality by \(P(t)\), we have
which, in view of \(x^{\prime }(t)\leq -P(t)x(\tau (t))\), reduces to
Hence, for sufficiently large t,
or
where
Following the above procedures, we can inductively construct the inequalities
where
and
Integrating (E) from \(h(t)\) to t and using (2.14), we arrive at
If we omit \(x(t)>0\), then (2.15) becomes
which means that
This inequality contradicts (2.4) due to the fact that ϵ may be taken arbitrarily small. The proof is complete. □
Theorem 2
Let \(\alpha \in (0,1/e]\) and h be as in (1.6). If, for some \(\ell \in \mathbb{N} \),
where \(B_{\ell }\) is as in (2.5), then every solution of (E) oscillates.
Proof
Let x be an eventually positive solution of (E). As in the proof of Theorem 1, (2.15) holds, that is,
which yields
and hence
It follows from Lemma 2 that inequality (2.2) is satisfied. So, by virtue of (2.2) and (2.17),
This inequality contradicts (2.16) due to the fact that ϵ may be taken arbitrarily small. The proof is complete. □
Theorem 3
Let \(\alpha \in (0,1/e]\) and h be as in (1.6). If, for some \(\ell \in \mathbb{N} \),
where \(B_{\ell }\) is as in (2.5), then every solution of (E) oscillates.
Proof
As above, assume that (E) has a nonoscillatory solution x which is eventually positive. Then there exists a \(t_{1}>t_{0}\) such that \(x(t)>0\), \(x( \tau _{i}(t)) >0\), \(1\leq i\leq m\), for all \(t\geq t _{1}\). Thus, by (E), we have
which implies that x is an eventually nonincreasing function of positive numbers. Moreover, as in the proof of Theorem 1, (2.14) is fulfilled.
Dividing (E) by \(x(t)\) and integrating the resulting equality from \(h(t)\) to t, we deduce that
It follows from (2.18) that there exists a constant \(c>0\) such that, for all sufficiently large t,
Choose \(c^{\prime }\) such that \(c>c^{\prime }>1/e\). For every \(\epsilon >0\) satisfying \(c-\epsilon >c^{\prime }\), we get
Hence, we derive from (2.19) and (2.20) that
which yields
and so
Repeating the above steps, it follows by induction that, for any positive integer k,
Since \(ec^{\prime }>1\), there is a \(k\in {\mathbb{N}}\) satisfying \(k>2(\ln 2-\ln c^{\prime })/(1+\ln c^{\prime })\) such that, for t sufficiently large,
Taking the integral on \([h(t),t]\), which is not less than \(c^{\prime }\), we split the interval into two parts where integrals are not less than \(c^{\prime }/2\), let \(t_{m}\in (h(t),t)\) be the splitting point:
Integrating (E) from \(t_{m}\) to t, we arrive at
This, along with the second inequality in (2.22), implies that
Similarly, integrating (E) from \(h(t)\) to \(t_{m}\) and subsequently applying (2.14), we conclude that
If we omit \(x(t_{m})>0\) in the left-hand side, then the strict inequality becomes valid:
This, along with the first inequality in (2.22), yields
Combining inequalities (2.23) and (2.24), we obtain
which contradicts (2.21). This completes the proof. □
2.2 ADEs
Similar oscillation criteria can easily be derived for the (dual) advanced differential equation (\(E'\)). The proofs are omitted due to the fact that they are quite similar to those of the delay equation.
Theorem 4
Let \(\beta \in (0,1/e]\) and ρ be as in (1.15). If, for some \(\ell \in \mathbb{N} \),
where
with
and \(\lambda _{0}\) is the smaller root of the transcendental equation \(\lambda =e^{\beta \lambda }\), then every solution of (\(E'\)) oscillates.
Theorem 5
Let \(\beta \in (0,1/e]\) and ρ be as in (1.15). If, for some \(\ell \in \mathbb{N} \),
where \(\varPhi _{\ell }\) is as in (2.26), then every solution of (\(E'\)) oscillates.
Theorem 6
Let \(\beta \in (0,1/e]\) and ρ be as in (1.15). If, for some \(\ell \in \mathbb{N} \),
where \(\varPhi _{\ell }\) is as in (2.26), then every solution of (\(E'\)) oscillates.
3 Examples
The examples provided in this section illustrate cases where the results of the present paper ensure oscillations, whereas the previously known results fail to apply in these equations. Moreover, these examples show the improvement attained by the obtained conditions over the known ones. The calculations performed have been produced in MATLAB.
Example 1
Consider the DDE
with (see Fig. 1(a))
where \(k\in \mathbb{N} _{0}\) and \(\mathbb{N} _{0}\) is the set containing all nonnegative integers.
By (1.6), we see (Fig. 1(b)) that
and consequently,
It is easy to see that
and therefore, the smaller root of \(e^{0.1046\lambda }=\lambda \) is \(\lambda _{0}=1.12486\).
Observe that the function \(F_{\ell }:\mathbb{R} _{0}\rightarrow \mathbb{R} _{+}\) defined as
attains its maximum at \(t=6k+5.75\), \(k\in \mathbb{N} _{0}\), for every \(\ell \in \mathbb{N} \). In particular,
and thus
That is, condition (2.4) of Theorem 1 is satisfied for \(\ell =1\), which implies that every solution of (3.1) oscillates.
Observe, however, that
and
Note that the function \(D_{r}:\mathbb{R}_{0} \rightarrow \mathbb{R} _{+}\) defined as
attains its maximum at \(t=6k+5.75\) and its minimum at \(t=6k+2\), \(k \in \mathbb{N} _{0}\), for every \(r\in \mathbb{N} \). In particular,
Hence,
Finally, using algorithms on MATLAB software, we obtain
That is, none of conditions (1.3)–(1.5), (1.7) and (1.8) (for \(r=1\)), and (1.9)–(1.11) (for \(\ell =1\)) is satisfied.
Comments
It is worth noticing that the improvement of condition (2.4) over the corresponding condition (1.3) is significant, approximately 165.9% when comparing the values on the left-hand side of these conditions. Meanwhile, the improvement compared to conditions (1.7) and (1.9) is very satisfactory, around 117.16% and 27.87%, respectively. In addition, observe that conditions (1.7)–(1.11) do not ensure oscillations from the first iteration. On the contrary, condition (2.4) is fulfilled from the first iteration. This means that this condition is better and more efficient, leading to oscillations much faster than conditions (1.7)–(1.11).
Example 2
Consider the ADE
with (see Fig. 2(a))
where \(k\in \mathbb{N} _{0}\) and \(\mathbb{N} _{0}\) stands for the set containing all nonnegative integers.
By (1.15), we see (Fig. 2(b)) that
and consequently,
It is easy to see that
and therefore, the smaller root of \(e^{0.139\lambda }=\lambda \) is \(\lambda _{0}=1.17789\).
Observe that the function \(F_{\ell }:\mathbb{R} _{0}\rightarrow \mathbb{R} _{+}\) defined as
attains its maximum at \(t=5k+8/5\), \(k\in \mathbb{N} _{0}\), for every \(\ell \in \mathbb{N} \). In particular, by using an algorithm on MATLAB software, we obtain
and so
That is, condition (2.27) of Theorem 5 is satisfied for \(\ell =1\), and therefore every solution of (3.2) oscillates.
Observe, however, that
and
That is, none of conditions (1.12)–(1.14), (1.16), and (1.17) (for \(r=1\)) is satisfied.
Finally, by using algorithms on MATLAB software, we see that none of conditions (1.18)–(1.20) (for \(\ell =1\)) is satisfied.
Remark 1
Similarly, one can present examples to illustrate the efficiency of other main results.
References
Braverman, E., Chatzarakis, G.E., Stavroulakis, I.P.: Iterative oscillation tests for differential equations with several non-monotone arguments. Adv. Differ. Equ. 2016, 87 (2016)
Braverman, E., Karpuz, B.: On oscillation of differential and difference equations with non-monotone delays. Appl. Math. Comput. 218(7), 3880–3887 (2011)
Chatzarakis, G.E.: Oscillations caused by several non-monotone deviating arguments. Differ. Equ. Appl. 9(3), 285–310 (2017)
Chatzarakis, G.E.: Oscillations of equations caused by several deviating arguments. Opusc. Math. 39(3), 321–353 (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)
Chatzarakis, G.E., Péics, H.: Differential equations with several non-monotone arguments: an oscillation result. Appl. Math. Lett. 68, 20–26 (2017)
Erbe, L.H., Kong, Q., Zhang, B.G.: Oscillation Theory for Functional Differential Equations. Dekker, New York (1995)
Erbe, L.H., Zhang, B.G.: Oscillation for first order linear differential equations with deviating arguments. Differ. Integral Equ. 1(3), 305–314 (1988)
Fukagai, N., Kusano, T.: Oscillation theory of first order functional differential equations with deviating arguments. Ann. Mat. Pura Appl. (4) 136(1), 95–117 (1984)
Hunt, B.R., Yorke, J.A.: When all solutions of \(x^{ \prime }(t)=-\sum q_{i}(t)x(t-T_{i}(t))\) oscillate. J. Differ. Equ. 53(2), 139–145 (1984)
Koplatadze, R.G., Chanturiya, T.A.: Oscillating and monotone solutions of first-order differential equations with deviating argument. Differ. Uravn. 18(8), 1463–1465, 1472 (1982) (in Russian)
Koplatadze, R., Kvinikadze, G.: On the oscillation of solutions of first order delay differential inequalities and equations. Georgian Math. J. 1(6), 675–685 (1994)
Kulenović, M.R., Grammatikopoulos, M.K.: First order functional differential inequalities with oscillating coefficients. Nonlinear Anal. 8(9), 1043–1054 (1984)
Kusano, T.: On even-order functional differential equations with advanced and retarded arguments. J. Differ. Equ. 45(1), 75–84 (1982)
Kwong, M.K.: Oscillation of first-order delay equations. J. Math. Anal. Appl. 156(1), 274–286 (1991)
Ladas, G., Lakshmikantham, V., Papadakis, J.S.: Oscillations of higher-order retarded differential equations generated by the retarded argument. In: Delay and Functional Differential Equations and Their Applications, pp. 219–231. Academic Press, New York (1972)
Ladas, G., Stavroulakis, I.P.: Oscillations caused by several retarded and advanced arguments. J. Differ. Equ. 44(1), 134–152 (1982)
Ladde, G.S.: Oscillations caused by retarded perturbations of first order linear ordinary differential equations. Atti Accad. Naz. Lincei, Rend. Cl. Sci. Fis. Mat. Nat. 63(5), 351–359 (1977)
Ladde, G.S., Lakshmikantham, V., Zhang, B.G.: Oscillation Theory of Differential Equations with Deviating Arguments. Monographs and Textbooks in Pure and Applied Mathematics, vol. 110. Dekker, New York (1987)
Yu, J.S., Wang, Z.C., Zhang, B.G., Qian, X.Z.: Oscillations of differential equations with deviating arguments. Panam. Math. J. 2(2), 59–78 (1992)
Zhang, B.G.: Oscillation of the solutions of the first-order advanced type differential equations. Sci. Explor. 2(3), 79–82 (1982)
Zhou, D.: On some problems on oscillation of functional differential equations of first order. J. Shandong Univ. Nat. Sci. 25(4), 434–442 (1990)
Acknowledgements
The authors express their sincere gratitude to the editors and two 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.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Funding
This research is supported by NNSF of P.R. China (Grant No. 61503171), CPSF (Grant No. 2015M582091), and NSF of Shandong Province (Grant No. ZR2016JL021). The research of the second author is supported by the grant project KEGA 035TUKE-4/2017.
Author information
Authors and Affiliations
Contributions
All three authors contributed equally to this work. They all read and approved the final version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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., Jadlovská, I. & Li, T. Oscillations of differential equations with non-monotone deviating arguments. Adv Differ Equ 2019, 233 (2019). https://doi.org/10.1186/s13662-019-2162-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2162-9