Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2014, Article ID 143614, 8 pages http://dx.doi.org/10.1155/2014/143614 Research Article Oscillatory Behavior of Second-Order Nonlinear Neutral Differential Equations Tongxing Li1 and Yuriy V. Rogovchenko2 1 2 Department of Mathematics, Linyi University, Linyi, Shandong 276005, China Department of Mathematical Sciences, University of Agder, P.O. Box 422, 4604 Kristiansand, Norway Correspondence should be addressed to Yuriy V. Rogovchenko; [email protected] Received 28 March 2014; Accepted 16 April 2014; Published 11 June 2014 Academic Editor: Qi-Ru Wang Copyright © 2014 T. Li and Y. V. Rogovchenko. 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. We study oscillatory behavior of solutions to a class of second-order nonlinear neutral differential equations under the assumptions that allow applications to differential equations with delayed and advanced arguments. New theorems do not need several restrictive assumptions required in related results reported in the literature. Several examples are provided to show that the results obtained are sharp even for second-order ordinary differential equations and improve related contributions to the subject. 1. Introduction This paper is concerned with the oscillation of a class of second-order nonlinear neutral functional differential equations πΎ σΈ σΈ (π (π‘) ((π₯ (π‘) + π (π‘) π₯ (π (π‘))) ) ) + π (π‘, π₯ (π (π‘))) = 0, (1) where π‘ β₯ π‘0 > 0. The increasing interest in problems of the existence of oscillatory solutions to second-order neutral differential equations is motivated by their applications in the engineering and natural sciences. We refer the reader to [1β 21] and the references cited therein. We assume that the following hypotheses are satisfied: (h1 ) πΎ is a quotient of odd natural numbers, the functions π, π β πΆ([π‘0 , β), R), and π(π‘) > 0; (h2 ) the functions π, π β πΆ([π‘0 , β), R) and lim π (π‘) = lim π (π‘) = β; π‘ββ π‘ββ (2) σΈ σΈ (π (π‘) (π₯ (π‘) + π (π‘) π₯ (π (π‘))) ) + π (π‘) π₯ (π (π‘)) = 0 (5) assuming that the following conditions hold: (H1 ) π, π, π β πΆ([π‘0 , β), R), π(π‘) > 0, 0 β€ π(π‘) β€ π0 < β, and π(π‘) > 0; (H2 ) π β πΆ1 ([π‘0 , β), R) and limπ‘ β β π(π‘) = β; (H3 ) π β πΆ1 ([π‘0 , β), R), πσΈ (π‘) β₯ π0 > 0, and π β π = π β π. (h3 ) the function π(π‘, π’) β πΆ([π‘0 , β) × R, R) satisfies π’π (π‘, π’) > 0 By a solution of (1), we mean a function π₯ defined on [ππ₯ , β) for some ππ₯ β₯ π‘0 such that π₯ + π β π₯ β π πΎ and π((π₯ + π β π₯ β π)σΈ ) are continuously differentiable and π₯ satisfies (1) for all π‘ β₯ ππ₯ . In what follows, we assume that solutions of (1) exist and can be continued indefinitely to the right. Recall that a nontrivial solution π₯ of (1) is said to be oscillatory if it is not of the same sign eventually; otherwise, it is called nonoscillatory. Equation (1) is termed oscillatory if all its nontrivial solutions are oscillatory. Recently, BaculΔ±ΜkovaΜ and DzΜurina [6] studied oscillation of a second-order neutral functional differential equation (3) for all π’ =ΜΈ 0 and there exists a positive continuous function π(π‘) defined on [π‘0 , β) such that σ΅¨ σ΅¨σ΅¨ πΎ (4) σ΅¨σ΅¨π (π‘, π’)σ΅¨σ΅¨σ΅¨ β₯ π (π‘) |π’| . They established oscillation criteria for (5) through the comparison with associated first-order delay differential inequalities in the case where β β« πβ1 (π‘) dπ‘ = β. π‘0 (6) 2 Abstract and Applied Analysis We say that a continuous function π» : D β [0, β) belongs to the class H if Assuming that β β« πβ1 (π‘) dπ‘ < β, (7) π‘0 Han et al. [9], Li et al. [15], and Sun et al. [20] obtained oscillation results for (5), one of which we present below for the convenience of the reader. We use the notation π+σΈ π (π‘) := min {π (π‘) , π (π (π‘))} , σΈ (π‘) := max {0, π (π‘)} , (i) π»(π‘, π‘) = 0 for π‘ β₯ π‘0 and π»(π‘, π ) > 0 for (π‘, π ) β D0 ; (ii) π» has a nonpositive continuous partial derivative ππ»/ππ with respect to the second variable satisfying β π πΏσΈ (π ) β (π‘, π ) = π» (π‘, π ) β π» (π‘, π ) (π» (π‘, π ))πΎ/(πΎ+1) (14) ππ πΏ (π ) πΏ (π ) for some β β πΏ loc (D, R) and for some πΏ β πΆ1 ([π‘0 , β), (0, β)). β π (π‘) := β« πβ1 (π ) dπ . π‘ (8) Theorem 1 (cf. [9, Theorem 3.1] and [20, Theorem 2.2]). Assume that conditions (π»1 )β(π»3 ) and (7) hold. Suppose also that π(π‘) β€ π(π‘) β€ π‘ and πσΈ (π‘) > 0 for all π‘ β₯ π‘0 . If there exists a function π β πΆ1 ([π‘0 , β), (0, β)) such that Theorem 2 (see [8, Theorem 2.2, when T = R]). Let conditions (10) and (β1 )β(β3 ) hold. Suppose that 0 β€ π(π‘) < 1, π(π‘) β€ π‘, and π(π‘) β₯ π‘ for all π‘ β₯ π‘0 . If there exists a function π» β H such that, for all sufficiently large π β₯ π‘0 , lim sup π‘ π‘ββ lim sup β« [π (π ) π (π ) π‘0 π‘ββ [ π0 ) π0 β (1 + π‘ lim sup β« [π (π ) π (π ) β π‘ββ π‘0 π‘ × β« [πΏ (π ) π (π ) π» (π‘, π ) (1 β π (π (π ))) 4π (π ) πσΈ (π ) ] dπ = β, (9) 1 + (π0 /π0 ) ] dπ = β, 4π (π ) π (π ) β (10) BaculΔ±ΜkovaΜ and DzΜurina [7] extended results of [6] to a nonlinear neutral differential equation σΈ πΎ σΈ (π (π‘) ((π₯ (π‘) + π (π‘) π₯ (π (π‘))) ) ) + π (π‘) π₯π½ (π (π‘)) = 0, (11) where π½ and πΎ are quotients of odd natural numbers. Hasanbulli and Rogovchenko [10] studied a more general second-order nonlinear neutral delay differential equation σΈ σΈ (π (π‘) (π₯ (π‘) + π (π‘) π₯ (π‘ β π)) ) + π (π‘) π (π₯ (π‘) , π₯ (π (π‘))) = 0 (12) assuming that 0 β€ π(π‘) β€ 1, π(π‘) β€ π‘, πσΈ (π‘) > 0, and (6) holds. To introduce oscillation results obtained for (1) by Erbe et al. [8], we need the following notation: D := {(π‘, π ) : π‘ β₯ π β₯ π‘0 } , D0 := {(π‘, π ) : π‘ > π β₯ π‘0 } , β«π’ π (π ) dπ (π ) dπ πΎ+1 πΎ πΏ (πΎ + 1) πΎ+1 (π ) ] dπ = β, Theorem 3 (see [8, Theorem 2.2, case T = R]). Let conditions (10) and (β1 )β(β3 ) be satisfied. Suppose also that 0 β€ π(π‘) < 1, π(π‘) β€ π‘, and π(π‘) β€ π‘ for all π‘ β₯ π‘0 . If there exists a function π» β H such that, for all sufficiently large πβ β₯ π‘0 and for some π > πβ , lim sup π‘ββ 1 π» (π‘, π) π‘ × β« [πΏ (π ) ππΎ (π , πβ ) π» (π‘, π ) π (π ) (1 β π (π (π ))) π πΎ (16) πΎ+1 β π (π ) (ββ (π‘, π )) πΎ+1 πΎ πΏ (πΎ + 1) (π ) ] dπ = β, then (1) is oscillatory. Assuming that β β« πβ1/πΎ (π‘) dπ‘ < β, (17) π‘0 Li et al. [16] extended results of [10] to a nonlinear neutral delay differential equation σΈ πΎ σΈ ββ (π‘, π ) := max {0, ββ (π‘, π )} , π(π‘) β«π’ πβ1/πΎ π‘ β1/πΎ (15) then (1) is oscillatory. Replacing (6) with the condition π‘0 π (π ) (ββ (π‘, π )) β ] β« πβ1/πΎ (π‘) dπ‘ = β, πΎ π 2 π (π (π )) (π+σΈ (π )) then (5) is oscillatory. π (π‘, π’) := 1 π» (π‘, π) (π (π‘) ((π₯ (π‘) + π (π‘) π₯ (π‘ β π)) ) ) (18) + π (π‘) π (π₯ (π‘) , π₯ (π (π‘))) = 0, . (13) where πΎ β₯ 1 is a ratio of odd natural numbers. Han et al. [9, Theorems 2.1 and 2.2] established sufficient conditions for Abstract and Applied Analysis 3 the oscillation of (1) provided that (17) is satisfied, 0 β€ π(π‘) < 1, and πσΈ (π‘) β₯ 0, π (π‘) = π‘ β π β€ π‘, π (π‘) β€ π‘ β π. (19) Xu and Meng [21] studied (1) under the assumptions that (17) holds, 0 β€ π(π‘) < 1, and πσΈ (π‘) β₯ 0, π (π‘) = π‘ β π β€ π‘, lim π (π‘) = π΄ (20) π‘ββ obtaining sufficient conditions for all solutions of (1) either to be oscillatory or to satisfy limπ‘ β β π₯(π‘) = 0; see [21, Theorem 2.3]. Saker [17] investigated oscillatory nature of (1) assuming that (17) is satisfied, 0 β€ π (π‘) < 1, πσΈ (π‘) β₯ 0, σΈ π (π‘) β₯ 0, π (π‘) β€ π (π‘) β€ π‘, β π β β π (π‘) := β« π(π‘) π‘ (i) πΎ(π‘, π‘) = 0 for π‘ β₯ π‘0 and πΎ(π‘, π ) > 0 for (π‘, π ) β D0 ; (ii) πΎ has a nonpositive continuous partial derivative ππΎ/ππ with respect to the second variable satisfying π πΎ (π‘, π ) = βπ (π‘, π ) (πΎ (π‘, π ))πΎ/(πΎ+1) ππ π+σΈ (π‘) := max {0, πσΈ (π‘)} , Theorem 5. Let all assumptions of Theorem 2 be satisfied with condition (10) replaced by (17). Suppose that there exists a function π β πΆ1 ([π‘0 , β), (0, β)) such that π (π‘) + πσΈ (π‘) β€ 0, (π‘) π (π‘) π‘ ππΎ π (π ) π (π ) lim sup β« [ β (1 + 0 ) πΎβ1 2 π0 π‘0 π‘ββ [ πΎ+1 π‘ lim sup β« [ π‘ββ π‘0 πΎ (π (π ) πσΈ (π )) πΎ πΎ ] dπ = β, ] (25) π (π ) π (π ) π β (1 + 0 ) πΎβ1 2 π0 × πΎπΎ+1 πσΈ (π ) (πΎ + 1) Then (1) is oscillatory. πΎ+1 π (π (π‘)) > 0. (28) π (π‘) πΎ π‘ lim sup β« [πΎ (π‘, π ) π (π ) (1 β π (π (π )) π‘ββ π π (π (π (s))) ) π (π (π )) πΎ ×( π (π (π )) π (π ) (π (π‘, π ))πΎ+1 ] dπ > 0, ) β πΎ+1 π (π ) (πΎ + 1) (29) then (1) is oscillatory. π (π (π )) (π+σΈ (π )) (πΎ + 1) 1 β π (π‘) π1/πΎ If there exists a function πΎ β K such that, for all sufficiently large π β₯ π‘0 , πβ1/πΎ (π ) dπ . Theorem 4 (see [19, Theorem 4.1]). Let conditions (h3 ), (H1 )β(H3 ), and (17) be satisfied. Assume also that πΎ β₯ 1, π(π‘) β€ π(π‘) β€ π‘, and πσΈ (π‘) > 0 for all π‘ β₯ π‘0 . Suppose further that there exist functions π β πΆ1 ([π‘0 , β), (0, β)) and π β πΆ1 ([π‘0 , β), R) such that π(π‘) β₯ π‘, πσΈ (π‘) > 0, πΎ+1 (27) for some π β πΏ loc (D, R). (24) × (26) β (23) Li et al. [13] investigated (1) in the case where (H1 )β(H3 ) hold, πΎ β₯ 1, π(π‘) β₯ π‘, and π(π‘) β₯ π‘. In particular, sufficient conditions for all solutions of (1) either to be oscillatory or to satisfy limπ‘ β β π₯(π‘) = 0 were obtained under the assumptions that (17) holds and 0 β€ π(π‘) β€ π1 < 1; see [13, Theorem 3.8]. Sun et al. [19] established several oscillation results for (1) assuming that (h3 ), (H1 )β(H3 ), (17), and (23) are satisfied. The following notation is used in the next theorem: π (π‘) := min {π (π‘) , π (π (π‘))} , π§ (π‘) := π₯ (π‘) + π (π‘) π₯ (π (π‘)) , A continuous function πΎ : D β [0, β) is said to belong to the class K if for some π β₯ π‘0 , where π(π’) := β«π’ πβ1/πΎ (π‘)dπ‘. Li et al. [12] studied oscillation of (1) under the conditions that (17) holds, π and π are strictly increasing, π(π‘) > 1, and or π (π‘) β€ π (π‘) . In what follows, all functional inequalities are tacitly assumed to hold for all π‘ large enough, unless mentioned otherwise. We use the notation (21) 1/πΎ π 1 πΎ β« π (π’) (1 β π (π’)) ππΎ (π’) dπ’) dπ = β (22) π (π ) π either π (π‘) β₯ π (π‘) 2. Oscillation Criteria π (π‘) := β« πβ1/πΎ (π ) dπ . and β« ( Our principal goal in this paper is to analyze the oscillatory behavior of solutions to (1) in the case where (17) holds and without assumptions (H3 ), (19)β(23), and πΎ β₯ 1. π (π ) π1/πΎ (π (π )) Proof. Let π₯(π‘) be a nonoscillatory solution of (1). Without loss of generality, we may assume that there exists a π‘1 β₯ π‘0 such that π₯(π‘) > 0, π₯(π(π‘)) > 0, and π₯(π(π‘)) > 0 for all π‘ β₯ π‘1 . Then π§(π‘) β₯ π₯(π‘) > 0 for all π‘ β₯ π‘1 , and by virtue of πΎ σΈ (π(π‘)(π§σΈ (π‘)) ) β€ βπ (π‘) π₯πΎ (π (π‘)) < 0, ] dπ = β. πΎ (30) the function π(π‘)(π§σΈ (π‘)) is strictly decreasing for all π‘ β₯ π‘1 . Hence, π§σΈ (π‘) does not change sign eventually; that is, there 4 Abstract and Applied Analysis exists a π‘2 β₯ π‘1 such that either π§σΈ (π‘) > 0 or π§σΈ (π‘) < 0 for all π‘ β₯ π‘2 . We consider each of the two cases separately. Case 1. Assume first that π§σΈ (π‘) > 0 for all π‘ β₯ π‘2 . Proceeding as in the proof of [8, Theorem 2.2, case T = R], we obtain a contradiction to (15). Differentiating (31) and using (30), we have, for all π‘ β₯ π‘3 , πσΈ (π‘) β€ βπ (π‘) (1 β π (π (π‘)) πΎ β Case 2. Assume now that π§σΈ (π‘) < 0 for all π‘ β₯ π‘2 . For π‘ β₯ π‘2 , define a new function π(π‘) by π (π‘) := π (π‘) (π§σΈ (π‘)) . (31) π (π‘) 1/πΎ σΈ ) π§ (π‘) π (π ) (32) for all π β₯ π‘ β₯ π‘2 . Integrating (32) from π‘ to π, π β₯ π‘ β₯ π‘2 , we have π π‘ π§2πΎ (π‘) dπ . 1/πΎ π (π ) π (π‘) (π§σΈ (π‘)) . π§πΎ+1 (π‘) (38) Hence, by (31) and (38), we conclude that πσΈ (π‘) + π (π‘) (1 β π (π (π‘)) πΎ πΎ π (π (π‘)) π (π (π (π‘))) ) ) ( π (π‘) π (π (π‘)) + πΎπβ1/πΎ (π‘) π(πΎ+1)/πΎ (π‘) β€ 0 (39) (33) Passing to the limit as π β β, we conclude that for all π‘ β₯ π‘3 . Multiplying (39) by πΎ(π‘, π ) and integrating the resulting inequality from π‘3 to π‘, we obtain πΎ π‘ π§ (π‘) + π1/πΎ (π‘) π§σΈ (π‘) π (π‘) β₯ 0, πΎ π (π (π (π‘))) π (π (π‘)) ) ( ) π (π‘) π (π (π‘)) πΎ+1 βπΎ π§ (π) β€ π§ (π‘) + π1/πΎ (π‘) π§σΈ (π‘) β« σΈ πΎ Then π(π‘) < 0 for all π‘ β₯ π‘2 , and it follows from (30) that π§σΈ (π ) β€ ( πΎ π (π‘) (π§σΈ (π‘)) (π§πΎ (π‘)) = βπ (π‘) (1 β π(π(π‘)) πΎ π§πΎ (π‘) πΎ π (π (π‘)) π (π (π (π‘))) ) ) ( π (π‘) π (π (π‘)) (34) π (π (π (π ))) ) β« πΎ (π‘, π ) π (π ) (1 β π (π (π )) π (π (π )) π‘3 πΎ ×( which implies that 1 π§σΈ (π‘) β₯ β 1/πΎ . π§ (π‘) π (π‘) π (π‘) (35) π (π (π )) ) dπ π (π ) β€ πΎ (π‘, π‘3 ) π (π‘3 ) + β« π‘3 π‘ ( β1/πΎ β β« πΎπΎ (π‘, π ) π Thus, π‘3 π§(π‘) σΈ π§σΈ (π‘) π (π‘) β π§ (π‘) πσΈ (π‘) ) = π(π‘) π2 (π‘) β₯β π (π‘) π§ (π‘) [ + πσΈ (π‘)] β₯ 0. π2 (π‘) π1/πΎ (π‘) π (π‘) (πΎ+1)/πΎ (π ) π (40) (π ) dπ π‘ (36) t3 π‘ β β« πΎπΎ (π‘, π ) πβ1/πΎ (π ) (βπ (π ))(πΎ+1)/πΎ dπ . π‘3 In order to use the inequality πΎ + 1 1/πΎ 1 π΄π΅ β π΄(πΎ+1)/πΎ β€ π΅(πΎ+1)/πΎ , πΎ πΎ π₯ (π‘) = π§ (π‘) β π (π‘) π₯ (π (π‘)) β₯ π§ (π‘) β π (π‘) π§ (π (π‘)) πΎ > 0, π΄ β₯ 0, π΅ β₯ 0, (41) π (π (π‘)) β₯ π§ (π‘) β π (π‘) π§ (π‘) π (π‘) π§ (π (π‘)) π (π (π‘)) β₯ . π§ (π‘) π (π‘) ππΎ (π‘, π ) π (π ) dπ ππ = πΎ (π‘, π‘3 ) π (π‘3 ) β β« π (π‘, π ) (πΎ (π‘, π ))πΎ/(πΎ+1) π (π ) dπ Consequently, there exists a π‘3 β₯ π‘2 such that, for all π‘ β₯ π‘3 , π (π (π‘)) ) π§ (π‘) , = (1 β π (π‘) π (π‘) π‘ see Li et al. [16, Lemma 1 (ii)] for details; we let (37) π΄(πΎ+1)/πΎ := πΎπΎ (π‘, π ) πβ1/πΎ (π ) (βπ (π ))(πΎ+1)/πΎ , π΅1/πΎ := πΎπ (π‘, π ) π1/(πΎ+1) (π ) . (πΎ + 1) πΎπΎ/(πΎ+1) (42) Abstract and Applied Analysis 5 Then, for all π‘ β₯ π‘1 , (30) is satisfied and π§(π‘) β₯ π₯(π‘) > 0. It follows from (10) that there exists a πβ β₯ π‘1 such that π§σΈ (π‘) > 0 for all π‘ β₯ πβ . By virtue of (30), we have Then, by virtue of (40), we conclude that πΎ π‘ β« [πΎ (π‘, π ) π (π ) (1 β π (π (π )) π‘3 π (π (π (π ))) ) π (π (π )) πΎ ×( πΎ+1 π (π (π )) π (π ) (π (π‘, π )) ) β πΎ+1 π (π ) (πΎ + 1) π‘ π§ (π‘) = π§ (πβ ) + β« (43) ] dπ πβ Since ( π§ (π‘) σΈ π§σΈ (π‘) π (π‘) β π§ (π‘) πσΈ (π‘) ) = π (π‘) π2 (π‘) β€ πΎ π‘ lim sup β« [πΎ (π‘, π ) π (π ) (1 β π (π (π )) π π (π‘) π§ (π‘) [ β πσΈ (π‘)] β€ 0, 2 π (π‘) π1/πΎ (π‘) β«π‘ πβ1/πΎ (π ) dπ πβ [ ] (48) we conclude that π (π ) (π (π‘, π ))πΎ+1 (πΎ + 1) π (π (π (π ))) ) π (π (π )) ] dπ > 0, πΎ+1 π₯ (π‘) = π§ (π‘) β π (π‘) π₯ (π (π‘)) (44) β₯ π§ (π‘) β π (π‘) π§ (π (π‘)) then (1) is oscillatory. β₯ (1 β π (π‘) Proof. The proof is similar to that of Theorem 5 and hence is omitted. Theorem 7. Let conditions (10) and (β1 )β(β3 ) be satisfied, 0 β€ π(π‘) < 1, π(π‘) β₯ π‘, and π(π‘) β₯ π‘. Assume that there exists a function π β πΆ1 ([π‘0 , β), (0, β)) such that, for all sufficiently large πβ β₯ π‘0 , π (π‘) π‘ π1/πΎ (π‘) β«π πβ1/πΎ (π ) dπ β πσΈ (π‘) β€ 0, β 1 β π (π‘) (45) π (π (π‘)) > 0. π (π‘) If there exists a function π» β H such that, for all sufficiently large π β₯ π‘0 , π‘ββ (47) β₯ π1/πΎ (π‘) π§σΈ (π‘) β« πβ1/πΎ (π ) dπ . Theorem 6. Let all assumptions of Theorem 3 be satisfied with condition (10) replaced by (17). Suppose further that there exists a function π β πΆ1 ([π‘0 , β), (0, β)) such that (28) holds. If there exists a function πΎ β K such that, for all sufficiently large π β₯ π‘0 , lim sup dπ π‘ which contradicts (29). This completes the proof. β π1/πΎ (π ) πβ β€ πΎ (π‘, π‘3 ) π (π‘3 ) , π‘ββ πΎ 1/πΎ (π (π ) (π§σΈ (π )) ) π‘ 1 β« [πΏ (π ) π (π ) π» (π‘, π ) π» (π‘, π) π (49) π (π (π‘)) ) π§ (π‘) . π (π‘) For π‘ β₯ πβ , define a new function π’(π‘) by πΎ π’ (π‘) := πΏ (π‘) π (π‘) (π§σΈ (π‘)) π§πΎ (π‘) Then π’(π‘) > 0 for all π‘ β₯ πβ , and the rest of the proof is similar to that of [8, Theorem 2.2, case T = R]. This completes the proof. Theorem 8. Let conditions (10) and (β1 )β(β3 ) be satisfied. Suppose also that 0 β€ π(π‘) < 1, π(π‘) β₯ π‘, π(π‘) β€ π‘, and there exists a function π β πΆ1 ([π‘0 , β), (0, β)) such that (45) holds for all sufficiently large πβ β₯ π‘0 . If there exists a function π» β H such that, for some π > πβ , lim sup π‘ββ π‘ 1 β« [πΏ (π ) ππΎ (π , πβ ) π (π ) π» (π‘, π ) π» (π‘, π) π πΎ × (1 β π (π (π )) β π (π ) (ββ (π‘, π )) πΎ+1 πΎ πΏ (πΎ + 1) π (π (π (π ))) ) π (π (π )) πΎ (46) × (1 β π (π (π )) πΎ+1 (π ) (50) . ] dπ = β, π (π (π (π ))) ) π (π (π )) (51) πΎ+1 β then (1) is oscillatory. π (π ) (ββ (π‘, π )) (πΎ + 1) πΎ+1 πΎ πΏ (π ) ] dπ = β, then (1) is oscillatory. Proof. Without loss of generality, assume again that (1) possesses a nonoscillatory solution π₯(π‘) such that π₯(π‘) > 0, π₯(π(π‘)) > 0, and π₯(π(π‘)) > 0 on [π‘1 , β) for some π‘1 β₯ π‘0 . Proof. The proof runs as in Theorem 7 and [8, Theorem 2.2, case T = R] and thus is omitted. 6 Abstract and Applied Analysis Theorem 9. Let all assumptions of Theorem 7 be satisfied with condition (10) replaced by (17). Suppose that there exist a function πΎ β K and a function π β πΆ1 ([π‘0 , β), (0, β)) such that π (π‘) + πσΈ (π‘) β€ 0, (52) 1/πΎ π (π‘) π (π‘) 3. Examples and Discussion The following examples illustrate applications of theoretical results presented in this paper. Example 1. For π‘ β₯ 1, consider a neutral differential equation σΈ π‘ σΈ (π‘2 (π₯(π‘) + π0 π₯ ( )) ) + π0 π₯ (2π‘) = 0, 2 and, for all sufficiently large π β₯ π‘0 , π‘ lim sup β« [πΎ (π‘, π ) π (π ) (1 β π (π (π ))) π‘ββ πΎ π πΎ ×( π (π (π )) π (π ) (π (π‘, π ))πΎ+1 ] dπ > 0. ) β πΎ+1 π (π ) (πΎ + 1) (53) where π0 β (0, 1/2) and π0 > 0 are constants. Here, πΎ = 1, π(π‘) = π‘2 , π(π‘) = π0 , π(π‘) = π‘/2, π(π‘) = π0 , and π(π‘) = 2π‘. Let π(π‘) = π‘β1 and πΎ(π‘, π ) = π β1 (π‘ β π )2 . Then π(π‘, π ) = 2π β1/2 + π β3/2 (π‘ β π ) and, for all sufficiently large π β₯ 1 and for all π0 satisfying π0 (1 β 2π0 ) > 1/2, we have π‘ Then (1) is oscillatory. Proof. Without loss of generality, assume as above that (1) possesses a nonoscillatory solution π₯(π‘) such that π₯(π‘) > 0, π₯(π(π‘)) > 0, and π₯(π(π‘)) > 0 on [π‘1 , β) for some π‘1 β₯ π‘0 . Then, for all π‘ β₯ π‘1 , (30) is satisfied and π§(π‘) β₯ π₯(π‘) > 0. πΎ Therefore, the function π(π‘)(π§σΈ (π‘)) is strictly decreasing for all π‘ β₯ π‘1 , and so there exists a πβ β₯ π‘1 such that either π§σΈ (π‘) > 0 or π§σΈ (π‘) < 0 for all π‘ β₯ πβ . Assume first that π§σΈ (π‘) > 0 for all π‘ β₯ πβ . As in the proof of Theorem 7, we obtain a contradiction with (46). Assume now that π§σΈ (π‘) < 0 for all π‘ β₯ πβ . For π‘ β₯ πβ , define π(π‘) by (31). By virtue of π(π‘) β₯ π‘, π₯ (π‘) = π§ (π‘) β π (π‘) π₯ (π (π‘)) β₯ π§ (π‘) β π (π‘) π§ (π (π‘)) (54) β₯ (1 β π (π‘)) π§ (π‘) . The rest of the proof is similar to that of Theorem 5 and hence is omitted. Theorem 10. Let all assumptions of Theorem 8 be satisfied with condition (10) replaced by (17). Suppose that there exists a function πΎ β K such that, for all sufficiently large π β₯ π‘0 , π‘ π (π (π (π ))) lim sup β« [πΎ (π‘, π ) π (π ) (1 β π (π (π )) ) π (π (π )) π π‘ββ π β π (π ) (π (π‘, π ))πΎ+1 (πΎ + 1) πΎ+1 (55) ] d π > 0. π‘ = lim sup β« [ π π‘ββ On the other hand, letting π»(π‘, π ) = π β1 (π‘ β π )2 and πΏ(π‘) = 1, we observe that condition (15) is satisfied for π0 (1 β 2π0 ) > 1/2. Hence, by Theorem 5, we conclude that (58) is oscillatory provided that π0 (1β2π0 ) > 1/2. Observe that results reported in [9, 12, 17, 21] cannot be applied to (58) since π(π‘) < 1 and conditions (19)β(22) fail to hold for this equation. Example 2. For π‘ β₯ 1, consider a neutral differential equation σΈ π‘ 1 π‘ σΈ (π‘3 (π₯ (π‘) + π₯ ( )) ) + π0 π‘π₯ ( ) = 0, 8 2 3 π‘ββ (56) Likewise, several oscillation criteria are obtained from Theorems 7β10 with dπ , (π ) π1/πΎ π (π‘) = π (π‘) . (57) (60) where π0 > 0 is a constant. Here, πΎ = 1, π(π‘) = π‘3 , π(π‘) = 1/8, π(π‘) = π‘/2, π(π‘) = π0 π‘, and π(π‘) = π‘/3. Let π(π‘) = π‘β2 /2 and πΎ(π‘, π ) = π β2 (π‘ β π )2 . Then π(π‘, π ) = 2π β1 + 2π β2 (π‘ β π ). Hence, πΎ π‘ π (π‘) = π (π‘) . πβ (π‘ β π )2 β (π‘ β π )] dπ > 0. 4π (59) π β Remark 11. One can obtain from Theorems 5 and 6 various oscillation criteria by letting, for instance, π‘ π0 (1 β 2π0 ) (π‘ β π )2 βπ 2 π β Proof. The proof resembles those of Theorems 5 and 9. π (π‘) = β« π (π (π )) π (π ) (π (π‘, π ))πΎ+1 ] dπ ) β πΎ+1 π(π ) (πΎ + 1) lim sup β« [πΎ (π‘, π ) π (π ) (1 β π (π (π )) Then (1) is oscillatory. πΎ πΎ ×( πΎ lim sup β« [πΎ (π‘, π ) π (π ) (1 β π (π (π ))) π‘ββ (58) π (π ) (π (π‘, π ))πΎ+1 π‘ = lim sup β« [ π‘ββ π (πΎ + 1) πΎ+1 π (π (π (π ))) ) π (π (π )) ] dπ π0 (π‘ β π )2 (π‘ β π )2 βπ β β 2 (π‘ β π )] dπ > 0 2π π (61) whenever π0 > 2. Let π»(π‘, π ) = π β2 (π‘ β π )2 and πΏ(π‘) = 1. Then (16) is satisfied for π0 > 2. Therefore, using Theorem 6, we Abstract and Applied Analysis 7 deduce that (60) is oscillatory if π0 > 2, whereas Theorems 1 and 4 yield oscillation of (60) for π0 > 5/2, so our oscillation result is sharper. Example 3. For π‘ β₯ 1, consider the Euler differential equation σΈ (π‘2 π₯σΈ (π‘)) + π0 π₯ (π‘) = 0, (62) where π0 > 0 is a constant. Here, πΎ = 1, π(π‘) = π‘2 , π(π‘) = 0, π(π‘) = π0 , and π(π‘) = π‘. Choose π(π‘) = π‘β1 and πΎ(π‘, π ) = π β1 (π‘ β π )2 . Then π(π‘, π ) = 2π β1/2 + π β3/2 (π‘ β π ), and so π‘ lim sup β« [πΎ (π‘, π ) π (π ) (1 β π (π (π )) π‘ββ π π (π (π (π ))) ) π (π (π )) πΎ πΎ π (π (π )) π (π ) (π (π‘, π ))πΎ+1 ×( ] dπ ) β πΎ+1 π (π ) (πΎ + 1) π‘ = lim sup β« [ π‘ββ π π0 (π‘ β π )2 (π‘ β π )2 βπ β β (π‘ β π )] dπ > 0 π 4π (63) provided that π0 > 1/4. Let π»(π‘, π ) = sβ1 (π‘ β π )2 and πΏ(π‘) = 1. Then (15) holds for π0 > 1/4. It follows from Theorem 5 that (62) is oscillatory for π0 > 1/4, and it is well known that this condition is the best possible for the given equation. However, results of Saker [17] do not allow us to arrive at this conclusion due to condition (22). Remark 12. In this paper, using an integral averaging technique, we derive several oscillation criteria for the secondorder neutral equation (1) in both cases (10) and (17). Contrary to [9, 12, 15, 17, 19β21], we do not impose restrictive conditions (H3 ) and (19)β(23) in our oscillation results. This leads to a certain improvement compared to the results in the cited papers. However, to obtain new results in the case where (17) holds, we have to impose an additional assumption on the function π; that is, π(π‘) < π(π‘)/π(π(π‘)). The question regarding the study of oscillatory properties of (1) with other methods that do not require this assumption remains open at the moment. Conflict of Interests The authors declare that they have no competing interests. Authorsβ Contribution Both authors contributed equally to this work and are listed in alphabetical order. They both read and approved the final version of the paper. Acknowledgments The authors thank the referees for pointing out several inaccuracies in the paper. The research of the first author was supported by the AMEP of Linyi University, China. References [1] R. P. Agarwal, M. Bohner, T. Li, and C. Zhang, βOscillation of second-order Emden-Fowler neutral delay differential equations,β Annali di Matematica Pura ed Applicata, 2013. [2] R. P. Agarwal, M. Bohner, and W.-T. Li, Nonoscillation and Oscillation: Theory for Functional Differential Equations, vol. 267 of Monographs and Textbooks in Pure and Applied Mathematics, Marcel Dekker, New York, NY, USA, 2004. [3] R. P. Agarwal and S. R. Grace, βOscillation theorems for certain neutral functional differential equations,β Computers and Mathematics with Applications, vol. 38, no. 11, pp. 1β11, 1999. [4] R. P. Agarwal, S. R. Grace, and D. OβRegan, Oscillation Theory for Difference and Functional Differential Equations, Kluwer Academic, Dordrecht, The Netherlands, 2000. [5] R. P. Agarwal, S. R. Grace, and D. OβRegan, Oscillation Theory for Second Order Linear, Half-Linear, Superlinear and Sublinear Dynamic Equations, Kluwer Academic, Dordrecht, The Netherlands, 2002. [6] B. BaculΔ±ΜkovaΜ and J. DzΜurina, βOscillation theorems for second order neutral differential equations,β Computers & Mathematics with Applications, vol. 61, no. 1, pp. 94β99, 2011. [7] B. BaculΔ±ΜkovaΜ and J. DzΜurina, βOscillation theorems for secondorder nonlinear neutral differential equations,β Computers & Mathematics with Applications, vol. 62, no. 12, pp. 4472β4478, 2011. [8] L. Erbe, T. S. Hassan, and A. Peterson, βOscillation criteria for nonlinear functional neutral dynamic equations on time scales,β Journal of Difference Equations and Applications, vol. 15, no. 1112, pp. 1097β1116, 2009. [9] Z. Han, T. Li, S. Sun, and Y. Sun, βRemarks on the paper [Appl. Math. Comput. 207 (2009) 388-396],β Applied Mathematics and Computation, vol. 215, no. 11, pp. 3998β4007, 2010. [10] M. Hasanbulli and Yu. V. Rogovchenko, βOscillation criteria for second order nonlinear neutral differential equations,β Applied Mathematics and Computation, vol. 215, no. 12, pp. 4392β4399, 2010. [11] B. Karpuz, OΜ. OΜcalan, and S. OΜztuΜrk, βComparison theorems on the oscillation and asymptotic behaviour of higher-order neutral differential equations,β Glasgow Mathematical Journal, vol. 52, no. 1, pp. 107β114, 2010. [12] T. Li, R. P. Agarwal, and M. Bohner, βSome oscillation results for second-order neutral differential equations,β The Journal of the Indian Mathematical Society, vol. 79, no. 1β4, pp. 97β106, 2012. [13] T. Li, Z. Han, C. Zhang, and H. Li, βOscillation criteria for second-order superlinear neutral differential equations,β Abstract and Applied Analysis, vol. 2011, Article ID 367541, 17 pages, 2011. [14] T. Li and Yu. V. Rogovchenko, βAsymptotic behavior of higherorder quasilinear neutral differential equations,β Abstract and Applied Analysis, vol. 2014, Article ID 395368, 11 pages, 2014. [15] T. Li, Yu. V. Rogovchenko, and C. Zhang, βOscillation of secondorder neutral differential equations,β Funkcialaj Ekvacioj, vol. 56, no. 1, pp. 111β120, 2013. [16] T. Li, Yu. V. Rogovchenko, and C. Zhang, βOscillation results for second-order nonlinear neutral differential equations,β Advances in Difference Equations, vol. 2013, article 336, pp. 1β13, 2013. [17] S. H. Saker, βOscillation criteria for a second-order quasilinear neutral functional dynamic equation on time scales,β Nonlinear Oscillations, vol. 13, pp. 407β428, 2011. 8 [18] S. H. Saker and D. OβRegan, βNew oscillation criteria for second-order neutral functional dynamic equations via the generalized Riccati substitution,β Communications in Nonlinear Science and Numerical Simulation, vol. 16, no. 1, pp. 423β434, 2011. [19] S. Sun, T. Li, Z. Han, and H. Li, βOscillation theorems for second-order quasilinear neutral functional differential equations,β Abstract and Applied Analysis, vol. 2012, Article ID 819342, 17 pages, 2012. [20] S. Sun, T. Li, Z. Han, and C. Zhang, βOn oscillation of secondorder nonlinear neutral functional differential equations,β Bulletin of the Malaysian Mathematical Sciences Society, vol. 36, no. 3, pp. 541β554, 2013. [21] R. Xu and F. Meng, βSome new oscillation criteria for second order quasi-linear neutral delay differential equations,β Applied Mathematics and Computation, vol. 182, no. 1, pp. 797β803, 2006. Abstract and Applied Analysis Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014
© Copyright 2025 Paperzz