- Research
- Open access
- Published:

# Oscillation criteria for a certain second-order nonlinear perturbed differential equations

*Journal of Inequalities and Applications*
**volume 2013**, Article number: 524 (2013)

## Abstract

In this paper, a class of second-order nonlinear perturbed differential equation and its special cases are studied. By using the generalized Riccati transformation and well-known techniques, some new oscillation criteria are established. The results obtained essentially generalize and improve some known results and can be applied to the well-known half-linear and damped half-linear-type equations.

## 1 Introduction

This paper is concerned with the problem of oscillatory behavior of the perturbed second-order nonlinear differential equation

where r\in C(I,{\mathbb{R}}^{+}), \psi \in C(\mathbb{R},{\mathbb{R}}^{+}), \mathbb{R}=(-\mathrm{\infty},\mathrm{\infty}), I=[{t}_{0},\mathrm{\infty}), and *α* is a positive real number. Throughout the paper, according to the results, we shall impose the following conditions:

(H_{1}) Let f\in {C}^{\prime}(\mathbb{R},\mathbb{R}), and there exists a constant k>0 such that \frac{{f}^{\prime}(x)}{{(\psi (x){|f(x)|}^{\alpha -1})}^{\frac{1}{\alpha}}}\ge k and f(x)x>0 for x\ne 0,

(H_{2}) Q\in C(I\times \mathbb{R},\mathbb{R}), and there exists a continuous function q(t) such that \frac{Q(t,x)}{f(x)}\ge q(t) for x\ne 0,

(H_{3}) P\in C(I\times \mathbb{R}\times \mathbb{R},\mathbb{R}), and there exists a continuous function p(t) such that \frac{P(t,x,y)}{f(x)}\le p(t) for x\ne 0, y\ne 0,

(H_{4}) P\in C(I\times \mathbb{R}\times \mathbb{R},\mathbb{R}), and there exists a continuous function p(t) such that \frac{P(t,x,y)}{f(x)}\le p(t)\frac{{|y|}^{\alpha -1}y}{f(x)} for x\ne 0, y\ne 0,

(H_{5}) {\int}_{\u03f5}^{\mathrm{\infty}}{(\frac{\psi (y)}{f(y)})}^{\frac{1}{\alpha}}\phantom{\rule{0.2em}{0ex}}dy<\mathrm{\infty} and {\int}_{-\u03f5}^{-\mathrm{\infty}}{(\frac{\psi (y)}{f(y)})}^{\frac{1}{\alpha}}\phantom{\rule{0.2em}{0ex}}dy<\mathrm{\infty} for every \u03f5>0.

By a solution of (1), we mean a function u\in {C}^{\prime}([{T}_{u},\mathrm{\infty}),\mathbb{R}), {T}_{u}\ge {t}_{0}, which has the property r(t){|{u}^{\prime}(t)|}^{\alpha -1}{u}^{\prime}(t)\in {C}^{\prime}([{T}_{u},\mathrm{\infty}),\mathbb{R}) and satisfies (1) on [{T}_{u},\mathrm{\infty}). We consider only those solutions u(t) of (1), which satisfy sup\{|u(t)|:t\ge {T}_{u}\}>0 for all {T}_{u}\ge {t}_{0}. We assume that (1) possesses such a solution. A nontrivial solution of (1) is said to be oscillatory if it has a sequence of zeros tending to infinity, otherwise, it is called nonoscillatory. An equation is said to be oscillatory if all its solutions are oscillatory.

In the last century, oscillation theory of differential equations has developed quickly and played an important role in qualitative theory of differential equations and theory of boundary value problem. The study of oscillation theory plays an important role in physical science and technology; for example in the oscillation of building or machine, electromagnetic vibration in radio technology and optical science, self-exited vibration in control system, sound vibration, beam vibration in synchrotron accelerator, the vibration sparked for burning rocket engine, the complicated oscillation in chemical reaction, and also in the research of a lossless high-speed computer network and physical sciences [1, 2]. All of this different phenomena can be unified into oscillation theory through an oscillation equation. There are many books on oscillation theory, we choose to refer to [3–6].

This problem has received the attention of many authors. Many criteria have been found, some of which involve the average behavior of the integral of the alternating coefficient. Among numerous papers dealing with this subject, we refer in particular to [7–35].

The first attempt for Equation (1) was due to Graef *et al.* [13], who investigated the case of (1) with \alpha =1 and \psi (u)\equiv 1. In 1996, Wong and Agarwal studied the oscillatory behavior of (1) with \psi (u)\equiv 1 and the existence of a positive monotone solution of the damped equation given in [33]. Note that their paper contains a lot of new results and has been the motivation for the work for many others. It is the motivation for two recent papers and this work. In [2], Zhang and Wang studied the oscillation of Equation (1) with \alpha =1. We should note that Wong’s [33] result for \alpha =1 corresponds to the special case with \psi (u)\equiv 1 in two main results in [2]. On the other hand, in another recent paper, Remili [22] studied the oscillation results for Equation (1) with \alpha =1, \psi (u)\equiv 1. Two results of Remili, are also similar to Wong’s results with addition of a suitable weighted function.

In this paper, motivated by the ideas in [33], we obtain several new oscillation criteria for Equation (1) and its special cases by using generalized Riccati transformation and well known techniques. The results obtained essentially generalize and improve some known results and can be applied to the well-known half-linear equation and damped half-linear-type equations.

## 2 Main results

In this section, we prove our main results.

**Theorem 2.1** *Let conditions* (H_{1}), (H_{2}) *and* (H_{3}) *hold*. *If there exists a differentiable function* \rho :I\to {\mathbb{R}}^{+} *such that* {\rho}^{\prime}(t)\ge 0,

*and*

*where*

*then Equation* (1) *is oscillatory*.

*Proof* Let u(t) be a nonoscillatory solution of (1). We may assume that u(t)>0 for t\ge {t}_{1}\ge {t}_{0}. The proof in the case u(t)<0 for t\ge {t}_{1} is similar, and hence omitted. Define

Differentiating (5) and making use of (1) and from hypotheses (H_{2}) and (H_{3}), it follows that

It is easy to see that condition (H_{1}) implies that

By using the extremum of one variable function it can be easily proved that

Using the above inequality, we get

Integrating this inequality from {t}_{1} to *t*, we get

Letting {lim\hspace{0.17em}sup}_{t\to \mathrm{\infty}}, we get in view of (3) that w(t)\to -\mathrm{\infty}. Hence there exists {t}_{2}\ge {t}_{1} such that {u}^{\prime}(t)<0 for t\ge {t}_{2}. Condition (3) also implies

and there exists {t}_{3}\ge {t}_{2} such that

for t\ge {t}_{3}. Now multiplying (1) by {\rho}^{\alpha}(t) and integrating by parts, we obtain

where {c}_{{t}_{3}}:={\rho}^{\alpha}({t}_{3})r({t}_{3})\psi (u({t}_{3})){(-{u}^{\prime}({t}_{3}))}^{\alpha}>0. Then

Noting condition (2), and the fact that 0<u(t)\le u({t}_{3}), this implies that the left-hand side of this inequality, that is, {\int}_{u({t}_{3})}^{u(t)}{(\psi (y))}^{\frac{1}{\alpha}}\phantom{\rule{0.2em}{0ex}}dy is lower bounded. But the right-hand side of it tend towards mines infinite, so contradiction exists. The proof is complete. □

**Example 2.1** Consider the differential equations of the form

where {\theta}_{1} and {\theta}_{2} are continuous functions such that {\theta}_{1}(t,u)\ge 0 and {\theta}_{2}(t,u,{u}^{\prime})\le 1. If we take the functions *r*, *ψ*, *f* and the constant \alpha >0 satisfying the condition of Theorem 2.1, then Equation (E) is oscillatory. In particular, for the equation

all conditions of Theorem 2.1 are satisfied. Hence it is oscillatory.

A close look at the proof of Theorem 2.1 reveals that condition (3) may be replaced by the conditions

**Corollary 2.1** *Let the conditions of Theorem * 2.1 *be satisfied except that condition* (3) *is replaced by* (12) *and* (13). *Then Equation* (1) *is oscillatory*.

Note that there is no restriction on the sign of functions p(t) and q(t). But we have the condition

Now, supposing that this condition is not an establishment, we discuss the oscillatory behavior of (1). We have the following result.

**Theorem 2.2** *Let conditions* (H_{1}), (H_{2}), (H_{3}) *and* (H_{5}) *hold*. *Suppose that* *ρ* *is a positive continuously differentiable function on the interval I such that* {\rho}^{\prime}\ge 0 *on I and* (2) *hold*. *If*

*and*

*then Equation* (1) *is oscillatory*.

**Remark 2.1** Condition (15) implies that

hence (16) takes the form {\int}_{{t}_{0}}^{\mathrm{\infty}}A(s)\phantom{\rule{0.2em}{0ex}}ds\ge 0 for all large *T*.

*Proof* Let u(t) be a nonoscillatory solution on the interval I of the differential Equation (1). We suppose, as in Theorem 2.1, that u(t) is positive on I. We consider the following three cases for the behavior of {u}^{\prime}(t).

*Case 1:* {u}^{\prime}(t)>0 for t\ge {t}_{1} for some {t}_{1}\ge {t}_{0}. From (10), we have

Hence, for all t\ge {t}_{1}

Using (H_{5}), we obtain

This contradicts condition (17).

*Case 2:* {u}^{\prime}(t) changes signs, then there exists a sequence ({\alpha}_{n})\to \mathrm{\infty} in I such that {u}^{\prime}({\alpha}_{n})<0. Choose *N* large enough, so that

Then from (10), we have

which contradicts the fact that {u}^{\prime}(t) oscillates.

*Case 3:* {u}^{\prime}(t)<0 for t\ge {t}_{1}. Condition (16) implies that for any {t}_{0}\ge {t}_{1}, there exists {t}_{1}\ge {t}_{0} such that

for all t\ge {t}_{1} as it was shown in [28]. The remaining part of the proof is similar to that of Theorem 2.1. □

**Remark 2.2** When \alpha =1 and \psi (u)\equiv 1, Theorem 2.1 and Theorem 2.2 reduce to Theorem 1 and 2 in [22], respectively.

**Theorem 2.3** *Let conditions* (H_{1}), (H_{2}) *and* (H_{3}) *hold*. *If there exists a differentiable function* \rho :I\to {\mathbb{R}}^{+} *such that* {\rho}^{\prime}(t)\ge 0,

*and*

*where*

*then Equation* (1) *is oscillatory*.

*Proof* Otherwise, u(t)\ne 0 for all t\ge {t}_{1}\ge {t}_{0}. Define

Differentiating (22) and making use of (1) and conditions (H_{2}) and (H_{5}), it follows that

From (H_{1}) and using the equality

we get

The rest of the proof can be made as in the proof of Theorem 2.1. □

**Theorem 2.4** *Let conditions* (H_{1}), (H_{2}), (H_{3}) *and* (H_{5}) *hold*. *Suppose that there exists a differentiable function* \rho :I\to {\mathbb{R}}^{+} *such that* {\rho}^{\prime}(t)\ge 0 *on I and* (18) *hold*. *If*

*then any solution* u(t) *of Equation* (1) *such that* {u}^{\prime}(t) *is bounded is oscillatory*.

*Proof* Let u(t) be nonoscillatory solution of (1), say u(t)>0 for t\ge {t}_{0}. Further, assume that |{u}^{\prime}(t)|\le L for some L>0. Beginning as in the proof of Theorem 2.3, we have

From (H_{1}) and the definition of w(t), we have

Applying inequality (8), first two term in the second hand side, we get

*Case 1:* Suppose that {u}^{\prime}(t)>0 for t\ge {t}_{1}\ge {t}_{0}. An integration of (26) from {t}_{1} to t yields

By (25) and (H_{5}), the right side of (27) tends to −∞ as t\to \mathrm{\infty}. However, the left side of (27) is nonnegative.

*Case 2:* Suppose that {u}^{\prime}(t) oscillates. Then there exists a sequence ({\alpha}_{n})\to \mathrm{\infty} in *I* such that {u}^{\prime}({\alpha}_{n})=0. Choose *N* large enough, so that {\alpha}_{N}\ge {t}_{0}. With no loss of generality, we assume that {u}^{\prime}(t)>0 for the ({\alpha}_{N},{\alpha}_{N+1}). Further, in view of (18), we have

Now, an integration of (26) from {\alpha}_{N} to {\alpha}_{N+1}, provides

There are infinite number of *N*’s such that {u}^{\prime}(t)>0 for t\in ({\alpha}_{N},{\alpha}_{N+1}). Summing all these inequalities (29), we have

In view of (29), the left side of (30) is infinite, whereas the right side of (30) is finite by (H_{5}).

*Case 3:* Suppose that {u}^{\prime}(t)<0 for t\ge {t}_{1}\ge {t}_{0}. In view of (25), we may assume that there exists {t}_{2}\ge {t}_{1}, so that

Multiplying (1) by {\rho}^{\alpha}(t)R(t,{t}_{1}) and using (H_{3}), we get

The rest of the proof is as in the proof of Theorem 2.1. Hence we omit it. □

Note that it can be easily seen from the proof of Theorem 2.4 when \alpha =1, it is not necessary to assume that {u}^{\prime}(t) is bounded. In this case, conclusion of Theorem 2.4 leads to the following results.

**Corollary 2.2** *Let conditions* (H_{1}), (H_{2}), (H_{3}) *and* (H_{5}) *hold*. *Suppose that there exists a differentiable function* \rho :I\to {\mathbb{R}}^{+} *such that* {\rho}^{\prime}(t)\ge 0 *on I*. *If*

*and*

*then Equation* (1) *is oscillatory*.

**Remark 2.3** If we take \rho (t)=1 in our results, then condition (H_{1}) may include weaker conditions. In fact, if we replace condition (H_{1}) with the condition {f}^{\prime}(x)\ge 0, then all oscillation criteria above are valid with \rho (t)=1. Hence when \rho (t)=1 and \psi (u)\equiv 1, Theorem 2.1, Theorem 2.2 and Corollary 2.2 reduce to Theorem 2.1 and Theorem 2.2 and Theorem 2.9 in [33], respectively. When \alpha =1, \psi (u)\equiv 1 and \rho (t)=1, Theorem 2.2 and Corollary 2.2 give Theorem 1 and Theorem 2 in [22], respectively. When \alpha =1 and \rho (t)=1, Theorem 2.2 and Corollary 2.2 reduce Theorem 1 and Theorem 2 in [2], respectively.

By taking (H_{4}) instead of (H_{3}), we obtain the following interesting result, which can be applied, for example, to damped half-linear-type equations:

**Theorem 2.5** *Let conditions* (H_{1}), (H_{2}) *and* (H_{4}) *hold*. *If there exists a differentiable function* \rho :I\to {\mathbb{R}}^{+} *such that* {\rho}^{\prime}(t)\ge 0,

*and*

*where*

*then Equation* (1) *with* \psi (u)\equiv 1 *is oscillatory*.

*Proof* To the contrary, let u(t) be a nonoscillatory solution of (1). We may assume that u(t)>0 for t\ge {t}_{1}\ge {t}_{0}. The proof in the case u(t)<0 for t\ge {t}_{1} is similar and hence omitted. Differentiating (5) and making use of (1) and from hypotheses (H_{1}), (H_{2}), (H_{4}) and (8), as in the proof of Theorem 2.1, we can obtain easily that

Integrating this inequality from {t}_{1} to *t*, we get

Letting {lim\hspace{0.17em}sup}_{t\to \mathrm{\infty}}, we get in view of (3) that w(t)\to -\mathrm{\infty}. Hence, there exists {t}_{2}\ge {t}_{1} such that {u}^{\prime}(t)<0 for t\ge {t}_{2}. Condition (34) also implies that

and there exists {t}_{3}\ge {t}_{2} such that

for t\ge {t}_{3}. Proceeding similarly as in Theorem 2.1, using condition (33), we obtain a contradiction. □

As an immediate consequence of Theorem 2.5, we have the following interesting criteria for the oscillation of (1).

**Corollary 2.3** *Let condition* (34) *in Theorem * 2.5 *be replaced by*

*and*

*Then the conclusion Theorem * 2.5 *holds*.

It is clear that condition (38) is a necessary condition for (34) to hold.

In case (34) failed to be satisfied that the following theorem may be applicable.

**Theorem 2.6** *Let conditions* (H_{1}), (H_{2}), (H_{4}) *and* (H_{5}) *hold*. *Suppose that* *ρ* *is a positive continuously differentiable function on the interval I such that* {\rho}^{\prime}(t)\ge 0 *on I and* (34) *hold*. *If*

*and*

*then Equation* (1) *with* \psi (u)\equiv 1 *is oscillatory*.

*Proof* Proof is a similar to the proof of Theorem 2.2. □

**Remark 2.4** If we take f(u)={|u|}^{\alpha -1}u, then \frac{{f}^{\prime}(u)}{{|f(u)|}^{1-\frac{1}{\alpha}}}=k=\alpha is satisfied. Therefore, all above oscillation criteria are valid for the half-linear equation

**Remark 2.5** More recently, Ouyang and *et al.* [17] gave some oscillation criteria for Equation (32) under the main condition {f}^{\prime}(x)\ge 0. However, their results impose sign conditions on function b(t) and q(t). In our results, we assume that hypothesis (H_{1}) is stronger than {f}^{\prime}(x)\ge 0. But our results do not depend on signs of the functions b(t) and q(t). Note that Theorem 3.6 given in [26], which also does not depend on the signs of b(t) and q(t), is different from Theorem 2.5 above, because it contains suitable averaging functions.

## References

Agarwal RP, Avramescu C, Mustafa OG: On the oscillation theory of a second-order strictly sublinear differential equation.

*Can. Math. Bull.*2010, 53(2):193–203. 10.4153/CMB-2010-001-2Zhang Q, Wang L: Oscillatory behavior of solutions for a class of second-order nonlinear differential equation with perturbation.

*Acta Appl. Math.*2010, 110: 885–893. 10.1007/s10440-009-9483-8Agarwal RP, Grace SR, O’Regan D:

*Oscillation Theory for Difference and Functional Differential Equations*. Kluwer, Dordrecht; 2000.Agarwal RP, Grace SR, O’Regan D:

*Oscillation Theory for Second-Order Linear, Half Linear, Superlinear, Sublinear, Dynamic Equations*. Kluwer, Dordrecht; 2002.Ladde GS, Lakshmikantham V, Zhang BG:

*Oscillation Theory of Differential Equations with Deviating Arguments*. Dekker, New York; 1987.Yan J:

*Oscillation Theory of Ordinary Differential Equations*. Shanxi Education Press, Taiyuan; 1992.Ayanlar B, Tiryaki A: Oscillation theorems for nonlinear second-order differential equations.

*Comput. Math. Appl.*2002, 44: 529–538. 10.1016/S0898-1221(02)00167-0Butler GJ: Integral averages and the oscillation of second-order differential equations.

*SIAM J. Math. Anal.*1980, 11: 190–200. 10.1137/0511017Coles WJ: An oscillation criterion for the second-order equations.

*Proc. Am. Math. Soc.*1968, 19: 755–759. 10.1090/S0002-9939-68-99981-4Coles WJ: Oscillation criteria for nonlinear second-order equations.

*Ann. Mat. Pura Appl.*1969, 8282: 132–134.Elabbasy EM, Hassan TS, Saker SH: Oscillation of second-order nonlinear differential equations with damping term.

*Electron. J. Differ. Equ.*2005, 2005(76):1–13.Graef JR, Spikes PW: On the oscillatory behavior of solutions of second-order non-linear differential equations.

*Czechoslov. Math. J.*1986, 36: 275–284.Graef JR, Rankin SM, Spikes PW: Oscillation theorems for perturbed non-linear differential equation.

*J. Math. Anal. Appl.*1978, 65: 375–390. 10.1016/0022-247X(78)90189-0Hong HL: On the oscillatory behavior of second-order non-linear differential equations.

*Publ. Math. (Debr.)*1998, 52: 55–68.Kwang MK, Wong JSW: An application of integral inequality to second-order non-linear oscillation.

*J. Differ. Equ.*1992, 46: 63–67.Kamenev IV: An integral criterion for oscillation of linear differential equation of second-order.

*Mat. Zametki*1978, 23: 249–251.Ouyang Z, Zhong J, Zou S: Oscillation criteria for a class of second-order nonlinear differential equations with damping term.

*Abstr. Appl. Anal.*2009, 2009: 1–12.Philos CHG: Oscillation criteria for second-order superlinear differential equations.

*Can. J. Math.*1989, XLI(2):321–340.Philos CHG: Oscillation theorems for linear differential equation of second-order.

*Arch. Math.*1989, 53: 483–492.Philos CHG: An oscillation criterion for superlinear differential equations of second-order.

*J. Math. Anal. Appl.*1990, 148(2):306–316. 10.1016/0022-247X(90)90003-XPhilos CHG: Integral averages and oscillation of second-order sublinear differential equations.

*Differ. Integral Equ.*1991, 4(1):205–213.Remili M: Oscillation criteria for second-order nonlinear perturbed differential equations.

*Electron. J. Qual. Theory Differ. Equ.*2010, 25: 1–11.Sun YG: New Kamenev-type oscillation criteria for second-order nonlinear differential equations with damping.

*J. Math. Anal. Appl.*2004, 291: 341–351. 10.1016/j.jmaa.2003.11.008Tiryaki A, Cakmak D, Ayanlar B: On the oscillation of certain second-order nonlinear differential equations.

*J. Math. Anal. Appl.*2003, 281: 565–574. 10.1016/S0022-247X(03)00145-8Tiryaki A, Zafer A: Interval oscillation of a general class of second-order nonlinear equations with nonlinear damping.

*Nonlinear Anal.*2005, 60: 49–63.Tiryaki A, Basci Y: Oscillation theorems for certain even-order nonlinear damped differential equations.

*Rocky Mt. J. Math.*2008, 38(3):1011–1035. 10.1216/RMJ-2008-38-3-1011Tiryaki A: Oscillation criteria for a certain second-order nonlinear differential equations with deviating arguments.

*Electron. J. Qual. Theory Differ. Equ.*2009, 61: 1–11.Wong JSW: Oscillation theorems for second-order nonlinear differential equations.

*Bull. Inst. Math. Acad. Sin.*1975, 3: 263–309.Wong PJY, Agarwal RP: Oscillatory behavior of solutions of certain second-order nonlinear differential equations.

*J. Math. Anal. Appl.*1996, 198: 297–354.Wong PJY, Agarwal RP: Oscillation criteria for half-linear differential equations.

*Adv. Math. Sci. Appl.*1999, 9(2):649–663.Yeh CC: Oscillation theorems for nonlinear second-order differential equations with damped term.

*Proc. Am. Math. Soc.*1982, 84: 397–402. 10.1090/S0002-9939-1982-0640240-9Xu Z, Xia Y: Kamenev-type oscillation criteria for second-order quasilinear differential equations.

*Electron. J. Differ. Equ.*2005, 2005(27):1–9.Wong PJY, Agarwal RP: The oscillation and asymptotically monotone solutions of second-order quasi linear differential equations.

*Appl. Math. Comput.*1996, 79: 207–237. 10.1016/0096-3003(95)00267-7Yeh CC: An oscillation criterion for second-order nonlinear differential equations with functional arguments.

*J. Math. Anal. Appl.*1980, 76: 72–76. 10.1016/0022-247X(80)90059-1Ayanlar B, Tiryaki A: Oscillation theorems for nonlinear second-order differential equations with damping.

*Acta Math. Hung.*2000, 89(1–2):1–13.

## Acknowledgements

The authors would like to express their thanks to the anonymous referee for his(her) valuable suggestions and comments on the manuscript of this paper.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors completed the paper together. 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 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Temtek, P., Tiryaki, A. Oscillation criteria for a certain second-order nonlinear perturbed differential equations.
*J Inequal Appl* **2013**, 524 (2013). https://doi.org/10.1186/1029-242X-2013-524

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1029-242X-2013-524