International Journal of Differential Equations
Volume 2010 (2010), Article ID 181784, 15 pages
doi:10.1155/2010/181784
Research Article

Oscillation Theorems for Second-Order Forced Neutral Nonlinear Differential Equations with Delayed Argument

1Department of Mathematics, Jining University, Qufu, Shandong 273155, China
2School of Mathematical Sciences, Qufu Normal University, Qufu, Shandong 273165, China

Received 13 October 2009; Accepted 14 December 2009

Academic Editor: Elena Braverman

Copyright © 2010 Jing Shao and Fanwei Meng. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

We are concerned with the oscillation of the forced second-order neutral nonlinear differential equations with delayed argument in the form ( 𝑟 ( 𝑡 ) ( 𝑥 ( 𝑡 ) + 𝑎 ( 𝑡 ) 𝑥 ( 𝜎 ( 𝑡 ) ) ) ) + 𝑝 ( 𝑡 ) 𝑓 ( 𝑥 ( 𝜏 ( 𝑡 ) ) ) + 𝑛 𝑖 = 1 𝑞 𝑖 ( 𝑡 ) | 𝑥 ( 𝑡 ) | 𝜆 𝑖 s n g 𝑥 ( 𝑡 ) = 𝑒 ( 𝑡 ) . No restriction is imposed on the potentials 𝑝 ( 𝑡 ) , 𝑞 𝑖 ( 𝑡 ) , and 𝑒 ( 𝑡 ) to be nonnegative. Our methodology is somewhat different from those of previous authors.

1. Introduction

In this paper, we study the oscillatory behavior of the forced neutral nonlinear functional differential equation of the form

𝑟 ( 𝑡 ) ( 𝑥 ( 𝑡 ) + 𝑎 ( 𝑡 ) 𝑥 ( 𝜎 ( 𝑡 ) ) ) + 𝑝 ( 𝑡 ) 𝑓 ( 𝑥 ( 𝜏 ( 𝑡 ) ) ) + 𝑛 𝑖 = 1 𝑞 𝑖 | | | | ( 𝑡 ) 𝑥 ( 𝑡 ) 𝜆 𝑖 s g n 𝑥 ( 𝑡 ) = 𝑒 ( 𝑡 ) , ( 1 . 1 ) where 𝑡 𝑡 0 . In this paper, we assume that

( 𝐼 1 ) 𝑟 ( 𝑡 ) 𝐶 ( [ 𝑡 0 , ) , ( 0 , ) ) , 𝑟 ( 𝑡 ) 0 , ( 1 / 𝑟 ( 𝑡 ) ) 𝑑 𝑡 = , ( 𝐼 2 ) 𝑎 ( 𝑡 ) 𝐶 ( [ 𝑡 0 , ) , [ 0 , 1 ) ) , ( 𝐼 3 ) 𝜎 ( 𝑡 ) 𝐶 ( [ 𝑡 0 , ) , ) is nondecreasing, 𝜎 ( 𝑡 ) 𝑡 for 𝑡 𝑡 0 , and l i m 𝑡 𝜎 ( 𝑡 ) = , ( 𝐼 4 ) 𝜏 ( 𝑡 ) 𝐶 ( [ 𝑡 0 , ) , ) , 𝜏 ( 𝑡 ) 𝑡 for 𝑡 𝑡 0 and l i m 𝑡 𝜏 ( 𝑡 ) = , ( 𝐼 5 ) 𝑝 ( 𝑡 ) , 𝑞 𝑖 ( 𝑡 ) , and 𝑒 ( 𝑡 ) are continuous functions defined on [ 0 , ) , 𝑝 ( 𝑡 ) > 0 , 𝜆 1 > > 𝜆 𝑚 > 1 > 𝜆 𝑚 + 1 > > 𝜆 𝑛 > 0 ( 𝑛 > 𝑚 1 ) , ( 𝐼 6 ) 𝑓 ( 𝑥 ) is nondecreasing, 𝑓 ( 𝑥 ) / 𝑥 𝑀 > 0 , and 𝑥 0 .

No restriction is imposed on the potentials 𝑝 ( 𝑡 ) , 𝑞 𝑖 ( 𝑡 ) , and 𝑒 ( 𝑡 ) to be nonnegative. As usual, a solution of (1.1) is called oscillatory if it is defined on some ray [ 𝑇 , ) with 𝑇 0 and has unbounded set of zeros. (1.1) is called oscillatory if all of its solutions on some ray are oscillatory.

In the last decades, there has been an increasing interest in obtaining sufficient conditions for the oscillation and/or nonoscillation of second-order linear and nonlinear delay differential equations (see, for example, [122] and the references therein). Let us consider the familiar forced Emden-Fowler equation

𝑥 | | | | ( 𝑡 ) + 𝑝 ( 𝑡 ) 𝑥 ( 𝑡 ) 𝜆 s g n 𝑥 ( 𝑡 ) = 𝑒 ( 𝑡 ) , 𝑡 𝑡 0 . ( 1 . 2 ) When 𝜆 1 > 1 , (1.2) is known as the superlinear equation, and when 0 < 𝜆 1 < 1 , it is known as the sublinear equation. The oscillation of (1.2) has been the subject of much attention during the last 50 years; see the seminal book by Agarwal, et al. [23]. Here, we refer to the papers [13] and the references cited therein. In this case, one can usually establish oscillation criteria for more general nonlinear equations by using a technique introduced by Kartsatos [9] where it is additionally assumed that 𝑓 is the second derivative of an oscillatory function. This approach has been expressed in [5, 6]. Sun [4] has extended these results to delay differential equations of the form of (1.2), where 𝜆 1 and the potentials 𝑝 ( 𝑡 ) and 𝑒 ( 𝑡 ) are allowed to change sign. However, Sun [4] does not say anything else for the oscillation of equation (1.2) with 0 < 𝜆 < 1 . Later, employing the arguments in [4], Çakmak and Tiryaki [7] have established similar oscillation criteria for the equation of the form

𝑥 ( 𝑡 ) + 𝑞 ( 𝑡 ) 𝑓 ( 𝑥 ( 𝜏 ( 𝑡 ) ) ) = 𝑒 ( 𝑡 ) , ( 1 . 3 ) where 𝑓 ( 𝑥 ) is assumed to satisfy certain growth conditions.

Very recently, Sun et al. [13, 14] obtained some new oscillation criteria for the equations in the form

𝑟 ( 𝑡 ) 𝑥 ( 𝑡 ) + 𝑝 ( 𝑡 ) 𝑥 ( 𝑡 ) + 𝑛 𝑖 = 1 𝑞 𝑖 | | | | ( 𝑡 ) 𝑥 ( 𝑡 ) 𝜆 𝑖 s g n 𝑥 ( 𝑡 ) = 0 , 𝑟 ( 𝑡 ) 𝑥 ( 𝑡 ) + 𝑝 ( 𝑡 ) 𝑥 ( 𝑡 ) + 𝑛 𝑖 = 1 𝑞 𝑖 | | | | ( 𝑡 ) 𝑥 ( 𝑡 ) 𝜆 𝑖 s g n 𝑥 ( 𝑡 ) = 𝑒 ( 𝑡 ) , ( 1 . 4 ) where 𝜆 1 > > 𝜆 𝑚 > 1 > 𝜆 𝑚 + 1 > > 𝜆 𝑛 > 0 ( 𝑛 > 𝑚 1 ) . He also established oscillation theorems when 𝑛 > 1 . When 𝑛 = 1 , this approach was initiated by Agarwal and Grace [1, pages 244–249] for higher-order equations and subsequently developed in papers of Ou and Wong [15], Q.Yang [18], X.Yang [19], as well as Sun and Agarwal [16, 17].

In [24], Xu and Meng studied the oscillation of the equation

𝑟 ( 𝑡 ) ( 𝑥 ( 𝑡 ) + 𝑎 ( 𝑡 ) 𝑥 ( 𝜎 ( 𝑡 ) ) ) + 𝑛 𝑖 = 1 𝑞 𝑖 ( 𝑡 ) 𝑓 𝑖 𝑦 𝜏 𝑖 ( 𝑡 ) = 0 , 𝑡 𝑡 0 , ( 1 . 5 ) by using the generalized Riccati technique and the function class 𝒴 .

The purpose of this paper is to give some new oscillation criteria for (1.1), which can be regarded as further investigation for the (1.1) including the papers of Sun and Wong [13], Xu and Meng [24]. These criteria do not assume that 𝑟 ( 𝑡 ) , 𝑝 ( 𝑡 ) , 𝑞 𝑖 ( 𝑡 ) , and 𝑒 ( 𝑡 ) are of definite sign. Our methodology is somewhat different from those of previous authors, and the results we obtained are more general than those of Sun and Wong [13].

2. Main Results

We will need the following lemmas that have been proved in [13].

Lemma 2.1 (see [13]). Let 𝜆 𝑖 , 𝑖 = 1 , 2 , , 𝑛 , be n-tuple satisfying 𝜆 1 > > 𝜆 𝑚 > 1 > 𝜆 𝑚 + 1 > > 𝜆 𝑛 > 0 . Then there exists an n-tuple ( 𝑘 1 , 𝑘 2 , , 𝑘 𝑛 ) satisfying 𝑛 𝑖 = 1 𝜆 𝑖 𝑘 𝑖 ( = 1 , ( 𝑎 ) ) which also satisfies either 𝑛 𝑖 = 1 𝑘 𝑖 < 1 , 0 < 𝑘 𝑖 ( < 1 , ( 𝑏 ) ) or 𝑛 𝑖 = 1 𝑘 𝑖 = 1 , 0 < 𝑘 𝑖 ( < 1 . ( 𝑐 ) )

Lemma 2.2 (see [13]). Let 𝑢 , 𝐴 , 𝐵 , 𝐶 , 𝑎 𝑛 𝑑 𝐷 be positive real numbers. Then (i) 𝐴 𝑢 𝛼 + 𝐵 𝛼 ( 𝛼 1 ) 1 / 𝛼 1 𝐴 1 / 𝛼 𝐵 1 1 / 𝛼 𝑢 , 𝛼 > 1 ,(ii) 𝐶 𝑢 𝐷 𝑢 𝛼 ( 𝛼 1 ) 𝛼 𝛼 / ( 1 𝛼 ) 𝐶 𝛼 / ( 𝛼 1 ) 𝐷 1 / ( 1 𝛼 ) , 0 < 𝛼 < 1 .

Remark 2.3. For a given set of exponents 𝜆 𝑖 satisfying 𝜆 1 > > 𝜆 𝑚 > 1 > 𝜆 𝑚 + 1 > > 𝜆 𝑛 > 0 , Lemma 2.1 ensures the existence of an n-tuple ( 𝑘 1 , 𝑘 2 , , 𝑘 𝑛 ) such that either ( 𝑎 ) and ( 𝑏 ) hold or ( 𝑎 ) and ( 𝑐 ) hold. When n = 2 and 𝜆 1 > 1 > 𝜆 2 > 0 , in the first case, we have that 𝑘 1 = 1 𝜆 2 1 𝑘 0 𝜆 1 𝜆 2 , 𝑘 2 = 𝜆 1 1 𝑘 0 1 𝜆 1 𝜆 2 , ( ( 𝑑 ) ) where 𝑘 0 can be any positive number satisfying 0 < 𝑘 0 < ( 𝜆 1 1 ) / 𝜆 1 . This will ensure that 0 < 𝑘 1 , 𝑘 2 < 1 , and conditions ( 𝑎 ) and ( 𝑏 ) are satisfied. In the second case, we simply solve ( 𝑎 ) and ( 𝑐 ) and obtain 𝑘 1 = 1 𝜆 2 𝜆 1 𝜆 2 , 𝑘 2 = 𝜆 1 1 𝜆 1 𝜆 2 . ( ( 𝑒 ) )

Theorem 2.4. Suppose that, for any 𝑇 0 , there exist constants 𝑎 1 , 𝑏 1 , 𝑎 2 , 𝑏 2 such that 𝑇 𝑎 1 < 𝑏 1 𝑎 2 < 𝑏 2 , and 𝑞 𝑖 𝜏 𝑎 ( 𝑡 ) 0 , 𝑡 1 , 𝑏 1 𝜏 𝑎 2 , 𝑏 2 𝜏 𝑎 , 𝑖 = 1 , , 𝑛 , 𝑒 ( 𝑡 ) 0 , 𝑡 1 , 𝑏 1 , 𝑒 𝜏 𝑎 ( 𝑡 ) 0 , 𝑡 2 , 𝑏 2 . ( 2 . 1 ) Let 𝐷 ( 𝑎 𝑗 , 𝑏 𝑗 ) = { 𝑢 𝐶 1 [ 𝑎 𝑗 , 𝑏 𝑗 ] 𝑢 𝜈 + 1 > 0 , 𝜈 > 0 𝑖 𝑠 𝑎 𝑐 𝑜 𝑛 𝑠 𝑡 𝑎 𝑛 𝑡 , 𝑡 ( 𝑎 𝑗 , 𝑏 𝑗 ) , 𝑎 𝑛 𝑑 𝑢 ( 𝑎 𝑗 ) = 𝑢 ( 𝑏 𝑗 ) = 0 } , for j = 1, 2. Assume that there exists a positive, nondecreasing function 𝜌 𝐶 1 ( [ 𝑡 0 , ) , ) such that, for some 𝐻 𝐷 ( 𝑎 𝑗 , 𝑏 𝑗 ) and for some 𝜃 1 , 𝑏 𝑗 𝑎 𝑗 𝐻 𝜈 + 1 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑅 ( 𝑡 ) 𝜃 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) 𝐻 𝜈 1 ( 𝑡 ) 𝐴 2 ( 𝑡 ) 4 𝑑 𝑡 > 0 , ( 2 . 2 ) for j = 1, 2, then (1.1) is oscillatory, where [ ] 𝑎 𝑅 ( 𝑡 ) = 𝑀 𝑝 ( 𝑡 ) 1 𝑎 ( 𝜏 ( 𝑡 ) ) 𝜏 ( 𝑡 ) 𝜏 𝑗 𝑎 𝑡 𝜏 𝑗 + 𝑎 0 | | | | ( 1 𝑎 ( 𝑡 ) ) 𝑒 ( 𝑡 ) 𝑘 0 𝑛 𝑖 = 1 𝑞 𝑘 𝑖 𝑖 𝜌 ( 𝑡 ) , 𝐴 ( 𝑡 ) = 𝐻 ( 𝑡 ) ( 𝑡 ) 𝜌 ( 𝑡 ) + ( 𝜈 + 1 ) 𝐻 ( 𝑡 ) , ( 2 . 3 ) 𝑎 0 = 𝑛 𝑖 = 0 𝑘 𝑘 𝑖 𝑖 , and 𝑘 0 , 𝑘 1 , , 𝑘 𝑛 are positive constants satisfying ( 𝑎 ) and ( 𝑏 ) of Lemma 2.1.

Proof. Assume to the contrary that there exists a solution 𝑥 ( 𝑡 ) of (1.1) such that 𝑥 ( 𝑡 ) > 0 , 𝑥 ( 𝜏 ( 𝑡 ) ) > 0 , 𝑥 ( 𝜎 ( 𝑡 ) ) > 0 , when 𝑡 𝑡 0 > 0 , for some 𝑡 0 depending on the solution 𝑥 ( 𝑡 ) . Set 𝑧 ( 𝑡 ) = 𝑥 ( 𝑡 ) + 𝑎 ( 𝑡 ) 𝑥 ( 𝜎 ( 𝑡 ) ) . ( 2 . 4 )
By assumption, we have that 𝑧 ( 𝑡 ) > 0 for 𝑡 𝑡 0 0 , and from (2.4) it follows that 𝑟 ( 𝑡 ) 𝑧 ( 𝑡 ) = 𝑒 ( 𝑡 ) 𝑝 ( 𝑡 ) 𝑓 ( 𝑥 ( 𝜏 ( 𝑡 ) ) ) 𝑛 𝑖 = 1 𝑞 𝑖 | | | | ( 𝑡 ) 𝑥 ( 𝑡 ) 𝜆 𝑖 s g n 𝑥 ( 𝑡 ) 0 , 𝑡 𝑡 0 0 . ( 2 . 5 ) It is not difficult to show that 𝑧 ( 𝑡 ) is eventually positive. In fact, first, we know that 𝑧 ( 𝑡 ) 0 for sufficiently large 𝑡 , since 𝑧 ( 𝑡 ) is nontrivial. Second, if there exists an 𝑡 1 𝑡 0 such that 𝑟 ( 𝑡 1 ) 𝑧 ( 𝑡 1 ) = 𝐶 < 0 , then 𝑟 ( 𝑡 ) 𝑧 ( 𝑡 ) 𝐶 for 𝑡 𝑡 1 𝑡 0 , that is, 𝑧 ( 𝑡 ) 𝐶 / 𝑟 ( 𝑡 ) , and hence, 𝑧 ( 𝑡 ) 𝑧 ( 𝑡 1 ) + 𝑡 𝑡 1 ( 𝐶 / 𝑟 ( 𝑡 ) ) 𝑑 𝑡 as 𝑡 , which contradicts the fact that 𝑧 ( 𝑡 ) > 0 . Without loss of generality; say 𝑧 ( 𝑡 ) > 0 , 𝑡 𝑡 0 0 . Thus we have that 𝑥 ( 𝑡 ) 𝑧 ( 𝑡 ) 𝑎 ( 𝑡 ) 𝑧 ( 𝑡 ) , 𝑡 𝑡 0 0 . ( 2 . 6 ) Define 𝑟 𝑤 ( 𝑡 ) = 𝜌 ( 𝑡 ) ( 𝑡 ) 𝑧 ( 𝑡 ) 𝑧 ( 𝑡 ) , 𝑡 𝑡 0 . ( 2 . 7 ) It follows from (2.7) that 𝑤 ( 𝑡 ) satisfies the following differential equality: 𝑤 𝜌 ( 𝑡 ) = ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑝 ( 𝑡 ) 𝑓 ( 𝑥 ( 𝜏 ( 𝑡 ) ) ) 𝑤 𝑧 ( 𝑡 ) 2 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) + 𝜌 ( 𝑡 ) 𝑒 ( 𝑡 ) 𝑧 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑛 𝑖 = 1 𝑞 𝑖 ( 𝑡 ) 𝑥 𝜆 𝑖 ( 𝑡 ) . 𝑧 ( 𝑡 ) ( 2 . 8 ) Using (2.6), we have that 𝑤 𝜌 ( 𝑡 ) ( 𝑡 ) 𝑝 𝜌 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝜌 ( 𝑡 ) ( 𝑡 ) 𝑓 ( ( 1 𝑎 ( 𝜏 ( 𝑡 ) ) ) 𝑧 ( 𝜏 ( 𝑡 ) ) ) 𝑤 𝑧 ( 𝑡 ) 2 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) + 𝜌 ( 𝑡 ) 𝑒 ( 𝑡 ) 𝑧 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑛 𝑖 = 1 𝑞 𝑖 ( 𝑡 ) ( 1 𝑎 ( 𝑡 ) ) 𝜆 𝑖 𝑧 𝜆 𝑖 1 ( 𝑡 ) , ( 2 . 9 ) and by the condition 𝑓 ( 𝑥 ) / 𝑥 𝑀 > 0 , we have that 𝑤 𝜌 ( 𝑡 ) ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝑀 𝜌 ( 𝑡 ) 𝑝 ( 𝑡 ) ( 1 𝑎 ( 𝜏 ( 𝑡 ) ) ) 𝑧 ( 𝜏 ( 𝑡 ) ) 𝑤 𝑧 ( 𝑡 ) 2 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) + 𝜌 ( 𝑡 ) 𝑒 ( 𝑡 ) 𝑧 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑛 𝑖 = 1 𝑞 𝑖 ( 𝑡 ) ( 1 𝑎 ( 𝑡 ) ) 𝜆 𝑖 𝑧 𝜆 𝑖 1 ( 𝑡 ) . ( 2 . 1 0 ) By assumption, we can choose 𝑎 1 , 𝑏 1 𝑡 0 such that 𝑏 1 𝜏 ( 𝑎 1 ) , 𝜏 2 ( 𝑎 1 ) = 𝜏 ( 𝜏 ( 𝑎 1 ) ) 𝑡 0 , 𝑞 𝑖 ( 𝑡 ) 0 , 𝑖 = 1 , 2 , , 𝑛 , for 𝑡 [ 𝜏 ( 𝑎 1 ) , 𝑏 1 ] , and 𝑒 ( 𝑡 ) 0 for 𝑡 [ 𝜏 ( 𝑎 1 ) , 𝑏 1 ] . Recall the arithmetic-geometric mean inequality (see [25]) 𝑛 𝑖 = 0 𝑘 𝑖 𝑢 𝑖 𝑛 𝑖 = 0 𝑢 𝑘 𝑖 𝑖 , 𝑢 𝑖 0 , ( 2 . 1 1 ) where 𝑘 0 = 1 𝑛 𝑖 = 1 𝑘 𝑖 and 𝑘 𝑖 > 0 , 𝑖 = 1 , 2 , , 𝑛 are chosen to satisfy ( 𝑎 ) and ( 𝑏 ) of Lemma 2.1 for the given 𝜆 1 , 𝜆 2 , , 𝜆 𝑛 > 0 . Now return to (2.10) and identify 𝑢 0 = 𝑘 0 1 | 𝑒 ( 𝑡 ) | 𝑧 1 ( 𝑡 ) and 𝑢 𝑖 = 𝑘 𝑖 1 𝑞 𝑖 ( 𝑡 ) 𝑧 𝜆 𝑖 1 ( 𝑡 ) ( 1 𝑎 ( 𝑡 ) ) 𝜆 𝑖 in (2.11) to obtain 𝑤 𝜌 ( 𝑡 ) ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝑀 𝜌 ( 𝑡 ) 𝑝 ( 𝑡 ) ( 1 𝑎 ( 𝜏 ( 𝑡 ) ) ) 𝑧 ( 𝜏 ( 𝑡 ) ) 𝑤 𝑧 ( 𝑡 ) 2 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) 𝜌 ( 𝑡 ) ( 1 𝑎 ( 𝑡 ) ) 𝑘 𝑘 0 0 | | | | 𝑒 ( 𝑡 ) 𝑘 0 𝑛 𝑖 = 1 𝑘 𝑘 𝑖 𝑖 𝑞 𝑘 𝑖 𝑖 ( 𝑡 ) . ( 2 . 1 2 ) From (1.1), we can easily obtain 𝑧 ( 𝑡 ) 0 , for 𝑡 [ 𝜏 ( 𝑎 1 ) , 𝑏 1 ] . Therefore, we have that, for 𝑡 [ 𝜏 ( 𝑎 1 ) , 𝑏 1 ] , 𝑧 𝜏 𝑎 ( 𝑡 ) 𝑧 1 = 𝑧 𝑎 ( 𝑠 ) 𝑡 𝜏 1 𝑧 𝑎 ( 𝑡 ) 𝑡 𝜏 1 . ( 2 . 1 3 ) Noting that 𝑧 ( 𝑡 ) > 0 for 𝑡 𝜏 ( 𝑎 1 ) , we get by (2.13) that 𝑧 ( 𝑡 ) 𝑧 𝑎 ( 𝑡 ) 𝑡 𝜏 1 𝜏 𝑎 , 𝑡 1 , 𝑏 1 , ( 2 . 1 4 ) that is, 𝑧 ( 𝑡 ) 1 𝑧 ( 𝑡 ) 𝑎 𝑡 𝜏 1 𝜏 𝑎 , 𝑡 1 , 𝑏 1 . ( 2 . 1 5 ) Integrating (2.15) from 𝜏 ( 𝑡 ) to 𝑡 > 𝑎 1 , we obtain 𝑧 ( 𝜏 ( 𝑡 ) ) 𝜏 𝑎 𝑧 ( 𝑡 ) ( 𝑡 ) 𝜏 1 𝑎 𝑡 𝜏 1 𝑎 , 𝑡 1 , 𝑏 1 . ( 2 . 1 6 ) By using (2.16) in (2.12), we have that, for 𝑡 ( 𝑎 1 , 𝑏 1 ] , 𝑤 𝜌 ( 𝑡 ) ( 𝑡 ) [ ] 𝜏 𝑎 𝜌 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝑀 𝜌 ( 𝑡 ) 𝑝 ( 𝑡 ) 1 𝑎 ( 𝜏 ( 𝑡 ) ) ( 𝑡 ) 𝜏 1 𝑎 𝑡 𝜏 1 𝑤 2 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) 𝜌 ( 𝑡 ) ( 1 𝑎 ( 𝑡 ) ) 𝑘 𝑘 0 0 | | | | 𝑒 ( 𝑡 ) 𝑘 0 𝑛 𝑖 = 1 𝑘 𝑘 𝑖 𝑖 𝑞 𝑘 𝑖 𝑖 = 𝜌 ( 𝑡 ) ( 𝑡 ) 𝑤 𝜌 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑅 ( 𝑡 ) 2 ( 𝑡 ) . 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) ( 2 . 1 7 ) Multiplying both sides of (2.17) by 𝐻 𝜈 + 1 ( 𝑡 ) as given in the hypothesis of Theorem 2.4 and integrating (2.17) from 𝑎 1 to 𝑏 1 , we obtain 𝑏 1 𝑎 1 𝐻 𝜈 + 1 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑅 ( 𝑡 ) 𝑑 𝑡 𝑏 1 𝑎 1 𝐻 𝜈 + 1 𝜌 ( 𝑡 ) ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝑑 𝑡 𝑏 1 𝑎 1 𝐻 𝜈 + 1 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝑑 𝑡 𝑏 1 𝑎 1 𝐻 𝜈 + 1 𝑤 ( 𝑡 ) 2 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) 𝑑 𝑡 . ( 2 . 1 8 ) Using the integration by parts formula, we have that 𝑏 1 𝑎 1 𝐻 𝜈 + 1 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝑑 𝑡 = 𝐻 𝜈 + 1 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝑏 1 𝑎 1 𝑏 1 𝑎 1 ( 𝜈 + 1 ) 𝐻 𝜈 ( 𝑡 ) 𝐻 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝑑 𝑡 = 𝑏 1 𝑎 1 ( 𝜈 + 1 ) 𝐻 𝜈 ( 𝑡 ) 𝐻 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝑑 𝑡 , ( 2 . 1 9 ) where 𝐻 ( 𝑎 1 ) = 𝐻 ( 𝑏 1 ) = 0 . Substituting (2.19) into (2.18), we obtain 𝑏 1 𝑎 1 𝐻 𝜈 + 1 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑅 ( 𝑡 ) 𝑑 𝑡 𝑏 1 𝑎 1 𝐻 𝜈 + 1 𝜌 ( 𝑡 ) ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝑑 𝑡 + 𝑏 1 𝑎 1 ( 𝜈 + 1 ) 𝐻 𝜈 ( 𝑡 ) 𝐻 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝑑 𝑡 𝑏 1 𝑎 1 𝐻 𝜈 + 1 ( 𝑤 𝑡 ) 2 ( 𝑡 ) = 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) 𝑑 𝑡 𝑏 1 𝑎 1 𝐴 ( 𝑡 ) 𝐻 𝜈 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝑑 𝑡 𝑏 1 𝑎 1 𝐻 𝜈 + 1 𝑤 ( 𝑡 ) 2 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) 𝑑 𝑡 . ( 2 . 2 0 ) Then 𝑏 1 𝑎 1 𝐻 𝜈 + 1 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑅 ( 𝑡 ) 𝑑 𝑡 𝑏 1 𝑎 1 𝐴 ( 𝑡 ) 𝐻 𝜈 ( 𝑡 ) 𝑤 ( 𝑡 ) + 𝐻 𝜈 + 1 𝑤 ( 𝑡 ) 2 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) 𝑑 𝑡 = 𝑏 1 𝑎 1 𝐻 𝜈 + 1 ( 𝑡 ) 𝜃 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝜃 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) 4 𝐻 𝜈 + 1 𝐻 ( 𝑡 ) 𝜈 ( 𝑡 ) 𝐴 ( 𝑡 ) 2 + 𝑑 𝑡 𝑏 1 𝑎 1 𝜃 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) 4 𝐻 𝜈 + 1 𝐻 ( 𝑡 ) 𝜈 ( 𝑡 ) 𝐴 ( 𝑡 ) 2 𝑑 𝑡 𝑏 1 𝑎 1 ( 𝜃 1 ) 𝐻 𝜈 + 1 ( 𝑡 ) 𝑤 𝜃 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) 2 ( 𝑡 ) 𝑑 𝑡 . ( 2 . 2 1 ) From the hypothesis of Theorem 2.4 and (2.21), we have that 𝑏 𝑖 𝑎 𝑖 𝐻 𝜈 + 1 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑅 ( 𝑡 ) 𝜃 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) 4 𝐻 𝜈 + 1 𝐻 ( 𝑡 ) 𝜈 ( 𝑡 ) 𝐴 ( 𝑡 ) 2 = 𝑑 𝑡 𝑏 𝑖 𝑎 𝑖 𝐻 𝜈 + 1 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑅 ( 𝑡 ) 𝜃 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) 𝐻 𝜈 1 ( 𝑡 ) 𝐴 2 ( 𝑡 ) 4 𝑑 𝑡 0 , ( 2 . 2 2 ) which contradicts (2.2). When 𝑥 ( 𝑡 ) is eventually negative, we can obtain similar contradiction using the interval [ 𝜏 ( 𝑎 2 ) , 𝑏 2 ] instead of [ 𝜏 ( 𝑎 1 ) , 𝑏 1 ] . This completes the proof.

Remark 2.5. Let 𝑟 ( 𝑡 ) = 1 , 𝑞 𝑖 ( 𝑡 ) = 0 , and 𝑎 ( 𝑡 ) = 0 for 𝑖 = 1 , 2 , , 𝑛 . It is easy to see that Theorem 2.4 reduces to Theorem 1 of [7].

In Theorem 2.6, we do not impose any restriction on signs of those coefficients corresponding to sublinear terms of (1.1), that is, 𝑞 𝑙 ( 𝑡 ) for 𝑙 = 𝑚 + 1 , , 𝑛 . If it is nonpositive, we can easily see that Theorem 2.4 is invalid. However, the following theorem is valid for this case.

Theorem 2.6. Suppose that, for any 𝑇 0 , there exist constants 𝑎 1 , 𝑏 1 , 𝑎 2 , 𝑏 2 such that 𝑇 𝑎 1 < 𝑏 1 𝑎 2 < 𝑏 2 and 𝑞 𝑖 𝜏 𝑎 ( 𝑡 ) 0 , 𝑡 1 , 𝑏 1 𝜏 𝑎 2 , 𝑏 2 𝜏 𝑎 , 𝑖 = 1 , , 𝑚 , 𝑒 ( 𝑡 ) < 0 , 𝑡 1 , 𝑏 1 , 𝑒 𝜏 𝑎 ( 𝑡 ) > 0 , 𝑡 2 , 𝑏 2 . ( 2 . 2 3 ) Assume that there exists a positive, nondecreasing function 𝜌 𝐶 1 ( [ 𝑡 0 , ) , ) such that, for some 𝐻 𝐷 ( 𝑎 𝑗 , 𝑏 𝑗 ) and for some 𝜃 1 , 𝑏 𝑗 𝑎 𝑗 𝐻 𝜈 + 1 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑅 ( 𝑡 ) 𝜃 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) 𝐻 𝜈 1 ( 𝑡 ) 𝐴 2 ( 𝑡 ) 4 𝑑 𝑡 > 0 , ( 2 . 2 4 ) for j = 1, 2, then (1.1) is oscillatory, where 𝜌 𝐴 ( 𝑡 ) = 𝐻 ( 𝑡 ) ( 𝑡 ) 𝜌 ( 𝑡 ) + ( 𝜈 + 1 ) 𝐻 ( 𝑡 ) , [ ] 𝜏 𝑎 𝑅 ( 𝑡 ) = 𝑝 ( 𝑡 ) 𝑀 1 𝑎 ( 𝜏 ( 𝑡 ) ) ( 𝑡 ) 𝜏 𝑗 𝑎 𝑡 𝜏 𝑗 + 𝑚 𝑖 = 1 𝜇 𝑖 𝛽 𝑖 | | | | 𝑒 ( 𝑡 ) 1 1 / 𝜆 𝑖 𝑞 1 / 𝜆 𝑖 𝑖 ( 𝑡 ) 𝑛 𝑙 = 𝑚 + 1 𝛾 𝑙 𝛿 𝑙 | | | | 𝑒 ( 𝑡 ) 1 1 / 𝜆 𝑙 𝑞 1 / 𝜆 𝑙 𝑙 ( 𝑡 ) , ( 2 . 2 5 ) with 𝑚 𝑖 = 1 𝛽 𝑖 + 𝑛 𝑙 = 𝑚 + 1 𝛿 𝑙 = 1 for 𝛽 𝑖 > 0 , 𝛿 𝑙 > 0 , 𝜇 𝑖 = 𝜆 𝑖 ( 𝜆 𝑖 1 ) 1 / 𝜆 𝑖 1 , 𝑖 = 1 , , 𝑚 , 𝛾 𝑙 = 𝜆 𝑙 ( 1 𝜆 𝑙 ) 1 / 𝜆 𝑙 1 , and 𝑞 𝑙 ( 𝑡 ) = m a x { 𝑞 𝑙 ( 𝑡 ) , 0 } , 𝑙 = 𝑚 + 1 , , 𝑛 .

Proof. Assume to the contrary that there exists a solution 𝑥 ( 𝑡 ) of (1.1) such that 𝑥 ( 𝑡 ) > 0 , 𝑥 ( 𝜏 ( 𝑡 ) ) > 0 , when 𝑡 𝑡 0 > 0 , for some 𝑡 0 depending on the solution 𝑥 ( 𝑡 ) . When 𝑥 ( 𝑡 ) is eventually negative, the proof follows the same argument using the interval [ 𝜏 ( 𝑎 2 ) , 𝑏 2 ] instead of [ 𝜏 ( 𝑎 1 ) , 𝑏 1 ] . Apply the assumption of 𝛽 𝑖 and 𝛿 𝑙 , then (1.1) is rearranged as 𝑟 ( 𝑡 ) ( 𝑥 ( 𝑡 ) + 𝑎 ( 𝑡 ) 𝑥 ( 𝜎 ( 𝑡 ) ) ) + + 𝑝 ( 𝑡 ) 𝑓 ( 𝑥 ( 𝜏 ( 𝑡 ) ) ) 𝑚 𝑖 = 1 𝑞 𝑖 | | | | ( 𝑡 ) 𝑥 ( 𝑡 ) 𝜆 𝑖 𝛽 𝑖 + 𝑒 ( 𝑡 ) 𝑛 𝑙 = 𝑚 + 1 𝑞 𝑙 | | | | ( 𝑡 ) 𝑥 ( 𝑡 ) 𝜆 𝑙 𝛿 𝑙 𝑒 ( 𝑡 ) = 0 . ( 2 . 2 6 ) Noting the assumption (2.23) and applying Lemma 2.2(i) to the first summation term in (2.26), we get that 𝑟 ( 𝑡 ) ( 𝑥 ( 𝑡 ) + 𝑎 ( 𝑡 ) 𝑥 ( 𝜎 ( 𝑡 ) ) ) + 𝑝 ( 𝑡 ) 𝑓 ( 𝑥 ( 𝜏 ( 𝑡 ) ) ) + 𝑥 ( 𝑡 ) 𝑚 𝑖 = 1 𝜇 𝑖 𝛽 𝑖 | | | | 𝑒 ( 𝑡 ) 1 1 / 𝜆 𝑖 𝑞 1 / 𝜆 𝑖 𝑖 + ( 𝑡 ) 𝑛 𝑙 = 𝑚 + 1 𝑞 𝑙 | | | | ( 𝑡 ) 𝑥 ( 𝑡 ) 𝜆 𝑙 𝛿 𝑙 𝑒 ( 𝑡 ) 0 . ( 2 . 2 7 ) Introduce the Riccati substitution as (2.4) and apply Lemma 2.2(ii) to each of the nonlinear terms in the last sum in (2.27). Here 𝑢 = 𝑥 ( 𝑡 ) , 𝛼 = 𝜆 𝑙 , 𝐷 = 𝑞 𝑙 ( 𝑡 ) , and 𝐶 = 𝛼 ( 1 𝛼 ) 1 / 𝛼 1 𝛿 𝑙 | | | | 𝑒 ( 𝑡 ) 1 1 / 𝛼 𝑞 𝑙 1 / 𝛼 ( 𝑡 ) . ( 2 . 2 8 ) We can obtain from (2.27) the following Riccati inequality: 𝑤 𝜌 ( 𝑡 ) ( 𝑡 ) [ ] 𝜏 𝑎 𝜌 ( 𝑡 ) 𝑤 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑝 ( 𝑡 ) 𝑀 1 𝑎 ( 𝜏 ( 𝑡 ) ) ( 𝑡 ) 𝜏 1 𝑎 𝑡 𝜏 1 𝑤 2 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑟 ( 𝑡 ) 𝜌 ( 𝑡 ) 𝑚 𝑖 = 1 𝜇 𝑖 𝛽 𝑖 | | | | 𝑒 ( 𝑡 ) 1 1 / 𝜆 𝑖 𝑞 1 / 𝜆 𝑖 𝑖 ( 𝑡 ) + 𝜌 ( 𝑡 ) 𝑛 𝑙 = 𝑚 + 1 𝛾 𝑙 𝛿 𝑙 | | | | 𝑒 ( 𝑡 ) 1 1 / 𝜆 𝑙 𝑞