Skip to main content

Oscillation criteria for second order Emden-Fowler functional differential equations of neutral type

Abstract

In this article, some new oscillation criterion for the second order Emden-Fowler functional differential equation of neutral type

$$\bigl(r(t)\bigl\vert z^{\prime}(t)\bigr\vert ^{\alpha-1}z^{\prime}(t) \bigr)^{\prime}+q(t)\bigl\vert x\bigl(\sigma(t)\bigr)\bigr\vert ^{\beta-1}x \bigl(\sigma(t) \bigr)=0, $$

where \(z(t)=x(t)+p(t)x(\tau(t))\), \(\alpha>0\) and \(\beta>0\) are established. Our results improve some well-known results which were published recently in the literature. Some illustrating examples are also provided to show the importance of our results.

1 Introduction

In this article we are concerned with the second order Emden-Fowler functional differential equation of neutral type of the form

$$ \bigl(r(t)\bigl\vert z^{\prime}(t)\bigr\vert ^{\alpha-1}z^{\prime}(t) \bigr)^{\prime}+q(t)\bigl\vert x \bigl(\sigma(t) \bigr)\bigr\vert ^{\beta-1}x \bigl(\sigma (t) \bigr)=0,\quad t\geq t_{0}, $$
(1)

where \(z(t)=x(t)+p(t)x(\tau(t))\), \(\alpha>0\) and \(\beta>0\) are constants.

In the following we assume that

\((A_{1})\) :

\(r(t)\in C^{1}([t_{0},\infty),R)\), \(r(t)>0\), \(r^{\prime }(t)\geq0\);

\((A_{2})\) :

\(p(t),q(t)\in C([t_{0},\infty),R)\), \(0\leq p(t)\leq 1\), \(q(t)\geq0\);

\((A_{3})\) :

\(\tau(t)\in C([t_{0},\infty),R)\), \(\tau(t)\leq t\), \(\lim_{t\rightarrow\infty}\tau(t)=\infty\);

\((A_{4})\) :

\(\sigma(t)\in C^{1}([t_{0},\infty),R)\), \(\sigma (t)>0\), \(\sigma^{\prime}(t)>0\), \(\sigma(t)\leq t\), \(\lim_{t\rightarrow \infty}\sigma(t)=\infty\).

A function \(x(t)\in C^{1}([t_{0},\infty),R)\), \(T_{x}\geq t_{0}\), is called a solution of equation (1) if it satisfies the property \(r(t)\vert z^{\prime}(t)\vert ^{\alpha-1}z^{\prime}(t)\in C^{1}([T_{x},\infty),R)\) and equation (1) on \([T_{x},\infty)\). In this article we only consider the nontrivial solutions of equation (1), which ensure \(\sup{ \{\vert x(t)\vert :t\geq T \}}>0\) for all \(T\geq T_{x}\). A solution of equation (1) is said to be oscillatory if it has arbitrarily large zero point on \([T_{0},\infty)\); otherwise, it is called nonoscillatory. Moreover, equation (1) is said to be oscillatory if all its solutions are oscillatory.

Recently, there were a large number of papers devoted to the oscillation of the delay and neutral differential equations. We refer the reader to [120].

Dzurina and Stavroulakis [1] studied the oscillation for the second order half-linear differential equations

$$ \mbox{($E_{1}$):}\quad \bigl(r(t)\bigl\vert u^{\prime}(t)\bigr\vert ^{\alpha-1}u^{\prime}(t) \bigr)^{\prime}+p(t)\bigl\vert u\bigl( \tau(t)\bigr)\bigr\vert ^{\alpha-1}u\bigl(\tau(t)\bigr)=0, $$
(2)

and established some sufficient conditions for oscillation of (2).

Sun and Meng [2] examined further the oscillation of (2). Their results hold for the condition

$$ \int^{\infty}_{t_{0}}\frac{1}{r^{\frac{1}{\alpha }}(t)}\,dt=\infty $$
(3)

or

$$ \int^{\infty}_{t_{0}}\frac{1}{r^{\frac{1}{\alpha }}(t)}\,dt< \infty, $$
(4)

which improves the results of Dzurina and Stavroulakis [1].

In 2008, Erbe et al. [3] studied the oscillatory behavior of the following second order neutral Emden-Fowler differential equation:

$$ \mbox{($E_{2}$):}\quad \bigl(a(t) \bigl[x(t)+p(t)x(t-\tau) \bigr]^{\prime} \bigr)^{\prime }+q(t)\bigl\vert x\bigl(\sigma(t)\bigr)\bigr\vert ^{\alpha-1}x\bigl(\sigma(t)\bigr)=0, $$
(5)

where \(\int^{\infty}_{t_{0}}\frac{1}{a(t)}\,dt=\infty\) and \(\alpha>1\). Some new oscillation criteria of Philos type were established for equation (5).

In 2011, Li et al. [4] considered further the oscillation criteria for equation (5), where \(\int^{\infty}_{t_{0}}\frac{1}{a(t)}\,dt<\infty\) and \(\alpha\geq1\). In fact, equations (2) and (5) cannot be contained in each other. So in 2012, Liu et al. [5] considered the oscillation criteria for second order generalized Emden-Fowler equation (1) for the condition \(\alpha\geq\beta>0\).

In 2015, Zeng et al. [6] used the Riccati transformation technique to get some new oscillation criterion for equation (1) under the condition \(\alpha\geq\beta>0\) or \(\beta\geq \alpha>0\), which improves the related results reported in [5].

Now in this article we shall apply the generalized Riccati inequality to study of the oscillation criteria of equation (1) under a more general case, namely, for all \(\alpha> 0\) and \(\beta> 0\).

2 Results and proofs

Theorem 1

Suppose that \((A_{1})\)-\((A_{4})\) and (3) hold. If there exists a function \(\rho(t)\in C^{1}([t_{0},\infty), (0,\infty))\) such that

$$ \int^{\infty}_{t_{0}} \biggl[\rho(t)Q_{1}(t)- \frac{ (\rho^{\prime }(t) )^{\lambda+1}r(\lambda(t))}{ (\lambda+1 )^{\lambda +1} (m\rho(t)\sigma^{\prime}(t) )^{\lambda}} \biggr]\,dt=\infty , $$
(6)

where

$$\begin{aligned}& Q_{1}(t)=q(t) \bigl(1-p\bigl(\sigma(t)\bigr) \bigr)^{\beta}, \qquad \lambda=\min\{\alpha ,\beta\}, \end{aligned}$$
(7)
$$\begin{aligned}& \lambda(t)= \textstyle\begin{cases} \sigma(t), &\beta\geq\alpha,\\ t, & \alpha>\beta, \end{cases}\displaystyle \quad \textit{and}\quad m= \textstyle\begin{cases} 1, & \alpha=\beta,\\ 0< m\leq1, & \alpha\neq\beta. \end{cases}\displaystyle \end{aligned}$$
(8)

Then equation (1) is oscillatory for all \(\alpha> 0\) and \(\beta> 0\).

Proof

Suppose that equation (1) has a nonoscillatory solution \(x(t)\). Without loss of generality, we assume that \(x(t)>0\) for all large t. The case of \(x(t)<0\) can be treated by the same method. In view of \((A_{3})\) and \((A_{4})\), there exists \(t_{1}\geq t_{0}\) such that \(x(t)>0\), \(x(\tau(t))>0\), \(x(\delta(t))>0\) on \([t_{1},\infty)\). It follows that \(z(t)=x(t)+p(t)x(\tau(t))\geq x(t)>0\). It follows from (1) that

$$ \bigl(r(t)\bigl\vert z^{\prime}(t)\bigr\vert ^{\alpha-1}z^{\prime}(t) \bigr)^{\prime}=-q(t)x^{\beta}\bigl(\sigma(t)\bigr)\leq0, \quad t \geq t_{1}. $$
(9)

Hence, \(r(t)\vert z^{\prime}(t)\vert ^{\alpha-1}z^{\prime}(t)\) is nonincreasing on \([t_{1},\infty)\).

We now claim that

$$ z^{\prime}(t)>0,\quad t\geq t_{2}\geq t_{1}. $$
(10)

If not, then there exists \(t_{3}\in[t_{2},\infty)\) such that \(z^{\prime}(t_{3})<0\). Hence

$$r(t)\bigl\vert z^{\prime}(t)\bigr\vert ^{\alpha-1}z^{\prime}(t) \leq \bigl(r(t_{3})\bigl\vert z^{\prime}(t_{3})\bigr\vert ^{\alpha-1}z^{\prime}(t_{3}) \bigr)^{\prime}=-c< 0, \quad t\geq t_{3}, $$

which implies that

$$ z^{\prime}(t)\leq- \biggl(\frac{c}{r(t)} \biggr)^{\frac {1}{\alpha}}. $$
(11)

Integrating (11) from \(t_{3}\) to t, we find from (3) that

$$z(t)\leq z(t_{3})-c^{\frac{1}{\alpha}} \int^{t}_{t_{3}}\frac{1}{r^{\frac {1}{\alpha}}(s)}\,ds\rightarrow-\infty, \quad \text{as } t\rightarrow\infty, $$

which implies that \(z(t)\) is eventually negative. This contradicts \(z(t)>0\). Hence our claim is true.

Now we have

$$ x(t)\geq \bigl(1-p(t) \bigr)z(t),\quad t\geq T\geq t_{3}. $$
(12)

This inequality together with (1) and (10) suggest

$$ \bigl(r(t) \bigl(z^{\prime}(t) \bigr)^{\alpha} \bigr)^{\prime}+Q_{1}(t)z^{\beta} \bigl(\sigma(t)\bigr)\leq0,\quad t\geq T. $$
(13)

We set

$$ w(t)=\frac{r(t) (z^{\prime}(t) )^{\alpha }}{z^{\beta} (\sigma(t) )},\quad t\geq T. $$
(14)

Then \(w(t)>0\). By (13) and (14) we have

$$ w^{\prime}(t)\leq-Q_{1}(t)-\frac{\beta\sigma^{\prime }(t)z^{\prime} (\sigma(t) )r(t) (z^{\prime}(t) )^{\alpha}}{z^{\beta+1} (\sigma(t) )}. $$
(15)

In the following we consider three cases for (15):

Case (i): \(\alpha=\beta\). In view of the inequality \(r^{\frac{1}{\alpha }}(t)z^{\prime}(t)\leq r^{\frac{1}{\alpha}} (\sigma(t) )z^{\prime } (\sigma(t) )\) and (15) we see that

$$ w^{\prime}(t)\leq-Q_{1}(t)-\frac{\alpha\sigma^{\prime }(t)}{r^{\frac{1}{\alpha}} (\sigma(t) )}w^{\frac{ \alpha+1}{\alpha }}(t),\quad t\geq T. $$
(16)

Case (ii): \(\alpha<\beta\). Noting that \(z(\sigma(t))\) is increasing on \([T,\infty)\), then there exists a constant \(m_{1}>0\) such that

$$\begin{aligned} w^{\prime}(t) \leq&-Q_{1}(t)-\frac{\beta\sigma^{\prime }(t)}{r^{\frac{1}{\alpha}} (\sigma(t) )} \bigl[z\bigl( \sigma(t)\bigr) \bigr]^{\frac{\beta-\alpha}{\alpha}}w^{\frac{\alpha+1}{\alpha}}(t) \\ \leq&-Q_{1}(t)-\frac{\alpha\sigma^{\prime}(t)m_{1}}{r^{\frac{1}{\alpha }} (\sigma(t) )}w^{\frac{\alpha+1}{ \alpha}}(t). \end{aligned}$$
(17)

Case (iii): \(\alpha>\beta\). From \((r(t) (z^{\prime}(t) )^{\alpha} )^{\prime}\leq0\) and \(r^{\prime}(t)\geq0\), we get \(z^{\prime\prime}(t)\leq0\), then \(z^{\prime}(t)\) is nonincreasing. Thus, there exists a positive constant \(m_{2}\), such that

$$\begin{aligned} w^{\prime}(t) \leq&-Q_{1}(t)-\frac{\beta\sigma^{\prime }(t)}{r^{\frac{1}{\beta}}(t)} \bigl[z^{\prime}(t) \bigr]^{\frac{\beta -\alpha}{\beta}}w^{\frac{\beta+1}{\beta}}(t) \\ \leq&-Q_{1}(t)-\frac{\beta\sigma^{\prime}(t)m_{2}}{r^{\frac{1}{\beta }}(t)}w^{\frac{\beta+1}{ \beta}}(t). \end{aligned}$$
(18)

Combining (16)-(18), we obtain for any \(\alpha> 0\), \(\beta>0\),

$$ w^{\prime}(t)\leq-Q_{1}(t)-\frac{\lambda m\sigma^{\prime }(t)}{r^{\frac{1}{\lambda}} (\lambda(t) )}w^{\frac{ \lambda +1}{\lambda}}(t),\quad t\geq T. $$
(19)

Multiplying (19) by \(\rho(t)\) and integrating it from T to t, we obtain

$$ \int^{t}_{T}\rho(s)Q_{1}(s)\,ds\leq \rho(T)w(T)+ \int ^{t}_{T} \biggl[\rho^{\prime}(s)w(s)- \frac{\lambda m\rho(s)\sigma^{\prime }(s)}{r^{\frac{1}{\lambda}} (\lambda(s) )}w^{\frac{\lambda +1}{\lambda}}(s) \biggr]\,ds. $$
(20)

By the inequality

$$ Aw-Bw^{1+\frac{1}{\lambda}}\leq\frac{\lambda^{\lambda }}{ (\lambda+1 )^{\lambda+1}}A^{\lambda+1}B^{-\lambda}, $$
(21)

where \(A\geq0\), \(B>0\), \(w\geq0\), and \(\lambda>0\), we now can rewrite inequality (20) as

$$ \int^{t}_{T} \biggl[\rho(s)Q_{1}(s)- \frac{ (\rho ^{\prime}(s) )^{\lambda+1}r(\lambda(s))}{ (\lambda+1 )^{\lambda+1} (m\rho(s)\sigma^{\prime}(s) )^{\lambda}} \biggr]\,ds\leq\rho(T)w(T). $$
(22)

Letting \(t\rightarrow\infty\) in the above inequality, we get a contradiction with (6). Hence the theorem is proved. □

Remark 1

Theorems 1-5 of [1], Theorem 1 of [2] and [7] hold only for equation (1) with \(p(t)=0\) and \(\alpha =\beta\). Theorem 2.1 of [5] (or [6]) holds only for equation (1) with \(\alpha\geq\beta\), and Theorem 3.1 of [6] holds only for equation (1) with \(\beta\geq\alpha\). Hence our theorem improves and unifies the above results.

In the following, we shall use the generalized Riccati technique and the integral averaging technique to show a new Philos type oscillation criterion for equation (1).

For this purpose, we first define the sets \(D_{0}=(t,s)\): \(t>s\geq t_{0}\) and \(D=(t,s)\): \(t\geq s\geq t_{0}\). We introduce a general class of parameter functions \(H:D\rightarrow R\), which have continuous partial derivatives on D with respect to the second variable and satisfy

\((H_{1})\)::

\(H(t,t)=0\) for \(t\geq t_{0}\) and \(H(t,s)>0\) for all \((t,s)\in D_{0}\),

\((H_{2})\)::

\(-\frac{\partial H(t,s)}{\partial s}\geq0\) for all \((t,s)\in D\).

Suppose that \(h:D_{0}\rightarrow R\) is a continuous function and \(\rho \in C^{1}([t_{0},\infty),R^{+})\), such that

\((H_{3})\)::

\(\frac{\partial H(t,s)}{\partial s}+\frac{\rho^{\prime }(s)}{\rho(s)}H(t,s)=-h(t,s)H^{\frac{\lambda}{\lambda+1}}(t,s)\) for all \((t,s)\in D_{0}\).

Theorem 2

Suppose that \((A_{1})\)-\((A_{4})\) and (3) hold. Suppose there exist functions H, h, and ρ, such that \((H_{1})\), \((H_{2})\), and \((H_{3})\) hold. Further assume for all sufficiently large T,

$$ \lim_{t\rightarrow\infty}\sup\frac{1}{H(t,T)} \int^{t}_{T} \biggl[H(t,s)\rho(s)Q_{1}(s)- \frac{\rho(s)r (\lambda(s) )\vert h(t,s)\vert ^{\lambda+1}}{ (\lambda+1 )^{\lambda+1} (m\sigma^{\prime}(s) )^{\lambda}} \biggr]\,ds=\infty, $$
(23)

where λ, m, \(Q_{1}(t)\), and \(\lambda(t)\) are given in (7) and (8). Then equation (1) is oscillatory for all \(\alpha >0\) and \(\beta>0\).

Proof

Similar to Theorem 1, we assume that there exists a solution x of equation (1) such that \(x(t)>0\) on \([t_{1},\infty )\) for some \(t_{1}\geq t_{0}\). Multiplying both sides of (19) by \(H(t,s)\rho(s)\) and integrating from T to t, we have, for all \(t\geq T\geq t_{1}\),

$$\begin{aligned}& \int^{t}_{T}H(t,s)\rho(s)Q_{1}(s)\,ds \\& \quad \leq - \int^{t}_{T}H(t,s)\rho(s)w^{\prime}(s)\,ds- \int^{t}_{T}H(t,s)\rho (s)\xi(s)w^{\frac{ \lambda+1}{\lambda}}(s)\,ds, \end{aligned}$$
(24)

where w is defined by (14) and

$$ \xi(s)=\frac{\lambda m\sigma^{\prime}(s)}{r^{\frac{1}{\lambda}} (\lambda(s) )}. $$
(25)

Applying integration by parts, from (\(H_{3}\)) and (24) we have

$$\begin{aligned}& \int^{t}_{T}H(t,s)\rho(s)Q_{1}(s)\,ds \\& \quad \leq H(t,T)\rho(T)w(T) \\& \qquad {} + \int^{t}_{T} \bigl[\bigl\vert h(t,s)\bigr\vert H^{\frac{\lambda}{\lambda+1}}(t,s)\rho (s)w(s)-H(t,s)\rho(s) \xi(s)w^{\frac{\lambda+1}{\lambda}}(s) \bigr]\,ds. \end{aligned}$$
(26)

Using the inequality (21), combining (26) and (25), we get

$$\begin{aligned}& \frac{1}{H(t,T)} \int^{t}_{T} \biggl[H(t,s)\rho(s)Q_{1}(s)- \frac{\rho (s)r(\lambda(s))\vert h(t,s)\vert ^{\lambda+1}}{ (\lambda+1)^{\lambda+1} (m\sigma^{\prime}(s) )^{\lambda }} \biggr]\,ds \\& \quad \leq \rho(T)w(T). \end{aligned}$$
(27)

It follows that

$$\lim_{t\rightarrow\infty}\sup\frac{1}{H(t,T)} \int^{t}_{T} \biggl[H(t,s)\rho(s)Q_{1}(s)- \frac{\rho(s)r(\lambda(s))\vert h(t,s)\vert ^{\lambda+1}}{ (\lambda+1)^{\lambda+1} (m\sigma^{\prime}(s) )^{\lambda }} \biggr]\,ds< \infty, $$

which contradicts the assumption (23). Therefore, equation (1) is oscillatory. Now we finish the proof of this theorem. □

Corollary 1

Theorem  2 remains true if the condition (23) is replaced by

$$ \lim_{t\rightarrow\infty}\sup\frac{1}{H(t,T)} \int^{t}_{T}H(t,s)\rho (s)Q_{1}(s)\,ds= \infty $$
(28)

and

$$ \lim_{t\rightarrow\infty}\sup\frac{1}{H(t,T)} \int^{t}_{T}\frac{\rho (s)r(\lambda(s))}{(\sigma^{\prime}(s))^{\lambda}}\bigl\vert h(t,s) \bigr\vert ^{\lambda +1}\,ds< \infty. $$
(29)

Notice that by choosing specific functions ρ and H, it is possible to derive several oscillation criteria for equation (1) and its special cases, the half-linear equation (2) and the Emden-Fowler equation (5).

Remark 2

Theorem 2.1 of [3] holds only for equation (1) with \(\alpha=1\) and \(\beta>1\), Theorem 2.2 of [5] holds only for equation (1) with \(\alpha\geq\beta\), Theorem 5 of [7] holds only for equation (1) with \(\beta\geq\alpha\). Hence, Theorem 2 improves and unifies above oscillation criteria.

Note that the theorems above hold for the condition (3), now we consider the case for (4). In order to do this we first define

$$ \pi(t)= \int^{\infty}_{t}\frac{1}{r^{\frac{1}{\alpha}}(s)}\,ds $$
(30)

and

$$ Q_{2}(t)=q(t) \bigl(1-p(t) \bigr)^{\beta}. $$
(31)

Then we have the following.

Theorem 3

Suppose that \((A_{1})\)-\((A_{4})\) and (4) hold. Suppose

$$ p^{\prime}(t)\geq0,\qquad \tau^{\prime}(t)> 0,\qquad \sigma (t)\leq \tau(t), $$
(32)

and (6) are satisfied. Further assume there exists a constant \(K>0\) such that

$$ \int^{\infty}_{t_{0}} \biggl[\pi^{\mu}(t)Q_{2}(t)- \frac{K (r(t) )^{1-\frac{\mu+1}{\alpha}}}{\pi(t)} \biggr]\,dt=\infty, $$
(33)

where \(\mu=\max\{\alpha,\beta\}\). Then equation (1) is oscillatory for all \(\alpha>0\) and \(\beta>0\).

Proof

As in Theorem 1 we assume that there exists a solution x of equation (1) such that \(x(t)>0\) on \([t_{1},\infty)\) for some \(t_{1}\geq t_{0}\). Then we have

$$ \bigl(r(t)\bigl\vert z^{\prime}(t)\bigr\vert ^{\alpha-1}z^{\prime}(t) \bigr)^{\prime}\leq0,\quad t\geq t_{1}, $$
(34)

from which we see that there exist two possible cases of the sign of \(z^{\prime}(t)\). If \(z^{\prime}(t)>0\), then we come back to the proof of Theorem 1, and we can get a contradiction with (6). If \(z^{\prime}(t)<0\), we have

$$z^{\prime}(t)=x^{\prime}(t)+p^{\prime}(t)x\bigl(\tau(t) \bigr)+p(t)x^{\prime}\bigl(\tau(t)\bigr)\tau ^{\prime}(t)< 0. $$

Therefore, \(x^{\prime}(t)<0\) and

$$ z(t)\leq x\bigl(\tau(t)\bigr)+p(t)x\bigl(\tau(t)\bigr)=\bigl(1+p(t)\bigr)x\bigl( \tau(t)\bigr), $$
(35)

from which together with (32) we have

$$ x\bigl(\sigma(t)\bigr)\geq x\bigl(\tau(t)\bigr)\geq\frac{z(t)}{1+p(t)}\geq \bigl(1-p(t)\bigr)z(t). $$
(36)

Then equation (1) becomes

$$ \bigl(r(t) \bigl(-z^{\prime}(t) \bigr)^{\alpha}\bigr)^{\prime}-Q_{2}(t)z^{\beta}(t)\geq0,\quad t\geq t_{1}. $$
(37)

Now we define a function v by

$$ v(t)=\frac{r(t) (-z^{\prime}(t) )^{\alpha}}{z^{\beta}(t)},\quad t\geq t_{1}. $$
(38)

Obviously, \(v(t)>0\) for \(t\geq t_{1}\). It follows from (34) that \(r(t)\vert z^{\prime}(t)\vert ^{\alpha-1}z^{\prime}(t)\) is nonincreasing. Hence we get

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

Dividing the above inequality by \(r^{\frac{1}{\alpha}}(t)\) and integrating it from t to l, we have

$$z(l)\leq z(t)+r^{\frac{1}{\alpha}}(t)z^{\prime}(t) \int^{l}_{t}\frac {1}{r^{\frac{1}{\alpha}}(s)}\,ds,\quad l\geq t\geq t_{1}. $$

It follows that

$$ z(t)\geq r^{\frac{1}{\alpha}}(t) \bigl(-z^{\prime}(t)\bigr) \pi(t). $$
(39)

Moreover, we have

$$ z^{\alpha}(t)\geq \bigl[r^{\frac{1}{\alpha}}(t) \bigl(-z^{\prime}(t)\bigr) \bigr]^{\alpha}\pi^{\alpha}(t). $$
(40)

By (38) and the fact \(z^{\prime}(t)<0\) we find that there exists a constant \(c_{1}>0\) such that

$$ c_{1}\geq z^{\alpha-\beta}(t)\geq\pi^{\alpha}(t)v(t)>0,\quad \text{for } \alpha>\beta. $$
(41)

On the other hand, from (39) we get

$$z^{\beta}(t)\geq r^{\frac{\beta}{\alpha}}(t) \bigl(-z^{\prime}(t) \bigr)^{\beta}\pi^{\beta}(t). $$

Hence we have

$$1\geq\frac{r^{\frac{\beta}{\alpha}}(t)(-z^{\prime}(t))^{\beta}}{z^{\beta}(t)}\pi^{\beta}(t). $$

Since \(r^{\frac{1}{\alpha}}(t)(-z^{\prime}(t))\) is nondecreasing, then there exists a constant \(c_{2}>0\) such that

$$ c_{2}\geq\bigl[r^{\frac{1}{\alpha}}(t) \bigl(-z^{\prime}(t) \bigr)\bigr]^{\alpha-\beta}\geq\pi ^{\beta}(t)v(t)>0,\quad \text{for } \beta>\alpha. $$
(42)

Next, differentiating (38) yields

$$ v^{\prime}(t)\geq Q_{2}(t)+\frac{\beta r(t)(-z^{\prime}(t))^{\alpha +1}}{z^{\beta+1}(t)},\quad t\geq t_{1}. $$
(43)

We consider the following three cases:

Case (i): \(\alpha> \beta\). In this case, since \(z(t)\) is decreasing, it follows from (43) that

$$\begin{aligned} v^{\prime}(t) \geq&Q_{2}(t)+\frac{\beta}{r^{\frac{1}{\alpha}}(t)} \bigl[z(t) \bigr]^{\frac{\beta-\alpha}{\alpha}}v^{\frac{\alpha+1}{\alpha}}(t) \\ \geq&Q_{2}(t)+\frac{c_{1}}{r^{\frac{1}{\alpha}}(t)}v^{\frac{\alpha +1}{ \alpha}}(t),\quad t\geq t_{1}, \end{aligned}$$
(44)

where \(c_{1}= \beta [z(t_{1}) ]^{\frac{\beta-\alpha}{\alpha}}\).

Case (ii): \(\alpha=\beta\). In this case, we see that \([z(t)]^{\frac{\beta-\alpha}{\alpha}}=1\), then (43) becomes

$$ v^{\prime}(t)\geq Q_{2}(t)+\frac{\alpha}{r^{\frac{1}{\alpha}(t)}}v^{\frac { \alpha+1}{\alpha}}(t),\quad t\geq t_{1}. $$
(45)

Case (iii): \(\alpha<\beta\). By the inequality (37) we have \((r(t)(-z^{\prime}(t))^{\alpha})^{\prime}\geq0\), from which together with \(r^{\prime}(t)\geq0\) we find that \(z^{\prime\prime}(t)\leq0\). Hence we get \(z^{\prime}(t)\leq z^{\prime}(t_{2})\) for \(t\geq t_{2}\). Now the inequality (43) suggests that

$$\begin{aligned} v^{\prime}(t) \geq& Q_{2}(t)+\frac{\beta}{r^{\frac{1}{\beta}}(t)} \bigl[-z^{\prime}(t)\bigr]^{\frac{\beta-\alpha}{ \beta}}v^{\frac{\beta+1}{\beta}}(t) \\ \geq&Q_{2}(t)+\frac{c_{2}}{r^{\frac{1}{\beta}}(t)}v^{\frac{\beta+1}{\beta }}(t),\quad t\geq t_{2}\geq t_{1}, \end{aligned}$$
(46)

where \(c_{2}=\beta[-z^{\prime}(t_{2})]^{\frac{\beta-\alpha}{\beta}}\).

Combining (44)-(46), we obtain

$$ v^{\prime}(t)\geq Q_{2}(t)+\frac{c}{r^{\frac{1}{\mu}(t)}}v^{\frac{ \mu +1}{\mu}}(t),\quad t\geq t_{2}, $$
(47)

where \(\mu=\max\{{\alpha,\beta\}}\) and

$$c= \textstyle\begin{cases} \alpha,& \alpha=\beta,\\ c=\min\{{c_{1},c_{2}\}},& \alpha\neq\beta. \end{cases} $$

Multiplying (47) by \(\pi^{\mu}(t)\) and integrating it from \(t_{2}\) to t, we have

$$ \int^{t}_{t_{2}}\pi^{\mu}(s)Q_{2}(s)\,ds \leq \int^{t}_{t_{2}}\pi^{\mu}(s)v^{\prime}(s)\,ds-c \int^{t}_{t_{2}}\frac{\pi^{\mu}(s)}{r^{\frac{1}{\mu }}(s)}v^{\frac{ \mu+1}{\mu}}(s)\,ds. $$
(48)

Using integration by parts, the inequality (48) yields

$$\begin{aligned} \int^{t}_{t_{2}}\pi^{\mu}(s)Q_{2}(s)\,ds \leq& \pi^{\mu}(t)v(t)-\pi^{\mu}(t_{2})v(t_{2}) \\ {}&+ \int^{t}_{t_{2}}\pi^{\mu}(s)\biggl[ \frac{\mu v(s)}{\pi(s)r^{\frac{1}{\alpha }}(s)}-\frac{cv^{\frac{\mu+1}{\mu}}(s)}{r^{\frac{1}{\mu}}(s)}\biggr]\,ds. \end{aligned}$$
(49)

By the inequality (21), we get

$$ \frac{\mu v(s)}{\pi(s)r^{\frac{1}{\alpha}}(s)}-\frac{cv^{\frac{\mu+1}{\mu }}(s)}{r^{\frac{1}{\mu}}(s)}\leq\frac{\mu^{2\mu+1}}{c^{\mu}(\mu+1)^{\mu +1}}\frac{(r(s))^{1-\frac{\mu+1}{\alpha}}}{\pi^{\mu+1}(s)}. $$
(50)

Substituting in (49), we obtain

$$ \int^{t}_{t_{2}} \biggl[\pi^{\mu}(s)Q_{2}(s)- \frac{K(r(s))^{1-\frac{\mu +1}{\alpha}}}{\pi(s)} \biggr]\,ds\leq\pi^{\mu}(t)v(t)-\pi^{\mu}(t_{2})v(t_{2}), $$
(51)

where \(K=\frac{\mu^{2\mu+1} }{c^{\mu}(\mu+1)^{\mu+1}}\).

In view of (41) and (42), we have

$$\int^{t}_{t_{2}} \biggl[\pi^{\mu}(s)Q_{2}(s)- \frac{K(r(s))^{1-\frac{\mu +1}{\alpha}}}{\pi(s)} \biggr]\,ds\leq c_{1}+c_{2}, $$

which contradicts condition (33). Then equation (1) is oscillatory for all \(\alpha>0\) and \(\beta>0\). Hence the theorem is proved. □

Remark 3

Theorem 2.2 of [2] holds only for equation (1) with \(p(t)=0\) and \(\alpha=\beta\), Theorem 2.1-2.3 of [4] hold only for \(\alpha=1\) and \(\beta\geq1\), Theorem 2.5 of [5] and Theorem 2.3 of [6] hold only for \(\alpha\geq\beta\). Our Theorem 3 holds for equation (1) with all \(\alpha>0\) and \(\beta>0\).

3 Examples

Now in this section we shall give two examples to illustrate our results.

Example 1

Consider the differential equation

$$ \mbox{($E_{3}$):}\quad \bigl(\bigl\vert z^{\prime}(t)\bigr\vert ^{\alpha-1}z^{\prime}(t) \bigr)^{\prime}+\frac {1}{t^{1+\frac{\lambda}{2}}}\bigl\vert x(t-2)\bigr\vert ^{\beta-1}x(t-2)=0, \quad \text{for } t\in[2,\infty), $$
(52)

where \(z(t)=x(t)+\frac{1}{2}x(t-1)\), \(\alpha>0\), \(\beta>0\), and \(\lambda=\min \{\alpha,\beta\}\). Noticing that \(r(t)=1\), \(p(t)=\frac{1}{2}\), \(q(t)=\frac{1}{t^{1+\frac {\lambda}{2}}}\), \(\tau(t)=t-1\), \(\sigma(t)=t-2\) and

$$\int^{\infty}_{t_{0}}\frac{1}{r^{\frac{1}{\alpha}}(t)}\,dt=\infty, $$

then (3) is satisfied. Since \(Q_{1}(t)=(\frac{1}{2})^{\beta}\frac {1}{t^{1+\frac{\lambda}{2}}}\), \(\lambda>0\), then \(\int^{\infty }_{t_{0}}Q_{1}(t)\,dt<\infty\). In order to apply Theorem 1, it remains to discuss condition (6). If we choose \(\rho(t)=t^{\frac{\lambda}{2}}\), we have

$$\begin{aligned}& \int^{\infty}_{t_{0}} \biggl[\rho(t)Q_{1}(t)- \frac{ (\rho^{\prime }(t) )^{\lambda+1}r(\lambda(t))}{ (\lambda+1 )^{\lambda +1} (m\rho(t)\sigma^{\prime}(t) )^{\lambda}} \biggr]\,dt \\& \quad = \int^{\infty}_{2} \biggl[\frac{(\frac{1}{2})^{\beta}}{t}- \biggl( \frac {\lambda}{2(\lambda+1)} \biggr)^{\lambda+1}\frac{1}{m^{\lambda}}\frac {1}{t^{1+\frac{\lambda}{2}}} \biggr]\,dt=\infty. \end{aligned}$$

Then by Theorem 1, every solution of (52) is oscillatory for all \(\alpha>0\) and \(\beta>0\).

Example 2

Consider the differential equation

$$ \mbox{($E_{4}$):}\quad \bigl(t^{2\alpha}\bigl\vert z^{\prime}(t)\bigr\vert ^{\alpha-1}z^{\prime}(t) \bigr)^{\prime}+t^{2\alpha+\beta}\bigl\vert x(t-3)\bigr\vert ^{\beta-1}x(t-3)=0, \quad \text{for } t\in[3, \infty), $$
(53)

where \(z(t)=x(t)+\frac{1}{3}x(t-2)\), \(\alpha>0\), \(\beta>0\). Observe \(r(t)=t^{2\alpha}\), \(p(t)=\frac{1}{3}\), \(q(t)=t^{2\alpha+\beta}\), \(\tau(t)=t-2\), \(\sigma(t)=t-3\) and

$$\int^{\infty}_{3}\frac{1}{r^{\frac{1}{\alpha}}(t)}\,dt= \int^{\infty }_{3}\frac{1}{t^{2}}\,dt< \infty. $$

Then (4) is satisfied. It is clear that (32) is satisfied. Since \(p(t)=\frac{1}{3}\), we have

$$Q_{1}(t)=Q_{2}(t)=\biggl(\frac{2}{3} \biggr)^{\beta}t^{2\alpha+\beta}. $$

If we choose \(\rho(t)=1\), then condition (6) is satisfied. To apply Theorem 3, it remains to discuss the condition (33); in view of \(\pi(t)=\frac{1}{t}\), we have

$$\begin{aligned}& \int^{\infty}_{t_{0}} \biggl[\pi^{\mu}(t)Q_{2}(t)- \frac{K(r(t))^{\frac{\alpha -\mu-1}{\alpha}}}{\pi(t)} \biggr]\,dt \\& \quad = \int^{\infty}_{t_{0}}\biggl[\biggl(\frac{2}{3} \biggr)^{\beta}t^{2\alpha+\beta-\mu }-Kt^{2\alpha-2\mu-1}\biggr]\,dt \\& \quad = \textstyle\begin{cases} \int^{\infty}_{3}[(\frac{2}{3})^{\beta}t^{\alpha+\beta}-\frac {K}{t}]\,dt=\infty,& \mu=\alpha;\\ \int^{\infty}_{3}t^{2\alpha}[(\frac{2}{3})^{\beta}-\frac{K}{t^{1+2\beta }}]\,dt=\infty,& \mu=\beta. \end{cases}\displaystyle \end{aligned}$$

Then by Theorem 3, (53) is oscillatory for all \(\alpha >0\) and \(\beta>0\).

Remark 4

We note that the results obtained for those equations in [120] cannot deal with (52) and (53).

References

  1. Dzurina, J, Stavroulakis, IP: Oscillation criteria for second order delay differential equations. Appl. Math. Comput. 140, 445-453 (2003)

    MathSciNet  MATH  Google Scholar 

  2. Sun, YG, Meng, FW: Note on the paper of Dgurina and Stavroulakis. Appl. Math. Comput. 174, 1634-1641 (2006)

    MathSciNet  MATH  Google Scholar 

  3. Erbe, L, Hassan, TS, Peterson, A: Oscillation of second order neutral delay differential equations. Adv. Dyn. Syst. Appl. 3, 53-71 (2008)

    MathSciNet  Google Scholar 

  4. Li, TX, Han, ZL, Zhang, CH, Sun, SR: On the oscillation of second order Emden-Fowler neutral differential equations. J. Appl. Math. Comput., Int. J. 37, 601-610 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  5. Liu, HD, Meng, FW, Liu, PH: Oscillation and asymptotic analysis on a new generalized Emden-Fowler equation. Appl. Math. Comput. 219, 2739-2748 (2012)

    MathSciNet  MATH  Google Scholar 

  6. Zeng, YH, Lou, LP, Yu, YH: Oscillation for Emden-Fowler delay differential equations of neutral type. Acta Math. Sci. 35A, 803-814 (2015)

    MathSciNet  MATH  Google Scholar 

  7. Tiryaki, A: Oscillation criteria for a certain second order nonlinear differential equations with deviating arguments. Electron. J. Qual. Theory Differ. Equ. 2009, 61 (2009)

    MathSciNet  MATH  Google Scholar 

  8. Baculikova, B, Dgurina, J: Oscillation theorems for second order nonlinear neutral differential equations. Comput. Math. Appl. 62, 4472-4478 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  9. Baculikova, B, Li, T, Dzurina, J: Oscillation theorems for second order super-linear neutral differential equations. Math. Slovaca 63, 123-134 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  10. Hasanbulli, M, Rogovchenko, YV: Oscillation criteria for second order nonlinear neutral differential equations. Appl. Math. Comput. 215, 4392-4399 (2010)

    MathSciNet  MATH  Google Scholar 

  11. Dong, JG: Oscillation behavior of second-order nonlinear neutral differential equations with deviating arguments. Comput. Math. Appl. 59, 3710-3717 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  12. Karpug, B, Manojlovic, JV, Ocalan, O, Shoukaku, Y: Oscillation criteria for a class of second order neutral delay differential equations. Appl. Math. Comput. 210, 303-312 (2009)

    MathSciNet  MATH  Google Scholar 

  13. Hasanbulli, M, Rogovchenko, YV: Oscillation of nonlinear neutral functional differential equations. Dyn. Contin. Discrete Impuls. Syst. 16, 227-233 (2009)

    MathSciNet  MATH  Google Scholar 

  14. Li, T, Rogovchenko, YV, Zhang, C: Oscillation of second order neutral differential equations. Funkc. Ekvacioj 56, 111-120 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  15. Liu, L, Bai, Y: New oscillation criteria for second order nonlinear delay neutral differential equations. J. Comput. Appl. Math. 231, 657-663 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  16. Qin, H, Shang, N, Lu, Y: A note on oscillation criteria of second order nonlinear neutral delay differential equations. Comput. Math. Appl. 56, 2987-2992 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  17. Rogovchenko, YV, Tuncay, F: Oscillation criteria for second order nonlinear differential equations with damping. Nonlinear Anal. 69, 208-221 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  18. Wang, XL, Meng, FW: Oscillation criteria of second order quasi-linear neutral delay differential equations. Math. Comput. Model. 46, 415-421 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  19. Xu, R, Meng, FW: Oscillation criteria for second order quasi-linear neutral delay differential equations. Appl. Math. Comput. 192, 216-222 (2007)

    MathSciNet  MATH  Google Scholar 

  20. Ye, L, Xu, Z: Oscillation criteria for second order quasilinear neutral delay differential equations. Appl. Math. Comput. 207, 388-396 (2009)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The first author is supported by the Guangdong Engineering Technology Research Center of Cloud Robot (Grant 2015B090903084), sponsored by Science and technology project of Guangdong Province, P.R. China. The fourth author is supported by the National Natural Science Foundation of China (Grant 11501131) and the Training Project for Young Teachers in Higher Education of Guangdong, China (Grant YQ2015117).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yuanhong Yu.

Additional information

Competing interests

The authors declare they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

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

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wu, Y., Yu, Y., Zhang, J. et al. Oscillation criteria for second order Emden-Fowler functional differential equations of neutral type. J Inequal Appl 2016, 328 (2016). https://doi.org/10.1186/s13660-016-1268-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-016-1268-9

MSC

Keywords