Skip to main content
  • Original research
  • Open access
  • Published:

Oscillation of nonlinear neutral dynamic equations on time scales

Abstract

The authors present necessary and sufficient conditions for the oscillation of a class of second order non-linear neutral dynamic equations with non-positive 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

$$\begin{aligned} \left( r(\ell )|z^{\Delta }(\ell )|^{p-2}z^{\Delta }(\ell )\right) ^{\Delta }+q(\ell )|x(\delta (\ell ))|^{p-2}x(\delta (\ell ))=0, \end{aligned}$$
(1)

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

$$\begin{aligned} \left( r(\ell )(z^{\Delta }(\ell ))^{\alpha }\right) ^{\Delta }+q(\ell )f(x(\delta (\ell )))=0, \end{aligned}$$
(2)

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

$$\begin{aligned} {[}a(\ell )\big (v^{\Delta }(\ell )\big )^{\alpha }]^{\Delta } + \Lambda (\ell ) u^{\beta }(\tau (\ell ))=0, \quad \ell \in [\ell _{0}, \infty )_{{\mathbb{T}}}, \end{aligned}$$
(3)

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 right-dense 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

$$\begin{aligned} {\mathcal{A}}(\ell )=\int _{\ell _{0}}^{\ell }\frac{\Delta s}{a^{1/\alpha }(s)}, \end{aligned}$$

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) = (x-1)^{\omega } - x^{\omega } +1\). Then,

$$\begin{aligned} f'(x) = {\omega }\left[ (x-1)^{\omega -1} - x^{\omega -1}\right] = \left[ \frac{x^{1-\omega } - (x-1)^{1-\omega }}{x^{1-\omega }(x-1)^{1-\omega }}\right] \ge 0 \end{aligned}$$

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

$$\begin{aligned} \frac{|x|^{\Delta }}{(|x|^{\sigma })^{\omega }}\le \frac{(|x|^{1-\omega })^{\Delta }}{1-\omega }\le \frac{|x|^{\Delta }}{|x|^{\omega }} \;\, {\mathrm{on }} \; [t_{0},\infty ). \end{aligned}$$

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

$$\begin{aligned} \lim _{\ell \rightarrow \infty }u(\ell )=0. \end{aligned}$$

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,

$$\begin{aligned} \limsup _{\ell \rightarrow \infty } u(\ell ) = L \quad {\text{with}} \quad 0 \le L < \infty . \end{aligned}$$

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

$$\begin{aligned} 0 \ge \lim _{k\rightarrow \infty }v(\ell _{k}) = \lim _{k\rightarrow \infty } [u(\ell _{k}) + q(\ell _{k}) u(m(\ell _{k}))> L + q_{1}(L +\epsilon )> L(1+q_{1})/2 > 0, \end{aligned}$$

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

$$\begin{aligned} u(m(\ell _{j})) \le \max \{ u(\ell ) : \ell _{0} \le \ell \le \ell _{j} \} = u(\ell _{j}). \end{aligned}$$

Hence, for large j,

$$\begin{aligned} v(\ell _{j}) = u(\ell _{j}) + q(\ell _{j})u(m(\ell _{j})) \ge u(\ell _{j}) + q_{1}u(m(\ell _{j})) \ge (1+q_{1})u(\ell _{j}) >0, \end{aligned}$$

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

$$\begin{aligned} \int _{\ell _{1}}^{\infty }\Lambda (s){\mathcal{A}}^{\beta }(\tau (s)))\Delta s <\infty . \end{aligned}$$
(4)

Let

$$\begin{aligned} \chi = \left\{ u: u\in C_{rd}([\ell _{0},\infty )_{{\mathbb{T}}},{\mathbb{R}}) \ \left| \ \sup _{\ell \in [\ell _{0},\infty )_{{\mathbb{T}}}}\frac{u(\ell )}{{\mathcal{A}}(\ell )}<\infty \right. \right\} . \end{aligned}$$

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

$$\begin{aligned} \Omega _{\varsigma _{1}, \varsigma _{2}} = \{u \in \chi : \varsigma _{1}[{\mathcal{A}}(\ell )-{\mathcal{A}}(\ell ^{*})] \le u(\ell ) \le \varsigma _{2}[{\mathcal{A}}(\ell )-{\mathcal{A}}(\ell ^{*})], \ \ell \in [\ell _{0},\infty )_{{\mathbb{T}}}\}. \end{aligned}$$

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

$$\begin{aligned} \int _{\ell ^{*}}^{\infty }\Lambda (s){\mathcal{A}}^{\beta }(\tau (s)))\Delta s \le \frac{((1+q_{1})\varsigma _{2})^{\alpha }-\varsigma _{3}}{\varsigma _{2}^{\beta }}. \end{aligned}$$
(5)

Define two maps \(\Gamma _{1}\) and \(\Gamma _{2}\) on \(\Omega _{\varsigma _{1}, \varsigma _{2}}\) by

$$\begin{aligned} (\Gamma _{1} u)(\ell )= \left\{ \begin{array}{ll} (\Gamma _{1} u)(\ell ^{*}), &{}\quad \ell \in [\ell _{0}, \ell ^{*})_{{\mathbb{T}}},\\ -q(\ell )u(m(\ell )), &{}\quad \ell \in [\ell ^{*}, \infty )_{{\mathbb{T}}} \end{array}\right. \end{aligned}$$

and

$$\begin{aligned} (\Gamma _{2} u)(\ell )= \left\{ \begin{array}{ll} (\Gamma _{2} u)(\ell ^{*}), &{}\quad \ell \in [\ell _{0}, \ell ^{*})_{{\mathbb{T}}},\\ \int _{\ell ^{*}}^{\ell }\left[ \frac{1}{a(s)}\left[ \varsigma _{3}+\int _{s}^{\infty }\Lambda (\theta )u^{\beta }(\tau (\theta ))\Delta \theta \right] \right] ^{1/\alpha }\Delta s, &{}\quad \ell \in [\ell ^{*}, \infty )_{{\mathbb{T}}}. \end{array}\right. \end{aligned}$$

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 ^{*}\),

$$\begin{aligned} (\Gamma _{1} u_{1})(\ell )+(\Gamma _{2} u_{2})(\ell )&=-\,q(\ell )u_{1}(m(\ell ))+\int _{\ell ^{*}}^{\ell }\left[ \frac{1}{a(s)}\left[ \varsigma _{3}+\int _{s}^{\infty } \Lambda (\theta )u_{2}^{\beta }(\tau (\theta ))\Delta \theta \right] \right] ^{1/\alpha }\Delta s\\&\le -\,q(\ell )u_{1}(m(\ell ))+\int _{\ell ^{*}}^{\ell }\left[ \frac{1}{a(s)}\left[ \varsigma _{3}+\int _{s}^{\infty }\varsigma _{2}^{\beta } \Lambda (\theta ){\mathcal{A}}^{\beta }(\tau (\theta ))\Delta \theta \right] \right] ^{1/\alpha }\Delta s\\&\le -\,q_{1} \varsigma _{2} [{\mathcal{A}}(m(\ell ))-{\mathcal{A}}(\ell ^{*})]+ \int _{\ell ^{*}}^{\ell }\left[ \frac{1}{a(s)}\left( \varsigma _{3}+((1+q_{1})\varsigma _{2})^{\alpha }-\varsigma _{3}\right) \right] ^{1/\alpha }\Delta s\\&\le -\,q_{1} \varsigma _{2} [{\mathcal{A}}(\ell )-{\mathcal{A}}(\ell ^{*})]+(1+q_{1})\varsigma _{2}[{\mathcal{A}}(\ell )-{\mathcal{A}}(\ell ^{*})]\\&\le \varsigma _{2} [{\mathcal{A}}(\ell )-{\mathcal{A}}(\ell ^{*})] \end{aligned}$$

and

$$\begin{aligned} (\Gamma _{1} u_{1})(\ell )+(\Gamma _{2} u_{2})(\ell )&=-\,q(\ell )u_{1}(m(\ell ))+\int _{\ell ^{*}}^{\ell }\left[ \frac{1}{a(s)}\left[ \varsigma _{3}+\int _{s}^{\infty } \Lambda (\theta )u_{2}^{\beta }(\tau (\theta ))\Delta \theta \right] \right] ^{1/\alpha }\Delta s\\&\ge \left[ \int _{\ell ^{*}}^{\ell }\varsigma _{3}\frac{1}{a(s)}\right] ^{1/\alpha }\Delta s\\&=\varsigma _{3}^{1/\alpha } [{\mathcal{A}}(\ell )-{\mathcal{A}}(\ell ^{*})]\\&\ge \varsigma _{1} [{\mathcal{A}}(\ell )-{\mathcal{A}}(\ell ^{*})]. \end{aligned}$$

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

$$\begin{aligned} |(\Gamma _{1}u_{1})(\ell )-(\Gamma _{1}u_{2})(\ell )|&\le |q(\ell )| |u_{1}(m(\ell ))-u_{2}(m(\ell ))|\le -\,q_{1}|u_{1}(m(\ell ))-u_{2}(m(\ell ))|, \end{aligned}$$

that is,

$$\begin{aligned} \Vert \Gamma _{1}u_{1}-\Gamma _{1}u_{2}\Vert \le -\,q_{1}\Vert u_{1}-u_{2}\Vert . \end{aligned}$$

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

$$\begin{aligned} |(\Gamma _{2}u_{k})(\ell )-(\Gamma _{2}u)(\ell )|&= \left| \int _{\ell ^{*}}^{\ell }\left[ \frac{1}{a(s)}\left[ \varsigma _{3}+\int _{s}^{\infty }\Lambda (\theta )u_{k}^{\beta }(\tau (\theta ))\Delta \theta \right] \right] ^{1/\alpha }\Delta s\right. \\&\left. \quad -\int _{\ell ^{*}}^{\ell }\left[ \frac{1}{a(s)}\left[ \varsigma _{3}+\int _{s}^{\infty }\Lambda (\theta )u^{\beta }(\tau (\theta ))\Delta \theta \right] \right] ^{1/\alpha }\Delta s\right| \\&\le \int _{\ell ^{*}}^{\ell }\left[ \frac{1}{a(s)} \int _{s}^{\infty } \Lambda (\theta ) \left| u_{k}^{\beta }(\tau (\theta ))-u^{\beta }(\tau (\theta ))\right| \Delta \theta \right] ^{1/\alpha }\Delta s. \end{aligned}$$

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,

$$\begin{aligned}&|(\Gamma _{2}u)(\ell _{3})-(\Gamma _{2}u)(\ell _{2})|\\&\quad = \left| \int _{\ell ^{*}}^{\ell _{3}}\left[ \frac{1}{a(s)}\int _{s}^{\infty }\Lambda (\theta )u^{\beta }(\tau (\theta ))\Delta \theta \right] ^{1/\alpha }\Delta s - \int _{\ell ^{*}}^{\ell _{2}}\left[ \frac{1}{a(s)}\int _{s}^{\infty }\Lambda (\theta )u^{\beta }(\tau (\theta ))\Delta \theta \right] ^{1/\alpha }\Delta s \right| \\&\quad = \left| \int _{\ell _{2}}^{\ell _{3}}\left[ \frac{1}{a(s)}\int _{s}^{\infty }\Lambda (\theta )u^{\beta }(\tau (\theta ))\Delta \theta \right] ^{1/\alpha }\Delta s \right| \\&\quad \le \left| \int _{\ell _{2}}^{\ell _{3}}\left[ \frac{1}{a(s)}\int _{s}^{\infty }\Lambda (\theta )\varsigma _{2}^{\beta } {\mathcal{A}}^{\beta }(\tau (\theta ))\Delta \theta \right] ^{1/\alpha }\Delta s \right| \\&\quad \le [{\mathcal{A}}(\ell _{3})-{\mathcal{A}}(\ell _{2})]\left[ \int _{s}^{\infty }\Lambda (\theta )\varsigma _{2}^{\beta } {\mathcal{A}}^{\beta }(\tau (\theta ))\Delta \theta \right] ^{1/\alpha }\Delta s < \epsilon . \end{aligned}$$

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,

$$\begin{aligned} u(\ell )= -q(\ell )u(m(\ell ))+\int _{\ell ^{*}}^{\ell }\left[ \frac{1}{a(s)}\left[ \varsigma _{3}+\int _{s}^{\infty }\Lambda (\theta )u^{\beta }(\tau (\theta ))\Delta \theta \right] \right] ^{1/\alpha }\Delta s, \ \ \ell \in [\ell ^{*},\infty )_{{\mathbb{T}}}. \end{aligned}$$

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

$$\begin{aligned} a(\ell )(v^{\Delta }(\ell ))^{\alpha } \le {\mathcal{C}} \ \ {\text{for}} \ \ \ell \in [\ell _{2}, \infty )_{{\mathbb{T}}}. \end{aligned}$$

Integrating from \(\ell _{2}\) to \(\ell\) gives

$$\begin{aligned} v(\ell )\le v(\ell _{2})+{\mathcal{C}}^{1/\alpha }\int _{\ell _{2}}^{\ell }\frac{\Delta s}{a^{1/\alpha }(s)}= v(\ell _{2})+{\mathcal{C}}^{1/\alpha }\left( {\mathcal{A}}(\ell )-{\mathcal{A}}(\ell _{2})\right) . \end{aligned}$$

Since \(\lim _{\ell \rightarrow \infty }{\mathcal{A}}(\ell )=\infty\),

$$\begin{aligned} v(\ell )\le {\mathcal{C}}^{1/\alpha } {\mathcal{A}}(\ell ) \end{aligned}$$
(6)

for \(\ell\) sufficiently large, say \(\ell \ge \ell _{3}\). Now \(\beta <\gamma\) and (6) imply

$$\begin{aligned} v^{\beta }(\tau (\ell ))= v^{\beta -\gamma }(\tau (\ell ))v^{\gamma }(\tau (\ell )) \ge [{\mathcal{C}}^{1/\alpha } {\mathcal{A}}(\tau (\ell ))]^{\beta -\gamma } v^{\gamma }(\tau (\ell )). \end{aligned}$$

Therefore, (3) becomes

$$\begin{aligned} {[}a(t)(v^{\Delta }(\ell ))^{\alpha }]^{\Delta } +\Lambda (\ell )[{\mathcal{C}}^{1/\alpha } {\mathcal{A}}(\tau (\ell ))]^{\beta -\gamma } v^{\gamma }(\tau (\ell ))\le 0. \end{aligned}$$

Integrating the last inequality from \(\ell \ge \ell _{3}\) to \(\infty\) gives

$$\begin{aligned} \lim _{t\rightarrow \infty }a(t)(v^{\Delta }(t))^{\alpha }-a(\ell )(v^{\Delta }(\ell ))^{\alpha }+ \int _{\ell }^{\infty } \Lambda (s)[{\mathcal{C}}^{1/\alpha } {\mathcal{A}}(\tau (s))]^{\beta -\gamma } v^{\gamma }(\tau (s))\Delta s\le 0, \end{aligned}$$

which implies

$$\begin{aligned} a(\ell )(v^{\Delta }(\ell ))^{\alpha } \ge \int _{\ell }^{\infty } \Lambda (s)[{\mathcal{C}}^{1/\alpha } {\mathcal{A}}(\tau (s))]^{\beta -\gamma } v^{\gamma }(\tau (s))\Delta s. \end{aligned}$$

As a result,

$$\begin{aligned} v^{\Delta }(\ell ) \ge \left[ \frac{1}{a(\ell )}\int _{\ell }^{\infty } \Lambda (s)[{\mathcal{C}}^{1/\alpha } {\mathcal{A}}(\tau (s))]^{\beta -\gamma } v^{\gamma }(\tau (s))\Delta s\right] ^{1/\alpha }. \end{aligned}$$
(7)

Integrating this from \(\ell _{3}\) to \(\ell\), we have

$$\begin{aligned} v(\ell ) \ge \int _{\ell _{3}}^{\ell }\left[ \frac{1}{a(s)}\int _{s}^{\infty } \Lambda (\theta )[{\mathcal{C}}^{1/\alpha } {\mathcal{A}}(\tau (\theta ))]^{\beta -\gamma } v^{\gamma }(\tau (\theta ))\Delta \theta \right] ^{1/\alpha }\Delta s. \end{aligned}$$

Consequently,

$$\begin{aligned} v(\ell )\ge [{\mathcal{A}}(\ell )-{\mathcal{A}}(\ell _{1})]\left[ \int _{s}^{\infty } \Lambda (\theta )[{\mathcal{C}}^{1/\alpha } {\mathcal{A}}(\tau (\theta ))]^{\beta -\gamma } v^{\gamma }(\tau (\theta ))\Delta \theta \right] ^{1/\alpha }. \end{aligned}$$
(8)

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,

$$\begin{aligned} {\mathcal{A}}(\ell )-{\mathcal{A}}(\ell _{3})\ge \pi ^{*} {\mathcal{A}}(\ell ) \ {\text{for}} \ \ell \in [\ell _{4},\infty )_{{\mathbb{T}}}. \end{aligned}$$
(9)

Setting

$$\begin{aligned} \Psi (\ell )=\int _{\ell }^{\infty }\Lambda (s)({\mathcal{C}}^{1/\alpha }{\mathcal{A}}(\tau (s))^{\beta -\gamma }v^{\gamma }(\tau (s))\Delta s, \end{aligned}$$
(10)

in (8), we have

$$\begin{aligned} v(\ell )\ge [{\mathcal{A}}(\ell )-{\mathcal{A}}(\ell _{1})]\Psi ^{1/\alpha }(\ell ). \end{aligned}$$

and in view of (9),

$$\begin{aligned} v(\ell )\ge \pi ^{*} {\mathcal{A}}(\ell )\Psi ^{1/\alpha }(\ell ) \end{aligned}$$

for \(\ell \in [\ell _{4},\infty )_{{\mathbb{T}}}\). From the preceding inequality, it is easy to verify that

$$\begin{aligned} \frac{v^{\gamma }(\ell )}{{\mathcal{C}}^{\gamma /\alpha }{\mathcal{A}}^{\gamma }(\ell )} \ge \left( \frac{\pi ^{*}}{{\mathcal{C}}^{1/\alpha }}\right) ^{\gamma }\Psi ^{\gamma /\alpha }(\ell ) \end{aligned}$$

which implies that

$$\begin{aligned} \frac{v^{\gamma }(\tau (\ell ))}{{\mathcal{C}}^{\gamma /\alpha }{\mathcal{A}}^{\gamma }(\tau (\ell ))} \ge \left( \frac{\pi ^{*}}{{\mathcal{C}}^{1/\alpha }}\right) ^{\gamma }\Psi ^{\gamma /\alpha }(\tau (\ell )) \end{aligned}$$

for \(\ell \in [\ell _{5},\infty )_{{\mathbb{T}}}\subset [\ell _{4},\infty )_{{\mathbb{T}}}\). From (10), we have

$$\begin{aligned} \Psi ^{\Delta }(\ell )&=\left( \int _{\ell }^{\infty }\Lambda (s)({\mathcal{C}}^{1/\alpha }{\mathcal{A}}(\tau (s))^{\beta -\gamma }v^{\gamma }(\tau (s))\Delta s\right) ^{\Delta }\\&=-\Lambda (\ell )({\mathcal{C}}^{1/\alpha }{\mathcal{A}}(\tau (\ell ))^{\beta -\gamma }v^{\gamma }(\tau (\ell ))\\&=-\Lambda (\ell )({\mathcal{C}}^{1/\alpha }{\mathcal{A}}(\tau (\ell ))^{\beta }\left( \frac{v(\tau (\ell ))}{{\mathcal{C}}^{1/\alpha }{\mathcal{A}}(\tau (\ell ))}\right) ^{\gamma }\\&\le - (\pi ^{*})^{\gamma }{\mathcal{C}}^{(\beta -\gamma )/\alpha }\Lambda (\ell ){\mathcal{A}}^{\beta }(\tau (\ell ))\Psi ^{\gamma /\alpha }(\tau (\ell )). \end{aligned}$$

From Lemma 2 with \(\omega = \gamma / \alpha\) and \(x = \Psi (\ell )\) and the fact that \(\gamma < \alpha\), it follows that

$$\begin{aligned} -[\Psi ^{1-\gamma /\alpha }(\ell )]^{\Delta }&\ge -(1-\gamma /\alpha )\Psi ^{-\gamma /\alpha }(\ell )\Psi ^{\Delta }(\ell ) \nonumber \\&\ge (\pi ^{*})^{\gamma }{\mathcal{C}}^{(\beta -\gamma )/\alpha }(1-\gamma /\alpha )\Psi ^{-\gamma /\alpha }(\ell )\Lambda (\ell ){\mathcal{A}}^{\beta }(\tau (\ell ))\Psi ^{\gamma /\alpha }(\tau (\ell ))\nonumber \\&= (\pi ^{*})^{\gamma }{\mathcal{C}}^{(\beta -\gamma )/\alpha }(1-\gamma /\alpha )\Lambda (\ell ){\mathcal{A}}^{\beta }(\tau (\ell )) \end{aligned}$$
(11)

for \(\ell \in [\ell _{5},\infty )_{{\mathbb{T}}}\). Integrating (11) from \(\ell _{5}\) to \(\ell\),

$$\begin{aligned} -\Psi ^{1-\gamma /\alpha }(\ell )+\Psi ^{1-\gamma /\alpha }(\ell _{5})\ge (\pi ^{*})^{\gamma }{\mathcal{C}}^{(\beta -\gamma )/\alpha }(1-\gamma /\alpha )\int _{\ell _{5}}^{\ell }\Lambda (s){\mathcal{A}}^{\beta }(\tau (s))\Delta s \end{aligned}$$

so

$$\begin{aligned} \int _{\ell _{5}}^{\ell }\Lambda (s){\mathcal{A}}^{\beta }(\tau (s))\Delta s\le \frac{{\mathcal{C}}^{(\gamma -\beta )/\alpha }}{(\pi ^{*})^{\gamma }(1-\gamma /\alpha )}\Psi ^{1-\gamma /\alpha }(\ell _{5}) \end{aligned}$$

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

$$\begin{aligned} \int _{\ell _{1}}^{\infty }\left[ \frac{1}{a(s)} \int _{s}^{\infty }\Lambda (\theta )\Delta \theta \right] ^{1/\alpha }\Delta s < \infty . \end{aligned}$$
(12)

Letting

$$\begin{aligned} \chi =\left\{ u: u\in C_{rd}\left( [\ell _{0},\infty )_{{\mathbb{T}}}, {\mathbb{R}}\right) \left| \sup _{\ell \in [\ell _{0},\infty )_{{\mathbb{T}}}}u(\ell )<\infty \right. \right\} , \end{aligned}$$

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

$$\begin{aligned} \Omega _{\varsigma _{1}, \varsigma _{2}} =\{u \in \chi : \varsigma _{1}\le u(\ell )\le \varsigma _{2}, \ \ \ell \in [\ell _{0},\infty )_{{\mathbb{T}}}\}. \end{aligned}$$

By (12), we can find \(\ell ^{*} > \ell _{1}\) and \(\varsigma _{3} >0\) such that \(\varsigma _{1}<\varsigma _{3}<(1+q_{1})\varsigma _{2}\) and

$$\begin{aligned} \int _{\ell ^{*}}^{\infty }\left[ \frac{1}{a(s)}\int _{s}^{\infty }\Lambda (\theta )\Delta \theta \right] ^{1/\alpha }\Delta s\le \frac{(1+q_{1})\varsigma _{2}-\varsigma _{3}}{\varsigma _{2}^{\beta /\alpha }}. \end{aligned}$$
(13)

Define two maps \(\Gamma _{1}\) and \(\Gamma _{2}\) on \(\Omega\) by

$$\begin{aligned} (\Gamma _{1}u)(\ell )= \left\{ \begin{array}{ll} (\Gamma _{1}u)(\ell ^{*}),&{}\quad \ell \in [\ell _{0}, \ell ^{*})_{{\mathbb{T}}},\\ \varsigma _{3}-q(\ell )u(m(\ell )),&{}\quad \ell \in [\ell ^{*}, \infty )_{{\mathbb{T}}} \end{array}\right. \end{aligned}$$

and

$$\begin{aligned} (\Gamma _{2}u)(\ell )= \left\{ \begin{array}{ll} (\Gamma _{2}u)(\ell ^{*}),&{}\quad \ell \in [\ell _{0}, \ell ^{*})_{{\mathbb{T}}},\\ \int _{\ell ^{*}}^{\ell }\left[ \frac{1}{a(s)}\int _{s}^{\infty }\Lambda (\theta )u^{\beta }(\tau (\theta ))\Delta \theta \right] ^{1/\alpha }\Delta s, &{}\quad \ell \in [\ell ^{*}, \infty )_{{\mathbb{T}}}. \end{array}\right. \end{aligned}$$

To show that \(\Gamma _{1} + \Gamma _{2} : \Omega \rightarrow \Omega\), let \(u_{1}\), \(u_{2}\in \Omega\). Then from (13),

$$\begin{aligned} (\Gamma _{1}u_{1})(\ell )+(\Gamma _{2}u_{2})(\ell )&=\varsigma _{3}- q(\ell )u_{1}(m(\ell ))+\int _{\ell ^{*}}^{\ell }\left[ \frac{1}{a(s)}\int _{s}^{\infty }\Lambda (\theta )u_{2}^{\beta }(\tau (\theta ))\Delta \theta \right] ^{1/\alpha }\Delta s\\&\le \varsigma _{3}-q_{1}\varsigma _{2}+\int _{\ell ^{*}}^{\ell }\left[ \frac{1}{a(s)}\int _{s}^{\infty }\Lambda (\theta )u_{2}^{\beta }(\tau (\theta ))\Delta \theta \right] ^{1/\alpha }\Delta s\\&\le \varsigma _{3}-q_{1}\varsigma _{2}+ \varsigma _{2}^{\beta /\alpha }\int _{\ell ^{*}}^{\ell }\left[ \frac{1}{a(s)}\int _{s}^{\infty }\Lambda (\theta )\Delta \theta \right] ^{1/\alpha }\Delta s\\&\le \varsigma _{2} \end{aligned}$$

and

$$\begin{aligned} (\Gamma _{1}u_{1})(\ell )+(\Gamma _{2}u_{2})(\ell ) \ge \varsigma _{3}- q(\ell )u_{1}(m(\ell )) \ge \varsigma _{3}\ge \varsigma _{1} \end{aligned}$$

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,

$$\begin{aligned} |(\Gamma _{1}u_{1})(\ell )-(\Gamma _{1}u_{2})(\ell )|&\le |q(\ell )| |u_{1}(m(\ell ))-u_{2}(m(\ell ))|\le -q_{1}|u_{1}(m(\ell ))-u_{2}(m(\ell ))|, \end{aligned}$$

so

$$\begin{aligned} \Vert \Gamma _{1}u_{1}-\Gamma _{1}u_{2}\Vert \le -q_{1}\Vert u_{1}-u_{2}\Vert , \end{aligned}$$

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

$$\begin{aligned} |(\Gamma _{2}u_{k})(\ell )-(\Gamma _{2}u)(\ell )|&\le \int _{\ell ^{*}}^{\ell }\left[ \frac{1}{a(s)} \int _{s}^{\infty } \Lambda (\theta ) |u_{k}^{\beta }(\tau (\theta ))-u^{\beta }(\tau (\theta ))|\Delta \theta \right] ^{1/\alpha }\Delta s. \end{aligned}$$

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

$$\begin{aligned} \int _{\ell _{2}}^{\ell _{3}}\left[ \frac{1}{a(s)} \int _{s}^{\infty }\Lambda (\theta )\Delta \theta \right] ^{1/\alpha }\Delta s < \frac{\epsilon }{\varsigma _{2}^{\beta / \alpha }}. \end{aligned}$$

Then,

$$\begin{aligned}&|(\Gamma _{2}u)(\ell _{3})-(\Gamma _{2}u)(\ell _{2})|\\&\quad = \left| \int _{\ell ^{*}}^{\ell _{3}}\left[ \frac{1}{a(s)}\int _{s}^{\infty }\Lambda (\theta )u^{\beta }(\tau (\theta ))\Delta \theta \right] ^{1/\alpha }\Delta s - \int _{\ell ^{*}}^{\ell _{2}}\left[ \frac{1}{a(s)}\int _{s}^{\infty }\Lambda (\theta )u^{\beta }(\tau (\theta ))\Delta \theta \right] ^{1/\alpha }\Delta s \right| \\&\quad = \left| \int _{\ell _{2}}^{\ell _{3}}\left[ \frac{1}{a(s)}\int _{s}^{\infty }\Lambda (\theta )u^{\beta }(\tau (\theta ))\Delta \theta \right] ^{1/\alpha }\Delta s \right| \\&\quad \le \varsigma _{2}^{\beta /\alpha } \int _{\ell _{2}}^{\ell _{3}}\left[ \frac{1}{a(s)}\int _{s}^{\infty }\Lambda (\theta )\Delta \theta \right] ^{1/\alpha }\Delta s < \epsilon . \end{aligned}$$

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

$$\begin{aligned} u(\ell )= \varsigma _{3}-q(\ell )u(m(\ell ))+\int _{\ell ^{*}}^{\ell }\left[ \frac{1}{a(s)}\int _{s}^{\infty }\Lambda (\theta )u^{\beta }(\tau (\theta ))\Delta \theta \right] ^{1/\alpha }\Delta s, \ \ell \in [\ell ^{*},\infty )_{{\mathbb{T}}} \end{aligned}$$

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\),

$$\begin{aligned} v^{\beta }(\tau (\ell ))=v^{\beta -\gamma }(\tau (\ell ))v^{\gamma }(\tau (\ell ))\ge {\mathcal{C}}^{\beta -\gamma } v^{\gamma }(\tau (\ell )). \end{aligned}$$
(14)

Using (14) in (3), we obtain

$$\begin{aligned} {[}a(\ell )(v^{\Delta }(\ell ))^{\alpha }]^{\Delta }+ {\mathcal{C}}^{\beta -\gamma } \Lambda (\ell ) v^{\gamma }(\tau (\ell ))\le 0, \end{aligned}$$

and an integration from \(\ell\) to \(\infty\) gives

$$\begin{aligned} \lim _{t\rightarrow \infty }a(t)(v^{\Delta }(t))^{\alpha }-a(\ell )(v^{\Delta }(\ell ))^{\alpha }+{\mathcal{C}}^{\beta -\gamma } \int _{\ell }^{\infty } \Lambda (s) v^{\gamma }(\tau (s))\Delta s\le 0, \end{aligned}$$

that is,

$$\begin{aligned} {\mathcal{C}}^{\beta -\gamma }\int _{\ell }^{\infty }\Lambda (s) v^{\gamma }(\tau (s))\Delta s \le a(\ell )(v^{\Delta }(\ell ))^{\alpha }\le a(\tau (\ell ))(v^{\Delta }(\tau (\ell )))^{\alpha }. \end{aligned}$$

Using the fact that \(a^{\Delta }(\ell )\ge 0\), we see that

$$\begin{aligned} (v^{\Delta }(\tau (\ell )))^{\alpha } \ge \frac{{\mathcal{C}}^{\beta -\gamma }}{a(\ell )} \int _{\ell }^{\infty }\Lambda (s) v^{\gamma }(\tau (s))\Delta s, \end{aligned}$$

which implies

$$\begin{aligned} v^{\Delta }(\tau (\ell ))&\ge \frac{{\mathcal{C}}^{(\beta -\gamma )/\alpha }}{a^{1/\alpha }(\ell )} \left[ \int _{\ell }^{\infty }\Lambda (s) v^{\gamma }(\tau (s))\Delta s \right] ^{1/\alpha }\\&\ge \frac{{\mathcal{C}}^{(\beta -\gamma )/\alpha }}{a^{1/\alpha }(\ell )} \left[ \int _{\sigma (\ell )}^{\infty }\Lambda (s) v^{\gamma }(\tau (s))\Delta s \right] ^{1/\alpha }\\&\ge \frac{{\mathcal{C}}^{(\beta -\gamma )/\alpha }}{a^{1/\alpha }(\ell )} \left[ \int _{\sigma (\ell )}^{\infty }\Lambda (s)\Delta s \right] ^{1/\alpha }(v^{\sigma }(\tau (\ell )))^{\gamma /\alpha }, \end{aligned}$$

that is

$$\begin{aligned} v^{\Delta }(\tau (\ell ))(v^{\sigma }(\tau (\ell )))^{-\gamma / \alpha } \ge \frac{{\mathcal{C}}^{(\beta -\gamma )/\alpha }}{a^{1/\alpha }(\ell )}\left[ \int _{\sigma (\ell )}^{\infty }\Lambda (s)\Delta s \right] ^{1/\alpha }. \end{aligned}$$

Since \(\alpha < \gamma\), by Lemma 2

$$\begin{aligned} \frac{{\mathcal{C}}^{(\beta -\gamma )/\alpha }}{a^{1/\alpha }(\ell )}\left[ \int _{\sigma (\ell )}^{\infty }\Lambda (s)\Delta s \right] ^{1/\alpha } \le v^{\Delta }(\tau (\ell ))(v^{\sigma }(\tau (\ell )))^{-\gamma / \alpha } \le \frac{[v^{1- \gamma / \alpha }(\tau (\ell ))]^{\Delta }}{1- \gamma /\alpha }. \end{aligned}$$

Integrating the preceding inequality from \(\ell _{2}\) to \(\ell\) gives

$$\begin{aligned} {\mathcal{C}}^{(\beta -\gamma )/\alpha }\int _{\ell _{2}}^{\ell }\left[ \frac{1}{a(s)}\int _{s}^{\infty } \Lambda (\theta )\Delta \theta \right] ^{1/\alpha } \Delta s&\le \frac{1}{1- \gamma /\alpha }\int _{\ell _{2}}^{\ell } \big [v^{1- \gamma / \alpha }(\tau (s)))\big ]^{\Delta }\Delta s\\&= \frac{1}{\gamma /\alpha -1} \big [v^{1- \gamma / \alpha }(\tau (\ell _{2}))) - v^{1- \gamma / \alpha }(\tau (\ell ))\big ]\\&\le \frac{1}{\gamma /\alpha -1}v^{1- \gamma / \alpha }(\tau (\ell _{2})), \end{aligned}$$

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. 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. 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

  1. Agarwal, R.P., Grace, S.R., O’Regan, D.: Oscillation Theory for Second Order Linear. Half-Linear, Superlinear and Sublinear Dynamic Equations, Kluwer, Dordrecht (2002)

    Book  Google Scholar 

  2. Agarwal, R.P., Bohner, M., Grace, S.R.: Discrete Oscillation Theory. Hindawi, New York (2005)

    Book  Google Scholar 

  3. Agarwal, R.P., O’Regan, D., Saker, S.H.: Oscillation criteria for second-order nonlinear neutral delay dynamic equations. J. Math. Anal. Appl. 300, 203–217 (2004)

    Article  MathSciNet  Google Scholar 

  4. Boe, E., Chang, H.C.: Dynamics of delayed systems under feedback control. Chem. Eng. Sci. 44, 1281–1294 (1989)

    Article  Google Scholar 

  5. Bohner, M., Peterson, A.: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston (2001)

    Book  Google Scholar 

  6. Bohner, M., Peterson, A.: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston (2003)

    Book  Google Scholar 

  7. Bohner, M., Li, T.: Oscillation of second order p-Laplace dynamic equations with a nonpositive neutral coefficient. Appl. Math. Lett. 37, 72–76 (2014)

    Article  MathSciNet  Google Scholar 

  8. Chen, D.X.: Oscillation of second-order Emden–Fowler neutral delay dynamic equations on time scales. Math. Comput. Model. 51, 1221–1229 (2010)

    Article  MathSciNet  Google Scholar 

  9. 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)

    MathSciNet  Google Scholar 

  10. Deng, X.H., Wang, Q.R., Zhou, Z.: Generalized Philos-type oscillation criteria for second order nonlinear neutral delay dynamic equations on time scales. Appl. Math. Lett. 57, 69–76 (2016)

    Article  MathSciNet  Google Scholar 

  11. 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)

    Article  MathSciNet  Google Scholar 

  12. Driver, D.R.: A mixed neutral system. Nonlinear Anal. 8, 155–158 (1984)

    Article  MathSciNet  Google Scholar 

  13. Erbe, L., Baoguo, J., Mert, R.: A Wong-type necessary and sufficient condition for nonoscillation of second order linear dynamic equations on time scales. Commun. Appl. Anal. 18, 41–58 (2014)

    MATH  Google Scholar 

  14. 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)

    Article  MathSciNet  Google Scholar 

  15. 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)

    Article  MathSciNet  Google Scholar 

  16. Hale, J.K.: Theory of Functional Differential Equations. Springer, New York (1977)

    Book  Google Scholar 

  17. Hilger, S.: Analysis on measure chain—a unified approach to continuous and discrete calculus. Results Math. 18, 18–56 (1990)

    Article  MathSciNet  Google Scholar 

  18. Karpuz, B.: Sufficient conditions for the oscillation and asymptotic behaviour of higher-order dynamic equations of neutral type. Appl. Math. Comput. 221, 453–462 (2013)

    MathSciNet  MATH  Google Scholar 

  19. Karpuz, B.: Necessary and sufficient conditions on the asymptotic behavior of second-order neutral delay dynamic equations with positive and negative coefficients. Math. Methods Appl. Sci. 37, 1219–1231 (2014)

    Article  MathSciNet  Google Scholar 

  20. Li, Q., Wang, R., Chen, F.: Oscillation of second-order nonlinear delay differential equations with nonpositive neutral coefficients. Adv. Differ. Equ. 2015(35), 1–7 (2015)

    MathSciNet  Google Scholar 

  21. 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)

    MathSciNet  MATH  Google Scholar 

  22. Meng, F., Zheng, Z.: Recent development in oscillatory properties of certain differential equations. J. Appl. Anal. Comput. 8, 1282–1306 (2018)

    MathSciNet  MATH  Google Scholar 

  23. Saker, S.H., O’Regan, D.: New oscillation criteria for second-order neutral functional dynamic equations via the generalized Riccati substitution. Commun. Nonlinear Sci. Numer. Simulat. 16, 423–434 (2011)

    Article  MathSciNet  Google Scholar 

  24. 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)

    MathSciNet  MATH  Google Scholar 

  25. Tripathy, A.K.: Some oscillation results for second order nonlinear dynamic equations of neutral type. Nonlinear Anal. 71, e1727–e1735 (2009)

    Article  MathSciNet  Google Scholar 

  26. 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)

    Article  MathSciNet  Google Scholar 

  27. Yang, Q.S., Xu, Z., Long, P.: Oscillation criteria for quasi-linear neutral delay dynamic equations on time scales. Math. Slovaca 66, 185–196 (2016)

    Article  MathSciNet  Google Scholar 

  28. Zhang, M., Chen, W., El-Sheikh, M.M.A., Sallam, R.A., Hassan, A.M., Li, T.: Oscillation criteria for second-order nonlinear delay dynamic equations of neutral type. Adv. Differ. Equ. 2018(26), 1–9 (2018)

    MathSciNet  MATH  Google Scholar 

  29. 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)

    Article  MathSciNet  Google Scholar 

Download references

Funding

There are no funding sources to report.

Author information

Authors and Affiliations

Authors

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

Correspondence to John R. Graef.

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/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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/s42787-021-00131-w

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s42787-021-00131-w

Keywords

Mathematics Subject Classification