# Oscillation of second-order nonlinear delay differential equations with nonpositive neutral coefficients

## Abstract

We present several oscillation criteria for a second-order nonlinear delay differential equation with a nonpositive neutral coefficient. Two examples are given to illustrate the main results.

## Introduction

In this work, we study the oscillation of a nonlinear second-order neutral delay differential equation

$$\bigl(r(t) \bigl(z'(t)\bigr)^{\alpha}\bigr)'+q(t)f \bigl(x\bigl(\sigma(t)\bigr)\bigr)=0,\quad t\geq t_{0}>0,$$
(1.1)

where $$z(t)=x(t)-p(t)x(\tau(t))$$ and $$\alpha>0$$ is the ratio of two odd integers. Throughout, we assume that the following hypotheses are satisfied:

(H1):

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

(H2):

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

(H3):

$$\sigma\in\mathrm{C}^{1}([t_{0}, \infty),\mathbb{R})$$, $$\sigma'(t)>0$$, $$\sigma(t)\leq t$$, and $$\lim_{t\rightarrow\infty}\sigma(t)=\infty$$;

(H4):

$$f\in\mathrm{C}(\mathbb{R},\mathbb{R})$$, $$uf(u)>0$$ for all $$u\neq0$$, and there exists a positive constant k such that

$$\frac{f(u)}{u^{\alpha}}\geq k\quad \text{for all } u\neq0.$$

By a solution to (1.1), we mean a function $$x\in\mathrm{C}([T_{x},\infty),\mathbb{R})$$, $$T_{x}\geq t_{0}$$ which has the property $$r(z')^{\alpha}\in\mathrm{C}^{1}([T_{x},\infty),\mathbb{R})$$ and satisfies (1.1) on the interval $$[T_{x},\infty)$$. We consider only those solutions of (1.1) which satisfy condition $$\sup\{|x(t)|:t\geq T\}>0$$ for all $$T\geq T_{x}$$ and assume that (1.1) possesses such solutions. As usual, a solution of (1.1) is called oscillatory if it has arbitrarily large zeros on $$[T_{x},\infty)$$; otherwise, it is said to be nonoscillatory. Equation (1.1) is termed oscillatory if all its solutions oscillate.

In recent years, there has been increasing interest in studying oscillation of solutions to different classes of differential equations due to the fact that they have numerous applications in natural sciences and engineering; see, e.g., Hale  and Wong . In particular, many papers deal with oscillatory behavior of second-order and third-order delay differential equations; see, for instance,  and the references cited therein.

In what follows, we provide some background details regarding the study of oscillation of second-order differential equations which motivated our study. Oscillation criteria for (1.1) and its particular cases have been reported in [25, 912, 14, 15]. A commonly used assumption is

$$-1< p(t)\leq0,$$

although several authors studied the oscillation of (1.1) in the case where

$$-\infty< -p_{0}\leq p(t)\leq0.$$

In particular, Wong  and Yang et al.  obtained several oscillation theorems for (1.1) under the assumptions that

$$0\leq p(t)\leq p_{0}< 1$$
(1.2)

and

$$\tau(t)=t-\tau_{0}\leq t \quad \text{and}\quad \sigma(t)=t-\sigma_{0}\leq t;$$
(1.3)

see also the paper by Qin et al.  where inaccuracies in  were pointed out.

Baculíková and Džurina  investigated the asymptotic properties of the couple of third-order neutral differential equations

$$\bigl(r(t) \bigl(\bigl[x(t)\pm p(t)x\bigl(\delta(t)\bigr)\bigr]'' \bigr)^{\gamma}\bigr)'+q(t)x^{\gamma}\bigl(\tau(t)\bigr)=0$$

assuming that

$$\int_{t_{0}}^{\infty} r^{-1/\alpha}(t)\, \mathrm{d}t=\infty.$$
(1.4)

On the basis of the ideas exploited by , we derive some new oscillation results for (1.1). In the sequel, all functional inequalities are assumed to hold for all t large enough. Without loss of generality, we can deal only with positive solutions of (1.1).

## Lemmas

In this section, we give two lemmas that will be useful for establishing oscillation criteria for (1.1).

### Lemma 2.1

Let conditions (H1)-(H4) and (1.4) be satisfied and assume that x is a positive solution of (1.1). Then z satisfies the following two possible cases:

(C1):

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

(C2):

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

for $$t\geq t_{1}$$, where $$t_{1}\geq t_{0}$$ is sufficiently large.

### Proof

Suppose that there exists a $$t_{1}\geq t_{0}$$ such that $$x(t)>0$$, $$x(\tau(t))> 0$$, and $$x(\sigma(t))> 0$$ for $$t\geq t_{1}$$. It follows from (1.1) that

$$\bigl(r(t) \bigl(z'(t)\bigr)^{\alpha} \bigr)'\leq-kq(t)x^{\alpha}\bigl(\sigma(t)\bigr)\leq0.$$
(2.1)

Hence, $$r(z')^{\alpha}$$ is nonincreasing and of one sign. That is, there exists a $$t_{2}\geq t_{1}$$ such that $$z'(t)>0$$ or $$z'(t)<0$$ for $$t\geq t_{2}$$.

If $$z'(t)>0$$ for $$t\geq t_{2}$$, then we have (C1) or (C2). We prove now that $$z'(t)<0$$ cannot occur. If $$z'(t)<0$$ for $$t\geq t_{2}$$, then

$$r(t) \bigl(z'(t)\bigr)^{\alpha}\leq-c< 0$$

for $$t\geq t_{2}$$, where $$c=-r(t_{2})(z'(t_{2}))^{\alpha}>0$$. Thus, we conclude that

$$z(t)\leq z(t_{2})-c^{1/\alpha}{\int_{t_{2}}^{t}{r^{-{1}/{\alpha}}(s)} \,\mathrm{d}s}.$$

By virtue of condition (1.4), $$\lim_{t\rightarrow\infty}{z(t)}=-\infty$$. We consider now the following two cases separately.

Case 1. If x is unbounded, then there exists a sequence $$\{t_{k}\}$$ such that $$\lim_{k\rightarrow\infty}{t_{k}}=\infty$$ and $$\lim_{k\rightarrow\infty}{x(t_{k})}=\infty$$, where $$x(t_{k})=\max\{x(s); t_{0}\leq s \leq t_{k}\}$$. Since $$\lim_{t\rightarrow\infty}\tau(t)=\infty$$, $$\tau(t_{k})>t_{0}$$ for all sufficiently large k. By $$\tau(t)\leq t$$,

$$x\bigl(\tau(t_{k})\bigr)=\max\bigl\{ x(s); t_{0}\leq s \leq \tau(t_{k})\bigr\} \leq\max\bigl\{ x(s); t_{0}\leq s \leq t_{k}\bigr\} =x(t_{k}).$$

Therefore, for all large k,

$$z(t_{k})=x(t_{k})-p(t_{k})x\bigl( \tau(t_{k})\bigr)\geq\bigl(1-p(t_{k})\bigr)x(t_{k})>0,$$

which contradicts the fact that $$\lim_{t\rightarrow\infty}{z(t)}=-\infty$$.

Case 2. If x is bounded, then z is also bounded, which contradicts $$\lim_{t\rightarrow\infty}{z(t)}=-\infty$$. Hence, z satisfies one of the cases (C1) and (C2). This completes the proof. □

### Lemma 2.2

Assume that x is a positive solution of (1.1) and z satisfies case (C2). Then

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

### Proof

By $$z<0$$ and $$z'>0$$, we deduce that

$$\lim_{t\rightarrow\infty}{z(t)}=l\leq0,$$

where l is a finite constant. That is, z is bounded. As in the proof of Case 1 in Lemma 2.1, x is also bounded. Using the fact that x is bounded, we obtain

$$\limsup_{t\rightarrow\infty}{x(t)}=a,\quad 0\leq a< \infty.$$

We claim that $$a=0$$. If $$a>0$$, then there exists a sequence $$\{t_{m}\}$$ such that $$\lim_{m\rightarrow\infty}{t_{m}}=\infty$$ and $$\lim_{m\rightarrow\infty}{x(t_{m})}=a$$. Let $$\varepsilon=a(1-p_{0})/2p_{0}$$. Then for all large m, $$x(\tau(t_{m}))< a+\varepsilon$$, and so

$$0\geq\lim_{m\rightarrow\infty}{z(t_{m})}\geq\lim _{m\rightarrow\infty}{x(t_{m})}- p_{0}(a+\varepsilon)= \frac{a(1-p_{0})}{2}>0,$$

which is a contradiction. Thus, $$a=0$$ and $$\lim_{t\rightarrow\infty}{x(t)}=0$$. The proof is complete. □

## Oscillation results

In what follows, we denote

$$\xi(t)=r^{{1}/{\alpha}}(t)\int_{t_{1}}^{t}{r^{-{1}/{\alpha}}(s)} \,\mathrm{d}s,$$

where $$t_{1}\geq t_{0}$$ is sufficiently large.

### Theorem 3.1

Let conditions (H1)-(H4) and (1.4) be satisfied. If there exists a positive function $$\rho\in\mathrm{C}^{1}([t_{0}, \infty),\mathbb{R})$$ such that, for all sufficiently large $$t_{1}\geq t_{0}$$,

$$\int^{\infty}\biggl[k\rho(t)q(t)- \frac{\rho'_{+}(t)r(\sigma(t))}{\xi^{\alpha}(\sigma (t))} \biggr]\,\mathrm{d}t=\infty,$$
(3.1)

where $$\rho'_{+}(t)=\max\{0,\rho'(t)\}$$, then every solution x of (1.1) is either oscillatory or satisfies $$\lim_{t\rightarrow\infty}x(t)=0$$.

### Proof

Without loss of generality, we may assume that there exists a $$t_{1}\geq t_{0}$$ such that $$x(t)>0$$, $$x(\tau(t))>0$$, and $$x(\sigma(t))>0$$ for $$t\geq t_{1}$$. Then we have (2.1). From Lemma 2.1, z satisfies one of the cases (C1) and (C2). We consider each of two cases separately.

Suppose first that case (C1) holds. By the definition of z,

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

Using (2.1) and condition $$\sigma(t)\leq t$$, we conclude that

$$r(t) \bigl(z'(t)\bigr)^{\alpha}\leq r\bigl( \sigma(t)\bigr) \bigl(z'\bigl(\sigma(t)\bigr)\bigr)^{\alpha}.$$
(3.3)

It follows now from (2.1) that

$$z(t)=z(t_{1})+\int^{t}_{t_{1}} \frac{(r(s)(z'(s))^{\alpha})^{1/\alpha }}{r^{1/\alpha}(s)}\,\mathrm{d}s \geq z'(t)r^{{1}/{\alpha}}(t)\int ^{t}_{t_{1}}{r^{-{1}/{\alpha}}(s)}\,\mathrm{d}s = \xi(t)z'(t).$$
(3.4)

We define a function ω by

$$\omega(t)=\rho(t)\frac{r(t)(z'(t))^{\alpha}}{z^{\alpha}(\sigma(t))},\quad t\geq t_{1}.$$

Then $$\omega(t)>0$$ for $$t\geq t_{1}$$ and

$$\omega'(t)=\rho'(t)\frac{r(t)(z'(t))^{\alpha}}{z^{\alpha}(\sigma(t))}+ \rho(t)\frac{(r(t)(z'(t))^{\alpha})'}{z^{\alpha}(\sigma(t))}- \rho(t)\frac{\alpha r(t)(z'(t))^{\alpha}z'(\sigma(t))\sigma'(t)}{z^{\alpha+1}(\sigma(t))}.$$
(3.5)

Using (2.1) and (3.2)-(3.5), we get

$$\omega'(t)\leq\rho'(t) \frac{r(t)(z'(t))^{\alpha}}{z^{\alpha}(\sigma (t))}-k\rho(t)q(t) \leq\rho'_{+}(t) \frac{r(\sigma(t))}{\xi^{\alpha}(\sigma(t))}-k\rho(t)q(t).$$
(3.6)

Integrating (3.6) from $$t_{2}$$ ($$t_{2}>t_{1}$$) to t, we obtain

$$\int^{t}_{t_{2}} \biggl[k\rho(s)q(s)- \frac{\rho'_{+}(s)r(\sigma(s))}{\xi ^{\alpha}(\sigma(s))} \biggr]\,\mathrm{d}s\leq\omega(t_{2}),$$

If z satisfies (C2), then $$\lim_{t\rightarrow\infty}{x(t)}=0$$ due to Lemma 2.2. The proof is complete. □

Let $$\rho(t)=1$$. We can obtain the following criterion for (1.1) using Theorem 3.1.

### Corollary 3.1

Let conditions (H1)-(H4) and (1.4) be satisfied. If

$$\int^{\infty}q(t)\,\mathrm{d}t=\infty,$$

then the conclusion of Theorem  3.1 remains intact.

### Theorem 3.2

Let $$\alpha\geq1$$ hold and conditions (H1)-(H4) and (1.4) be satisfied. If there exists a positive function $$\rho\in\mathrm{C}^{1}([t_{0}, \infty),\mathbb{R})$$ such that, for all sufficiently large $$t_{1}\geq t_{0}$$,

$$\int^{\infty} \biggl[k\rho(t)q(t)- \frac{(\rho'_{+}(t))^{2}r(\sigma (t))}{4\alpha\rho(t) \sigma'(t)\xi^{\alpha-1}(\sigma(t))} \biggr]\,\mathrm{d}t=\infty,$$
(3.7)

where $$\rho'_{+}(t)=\max\{0,\rho'(t)\}$$, then the conclusion of Theorem  3.1 remains intact.

### Proof

As above, suppose that x is a positive solution of (1.1). By virtue of Lemma 2.1, z satisfies one of (C1) and (C2). We discuss each of the two cases separately.

Assume first that z has property (C1). We obtain (3.3) and (3.4). Define now ω as in the proof of Theorem 3.1. Then $$\omega>0$$ and

$$\omega'(t)\leq-k\rho(t)q(t)+\frac{\rho'_{+}(t)}{\rho(t)} \omega(t)-\alpha \sigma'(t)\rho(t)\frac{r(t)(z'(t))^{\alpha}}{z^{\alpha}(\sigma(t))} \frac {z'(\sigma(t))}{z(\sigma(t))}.$$
(3.8)

On the other hand, by (3.3) and (3.4),

$$\frac{z'(\sigma(t))}{z(\sigma(t))}=\frac{1}{r(\sigma(t))}\frac{r(\sigma (t))(z'(\sigma(t)))^{\alpha}}{z^{\alpha}(\sigma(t))} \biggl( \frac{z(\sigma(t))}{z'(\sigma(t))} \biggr)^{\alpha-1} \geq\frac{\xi^{\alpha-1}(\sigma(t))}{r(\sigma(t))} \frac {r(t)(z'(t))^{\alpha}}{z^{\alpha}(\sigma(t))}.$$
(3.9)

Substituting (3.9) into (3.8), we obtain

\begin{aligned} \omega'(t) \leq&-k\rho(t)q(t)+\frac{\rho'_{+}(t)}{\rho(t)} \omega (t)-\alpha \sigma'(t)\frac{\xi^{\alpha-1}(\sigma(t))}{r(\sigma(t))\rho(t)}\omega^{2}(t) \\ \leq&-k\rho(t)q(t)+\frac{(\rho'_{+}(t))^{2}r(\sigma(t))}{4\alpha\rho(t) \sigma'(t)\xi^{\alpha-1}(\sigma(t))}. \end{aligned}
(3.10)

Integrating (3.10) from $$t_{2}$$ ($$t_{2}>t_{1}$$) to t, we have

$$\int_{t_{2}}^{t} \biggl[k\rho(s)q(s)- \frac{(\rho'_{+}(s))^{2}r(\sigma (s))}{4\alpha\rho(s) \sigma'(s)\xi^{\alpha-1}(\sigma(s))} \biggr]\,\mathrm{d}s\leq\omega(t_{2}),$$

If z satisfies (C2), then $$\lim_{t\rightarrow\infty}{x(t)}=0$$ when using Lemma 2.2. This completes the proof. □

## Examples and discussion

### Example 4.1

For $$t\geq1$$, consider a second-order neutral differential equation

$$\biggl[x(t)-\frac{1}{2}x \biggl(t-\frac{\pi}{2} \biggr) \biggr]''+8x \biggl(t-\frac{\pi}{2} \biggr)=0.$$
(4.1)

It follows from Corollary 3.1 that every solution x of (4.1) is either oscillatory or satisfies property $$\lim_{t\rightarrow\infty}x(t)=0$$. For instance, $$x(t)=\sin4t$$ is an oscillatory solution of this equation.

### Example 4.2

For $$t\geq1$$, consider a second-order nonlinear neutral differential equation

$$\bigl(t^{2}\bigl(z'(t)\bigr)^{3} \bigr)'+\gamma t^{-2}x^{3} \biggl( \frac{t}{2} \biggr)=0,$$
(4.2)

where $$z(t)=x(t)-x(t/3)/2$$ and $$\gamma>0$$ is a constant. Let $$\alpha=3$$, $$r(t)=t^{2}$$, $$q(t)=t^{-2}$$, $$\sigma(t)=t/2$$, $$k=\gamma$$, and $$\rho(t)=t$$, and note that $$\xi(t)\geq3k_{0}t$$ for every $$k_{0}\in(0,1)$$. By virtue of Theorem 3.2, every solution x of (4.2) is either oscillatory or satisfies $$\lim_{t\rightarrow\infty}x(t)=0$$ if $$\gamma>1/(54k_{0}^{2})$$ for some $$k_{0}\in(0,1)$$. However, it follows from Theorem 3.1 that every solution x of (4.2) is either oscillatory or satisfies $$\lim_{t\rightarrow\infty}x(t)=0$$ if $$\gamma>2/(27k_{0}^{3})$$ for some $$k_{0}\in(0,1)$$. Note that

$$\frac{2}{27k_{0}^{3}}>\frac{1}{54k_{0}^{2}}$$

for every $$k_{0}\in(0,1)$$. Therefore, Theorem 3.2 improves Theorem 3.1 in some cases. But Theorem 3.1 can be applied to (1.1) in the case when $$0<\alpha<1$$. Observe that results reported in [2, 14, 15] cannot be applied to (4.2) since (1.3) fails to hold for this equation.

### Remark 4.1

We establish two classes of oscillation criteria for (1.1) without requiring the restrictive conditions (1.3). Note that these results are based on the assumption (1.2) and, as fairly noticed by one of the referees, these results cannot be applied to the case where $$p(t)=1$$.

### Remark 4.2

Note that Theorems 3.1 and 3.2 and Corollary 3.1 guarantee that every solution x of (1.1) is either oscillatory or satisfies $$\lim_{t\rightarrow\infty}x(t)=0$$ and, unfortunately, these results cannot distinguish solutions with different behaviors. Since the sign of z is not known, it is not easy to establish sufficient conditions which ensure that all solutions of (1.1) are just oscillatory and do not satisfy $$\lim_{t\rightarrow\infty}x(t)=0$$.

### Remark 4.3

On the basis of Remarks 4.1 and 4.2, two interesting problems for future research can be formulated as follows:

1. (P1)

Is it possible to establish oscillation criteria for (1.1) without requiring condition (1.2)?

2. (P2)

Is it possible to suggest a different method to study (1.1) and obtain some sufficient conditions which ensure that all solutions of (1.1) are oscillatory?

## References

1. 1.

Hale, JK: Theory of Functional Differential Equations. Springer, New York (1977)

2. 2.

Wong, JSW: Necessary and sufficient conditions for oscillation of second order neutral differential equations. J. Math. Anal. Appl. 252, 342-352 (2000)

3. 3.

Agarwal, RP, Bohner, M, Li, T, Zhang, C: A new approach in the study of oscillatory behavior of even-order neutral delay differential equations. Appl. Math. Comput. 225, 787-794 (2013)

4. 4.

Baculíková, B, Džurina, J: Oscillation theorems for second order neutral differential equations. Comput. Math. Appl. 61, 94-99 (2011)

5. 5.

Baculíková, B, Džurina, J: Oscillation theorems for second-order nonlinear neutral differential equations. Comput. Math. Appl. 62, 4472-4478 (2011)

6. 6.

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

7. 7.

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

8. 8.

Kamenev, IV: An integral criterion for oscillation of linear differential equations of second order. Mat. Zametki 23, 249-251 (1978)

9. 9.

Li, T, Rogovchenko, YuV: Asymptotic behavior of higher-order quasilinear neutral differential equations. Abstr. Appl. Anal. 2014, Article ID 395368 (2014). doi:10.1155/2014/395368

10. 10.

Li, T, Rogovchenko, YuV: Oscillation theorems for second-order nonlinear neutral delay differential equations. Abstr. Appl. Anal. 2014, Article ID 594190 (2014). doi:10.1155/2014/594190

11. 11.

Li, T, Rogovchenko, YuV: Oscillatory behavior of second-order nonlinear neutral differential equations. Abstr. Appl. Anal. 2014, Article ID 143614 (2014). doi:10.1155/2014/143614

12. 12.

Li, T, Rogovchenko, YuV, Zhang, C: Oscillation results for second-order nonlinear neutral differential equations. Adv. Differ. Equ. 2013, 336 (2013)

13. 13.

Philos, ChG: Oscillation theorems for linear differential equations of second order. Arch. Math. 53, 482-492 (1989)

14. 14.

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)

15. 15.

Yang, Q, Yang, L, Zhu, S: Interval criteria for oscillation of second-order nonlinear neutral differential equations. Comput. Math. Appl. 46, 903-918 (2003)

## Acknowledgements

The authors are grateful to the editors and three referees for a very thorough reading of the manuscript and for pointing out several inaccuracies. This research is supported by NNSF of P.R. China (Grant No. 61403061), NSF of Shandong Province (Grant No. ZR2012FL06), and the AMEP of Linyi University, P.R. China.

## Author information

Authors

### Corresponding author

Correspondence to Tongxing Li.

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

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

## Rights and permissions

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Reprints and Permissions 