Research Article Oscillatory Behavior of Second

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ı́ková and Dž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ı́ková and Dž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ı́ková and J. Džurina, β€œOscillation theorems for second
order neutral differential equations,” Computers & Mathematics
with Applications, vol. 61, no. 1, pp. 94–99, 2011.
[7] B. Baculı́ková and J. Dž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, Ö. Öcalan, and S. Öztü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