 Original research
 Open Access
 Published:
Oscillation of nonlinear neutral dynamic equations on time scales
Journal of the Egyptian Mathematical Society volume 29, Article number: 22 (2021)
Abstract
The authors present necessary and sufficient conditions for the oscillation of a class of second order nonlinear neutral dynamic equations with nonpositive neutral coefficients by using Krasnosel’skii’s fixed point theorem on time scales. The nonlinear function may be strongly sublinear or strongly superlinear.
Introduction
Neutral differential/difference equations find numerous applications in biology, engineering, economics, physics, neural networks, social sciences, etc (see, for example, [4, 12, 16]). In the last few decades, many authors have focused their interest on the study of the oscillation of solutions of neutral differential/difference equations with deviating arguments, and in this regard, we refer the reader to the monographs of Agarwal et al. [1, 2] and the papers [3, 7,8,9,10,11, 13,14,15, 22, 29].
Introduced by Stefan Hilger [17], the notion of time scales is not only to unify the theories of differential equations and difference equations, but also to extend some cases in between these classical ones. For details on the theory of dynamic equations on time scales and its applications as well as for basic concepts and notations, we refer the reader to the works of Bohner and Peterson [5, 6]. By employing a Riccati transformation technique and applying some inequalities, a large number of papers have been devoted to the oscillatory behavior of solutions to second order dynamic equations with nonnegative neutral coefficients; for example, see [3, 8, 9, 23,24,25,26,27] and the references cited therein. At the same time, there are comparatively few papers concerned with the oscillation of equations with nonpositive neutral coefficients; for example, see [7, 14, 18, 20, 28].
Bohner and Li [7] considered the second order dynamic equation
where \(z(\ell )=x(\ell )a(\ell )x(\tau (\ell ))\), \(p>1\) is a constant, and \(0\le a(\ell )\le a_{0}<1\). They improved the papers [14, 18] by developing a new method for the analysis of the oscillation of (1) via a comparison principle.
Recently, Zhang et al. [28] discussed the neutral dynamic equation
where \(z(\ell )=x(\ell )p(\ell )x(\tau (\ell ))\), \(\alpha \ge 1\) is a quotient of odd positive integers, \(0\le p(\ell )\le p_{0}<1\), and there is a positive constant k such that \(\frac{f(x)}{x^{\alpha }}\ge k\) for all \(x\ne 0\). They present some new oscillation criteria to ensure that a solution of (2) either oscillates or converges to zero.
Motivated by the results in [28] and the discussion above, in this work we wish to find conditions that are sufficient as well as necessary for the oscillation of second order nonlinear dynamic equations on time scales of the form
where the time scale \({\mathbb{T}}\) satisfies \(\sup {\mathbb{T}}=\infty\), \(\ell \in [\ell _{0},\infty )_{{\mathbb{T}}}\) with \(\ell _{0}\in {\mathbb{T}}\), and \(v(\ell )=u(\ell )+q(\ell )u(m(\ell ))\). A solution of (3) is a real function \(u \in C^{1}_{rd}[\ell _{0},\infty )_{\mathbb{T}}\) such that \(a(\ell )(v^{\Delta }(\ell ))^{\alpha }\in C^{1}_{rd}[\ell _{0},\infty )_{\mathbb{T}}\) and which satisfies (3) on \([T_{u},\infty )_{\mathbb{T}}\), where \(T_{u}>\ell _{0}\) is chosen so that \(\tau (\ell )>\ell _{0}\) for \(\ell \ge T_{u}\), and \(C_{rd}({\mathbb{T}},{\mathbb{R}})\) is the space of real valued rightdense continuous functions (see [5]). Throughout this paper, we restrict our attention to those solutions of (3) that exist on some half line \([\ell _{u},\infty )_{{\mathbb{T}}}\) and satisfy \(\sup \{u(\ell ):\ell \ge T\}>0\) for any \(T>T_{u}\). Such a solution is said to be oscillatory if it is not eventually positive or eventually negative, and to be nonoscillatory otherwise.
Throughout, we assume that:
 \(({\mathcal{H}}_{1})\):

\(\alpha\), \(\beta\) are quotient of odd positive integers, \(\alpha >1\), and \(1<q_{1}\le q(\ell )\le 0\);
 \(({\mathcal{H}}_{2})\):

m, \(\tau \in C_{rd}([l_{0},\infty )_{{\mathbb{T}}},{\mathbb{T}})\) with \(m(\ell )\le \ell\), \(\tau (\ell )\le \ell\), and \(\lim _{\ell \rightarrow \infty }m(\ell )=\lim _{\ell \rightarrow \infty }\tau (\ell )=\infty\);
 \(({\mathcal{H}}_{3})\):

\(\Lambda\), \(a \in C_{rd}([\ell _{0},\infty )_{{\mathbb{T}}}, {\mathbb{R}}_{+})\) with \(\Lambda (\ell )\not \equiv 0\) and
$$\begin{aligned} \int _{\ell _{0}}^{\infty }\frac{\Delta s}{a^{1/\alpha }(s)}=\infty . \end{aligned}$$
Defining
we have \(\lim _{\ell \rightarrow \infty }{\mathcal{A}}(\ell )=\infty\).
Methods
The approach used involves the construction of an appropriate Banach space and defining two mappings. The sum of these two mapping then yields an operator that is equivalent to an integral representation of the solution to the nonlinear dynamic equation (3) under investigation. By applying Krasnosel’skii’s fixed point theorem on time scales, it is then possible to obtain a fixed point of the operator that in turn corresponds to a solution of Eq. (3). Once this is accomplished, various qualitative properties of solution can be obtained.
Results
In what follows, all functional inequalities are assumed to hold eventually, that is, they are satisfied for all \(\ell\) large enough. Without loss of generality, in our proofs we only deal with positive solutions of (3).
The following two lemmas provide some inequalities that will be useful in our proofs.
Lemma 1
Let \(0< \omega < 1\) be the ratio of odd positive integers and A, \(B \ge 0\) with \(A \ge B\). Then: \(A^{\omega }  B^{\omega } \le (A  B)^{\omega }\).
Proof
For \(x \ge 1\) let \(f(x) = (x1)^{\omega }  x^{\omega } +1\). Then,
for \(x > 1\). Therefore, \(f(x) \ge f(1) = 0\) for \(x\ge 1\). Letting \(x = A/B\) proves the lemma. \(\square\)
Lemma 2
[15] Suppose that \(\omega >0\) and \(x^{\Delta }\) is of one sign on \([t_{0},\infty )\). Then
Lemma 3 below can be proved by following the lines of the proof of [20, Lemma 2.1].
Lemma 3
Let u be an eventually positive solution of (3). Then v satisfies one of the following cases:
 (a):

\(v>0\), \(v^{\Delta }>0\;\), and \(\;(a(v^{\Delta })^{\alpha })^{\Delta } \le 0\);
 (b):

\(v<0\), \(v^{\Delta }>0\;\), and \(\;(a(v^{\Delta })^{\alpha })^{\Delta } \le 0\)
for \(\ell \in {\mathbb{T}}\) sufficiently large.
Lemma 4
Let u be an eventually positive solution of (3) such that v satisfies case (b) of Lemma 3. Then
Proof
Let u be an eventually positive solution of (3) with \(u(m(\ell )) >0\) and \(u(\tau (\ell )) >0\) and such that Lemma 3(b) holds for \(\ell \ge \ell _{1}\) for some \(\ell _{1} \ge \ell _{0}\). Then \(v(\ell ) <0\) and \(v^{\Delta }(\ell ) >0\) for \(\ell \ge \ell _{1}\), so \(v(\ell )\) is bounded.
We will consider two possibilities. First assume that \(u(\ell )\) is bounded. Then,
To show that \(L=0\), assume that \(L>0\). Then there is a sequence \(\{\ell _{k}\} \rightarrow \infty\) such that \(\{u(\ell _{k})\} \rightarrow L\) as \(\ell \rightarrow \infty\). Let \(\epsilon =  L(1+q_{1})/2q_{1} >0\); then for large k, \(u(m(\ell _{k})) < L + \epsilon\), so
which is a contradiction.
Finally, to complete the proof, we need to show that \(u(\ell )\) is not unbounded. If \(u(\ell )\) is unbounded, then there is a sequence \(\{\ell _{j}\} \rightarrow \infty\) such that \(\{u(\ell _{j})\} \rightarrow \infty\) as \(j \rightarrow \infty\) and \(u(\ell _{j}) = \max \{u(\ell ) : \ell _{0} \le \ell \le \ell _{j}\}\). Now \(\{m(\ell _{j})\} \rightarrow \infty\) and \(m(\ell _{j}) \le \ell _{j}\), so
Hence, for large j,
which contradicts the fact that \(v(\ell ) <0\). This completes the proof of the lemma. \(\square\)
Our first result on the asymptotic behavior of solutions of Eq. (3) is as follows.
Theorem 5
Let \(({\mathcal{H}}_{1})\)–\(({\mathcal{H}}_{3})\) hold and assume that \(\alpha \ge 1\) and there is a constant \(\gamma \in {\mathbb{R}}_{+}\) such that \(\beta< \gamma < \alpha\). Then any solution of (3) either oscillates or satisfies \(\lim _{\ell \rightarrow \infty }u(\ell )=0\) if and only if
 \(({\mathcal{H}}_{4})\):

\(\displaystyle {\int _{\ell _{0}}^{\infty }\Lambda (s){\mathcal{A}}^{\beta }(\tau (s)) \Delta s=\infty }\).
Proof
Necessity: To prove the necessity of the condition, assume that \(({\mathcal{H}}_{4})\) does not hold. Then there exists \(\ell _{1}>\ell _{0}\) such that
Let
Clearly, \(\chi\) is a Banach space with the norm \(\Vert u\Vert =\sup _{\ell \in [\ell _{0},\infty )_{{\mathbb{T}}}}\frac{u(\ell )}{{\mathcal{A}}(\ell )}\). For any \(\varsigma _{1}>0\), \(\varsigma _{2} >0\), and \(\ell ^{*} \in [\ell _{0},\infty )_{{\mathbb{T}}}\) with \(\varsigma _{1}< (1+q_{1}) \varsigma _{2}\), let \(\Omega _{\varsigma _{1}, \varsigma _{2}} \subset \chi\) be given by
By (4), we can find \(\ell ^{*}>\ell _{1}\), \(\varsigma _{1}\), \(\varsigma _{2}\), and \(\varsigma _{3}\) such that \((\varsigma _{1})^{\alpha }< \varsigma _{3} < ((1+q_{1})\varsigma _{2})^{\alpha }\) and
Define two maps \(\Gamma _{1}\) and \(\Gamma _{2}\) on \(\Omega _{\varsigma _{1}, \varsigma _{2}}\) by
and
First, we show that for any \(u_{1}\), \(u_{2}\in \Omega _{\varsigma _{1}, \varsigma _{2}}\), we have \(\Gamma _{1}u_{1}+\Gamma _{2}u_{2}\in \Omega _{\varsigma _{1}, \varsigma _{2}}\). To do this, let \(u_{1}, u_{2}\in \Omega _{\varsigma _{1}, \varsigma _{2}}\). Note that \(u(\ell )\le \varsigma _{2} {\mathcal{A}}(\ell )\), so \(u^{\beta }(\tau (\ell ))\le \varsigma _{2}^{\beta } {\mathcal{A}}^{\beta }(\tau (\ell ))\). This, together with (5) implies that for \(\ell \ge \ell ^{*}\),
and
Therefore, \(\Gamma _{1}u_{1}+\Gamma _{2}u_{2} \in \Omega _{\varsigma _{1}, \varsigma _{2}}\).
Next, we show that \(\Gamma _{1}\) is a contraction mapping on \(\Omega _{\varsigma _{1}, \varsigma _{2}}\). Now for \(u_{1}\), \(u_{2}\in \Omega _{\varsigma _{1}, \varsigma _{2}}\) and \(\ell \ge \ell ^{*}\), we have
that is,
Since \(0 \le q_{1}<1\), \(\Gamma _{1}\) is a contraction.
To show that \(\Gamma _{2}\) is completely continuous, we will first show that \(\Gamma _{2}\) is continuous. So fix \(\ell \ge \ell ^*\) and let \(u_{k}\in \Omega _{\varsigma _{1}, \varsigma _{2}}\) be such that \(u_{k}(\ell )\rightarrow u(\ell )\) as \(k\rightarrow \infty\). By taking a subsequence if necessary and again calling it \(u_{k}(\ell )\), we can assume that \(u_{k}(\ell )  u(\ell )\) is of fixed sign, say \(u_{k}(\ell ) \ge u(\ell )\) for \(k = 1, 2, \dots\). Since \(\Omega _{\varsigma _{1}, \varsigma _{2}}\) is closed, \(u(\ell )\in \Omega _{\varsigma _{1}, \varsigma _{2}}\). By Lemma 1 with \(\omega = 1/ \alpha \le 1\), we obtain
Since \(u_{k}^{\beta }(\tau (\theta ))u^{\beta }(\tau (\theta ))\rightarrow 0\) as \(k\rightarrow \infty\), an application of Lebesgue’s dominated convergence theorem shows that \(\lim _{k\rightarrow \infty }(\Gamma _{2}u_{k})(\ell )(\Gamma _{2}u)(\ell )\rightarrow 0\), so \(\Gamma _{2}u\) is continuous.
To show that \(\Gamma _{2}\) is relatively compact, it suffices to show that the family of functions \(\{\Gamma _{2}u:u\in \Omega _{\varsigma _{1}, \varsigma _{2}}\}\) is uniformly bounded and equicontinuous on \([\ell ^{*},\infty )_{{\mathbb{T}}}\). Clearly, \(\Gamma _{2}u\) is uniformly bounded. To see that \(\Gamma _{2}\) is equicontinuous, let \(\epsilon >0\) be given and choose \(\delta > 0\) such that \(\ell _{3}> \ell _{2}\ge \ell ^{*}\) and \(\ell _{2}  \ell _{1} < \delta\) implies \({\mathcal{A}}(\ell _{3}){\mathcal{A}}(\ell _{2}) < \epsilon \left\{ \frac{1}{[(1+q_{1})\varsigma _{2}]^{\alpha }\varsigma _{3}}\right\} ^{1/\alpha }\). Then,
Thus, \(\{\Gamma _{2}u : u\in \Omega _{\varsigma _{1}, \varsigma _{2}}\}\) is uniformly bounded and equicontinuous on \([\ell ^{*},\infty )_{{\mathbb{T}}}\), and so \(\Gamma _{2}u\) is relatively compact. By Krasnosel’skii’s fixed point theorem [29, Lemma 5], \(\Gamma _{1} + \Gamma _{2}\) has a unique fixed point \(u\in \Omega _{\varsigma _{1}, \varsigma _{2}}\), i.e., \(\Gamma _{1}u+\Gamma _{2}u=u\). That is,
is a nonoscillatory solution of (3).
Sufficiency: Now assume that v is a nonoscillatory solution of (3). Then Lemma 3 holds for \(\ell \in [\ell _{1}, \infty )_{{\mathbb{T}}}\) for some \(\ell _{1} \ge \ell _{0}\), and there are two possible cases.
Case a Since \(a(v^{\Delta })^{\alpha }\) is nonincreasing and positive for \(\ell \in [\ell _{1}, \infty )_{{\mathbb{T}}}\), we can find \({\mathcal{C}}>0\) and \(\ell _{2} > \ell _{0}\) such that
Integrating from \(\ell _{2}\) to \(\ell\) gives
Since \(\lim _{\ell \rightarrow \infty }{\mathcal{A}}(\ell )=\infty\),
for \(\ell\) sufficiently large, say \(\ell \ge \ell _{3}\). Now \(\beta <\gamma\) and (6) imply
Therefore, (3) becomes
Integrating the last inequality from \(\ell \ge \ell _{3}\) to \(\infty\) gives
which implies
As a result,
Integrating this from \(\ell _{3}\) to \(\ell\), we have
Consequently,
Clearly, \(\displaystyle {\int _{\ell _{3}}^{\ell }\frac{1}{a(s)}\Delta s = {\mathcal{A}}(\ell ){\mathcal{A}}(\ell _{3}) =\pi (\ell ) {\mathcal{A}}(\ell )}\), where \(\pi (\ell )=\frac{{\mathcal{A}}(\ell ){\mathcal{A}}(\ell _{3})}{{\mathcal{A}}(\ell )}\). In view of \(({\mathcal{H}}_{3})\), we have \(\lim _{\ell \rightarrow \infty }\pi (\ell )=1\), so there exists \(\ell _{4} \ge \ell _{3}\) and \(\pi ^{*}\in (0,1)\) such that \(\pi (\ell )\ge \pi ^{*}\), that is,
Setting
in (8), we have
and in view of (9),
for \(\ell \in [\ell _{4},\infty )_{{\mathbb{T}}}\). From the preceding inequality, it is easy to verify that
which implies that
for \(\ell \in [\ell _{5},\infty )_{{\mathbb{T}}}\subset [\ell _{4},\infty )_{{\mathbb{T}}}\). From (10), we have
From Lemma 2 with \(\omega = \gamma / \alpha\) and \(x = \Psi (\ell )\) and the fact that \(\gamma < \alpha\), it follows that
for \(\ell \in [\ell _{5},\infty )_{{\mathbb{T}}}\). Integrating (11) from \(\ell _{5}\) to \(\ell\),
so
contradicting \(({\mathcal{H}}_{4})\).
Case b Now suppose \(v<0\) for \(\ell \in [\ell _{0},\infty )_{{\mathbb{T}}}\). Then \(u(\ell ) \rightarrow 0\) as \(\ell \rightarrow \infty\) by Lemma 4. This completes the proof of the theorem. \(\square\)
The following corollary is immediate.
Corollary 6
Under the assumption of Theorem 5, every unbounded solution of (3) oscillates if and only if \(({\mathcal{H}}_{4})\) holds.
Theorem 7
Let \(({\mathcal{H}}_{1})\)–\(({\mathcal{H}}_{3})\) hold, \(\sigma (\tau (\ell ))=\tau (\sigma (\ell ))\), \(a^{\Delta }(\ell )\ge 0\), and there is a constant \(\gamma \in {\mathbb{R}}_{+}\) such that \(\alpha<\gamma <\beta\). Then any solution \(u(\ell )\) of (3) is either oscillatory or satisfies \(\lim _{\ell \rightarrow \infty }u(\ell )=0\) if and only if
 \(({\mathcal{H}}_{5})\):

\(\displaystyle {\lim _{\ell \rightarrow \infty }\int _{\ell _{0}}^{\ell } \int _{s}^{\infty }\left( \frac{\Lambda (\theta )}{a(s)} \right) ^{1/\alpha }\Delta \theta \Delta s =\infty }\) .
Proof
Necessity: Assume that \(({\mathcal{H}}_{5})\) does not hold so that there exists \(\ell _{1} > \ell _{0}\) such that
Letting
we see that \(\chi\) is a Banach space with the norm \(\Vert u\Vert =\sup _{\ell \in [\ell _{0},\infty )_{{\mathbb{T}}}}u(\ell )\). Choose \(\varsigma _{1}>0\) and \(\varsigma _{2} >0\) so that \(\varsigma _{1}q_{1} \varsigma _{2} < \varsigma _{2}\) and consider \(\Omega _{\varsigma _{1}, \varsigma _{2}} \subset \chi\) to be
By (12), we can find \(\ell ^{*} > \ell _{1}\) and \(\varsigma _{3} >0\) such that \(\varsigma _{1}<\varsigma _{3}<(1+q_{1})\varsigma _{2}\) and
Define two maps \(\Gamma _{1}\) and \(\Gamma _{2}\) on \(\Omega\) by
and
To show that \(\Gamma _{1} + \Gamma _{2} : \Omega \rightarrow \Omega\), let \(u_{1}\), \(u_{2}\in \Omega\). Then from (13),
and
for \(\ell \ge \ell ^{*}\). Hence, \(\Gamma _{1}u_{1}+ \Gamma _{2}u_{2} \in \Omega _{\varsigma _{1}, \varsigma _{2}}\).
To see that \(\Gamma _{1}\) is a contraction, let \(u_{1}\), \(u_{2}\in \Omega _{\varsigma _{1}, \varsigma _{2}}\) and \(\ell \ge \ell ^{*}\). Then,
so
i.e., \(\Gamma _{1}\) is a contraction mapping.
To show that \(\Gamma _{2}\) is completely continuous, we begin by letting \(u_{k}\in \Omega _{\varsigma _{1}, \varsigma _{2}}\) be such that \(u_{k}(\ell )\rightarrow u(\ell )\) as \(k\rightarrow \infty\). Since \(\Omega _{\varsigma _{1}, \varsigma _{2}}\) is closed, \(u(\ell )\in \Omega _{\varsigma _{1}, \varsigma _{2}}\). Now
Since \(u_{k}^{\beta }(\tau (\theta ))u^{\beta }(\tau (\theta ))\rightarrow 0\) as \(k\rightarrow \infty\), an application of Lebesgue’s dominated convergence theorem implies \(\lim _{k\rightarrow \infty }(\Gamma _{2}u_{k})(\ell )(\Gamma _{2}u)(\ell )\rightarrow 0\). Hence, \(\Gamma _{2}u\) is continuous. To show that \(\Gamma _{2}u\) is relatively compact, it suffices to show that the family of functions \(\{\Gamma _{2}u:u\in \Omega _{\varsigma _{1}, \varsigma _{2}}\}\) is uniformly bounded and equicontinuous on \([\ell ^{*},\infty )_{{\mathbb{T}}}\). The uniform boundedness is clear.
To show \(\Gamma _{2}u\) is equicontinuous, let \(\epsilon >0\) be given and choose \(\delta > 0\) such that \(\ell _{3}>\ell _{2}\ge \ell ^{*}\) and \(\ell _{2}  \ell _{1} < \delta\) implies
Then,
Therefore, \(\Gamma _{2}u\) is relatively compact, and by Krasnosel’skii’s fixed point theorem [, Lemma 5], 29\(\Gamma _{1} + \Gamma _{2}\) has a unique fixed point \(u\in \Omega _{\varsigma _{1}, \varsigma _{2}}\). It follows that
is a nonoscillatory solution of (3).
Sufficiency: Let u be a nonoscillatory solution of (3) with Lemma 3 holding for \(\ell \in [\ell _{1},\infty )_{{\mathbb{T}}}\). We again consider two cases.
Case a Let \(v>0\); then \(u(\ell )\ge v(\ell )\) for \(\ell \in [\ell _{1},\infty )_{{\mathbb{T}}}\). From the fact that \(v^{\Delta }(\ell )>0\) for \(\ell \in [\ell _{1},\infty )_{{\mathbb{T}}}\), it follows that \(v(\tau (\ell ))\ge v(\tau (\ell _{1}))={\mathcal{C}}\) for \(\ell \in [\ell _{2},\infty )_{{\mathbb{T}}}\) for some \(\ell _{2} \ge \ell _{1}\). Since \(\gamma <\beta\),
and an integration from \(\ell\) to \(\infty\) gives
that is,
Using the fact that \(a^{\Delta }(\ell )\ge 0\), we see that
which implies
that is
Since \(\alpha < \gamma\), by Lemma 2
Integrating the preceding inequality from \(\ell _{2}\) to \(\ell\) gives
contradicting \(({\mathcal{H}}_{5})\).
Case b If \(v<0\), then \(u(\ell ) \rightarrow 0\) by Lemma 4. This proves the theorem. \(\square\)
The following corollary is analogous to Corollary 6.
Corollary 8
Under the assumption of Theorem 5, every unbounded solution of (3) oscillates if and only if \(({\mathcal{H}}_{5})\) holds.
Discussion
First, we constructed an appropriate Banach space as the setting on which to defining two mappings \(\Gamma _{1}\) and \(\Gamma _{2}\). The sum of these two mappings is an operator that is equivalent to an integral representation of the solution to the nonlinear dynamic equation (3) under investigation. By applying Krasnosel’skii’s fixed point theorem on time scales, it was then possible to obtain a fixed point of the operator that in turn corresponds to a solution of Eq. (3). Once this was accomplished, various results on the qualitative properties of solution were obtained. For example, we found sufficient conditions for positive solutions to converge to zero (Lemma 4). In addition, we were able to prove necessary and sufficient conditions for a solution to either oscillate or converge to zero (Theorems 5 and 7) , and necessary and sufficient conditions for unbounded solutions to oscillate (Corollaries 6 and 8).
Conclusion
In this work, we discuss two classes of oscillation criteria for (3). Note that Theorem 5 and Theorem 7 guarantee that a solution of (3) either oscillates or converges to zero. In Corollaries 6 and 8, we restrict the solutions to make (3) oscillatory. Here, we formulate some interesting problem for future research:

1.
Is it possible to find necessary and sufficient conditions for the oscillation of
$$\begin{aligned} {[}a(\ell )((u(\ell )+q(\ell )u(m(\ell )))^{\Delta })^{\alpha }]^{\Delta } + \Lambda (\ell ) u^{\beta }([\tau (\ell )])=0 \end{aligned}$$under the assumption \(\beta<\gamma <\alpha\) or \(\alpha<\gamma <\beta\)?

2.
Following the work in [19, 21], is it possible to find necessary and sufficient conditions for the oscillation of the forced equation
$$\begin{aligned} {[}a(\ell )((u(\ell )+q(\ell )u(m(\ell )))^{\Delta })^{\alpha }]^{\Delta } + \Lambda (\ell ) u^{\beta }(\tau (\ell ))=f(\ell ), \end{aligned}$$with either \(\beta<\gamma <\alpha\) or \(\alpha<\gamma <\beta\)?
Availability of data and materials
Data sharing is not applicable to this article as no datasets were generated or analyzed during the current study.
References
Agarwal, R.P., Grace, S.R., O’Regan, D.: Oscillation Theory for Second Order Linear. HalfLinear, Superlinear and Sublinear Dynamic Equations, Kluwer, Dordrecht (2002)
Agarwal, R.P., Bohner, M., Grace, S.R.: Discrete Oscillation Theory. Hindawi, New York (2005)
Agarwal, R.P., O’Regan, D., Saker, S.H.: Oscillation criteria for secondorder nonlinear neutral delay dynamic equations. J. Math. Anal. Appl. 300, 203–217 (2004)
Boe, E., Chang, H.C.: Dynamics of delayed systems under feedback control. Chem. Eng. Sci. 44, 1281–1294 (1989)
Bohner, M., Peterson, A.: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston (2001)
Bohner, M., Peterson, A.: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston (2003)
Bohner, M., Li, T.: Oscillation of second order pLaplace dynamic equations with a nonpositive neutral coefficient. Appl. Math. Lett. 37, 72–76 (2014)
Chen, D.X.: Oscillation of secondorder Emden–Fowler neutral delay dynamic equations on time scales. Math. Comput. Model. 51, 1221–1229 (2010)
Deng, X.H., Wang, Q.R.: Oscillation and nonoscillation for second order nonlinear neutral functional dynamic equations on time scales. Electron. J. Differ. Equ. 2013(234), 1–17 (2013)
Deng, X.H., Wang, Q.R., Zhou, Z.: Generalized Philostype oscillation criteria for second order nonlinear neutral delay dynamic equations on time scales. Appl. Math. Lett. 57, 69–76 (2016)
Dosly, O., Hilger, S.: A necessary and sufficient condition for oscillation of the Sturm–Liouville dynamic equation on time scales. J. Comput. Appl. Math. 141, 147–158 (2002)
Driver, D.R.: A mixed neutral system. Nonlinear Anal. 8, 155–158 (1984)
Erbe, L., Baoguo, J., Mert, R.: A Wongtype necessary and sufficient condition for nonoscillation of second order linear dynamic equations on time scales. Commun. Appl. Anal. 18, 41–58 (2014)
Erbe, L., Hassan, T.S., Peterson, A.: Oscillation criteria for nonlinear functional neutral dynamic equations on time scales. J. Differ. Equ. Appl. 15, 1097–1116 (2009)
Grace, S.R., Agarwal, R.P., Bohner, M., O’Regan, D.: Oscillation of second order strongly superlinear and strongly sublinear dynamic equations. Commun. Nonlinear Sci. Numer. Simul. 14, 3463–3471 (2009)
Hale, J.K.: Theory of Functional Differential Equations. Springer, New York (1977)
Hilger, S.: Analysis on measure chain—a unified approach to continuous and discrete calculus. Results Math. 18, 18–56 (1990)
Karpuz, B.: Sufficient conditions for the oscillation and asymptotic behaviour of higherorder dynamic equations of neutral type. Appl. Math. Comput. 221, 453–462 (2013)
Karpuz, B.: Necessary and sufficient conditions on the asymptotic behavior of secondorder neutral delay dynamic equations with positive and negative coefficients. Math. Methods Appl. Sci. 37, 1219–1231 (2014)
Li, Q., Wang, R., Chen, F.: Oscillation of secondorder nonlinear delay differential equations with nonpositive neutral coefficients. Adv. Differ. Equ. 2015(35), 1–7 (2015)
Mert, R., Zafer, A.: A necessary and sufficient condition for oscillation of second order sublinear delay dynamic equations. Discrete Contin. Dyn. Syst. 2011, 1061–1067 (2011)
Meng, F., Zheng, Z.: Recent development in oscillatory properties of certain differential equations. J. Appl. Anal. Comput. 8, 1282–1306 (2018)
Saker, S.H., O’Regan, D.: New oscillation criteria for secondorder neutral functional dynamic equations via the generalized Riccati substitution. Commun. Nonlinear Sci. Numer. Simulat. 16, 423–434 (2011)
Shi, Y., Han, Z., Sun, Y.: Oscillation criteria for a generalized Emden–Fowler dynamic equation on time scales. Adv. Differ. Equ. 2016(3), 1–12 (2016)
Tripathy, A.K.: Some oscillation results for second order nonlinear dynamic equations of neutral type. Nonlinear Anal. 71, e1727–e1735 (2009)
Yang, Q.S., Xu, Z.: Oscillation criteria for second order quasilinear neutral delay differential equations on time scales. Comput. Math. Appl. 62, 3682–3691 (2011)
Yang, Q.S., Xu, Z., Long, P.: Oscillation criteria for quasilinear neutral delay dynamic equations on time scales. Math. Slovaca 66, 185–196 (2016)
Zhang, M., Chen, W., ElSheikh, M.M.A., Sallam, R.A., Hassan, A.M., Li, T.: Oscillation criteria for secondorder nonlinear delay dynamic equations of neutral type. Adv. Differ. Equ. 2018(26), 1–9 (2018)
Zhu, Z.Q., Wang, Q.R.: Existence of nonoscillatory solutions to neutral dynamic equations on time scales. J. Math. Anal. Appl. 335, 751–762 (2007)
Funding
There are no funding sources to report.
Author information
Affiliations
Contributions
Each of the authors contributed equally to the research, writing, and preparation of this manuscript. In particular, GC, SG, and JG participated in the writing and revising of the manuscript. The formulation of the results was a joint effort by GC, SG, and JG. Although JG is serving as the corresponding author, GC and SG approved the final version of the paper before it was submitted. 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 licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chhatria, G.N., Grace, S.R. & Graef, J.R. Oscillation of nonlinear neutral dynamic equations on time scales. J Egypt Math Soc 29, 22 (2021). https://doi.org/10.1186/s4278702100131w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s4278702100131w
Keywords
 Oscillation
 Nonoscillation
 Neutral dynamic equation
 Time scales
 Fixed point theorem
Mathematics Subject Classification
 34C10
 34K11
 34N05
 39A10