Skip to main content

Oscillation criteria for second-order nonlinear delay dynamic equations of neutral type

Abstract

We investigate oscillatory behavior of solutions to a class of second-order nonlinear neutral delay dynamic equations with nonpositive neutral coefficients. In particular, we study the corresponding noncanonical neutral differential equations. New oscillation criteria are established that complement and improve related contributions to the subject. An example is given to illustrate the main results.

Introduction

Differential, difference equations, and dynamic equations on time scales have an enormous potential for applications in biology, engineering, economics, physics, neural networks, social sciences, etc. Recently, significant attention has been devoted to the oscillation theory of various classes of equations; see, e.g., [121]. In this paper, we are concerned with the oscillatory behavior of solutions to a second-order neutral dynamic equation

$$ \bigl[r(t) \bigl(z^{\Delta}(t) \bigr)^{\alpha}\bigr]^{\Delta}+q(t)f \bigl(x \bigl(\delta (t) \bigr) \bigr)=0, \quad t \in[t_{0},\infty)_{\mathbb{T}}, $$
(1.1)

where \(\alpha\geq1\) is a ratio of odd integers and \(z(t)=x(t)-p(t)x(\tau(t))\). Throughout, the following assumptions are tacitly satisfied:

\((I_{1})\) :

\(r\in\mathrm{C}_{\mathrm{rd}}([t_{0},\infty )_{\mathbb{T}},(0,\infty))\), \(R(t)=\int_{t_{1}}^{t}r^{-\frac{1}{\alpha}}(s)\Delta s\), where \(t_{1}\in[t_{0},\infty)_{\mathbb{T}}\) is sufficiently large;

\((I_{2})\) :

\(p, q \in\mathrm{C}_{\mathrm{rd}}([t_{0},\infty )_{\mathbb{T}},\mathbb{R})\), \(0\leq p(t)\leq p_{0}<1\), \(q(t)\geq0\), and \(q(t)\) is not identically zero for large t;

\((I_{3})\) :

\(\tau, \delta\in\mathrm{C}_{\mathrm {rd}}([t_{0},\infty)_{\mathbb{T}},\mathbb{T})\), \(\tau(t)\leq t\), \(\delta(t)\leq t\), and \(\lim_{t\rightarrow\infty}\tau (t)=\lim_{t\rightarrow\infty}\delta(t)=\infty\);

\((I_{4})\) :

\(f \in\mathrm{C}(\mathbb{R}, \mathbb{R})\), \(xf (x) > 0\) for all \(x\neq0\), and there exists a positive constant k such that \({f (x)}/{x ^{\alpha}}\geq k \) for all \(x\neq0\).

We consider the following case:

$$ \int_{t_{0}}^{\infty}r^{-\frac{1}{\alpha}}(s)\Delta s=\infty. $$
(1.2)

By a solution of (1.1), we mean a function \(x \in \mathrm{C}_{\mathrm{rd}}[T_{x}, \infty)_{\mathbb{T}}\), \(T_{x} \in[t_{0}, \infty)_{\mathbb{T}}\), which has the property \(r(z^{\Delta})^{\alpha}\in\mathrm{C}^{1}_{\mathrm {rd}}[T_{x}, \infty)_{\mathbb{T}}\) and satisfies (1.1) on \([T_{x}, \infty)_{\mathbb{T}}\). We consider only those solutions x of (1.1) which satisfy \(\sup\{ \vert x(t) \vert : t \in[T, \infty)_{\mathbb{T}}\} > 0\) for all \(T\in[T_{x}, \infty)_{\mathbb{T}}\). We assume that (1.1) possesses such solutions. A solution of (1.1) is called oscillatory if it is neither eventually positive nor eventually negative; otherwise, it is termed nonoscillatory.

In recent years, many studies have been devoted to the oscillatory behavior of solutions to different classes of equations with nonnegative neutral coefficients; see, e.g., [2, 4, 5, 12, 13, 15, 20] and the references cited therein. However, for equations with nonpositive neutral coefficients, there are relatively fewer results in the literature; see [3, 4, 6, 11, 14, 1618]. For instance, in the particular case of (1.1) when \(\mathbb{T}=\mathbb{R}\), Li et al. [14] studied the differential equation

$$ \bigl[ r(t) \bigl(z^{\prime}(t) \bigr)^{\alpha} \bigr] ^{\prime }+q(t)f \bigl(x \bigl(\delta (t) \bigr) \bigr)=0, \quad t\geq t_{0}, $$
(1.3)

under the assumption that \(\int_{t_{0}}^{\infty}r^{-\frac{1}{\alpha} }(s)\,\mathrm{d}s=\infty\). Their results were improved by Arul and Shobha [3] who established new oscillation results for the solutions of (1.3). Seghar et al. [16] discussed the difference equation

$$ \Delta \bigl( a_{n}\Delta(x_{n}-p_{n}x_{n-k}) \bigr)+q_{n}f(x_{n-l})=0, \quad n\geq n_{0}, $$
(1.4)

where \(0\leq p_{n}\leq p<1\), \(q_{n}>0\), and \(k, l\) are positive integers, and they obtained several oscillation criteria for (1.4) assuming that \(\sum_{n=n_{0}}^{\infty}\frac{1}{a_{n}}<\infty\). Karpuz [11] established some sufficient conditions which guarantee that every solution of the second-order dynamic equation

$$ \bigl(x(t)-p(t)x \bigl(\tau(t) \bigr) \bigr)^{\Delta\Delta}+q(t)x \bigl( \delta(t) \bigr)=0, \quad t\in[t_{0},\infty)_{\mathbb{T}} $$

oscillates or tends to zero, where \(0\leq p(t)\leq1\) and \(\int _{t_{0}}^{\infty }q(t)\Delta t=\infty\). Bohner and Li [6] gave new oscillation criteria for a class of second-order p-Laplace dynamic equations

$$ \bigl(r(t) \bigl\vert z^{\Delta}(t) \bigr\vert ^{p-2}z^{\Delta}(t) \bigr)^{\Delta}+q(t)\bigl\vert x \bigl(\delta(t) \bigr) \bigr\vert ^{p-2}x \bigl(\delta(t) \bigr)=0, \quad t\in[t_{0},\infty )_{\mathbb{T}}, $$

where \(z(t)=x(t)-p(t)x(\tau(t))\), \(p>1\) is a constant, \(0\leq p(t)\leq p_{0}<1\), \(q(t)>0\), and \(\int_{t_{0}}^{\infty}r^{-\frac{1}{p-1}}(s)\Delta s=\infty\).

The aim of this paper is not only to improve some results in the cited papers but also to present new oscillation criteria for (1.3) in the noncanonical case

$$ \int_{t_{0}}^{\infty}r^{-\frac{1}{\alpha}}(s)\,\mathrm{d}s< \infty. $$
(1.5)

In what follows, all functional inequalities are assumed to hold eventually. Without loss of generality, we can deal only with eventually positive solutions of (1.1) and (1.3).

Auxiliary results

The following auxiliary results may play a major role throughout the proofs of our main results.

Lemma 2.1

(Bohner and Peterson [7])

Assume that \(v : \mathbb{T}\rightarrow\mathbb{R}\) is strictly increasing and \(\tilde{\mathbb {T}}:= v(\mathbb{T})\) is a time scale. Let \(y : \tilde{\mathbb{T}}\rightarrow \mathbb{R}\). If \(y^{\tilde{\Delta}}(v(t))\) and \(v^{\Delta}(t)\) exist for \(t \in \mathbb{T}^{\kappa}\), then

$$ \bigl(y \bigl(v(t) \bigr) \bigr)^{\Delta}=y^{\tilde{\Delta}} \bigl(v(t) \bigr)v^{\Delta}(t). $$

The following results can be obtained by similar techniques to those used in [3, 14].

Lemma 2.2

Let \(x(t)\) be an eventually positive solution of (1.1) and assume that (1.2) holds. Then \(z(t)\) satisfies one of the following two possibilities:

  1. (I)

    \(z(t)>0\), \(z^{\Delta}(t)>0\), \((r(t)(z^{\Delta}(t))^{\alpha})^{\Delta}\leq0\);

  2. (II)

    \(z(t)<0\), \(z^{\Delta}(t)>0\), \((r(t)(z^{\Delta}(t))^{\alpha})^{\Delta}\leq0\),

for \(t\in[t_{1},\infty)_{\mathbb{T}}\), where \(t_{1}\in[t_{0},\infty )_{\mathbb{T}}\) is sufficiently large.

Lemma 2.3

Let \(x(t)\) be an eventually positive solution of (1.1) and assume that the corresponding \(z(t)\) has property (II) of Lemma 2.2. Then

$$ \lim_{t\rightarrow\infty}x(t)=0. $$

Lemma 2.4

If \(x(t)\) is an eventually positive solution of (1.1) such that case (I) of Lemma 2.2 holds, then \(x(t)\geq z(t)\) and \({z(t)}/{R(t)}\) is strictly decreasing for large t.

Main results

Theorem 3.1

Assume that (1.2) holds, \(\delta([t_{0},\infty )_{\mathbb{T}})=[\delta(t_{0}),\infty)_{\mathbb{T}}\), and \(\delta^{\Delta}(t)>0\). If

$$ \limsup_{t\rightarrow\infty} \biggl[ Q(t)+\alpha \int_{t}^{\infty }\delta^{\Delta}(s) r^{-\frac{1}{\alpha}} \bigl(\delta(s) \bigr)Q^{\frac{\alpha +1}{\alpha}} \bigl(\sigma(s) \bigr) \Delta s \biggr] \biggl( \int_{t_{0}}^{\delta(t)} r^{-\frac {1}{\alpha}}(s)\Delta s \biggr)^{\alpha}> 1, $$
(3.1)

where \(Q(t)=\int_{t}^{\infty}k q(u)\Delta u\), then every solution \(x(t)\) of (1.1) is either oscillatory or satisfies \(\lim_{t\rightarrow\infty} x(t) = 0\).

Proof

Suppose that (1.1) has a nonoscillatory solution \(x(t)\) such that \(x(t)>0\), \(x(\tau(t))>0\), and \(x(\delta(t))>0\) for \(t\in[t_{1},\infty )_{\mathbb{T}}\). Then, by virtue of Lemma 2.2, \(z(t)\) satisfies one of the two cases (I) and (II) for \(t\in[t_{1},\infty )_{\mathbb{T}}\).

Case 1. Assume first that \(z(t)\) satisfies case (I). From the definition of \(z(t)\), we have

$$ x(t)=z(t)+p(t)x \bigl(\tau(t) \bigr)\geq z(t) , $$

and therefore (1.1) takes the form

$$ \bigl[r(t) \bigl(z^{\Delta}(t) \bigr)^{\alpha}\bigr]^{\Delta}\leq-kq(t)z^{\alpha}\bigl(\delta(t) \bigr). $$

Define the Riccati substitution

$$ \nu(t)=\frac{r(t)(z^{\Delta}(t))^{\alpha}}{z^{\alpha}(\delta(t))}. $$
(3.2)

It is clear that \(\nu(t)>0\) and

$$ \begin{aligned}[b] \nu^{\Delta}(t) &= \frac{ [r(t)(z^{\Delta}(t))^{\alpha}]^{\Delta}}{z^{\alpha}(\delta(t))}+ \bigl[r(t) \bigl(z^{\Delta}(t) \bigr)^{\alpha}\bigr]^{\sigma}\biggl[\frac{1}{z^{\alpha}(\delta (t))} \biggr]^{\Delta}\\ &\leq-kq(t) -\alpha\delta^{\Delta}(t) \nu \bigl(\sigma(t) \bigr) \frac {z^{\Delta}(\delta(t))}{z(\delta(\sigma(t)))}. \end{aligned} $$
(3.3)

Note that

$$ \nu^{\frac{1}{\alpha}} \bigl(\sigma(t) \bigr)=\frac{r^{\frac{1}{\alpha }}(\sigma(t))z^{\Delta}(\sigma(t))}{z(\delta(\sigma(t)))}. $$
(3.4)

Using the fact that \(r(t)(z^{\Delta}(t))^{\alpha}\) is nonincreasing and \(\delta(t)\leq t \leq\sigma(t)\), (3.4) yields

$$ \frac{\nu^{\frac{1}{\alpha}}(\sigma(t))}{r^{\frac{1}{\alpha }}(\delta(t))}\leq\frac{z^{\Delta}(\delta(t))}{z(\delta(\sigma(t)))}. $$
(3.5)

Substituting (3.5) into (3.3), we get

$$ \nu^{\Delta}(t)\leq-kq(t) -\alpha\delta^{\Delta}(t) r^{-\frac {1}{\alpha}} \bigl(\delta(t) \bigr)\nu^{\frac{\alpha+1}{\alpha}} \bigl(\sigma(t) \bigr). $$
(3.6)

Integrating (3.6) on \([t, s]\), we have

$$ \nu(s)-\nu(t)\leq- \int_{t}^{s}kq(u)\Delta u-\alpha \int _{t}^{s}\delta^{\Delta}(u) r^{-\frac{1}{\alpha}} \bigl(\delta(u) \bigr)\nu ^{\frac{\alpha+1}{\alpha}} \bigl(\sigma(u) \bigr) \Delta u, $$

which implies that

$$ \nu(t)\geq \int_{t}^{s}kq(u)\Delta u+\alpha \int_{t}^{s}\delta ^{\Delta}(u) r^{-\frac{1}{\alpha}} \bigl(\delta(u) \bigr)\nu^{\frac{\alpha +1}{\alpha}} \bigl(\sigma(u) \bigr) \Delta u. $$

Letting \(s\rightarrow\infty\), we obtain

$$ \nu(t)\geq Q(t)+\alpha \int_{t}^{\infty}\delta^{\Delta}(u) r^{-\frac {1}{\alpha}} \bigl(\delta(u) \bigr)\nu^{\frac{\alpha+1}{\alpha}} \bigl(\sigma (u) \bigr)\Delta u. $$
(3.7)

An application of (3.7) yields

$$ \nu(t)\geq Q(t)+\alpha \int_{t}^{\infty}\delta^{\Delta}(u) r^{-\frac {1}{\alpha}} \bigl(\delta(u) \bigr)Q^{\frac{\alpha+1}{\alpha}} \bigl(\sigma (u) \bigr)\Delta u. $$
(3.8)

By (3.2), we conclude that

$$\begin{aligned} \frac{1}{\nu(t)} =& \frac{1}{r(t)} \biggl(\frac{z(\delta (t))}{z^{\Delta}(t)} \biggr)^{\alpha}\\ =&\frac{1}{r(t)} \biggl(\frac{z(t_{2})+\int_{t_{2}}^{\delta (t)} r^{\frac{1}{\alpha}}(s)z^{\Delta}(s)r^{-\frac{1}{\alpha }}(s)\Delta s}{z^{\Delta}(t)} \biggr)^{\alpha}\\ \geq& \frac{1}{r(t)} \biggl(\frac{r^{\frac{1}{\alpha}}(t)z^{\Delta}(t)\int_{t_{2}}^{\delta(t)} r^{-\frac{1}{\alpha}}(s)\Delta s}{z^{\Delta}(t)} \biggr)^{\alpha}, \end{aligned}$$

i.e.,

$$ \nu(t) \biggl( \int_{t_{2}}^{\delta(t)} r^{-\frac{1}{\alpha}}(s)\Delta s \biggr)^{\alpha}\leq1. $$
(3.9)

It follows now from (3.8) and (3.9) that

$$ \limsup_{t\rightarrow\infty} \biggl[ Q(t)+\alpha \int_{t}^{\infty }\delta^{\Delta}(s) r^{-\frac{1}{\alpha}} \bigl(\delta(s) \bigr)Q^{\frac{\alpha +1}{\alpha}} \bigl(\sigma(s) \bigr)\Delta s \biggr] \biggl( \int_{t_{2}}^{\delta(t)} r^{-\frac{1}{\alpha}}(s)\Delta s \biggr)^{\alpha}\leq1, $$

which contradicts (3.1).

Case 2. Assume now that \(z(t)\) satisfies case (II). By virtue of Lemma 2.3, \(\lim_{t\rightarrow\infty}x(t)=0\). The proof is complete. □

Theorem 3.2

Assume that (1.2) holds. If there exists a positive function \(\beta\in \mathrm{C}_{\mathrm{rd}}^{1}([t_{0},\infty)_{\mathbb{T}}, \mathbb{R})\) such that, for all sufficiently large \(t_{1}\in[ t_{0}, \infty)_{\mathbb{T}}\) and for some \(t_{2}\in[t_{1},\infty)_{\mathbb{T}}\),

$$ \limsup_{t\rightarrow\infty}\int_{t_{2}}^{t} \biggl[kq(s)\beta(s) \biggl( \frac{R(\delta (s))}{R(s)} \biggr)^{\alpha}-\frac{1}{(\alpha+1)^{\alpha+1}} \frac{(\beta^{\Delta}(s))^{\alpha+1}r(s)}{\beta^{\alpha}(s)} \biggr] \Delta s=\infty, $$
(3.10)

then every solution \(x(t)\) of (1.1) is either oscillatory or satisfies \(\lim_{t\rightarrow\infty} x(t) = 0\).

Proof

Let \(x(t)\) be a nonoscillatory solution of (1.1) on \([t_{0},\infty )_{\mathbb{T}}\) such that \(x(t)>0\), \(x(\tau(t))>0\), and \(x(\delta(t))>0\) for \(t\in[t_{1},\infty )_{\mathbb{T}}\). Then, by Lemma 2.2, \(z(t)\) satisfies one of the two cases (I) and (II) for \(t\in[ t_{1},\infty)_{\mathbb{T}}\).

Case 1. Assume that \(z(t)\) satisfies case (I). Now, define the Riccati substitution

$$ \omega(t)=\beta(t)\frac{r(t)(z^{\Delta}(t))^{\alpha}}{z^{\alpha}(t)}. $$

It is clear that \(\omega(t)>0\) and

$$\begin{aligned} \omega^{\Delta}(t) =& \bigl[r(t) \bigl(z^{\Delta}(t) \bigr)^{\alpha}\bigr]^{\Delta}\frac{\beta(t)}{z^{\alpha}(t)}+ \bigl[r(t) \bigl(z^{\Delta}(t) \bigr)^{\alpha}\bigr]^{\sigma}\biggl[\frac{\beta(t)}{z^{\alpha}(t)} \biggr]^{\Delta}\\ \leq& -kq(t)\beta(t)\frac{z^{\alpha}(\delta (t))}{z^{\alpha}(t)}+\frac{\beta^{\Delta}(t)}{\beta(\sigma(t))}\omega \bigl(\sigma(t) \bigr)-\alpha\frac{\beta(t)}{\beta^{\sigma}(t)}\frac{z^{\Delta}(t)}{z(t)} \omega \bigl( \sigma(t) \bigr) \\ \leq& -kq(t)\beta(t)\frac{z^{\alpha}(\delta(t))}{z^{\alpha}(t)}+\frac{\beta^{\Delta}(t)}{\beta(\sigma(t))}\omega \bigl(\sigma (t) \bigr)-\alpha\frac{\beta(t)}{\beta^{\frac{\alpha+1}{\alpha }}(\sigma(t))r^{\frac{1}{\alpha}}(t)} \omega^{\frac{\alpha +1}{\alpha}} \bigl(\sigma(t) \bigr). \end{aligned}$$

By Lemma 2.4, we get

$$ \begin{aligned}[b] \omega^{\Delta}(t)&\leq -kq(t)\beta(t) \biggl( \frac{R(\delta (t))}{R(t)} \biggr)^{\alpha}+\frac{\beta^{\Delta}(t)}{\beta(\sigma (t))}\omega \bigl(\sigma(t) \bigr)\\ &\quad {} -\alpha\frac{\beta(t)}{\beta^{\frac{\alpha+1}{\alpha}}(\sigma (t))r^{\frac{1}{\alpha}}(t)} \omega^{\frac{\alpha+1}{\alpha }} \bigl(\sigma(t) \bigr). \end{aligned} $$
(3.11)

Applying the inequality

$$ B\omega-A\omega^{\frac{\alpha+1}{\alpha}}\leq\frac{\alpha ^{\alpha}}{(\alpha+1)^{\alpha+1}} \frac{B^{\alpha+1}}{A^{\alpha}} $$
(3.12)

with

$$B=\frac{\beta^{\Delta}(t)}{\beta(\sigma(t))} \quad \text{and} \quad A=\alpha\frac{\beta(t)}{\beta^{\frac{\alpha+1}{\alpha}}(\sigma (t))r^{\frac{1}{\alpha}}(t)}>0, $$

and using (3.11), we conclude that

$$ \omega^{\Delta}(t)\leq -kq(t)\beta(t) \biggl( \frac{R(\delta (t))}{R(t)} \biggr)^{\alpha}+\frac{1}{(\alpha+1)^{\alpha+1}}\frac {(\beta^{\Delta}(t))^{\alpha+1}r(t)}{\beta^{\alpha}(t)}. $$
(3.13)

Integrating (3.13) from \(t_{2}\) (\(t_{2}\in[t_{1}, \infty)_{\mathbb{T}}\)) to t, we have

$$ \int_{t_{2}}^{t} \biggl[kq(s)\beta(s) \biggl( \frac{R(\delta (s))}{R(s)} \biggr)^{\alpha}- \frac{1}{(\alpha+1)^{\alpha+1}}\frac{(\beta^{\Delta}(s))^{\alpha +1}r(s)}{\beta^{\alpha}(s)} \biggr] \Delta s\leq\omega(t_{2}), $$

which contradicts (3.10).

Case 2. If \(z(t)\) satisfies case (II), then, by Lemma 2.3, \(\lim_{t\rightarrow\infty}x(t)=0\). This completes the proof. □

Now, to discuss the oscillatory behavior of equation (1.3) under the assumption (1.5) (which is called a noncanonical neutral differential equation), we need the following lemma.

Lemma 3.1

Let \(x(t)\) be an eventually positive solution of (1.3). Then one of the following four cases holds for all sufficiently large t:

  1. (i)

    \(z(t)>0\), \(z^{\prime}(t)>0\), \((r(t)(z^{\prime}(t))^{\alpha})^{\prime}\leq0\);

  2. (ii)

    \(z(t)<0\), \(z^{\prime}(t)>0\), \((r(t)(z^{\prime}(t))^{\alpha})^{\prime}\leq0\);

  3. (iii)

    \(z(t)<0\), \(z^{\prime}(t)<0\), \((r(t)(z^{\prime}(t))^{\alpha})^{\prime}\leq0\);

  4. (iv)

    \(z(t)>0\), \(z^{\prime}(t)<0\), \((r(t)(z^{\prime}(t))^{\alpha})^{\prime}\leq0\).

Proof

The proof is similar to that of [14, Lemma 2.1], and hence is omitted. □

Theorem 3.3

Let conditions \((I_{1})\)-\((I_{4})\) be satisfied for \(\mathbb{T}=\mathbb{R}\) and assume that (1.5) and \(\delta^{\prime}(t)>0\) hold. Suppose further that there exists a positive function \(\beta\in \mathrm{C}^{1}([t_{0},\infty)_{\mathbb{T}},\mathbb{R})\) such that (3.10) holds for \(\mathbb{T}=\mathbb{R}\), for all sufficiently large \(t_{1}\geq t_{0}\) and for some \(t_{2}\geq t_{1}\). If

$$ \limsup_{t\rightarrow\infty} \int_{t_{0}}^{t} \biggl[kq(s)\vartheta ^{\alpha}(s)- \biggl(\frac{\alpha}{\alpha+1} \biggr)^{\alpha+1} \frac {r(\delta(s))}{r^{\frac{\alpha+1}{\alpha}}(s)(\delta^{\prime }(s))^{\alpha}\vartheta(s)} \biggr]\,\mathrm{d} s=\infty, $$
(3.14)

where \(\vartheta(t)=\int_{t}^{\infty}r^{-\frac{1}{\alpha }}(s)\,\mathrm{d} s\), then every solution \(x(t)\) of (1.3) is either oscillatory or satisfies \(\lim_{t\rightarrow\infty}x(t)=0\).

Proof

Let \(x(t)\) be a nonoscillatory solution of (1.3) on \([t_{0},\infty )\) such that \(x(t)>0\), \(x(\tau(t))>0\), and \(x(\delta(t))>0\) for \(t\geq t_{1}\). From Lemma 3.1, we have the following four possible cases.

Case 1. \(z(t)\) satisfies case (i). Using \(\mathbb{T}=\mathbb{R}\) in the proof of Theorem 3.2, we get a contradiction with (3.10).

Case 2. \(z(t)\) satisfies case (ii). By Lemma 2.3, we see that \(\lim_{t\rightarrow\infty}x(t)=0\).

Case 3. \(z(t)\) satisfies case (iii). Similar analysis to that in [4, Theorem 3, case (jjj)] leads to the conclusion that \(\lim_{t\rightarrow\infty}x(t)=0\).

Case 4. \(z(t)\) satisfies case (iv). Define

$$ \nu(t)=\frac{r(t) (z^{\prime}(t))^{\alpha}}{z^{\alpha}(\delta(t))}, \quad t\geq T_{1}. $$
(3.15)

It is clear that \(\nu(t)<0\). Since \((r(t)(z^{\prime}(t))^{\alpha})^{\prime}\leq0\), we have, for \(s\geq t\) \((s, t\in[T_{1}, \infty))\),

$$ r^{\frac{1}{\alpha}}(s)z^{\prime}(s)\leq r^{\frac{1}{\alpha }}(t)z^{\prime}(t), $$

i.e.,

$$ z^{\prime}(s)\leq r^{\frac{1}{\alpha}}(t)z^{\prime}(t)\frac {1}{r^{\frac{1}{\alpha}}(s)}. $$

Integrating the latter inequality from t to l, we obtain

$$ z(l)\leq z(t) + r^{\frac{1}{\alpha}}(t)z^{\prime}(t) \int _{t}^{l}\frac{1}{r^{\frac{1}{\alpha}}(s)}\,\mathrm{d} s. $$

Letting \(l\rightarrow\infty\), we get

$$ -1\leq\frac{r^{\frac{1}{\alpha}}(t)z^{\prime}(t)}{z(\delta (t))}\vartheta(t). $$
(3.16)

It follows from (3.15) and (3.16) that

$$ -\nu(t)\vartheta^{\alpha}(t)\leq1. $$
(3.17)

On the other hand, we have (3.6) with \(\sigma(t)=t\), and so

$$ \nu^{\prime}(t)+kq(t)+\alpha\delta^{\prime}(t) r^{-\frac {1}{\alpha}} \bigl(\delta(t) \bigr)\nu^{\frac{\alpha+1}{\alpha}}(t)\leq0. $$
(3.18)

Multiplying (3.18) by \(\vartheta^{\alpha}(t)\) and integrating the resulting inequality from \(T_{1}\) to t, we deduce that

$$ \begin{aligned}[b] &\vartheta^{\alpha}(t)\nu(t) - \vartheta^{\alpha}(T_{1})\nu(T_{1}) + \alpha \int_{T_{1}}^{t}r^{-\frac{1}{\alpha}}(s)\vartheta^{\alpha -1}(s) \nu(s)\,\mathrm{d} s \\ &\quad {} +k \int_{T_{1}}^{t}q(s)\vartheta^{\alpha}(s) \, \mathrm{d} s +\alpha \int _{T_{1}}^{t}\delta^{\prime}(s) r^{-\frac{1}{\alpha}} \bigl(\delta (s) \bigr)\vartheta^{\alpha}(s)\nu^{\frac{\alpha+1}{\alpha}}(s)\,\mathrm{d} s\leq0. \end{aligned} $$
(3.19)

Applying inequality (3.12) with \(\omega=-\nu(t)\), \(A={\alpha \delta^{\prime}(t) \vartheta^{\alpha}(t)}/{r^{\frac{1}{\alpha }}(\delta(t))}\), and \(B= {\alpha\vartheta^{\alpha-1}(t)}/{r^{\frac {1}{\alpha}}(t)}\), we arrive at

$$ \alpha r^{-\frac{1}{\alpha}}(t)\vartheta^{\alpha-1}(t)\nu(t)+ \frac{\alpha\delta^{\prime}(t) \vartheta^{\alpha}(t)}{r^{\frac {1}{\alpha}}(\delta(t))}\nu^{\frac{\alpha+1}{\alpha}}(t)\geq- \biggl(\frac{\alpha}{\alpha+1} \biggr)^{\alpha+1}\frac{r(\delta (t))}{r^{\frac{\alpha+1}{\alpha}}(t)(\delta^{\prime}(t))^{\alpha}\vartheta(t)}. $$
(3.20)

Combining (3.19) and (3.20), we obtain

$$ \begin{aligned}[b] &\vartheta^{\alpha}(t)\nu(t)-\vartheta^{\alpha}(T_{1}) \nu(T_{1})\\ &\quad {}+ \int _{T_{1}}^{t} \biggl[kq(s)\vartheta^{\alpha}(s)- \biggl(\frac{\alpha }{\alpha+1} \biggr)^{\alpha+1} \frac{r(\delta(s))}{r^{\frac{\alpha+1}{\alpha}}(s)(\delta^{\prime }(s))^{\alpha}\vartheta(s)} \biggr] \, \mathrm{d} s\leq0. \end{aligned} $$
(3.21)

Then, by virtue of (3.17) and (3.21),

$$ \int_{T_{1}}^{t} \biggl[kq(s)\vartheta^{\alpha}(s)- \biggl(\frac{\alpha }{\alpha+1} \biggr)^{\alpha+1} \frac{r(\delta(s))}{r^{\frac{\alpha+1}{\alpha}}(s)(\delta^{\prime }(s))^{\alpha}\vartheta(s)} \biggr] \, \mathrm{d} s\leq1+\vartheta^{\alpha}(T_{1})\nu(T_{1}), $$

which contradicts (3.14). This completes the proof. □

Example 3.1

Assume that \(\mathbb{T}=\mathbb{R}\). Consider the second-order neutral delay differential equation

$$ \bigl(t^{2} \bigl(z^{\prime}(t) \bigr)^{3} \bigr)^{\prime}+\frac{\gamma }{t^{2}}x^{3} \biggl( \frac{t}{2} \biggr)=0, \quad t\geq1. $$
(3.22)

Here, \(\alpha=3\), \(z(t)=x(t)-x(t/3)/2\), \(\gamma>0\) is a constant, \(k=\gamma\), \(r(t)=t^{2}\), \(q(t)=t^{-2}\), and \(\delta(t)=t/2\). Now we have

$$ \begin{aligned} &\limsup_{t\rightarrow\infty} \biggl[Q(t)+\alpha \int_{t}^{\infty }\delta ^{\Delta}(s)r^{-\frac{1}{\alpha}} \bigl(\delta(s) \bigr)Q^{\frac{\alpha +1}{\alpha}} \bigl(\sigma(s) \bigr)\Delta s \biggr] \biggl( \int_{t_{0}}^{\delta(t)}r^{-\frac {1}{\alpha}}(s)\Delta s \biggr)^{\alpha} \\ &\quad = \limsup_{t\rightarrow\infty} \biggl[\frac{\gamma}{t}+3\gamma ^{\frac{4}{3}} \int_{t}^{\infty} \biggl(\frac{1}{2} \biggr)^{\frac {1}{3}}s^{-2}\,\mathrm{d}s \biggr] \biggl(\int_{1}^{\frac{t}{2}}s^{-\frac{2}{3}}\,\mathrm{d}s \biggr)^{3} \\ &\quad = \frac{27}{2} \biggl[\gamma+3 \biggl(\frac{1}{2} \biggr)^{\frac {1}{3}}\gamma^{\frac{4}{3}} \biggr]. \end{aligned} $$

Therefore, by Theorem 3.1, every solution \(x(t)\) of equation (3.22) is oscillatory or satisfies \(\lim_{t\rightarrow\infty}x(t)=0\) when \(\gamma>0.041\). However, [14, Theorem 3.1] yields the same conclusion if \(\gamma>{2}/{(27k_{0}^{3})}\) for some \(k_{0}\in(0,1)\) which means that \(\gamma>{2}/{27}\approx0.0741\). Hence, Theorem 3.1 improves [14, Theorem 3.1].

Remark 3.1

Oscillation criteria established in this paper for equation (1.3) complement, on one hand, the results reported by Arul and Shobha [3] and Li et al. [14] because we use assumption (1.5) rather than \(\int _{t_{0}}^{\infty}r^{-\frac{1}{\alpha}}(s)\,\mathrm{d}s=\infty\) and, on the other hand, those by Džurina and Jadlovská [8] since our criteria can be applied to the case where \(0\leq p(t)\leq p_{0}<1\).

Remark 3.2

As fairly noticed by the referees, technique used in this paper does not allow a straightforward extension of Theorem 3.3 to equation (1.1); this remains an open problem for further research.

References

  1. 1.

    Agarwal, RP, Bohner, M, Li, T, Zhang, C: Oscillation criteria for second-order dynamic equations on time scales. Appl. Math. Lett. 31, 34-40 (2014)

    MathSciNet  Article  MATH  Google Scholar 

  2. 2.

    Agarwal, RP, O’Regan, D, Saker, SH: Oscillation criteria for second-order nonlinear neutral delay dynamic equations. J. Math. Anal. Appl. 300, 203-217 (2004)

    MathSciNet  Article  MATH  Google Scholar 

  3. 3.

    Arul, R, Shobha, VS: Improvement results for oscillatory behavior of second order neutral differential equations with nonpositive neutral term. Br. J. Math. Comput. Sci. 12, 1-7 (2016)

    Article  Google Scholar 

  4. 4.

    Baculíková, B, Džurina, J: Oscillation of third-order neutral differential equations. Math. Comput. Model. 52, 215-226 (2010)

    MathSciNet  Article  MATH  Google Scholar 

  5. 5.

    Bohner, M, Grace, SR, Jadlovská, I: Oscillation criteria for second-order neutral delay differential equations. Electron. J. Qual. Theory Differ. Equ. 2017, 60 (2017)

    MathSciNet  Article  Google Scholar 

  6. 6.

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

    MathSciNet  Article  MATH  Google Scholar 

  7. 7.

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

    Book  MATH  Google Scholar 

  8. 8.

    Džurina, J, Jadlovská, I: A note on oscillation of second-order delay differential equations. Appl. Math. Lett. 69, 126-132 (2017)

    MathSciNet  Article  MATH  Google Scholar 

  9. 9.

    Erbe, L, Peterson, A, Saker, SH: Oscillation criteria for second-order nonlinear delay dynamic equations. J. Math. Anal. Appl. 333, 505-522 (2007)

    MathSciNet  Article  MATH  Google Scholar 

  10. 10.

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

    MathSciNet  Article  MATH  Google Scholar 

  11. 11.

    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 

  12. 12.

    Li, T, Agarwal, RP, Bohner, M: Some oscillation results for second-order neutral dynamic equations. Hacet. J. Math. Stat. 41, 715-721 (2012)

    MathSciNet  MATH  Google Scholar 

  13. 13.

    Li, T, Saker, SH: A note on oscillation criteria for second-order neutral dynamic equations on isolated time scales. Commun. Nonlinear Sci. Numer. Simul. 19, 4185-4188 (2014)

    MathSciNet  Article  Google Scholar 

  14. 14.

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

    MathSciNet  Article  MATH  Google Scholar 

  15. 15.

    Li, T, Zhang, C, Thandapani, E: Asymptotic behavior of fourth-order neutral dynamic equations with noncanonical operators. Taiwan. J. Math. 18, 1003-1019 (2014)

    MathSciNet  Article  MATH  Google Scholar 

  16. 16.

    Seghar, D, Thandapani, E, Pinelas, S: Oscillation theorems for second order difference equations with negative neutral term. Tamkang J. Math. 46, 441-451 (2015)

    MathSciNet  Article  MATH  Google Scholar 

  17. 17.

    Thandapani, E, Balasubramanian, V, Graef, JR: Oscillation criteria for second order neutral difference equations with negative neutral term. Int. J. Pure Appl. Math. 87, 283-292 (2013)

    Article  Google Scholar 

  18. 18.

    Thandapani, E, Mahalingam, K: Necessary and sufficient conditions for oscillation of second order neutral difference equations. Tamkang J. Math. 34, 137-145 (2003)

    MathSciNet  MATH  Google Scholar 

  19. 19.

    Wang, J, El-Sheikh, MMA, Sallam, RA, Elimy, DI, Li, T: Oscillation results for nonlinear second-order damped dynamic equations. J. Nonlinear Sci. Appl. 8, 877-883 (2015)

    MathSciNet  MATH  Google Scholar 

  20. 20.

    Zhang, C, Agarwal, RP, Bohner, M, Li, T: Oscillation of second-order nonlinear neutral dynamic equations with noncanonical operators. Bull. Malays. Math. Sci. Soc. 38, 761-778 (2015)

    MathSciNet  Article  MATH  Google Scholar 

  21. 21.

    Zhang, C, Li, T: Some oscillation results for second-order nonlinear delay dynamic equations. Appl. Math. Lett. 26, 1114-1119 (2013)

    MathSciNet  Article  MATH  Google Scholar 

Download references

Acknowledgements

The authors thank the editors and two anonymous referees for the careful reading of the paper and for pointing out several inaccuracies in the text. This research is supported by Project of Shandong Province Independent Innovation and Achievement Transformation (No. 2014ZZCX02702), Shandong Province Key Research and Development Project (No. 2016GGX109001), Shandong Provincial Natural Science Foundation (Nos. ZR2017MF050, ZR2014FL008, and ZR2015FL014), and Project of Shandong Province Higher Educational Science and Technology Program (No. J17KA049).

Author information

Affiliations

Authors

Contributions

The authors contributed equally to this work. They all read and approved the final version of the manuscript.

Corresponding author

Correspondence to Tongxing Li.

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.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Zhang, M., Chen, W., El-Sheikh, M. et al. Oscillation criteria for second-order nonlinear delay dynamic equations of neutral type. Adv Differ Equ 2018, 26 (2018). https://doi.org/10.1186/s13662-018-1474-5

Download citation

MSC

  • 34K11
  • 34N05

Keywords

  • oscillation
  • second-order
  • delay dynamic equation
  • neutral dynamic equation