- Research
- Open Access
- Published:
Oscillation of second order neutral dynamic equations with deviating arguments on time scales
Advances in Difference Equations volume 2018, Article number: 337 (2018)
Abstract
In this paper, we consider the following second order neutral dynamic equations with deviating arguments on time scales:
where \(z(t)=y(t)+p(t)y(\tau(t))\), \(m(t)\leq t\) or \(m(t)\geq t\), and \(\tau(t)\leq t\). Some new oscillatory criteria are obtained by means of the inequality technique and a Riccati transformation. Our results extend and improve many well-known results for oscillation of second order dynamic equations. Some examples are given to illustrate the main results.
1 Introduction
The study of dynamic equations on time scales which goes back to its founder Hilger [1] as an area of mathematics that has received a lot of attention. It has been created in order to unify the study of differential and difference equations. Many authors have contributed on various aspects of this theory, see the survey paper by Agarwal et al. [2] and the references cited therein.
The theory of time scales, which provides powerful new tools for exploring connections between the traditionally separated fields, has been developing rapidly and has received much attention. Dynamic equations cannot only unify the theories of differential equations and difference equations, but also extend these classical cases to cases “in between” and can be applied to other different types of time scales. The theory of dynamic equations on time scales is an adequate mathematical apparatus for the simulation of processes and phenomena observed in biotechnology, chemical technology, economy, neural networks, physics, social sciences etc.
With the rapid development of science, the contributions of mathematical researchers are more urgent than ever before. Thus, beyond the purely mathematical interest, all of the above make the theory of dynamic equation very attractive to researchers. As a result, in the last decades many of them have focused their interest on problems of this area. One of the most interesting problems is the study of the oscillation of solutions of dynamic equation with deviating arguments.
Dynamic equations with deviating argument are deemed to be adequate in modeling of the countless processes in all areas of science. As is well known, a distinguishing feature of delay dynamic equations under consideration is the dependence of the evolution rate of the processes described by such equations on the past history. This consequently results in predicting the future in a more reliable and efficient way, explaining at the same time many qualitative phenomena such as periodicity, oscillation or instability. The concept of the delay incorporation into systems plays an essential role in modeling to represent time taken to complete some hidden processes; see [3, 4]. Contrariwise, advanced dynamic equations can find use in many applied problems whose evolution rate depends not only on the present, but also on the future, it also play a vital role.
Saker [5] studied the oscillation of second order nonlinear neutral delay dynamic equation
under the condition \(\int^{\infty}r^{-1/\alpha}(t)\Delta t=\infty\).
Baculíková [6] studied the oscillatory behavior of the second order advanced differential equations
where \(\sigma(t) \geq t\), and provided some technique for studying oscillation of the second order advanced differential equation. The method is based on the monotonic properties of nonoscillatory solutions.
Motivate by the above articles, now, in this article, we consider the dynamic equation of the form
where \(z(t)=y(t)+p(t)y(\tau(t))\), \(I=[t_{0},\infty)_{\mathbb{T}}\) and \(\alpha\geq1\) is the ratio of two odd positive integers. Assume that the following conditions are satisfied:
-
(H1)
\(r(t), m(t)\in C^{1}_{rd}(I,[0,\infty)_{\mathbb{T}})\), \(p(t)\in C_{rd}(I,[0,\infty)_{\mathbb{T}})\), \(q(t)\in C_{rd}(I,(0,\infty )_{\mathbb{T}})\), \(\tau(t)\in C_{rd}(I,{\mathbb{R}})\);
-
(H2)
\(m(t)\leq\sigma(t)\), \(\tau(t)\leq t\) and \(m^{\Delta}(t)>0\) and \(\lim_{t\rightarrow\infty} m(t)= \lim_{t\rightarrow\infty}\tau (t)=\infty\);
-
(H3)
\(f\in C(\mathbb{R},\mathbb{R})\) such that \(xf(x)>0\) and \(f(x)/x^{\alpha}\geq k>0\), for \(x\neq0\), k is a constant.
We only discuss these solutions of (1.1) which exist on some half-line \([t_{0},\infty)_{\mathbb{T}}\) and satisfy
for any \(t_{e} \geq t_{0}\). Such a solution of (1.1) is said to be oscillatory if it is neither eventually positive nor eventually negative, otherwise it is called nonoscillatory. The equation itself is called oscillatory if all of its solutions are oscillatory.
In this paper, using a Riccati transformation and the inequality technique, we present some new sufficient conditions which ensure that any solution of (1.1) oscillates. We suppose that \(m(t)\leq\sigma(t)\), when \(m(t)\leq t\), Eq. (1.1) is a delay dynamic equation on time scales; when \(m(t)\geq t\), Eq. (1.1) is an advanced dynamic equation on time scales, such as the h-difference equation (\(h>0\)), and it is also called a finite difference equation, etc. Our results extend, complement, or improve some of the existing results, such as [7–21]. Our results further develop the functional differential equations on time scales.
2 Preliminaries
In order to prove our main results, we establish some fundamental results in this section. Without loss of generality, we can only deal with the positive solutions of Eq. (1.1) since the proof of the other case is similar.
Lemma 2.1
Let \(\alpha\geq1\) be a ratio of two odd numbers. Then
and
The inequality (2.1) can be found in (3.1) in [19], Lemma 1 in [20], and Lemma 2.1 in [21]. The proof of (2.2) can be found in Zhang and Wang [22].
3 Oscillation results
In this section, we are ready to establish the main results of this paper.
Theorem 3.1
Suppose that \(\sigma(m(t))=m(\sigma(t))\), and there exist two functions \(\eta, \delta\in C_{rd}^{1}([t_{0},\infty),(0,\infty))\) such that
or
where
Then every solution \(y(t)\) of (1.1) is oscillatory.
Proof
If \(y(t)\) is an eventually positive solution of (1.1), and there exists a \(t_{1}>t_{0}\) such that \(y(t)>0\), \(y(\tau(t))>0\), \(y(m(t))>0\), \(t\geq t_{1}\). By the definition of \(z(t)\) and (H1) we have \(z(t)\geq y(t)>0\), and from (1.1) we know that
Thus \(r(t)(z^{\Delta}(t))^{\alpha}\) is decreasing for all \(t\geq t_{1}\), then, for any \(s\geq t \geq t_{1}\), we have
thus
Integrating (3.5) from t to v, then
Letting \(v \rightarrow\infty\), we have
Then
thus \(\frac{z(t)}{\pi(t)}\geq\frac{z(\tau(t))}{\pi(\tau(t))}\), i.e.,
Moreover, by the definition of \(z(t)\) and (3.9) we have \(z(t)\geq y(t)\), then
i.e.,
Let \(P(t)=kq(t) (1-p(m(t))\frac{\pi(\tau(m(t)))}{\pi(m(t))} )^{\alpha}\). Then
We know that \(r(t)(z^{\Delta}(t))^{\alpha}\) is decreasing for all \(t\geq t_{1}\), which implies that \(r(t)(z^{\Delta}(t))^{\alpha}\) does not change sign eventually, so as \(z^{\Delta}(t)\), then there exists a \(t_{2}\geq t_{1}\) such that either \(z^{\Delta}(t) < 0\) or \(z^{\Delta}(t) > 0\) for any \(t\geq t_{2}\). We shall show that in each case we are led to a contradiction.
Case (1): Assume first that \(z^{\Delta}(t) > 0\) for all \(t \geq t_{2}\). Define the following Riccati transformation:
Then \(w(t)>0\), and
By the corollary of the Keller chain rule [23] and the condition \(\sigma(m(t))=m(\sigma(t))\) ([24] Lemma 2.2), for \(\alpha\geq 1\), we have
Thus we get
Set
By calculating, we have
and when \(v< v_{0}\), we have \(F^{\Delta}(v)>0\), when \(v>v_{0}\), \(F^{\Delta}(v)<0\), then \(F(v)\) obtains its maximum. So,
Therefore,
Integrating the above inequality from \(T_{0}\) to t, we have
Let \(t\rightarrow\infty\) in the above inequality, which contradicts (3.1).
Case (2): Assume now that \(z^{\Delta}(t) < 0\) for all \(t \geq t_{2}\). Define the following Riccati transformation:
Since (3.7), we have \(w(t)>0\), then
By the corollary of the Keller chain rule [23], for \(\alpha \geq1\), we have
and
By (3.25), (3.26), Eq. (3.24) can be written as
Let \(A:=w(t)/(\delta(t)r(t))\) and \(B:=1/(r(t)\pi^{\alpha}(t)) \). Using inequality (2.1), we conclude that
On the other hand, we get by (3.11), \([r(t)(z^{\Delta}(t))^{\alpha}]^{\Delta}<0\), \(z^{\Delta}<0\), and \(m(t)\leq\sigma(t)\) that
Thus, (3.27) yields
where
Define now \(C:=\frac{\alpha\delta(\sigma(t))}{\delta^{(\alpha+1)/\alpha }(t)r^{1/\alpha}(t)}\), \(D:=(\varphi(t))_{+}\), and \(v:=w(t)\). Applying inequality (2.2), we obtain
Integrating the latter inequality from \(t_{2}\) to t, we have
which contradicts (3.2). Therefore, Eq. (1.1) is oscillatory. □
4 Examples
Example 4.1
As an illustrative example, we consider the following equation:
Here \(\mathbb{T}=\mathbb{R}^{+}\), and \(\alpha=1\), \(t_{0}=2\), \(r(t)=t^{2}\), \(p(t)=\frac{1}{3}\), \(\tau(t)=\frac{t}{2}\), \(q(t)=1\), \(f(t)=t\), \(m(t)=\frac{t}{3}\). By taking \(\eta(t)=k=1\), then \(\pi(t)=\frac{1}{t}\), \(\frac{\pi(t)}{\pi(\frac{t}{2})}=\frac{1}{2}>\frac{1}{3}\), and \(P(t)=\frac{1}{3}\).
It is easy to check that all hypotheses of Theorem 3.1 are satisfied, so we see that Eq. (4.1) is oscillatory.
Example 4.2
Consider the equation
Here \(\mathbb{T}=\mathbb{N}^{+}\), and \(\alpha=1\), \(t_{0}=2\), \(r(t)=1\), \(p(t)=\frac{1}{4}\), \(\tau(t)=t-2\), \(q(t)=1\), \(f(t)=t\), \(m(t)=t+1\). By taking \(\eta(t)=k=1\), then \(P(t)=\frac{3}{4}\).
It is easy to check that all hypotheses of Theorem 3.1 are satisfied, so we see that Eq. (4.3) is oscillatory.
Example 4.3
Consider the following equation:
Here \(0< q<1\), \(\alpha=1\), \(t_{0}=2\), \(r(t)=t\), \(p(t)=\frac{1}{2}\), \(\tau(t)=t-1\), \(q(t)=\frac{1}{3}\), \(f(t)=t\), \(m(t)=t-2\). By taking \(\eta(t)=k=1\), then \(\pi(t)=\int_{t}^{\infty}r^{-1/\alpha}(s)\,d_{q} s=\int_{t}^{\infty}s^{-1}\,d_{q}s =\sum^{\infty}_{k=1}tq^{-k}(1-q)(tq^{-k})^{-1}=\sum^{\infty}_{k=1}(1-q)\), \(\frac{\pi(t)}{\pi(\frac{t}{2})}=1>\frac{1}{2}\), and \(P(t)=\frac{1}{6}\).
It is easy to check that all hypotheses of Theorem 3.1 are satisfied, so we see that Eq. (4.5) is oscillatory.
5 Conclusion and future direction
The results of this article are presented in a form which is essentially new and of high degree of generality. In this article, using a Riccati transformation and the inequality technique, we offer some new sufficient conditions which ensure that any solution of Eq. (1.1) oscillates. We suppose that \(m(t)\leq\sigma(t)\), when \(m(t)\leq t\), Eq. (1.1) is a delay dynamic equation on time scales; when \(m(t)\geq t\), Eq. (1.1) is an advanced dynamic equation on time scales. Further, we can consider the case of \(m(t)\geq\sigma(t)\), and we can try to get some oscillation criteria of Eq. (1.1) if \(p(t)<0\) and \(q(t)<0\) in the future work.
References
Hilger, S.: Analysis on measure chains a unified approach to continuous and discrete calculus. Results Math. 18, 18–56 (1990)
Agarwal, R.P., Bohner, M., O’Regan, D., Peterson, A.: Dynamic equations on time scales: a survey. J. Comput. Appl. Math. 1471, 1–2 (2002)
Elsgolts, L.E., Norkin, S.B.: Introduction to the Theory and Application of Differential Equations with Deviating Arguments. Elsevier, Amsterdam (1973)
Gyori, I., Ladas, G.: Oscillation Theory of Delay Differential Equations with Applications. Clarendon, Oxford (1991)
Saker, S.H.: Oscillation of second-order nonlinear neutral delay dynamic equations on time scales. J. Comput. Appl. Math. 187, 123–141 (2006)
Baculíková, B.: Oscillatory behavior of the second order functional differential equations. Appl. Math. Lett. 72, 3–41 (2017)
Agarwal, R.P., Bohner, M., Li, T.: Oscillatory behavior of second-order half-linear damped dynamic equations. Appl. Math. Comput. 254, 408–418 (2015)
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)
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)
Bohner, M., Li, T.: Kamenev-type criteria for nonlinear damped dynamic equations. Sci. China Math. 58, 1445–1452 (2015)
Chatzarakis, G.E., Li, T.: Oscillation criteria for delay and advanced differential equations with nonmonotone arguments. Complexity 2018, 1–18 (2018)
Li, T., Agarwal, R.P., Bohner, M.: Some oscillation results for second-order neutral dynamic equations. Hacet. J. Math. Stat. 41, 715–721 (2012)
Li, T., Rogovchenko, Yu.V.: Oscillation of second-order neutral differential equations. Math. Nachr. 288, 1150–1162 (2015)
Li, T., Rogovchenko, Yu.V.: Oscillation criteria for even-order neutral differential equations. Appl. Math. Lett. 61, 35–41 (2016)
Li, T., Rogovchenko, Yu.V.: Oscillation criteria for second-order superlinear Emden–Fowler neutral differential equations. Monatshefte Math. 184, 489–500 (2017)
Li, T., Zhang, C., Thandapani, E.: Asymptotic behavior of fourth-order neutral dynamic equations with noncanonical operators. Taiwan. J. Math. 18, 1003–1019 (2014)
Zhang, C., Agarwal, R.P., Bohner, M., Li, T.: Oscillation of second-order nonlinear neutral dynamic equations with noncanonical operators. Bull. Malays. Math. Sci. Soc. 38, 761–778 (2015)
Li, T., Saker, S.H.: A note on oscillation criteria for second-order neutral dynamic equations on isolated time scales. Commun. Nonlinear Sci. Numer. Simul. 19, 4185–4188 (2014)
Li, T., Rogovchenko, Yu.V., Zhang, C.: Oscillation results for second-order nonlinear neutral differential equations. Adv. Differ. Equ. 2013, 336 (2013)
Agarwal, R.P., Zhang, C., Li, T.: Some remarks on oscillation of second order neutral differential equations. Appl. Math. Comput. 274, 178–181 (2016)
Zhang, S., Wang, Q.: Oscillation of second-order nonlinear neutral dynamic equations on time scales. Appl. Math. Comput. 216, 2837–2848 (2010)
Bohner, M., Peterson, A.: Dynamic Equations on Time Scales, an Introduction with Applications. Birkhäuser, Boston (2001)
Han, Z.L., Li, T., Sun, S.: Oscillation for second-order nonlinear delay dynamic equations on time scales. Adv. Differ. Equ. 2009, 756171 (2009)
Acknowledgements
The authors sincerely thank the reviewers for their valuable suggestions and useful comments that have led to the present improved version of the original manuscript.
Funding
This research is supported by the Natural Science Foundation of China (61703180), and supported by Shandong Provincial Natural Science Foundation (ZR2017MA043).
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final 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
Sui, Y., Han, Z. Oscillation of second order neutral dynamic equations with deviating arguments on time scales. Adv Differ Equ 2018, 337 (2018). https://doi.org/10.1186/s13662-018-1773-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1773-x
MSC
- 26E70
- 34C10
- 34K40
Keywords
- Time scales
- Oscillation
- Neutral
- Deviating arguments