- Research Article
- Open access
- Published:
Sufficient and Necessary Conditions for Oscillation of
th-Order Differential Equation with Retarded Argument
Journal of Inequalities and Applications volume 2009, Article number: 892936 (2009)
Abstract
Necessary and sufficient conditions are found for oscillation of the solutions of a class of strongly superlinear and strongly sublinear differential equations of even order with retarded argument.
1. Introduction
We consider the following th-order differential equation with retarded argument:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ1_HTML.gif)
Firstly, we introduce several conditions as follows:
(),
for
and
.
(),
for
and
.
As customary, a solution of (1.1) is said to be oscillatory if it has arbitrarily large zeros. Otherwise the solution is called nonoscillatory.
Definition 1.1.
The function is said to be strongly superlinear if there exists
, such that
is a nondecreasing function with respect to
for each fixed
It is easy to see that the function is nondecreasing with respect to
for
if
is strongly superlinear. The function
is nondecreasing with respect to
for
if
is nondecreasing with respect to
.
Definition 1.2.
The function is said to be strongly sublinear if there exists
, such that
is a nonincreasing function with respect to
for each fixed
We should indicate that there are many ways in which one can define the concept of strongly superlinearity, superlinearity, strongly sublinearity and sublinearity, to characterize functions satisfying different conditions. For example, in [1] the strongly superlinearity is used to specify functions with specific behavior at 0 and ; in [2] the superlinearity and sublinearity are defined for multivariable functions. In this paper, we adopt the definitions as in monograph [3].
In particular, if where
,
and
is the quotient of odd positive integers, then (1.1) becomes
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ2_HTML.gif)
It is easy to see that is strongly superlinear for
and
is strongly sublinear for
. If
; then (1.2) reduces to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ3_HTML.gif)
Equation (1.3) is the well-known Emden-Fowler equation [4].
Recently, many remarkable results have been established for the oscillation of solutions of the second- and higher-order functional differential equations. For example, Theorem A is presented in [2].
Theorem A
If , then every bounded solution of (1.2) oscillates if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ4_HTML.gif)
For (1.3), the well-known Theorems B–D are presented in [5–7].
If , then (1.3) has a bounded nonoscillatory solution if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ5_HTML.gif)
Theorem C [see [5]]
If , then all solutions of (1.3) are oscillatory if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ6_HTML.gif)
Theorem D [see [7]]
If , then (1.3) is oscillatory if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ7_HTML.gif)
In [8], Waltman studied the oscillation of the solutions for the equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ8_HTML.gif)
Equation (1.8) is the prototype of (1.1) and (1.2). Theorems E and F were proved in [8].
Theorem E
If satisfies (i)
and
for
and (ii)
is continuous and non-negative, then (1.8) has a bounded and eventually monotonic solution if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ9_HTML.gif)
Theorem F
Suppose that the conditions (i) and (ii) in Theorem E are satisfied. If
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ10_HTML.gif)
for some , then all solutions of (1.8) are oscillatory if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ11_HTML.gif)
Some other related results can be found in [2, 4, 9–12] and the references cited therein. Due to some problems of theoretical and technical character in handling with higher-order nonlinear differential equations, there are only a few results which concern necessary and sufficient conditions for the oscillatory behavior for (1.1). So there are a lot of things worth further consideration for (1.1). The main purpose of this paper is to establish necessary and sufficient conditions for (1.1). The obtained results extend the above theorems.
2. Main Results
In order to establish our main results we need introduce and establish two lemmas.
If is a positive and
-times differentiable function on
, and
is nonpositive and not identically zero on any subinterval
, then there exist
and an integer
such that
is odd and
(i) for
,
,
(ii) for
(iii) for
,
,
Lemma 2.2.
If is a strongly sublinear function, then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ12_HTML.gif)
for and
.
Proof.
From and
together with Definition 1.2 we clearly see that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ13_HTML.gif)
where . From
we know that
, and therefore
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ14_HTML.gif)
Our main result is Theorem 2.3.
Theorem 2.3.
The following statements are true.
-
(a)
Suppose that
is a nondecreasing function with respect to
and
for
. If
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ15_HTML.gif)
for some constants , then (1.1) has a bounded nonoscillatory solution.
-
(b)
If
is a strongly superlinear function, then every solution of (1.1) oscillates if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ16_HTML.gif)
for any .
-
(c)
If
is a nondecreasing function with respect to
and
, then every bounded solution of (1.1) oscillates if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ17_HTML.gif)
for each .
-
(d)
If
is a strongly sublinear function, then every solution of (1.1) oscillates if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ18_HTML.gif)
for any .
Proof.
-
(a)
Assume that (2.4) holds. Choose
sufficiently large such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ19_HTML.gif)
for and some
.
Observing that if satisfies the equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ20_HTML.gif)
then is a solution of (1.1). Therefore it suffices to show that (2.9) has a bounded nonoscillatory solution.
Consider the functional set
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ21_HTML.gif)
Define the operator as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ22_HTML.gif)
Then we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ23_HTML.gif)
Clearly, we have , and therefore
.
Now, we define the functions as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ24_HTML.gif)
where
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ25_HTML.gif)
Since the function is nondecreasing with respect to
and
, a straightforward verification shows the validity of the inequalities
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ26_HTML.gif)
Therefore for
It follows from the Lebesgue convergence theorem that
and
.
It is easy to see that is the desired bounded and nonoscillatory solution of  (2.9)
-
(b)
Sufficiency. Assume that
for each
. We will prove that every solution of (1.1) oscillates. Otherwise, assume that (1.1) has a nonoscillatory solution
. Without loss of generality, assume that
for
. Then according to Lemma 2.1, there exists an odd integer
and
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ27_HTML.gif)
There are two possible cases.
Case 1 ().
In this case we see that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ28_HTML.gif)
Since is an increasing function, hence for
and some constants
, one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ29_HTML.gif)
Making use of the Taylor expansion we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ30_HTML.gif)
From (1.1) and (2.17) together with (2.19) we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ31_HTML.gif)
The strong superlinearity of leads to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ32_HTML.gif)
which implies
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ33_HTML.gif)
From (2.22) we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ34_HTML.gif)
By using the elementary inequality for
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ35_HTML.gif)
Therefore, we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ36_HTML.gif)
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ37_HTML.gif)
or
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ38_HTML.gif)
which contradicts with (2.5).
Case 2 ().
Making use of (2.21) we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ39_HTML.gif)
For , it follows from (iii) of Lemma 2.1 that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ40_HTML.gif)
For sufficiently large , one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ41_HTML.gif)
Let , then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ42_HTML.gif)
and therefore
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ43_HTML.gif)
Using the same method as in the proof of Case  1, we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ44_HTML.gif)
that is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ45_HTML.gif)
which contradicts with (2.5).
Conversely, if every solution of (1.1) oscillates, then (2.5) holds. Otherwise (2.4) holds. Theorem 2.3(a) implies that (1.1) has a nonoscillatory solution.
-
(c)
Sufficiency. Without loss of generality, we assume that
is a bounded positive solution. We divided the proof into two cases.
Case 1 ().
The same argument as in the proof of Theorem 2.3(b) implies that inequality (2.26) holds for , that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ46_HTML.gif)
which contradicts with (2.6).
Case 2 ().
From the proof of Theorem 2.3(b) we also clearly see that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ47_HTML.gif)
which contradicts with (2.6).
Conversely, if every bounded solution of (1.1) oscillates, and then (2.6) holds. Otherwise (2.4) holds, then Theorem 2.3(a) implies that (1.1) has a nonoscillatory bounded solution.
-
(d)
Sufficiency. Without loss of generality, we assume that
is a finally positive solution, that is,
for
. We consider the following two cases.
Case 1 ().
In this case we see that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ48_HTML.gif)
then we know that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ49_HTML.gif)
and there exist constants and
such that
and
for
The strong sublinearity of
implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ50_HTML.gif)
The same argument as in the proof of Case  1 of Theorem 2.3(b) yields
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ51_HTML.gif)
Integrating from to
leads to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ52_HTML.gif)
That is
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ53_HTML.gif)
Let
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ54_HTML.gif)
then ,
and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ55_HTML.gif)
and for , one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ56_HTML.gif)
Therefore
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ57_HTML.gif)
or
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ58_HTML.gif)
By condition (H2), we can choose such that
and
for
. Then making use of Lemma 2.2, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ59_HTML.gif)
From (2.47) and (2.48) together with we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ60_HTML.gif)
which contradicts with (2.7).
Case 2 ().
That is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ61_HTML.gif)
From and
for
we know that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ62_HTML.gif)
and there exist constants and
such that
and
for
The strong sublinearity of
leads to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ63_HTML.gif)
It follows from (iii) of Lemma 2.1, that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ64_HTML.gif)
and thus
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ65_HTML.gif)
Let , then
,
,
and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ66_HTML.gif)
where is also even. According to the same process as the one used in the proof of Case  1 of Theorem 2.3(d) we conclude that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ67_HTML.gif)
By condition (H2), we can choose such that
and
for
. Now making use of Lemma 2.2, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ68_HTML.gif)
From (2.56) and (2.57) together with we clearly see that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ69_HTML.gif)
which contradicts with (2.7).
Necessity.
If every solution of (1.1) oscillates, then (2.7) holds. Otherwise, assuming that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ70_HTML.gif)
for some constants , we should prove that (1.1) has a nonoscillatory solution. From (2.59) we know that there exist
and some
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ71_HTML.gif)
Let be the Banach space of all real-valued continuous functions
endowed with the norm
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ72_HTML.gif)
and let be the subset of
defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ73_HTML.gif)
Define the mapping on
by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ74_HTML.gif)
where the integration is times.
By Lemma 2.2, for one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ75_HTML.gif)
for sufficient large , that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ76_HTML.gif)
From (2.60) and (2.65) we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ77_HTML.gif)
Equation (2.66) and the definition of the operator imply that
. On the other hand, we clearly see that
for
. Therefore,
.
It is routine to prove that is continuous and
is relatively compact in the topology of the Frechet space
. Therefore, there exists
such that
follows from the well-known Schauder's fixed point Theorem. It is easy to see that
is the solution of (1.1).
The proof of Theorem 2.3 is completed.
Remark 2.4.
If , then
and
. For (1.2) we can derive Corollary 2.5 from Theorem 2.3.
Corollary 2.5.
If is even, then the following statements are true.
-
(a)
If
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ78_HTML.gif)
then (1.2) has a bounded nonoscillatory solution.
-
(b)
If
, then every solution of (1.2) oscillates if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ79_HTML.gif)
 (c) If , then every bounded solution of (1.2) oscillates if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ80_HTML.gif)
  (d) If , then every solution of (1.2) oscillates if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ81_HTML.gif)
It is easy to see that Theorem A can be obtained directly from our Corollary 2.5(c).
For , we have Corollary 2.6 for (1.3).
Corollary 2.6.
If , then the following statements are true.
-
(a)
If
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ82_HTML.gif)
then (1.3) has a bounded nonoscillatory solution.
-
(b)
If
, then every solution of (1.3) oscillates if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ83_HTML.gif)
  (c) If , then every bounded solution of (1.3) oscillates if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ84_HTML.gif)
  (d) If , then every solution of (1.3) oscillates if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ85_HTML.gif)
We clearly see that our results in Corollary 2.6(a), (b), and (d) are exactly corresponding to the results in Theorems B, C, and D, respectively.
Remark 2.7.
If , then (1.1) becomes
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ86_HTML.gif)
From the proof of Theorem 2.3(b) we indicate that the strongly superlinearity of can be replaced by the condition
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ87_HTML.gif)
In fact, if is a nonoscillatory solution of (2.75), then from Theorem 2.3(a) we may assume that
is unbounded, and (2.76) implies that
, and there exists
such that
and
for
. Then we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ88_HTML.gif)
We notice that if (2.21) is replaced by (2.77), then Corollary 2.8 follows from the proof of Theorem 2.3(b).
Corollary 2.8.
If , then all solutions of (2.75) oscillate if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ89_HTML.gif)
If , then one clearly sees that Theorem F is the special case of Corollary 2.8.
Example 2.9.
The equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ90_HTML.gif)
satisfies the assumptions of Theorem 2.3(a) but does not satisfy the assumptions of Theorem 2.3(b) and (c); hence there exists a bounded nonoscillatory solution. In fact is one such solution.
Example 2.10.
The equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2009%2F892936/MediaObjects/13660_2009_Article_2025_Equ91_HTML.gif)
satisfies the assumptions of Theorem 2.3(d). Hence every solution of (1.1) is oscillatory. In fact is one such solution.
References
Philos ChG: Oscillation criteria for second order superlinear differential equations. Canadian Journal of Mathematics 1989,41(2):321–340. 10.4153/CJM-1989-016-3
Erbe LH, Kong Q, Zhang BG: Oscillation Theory for Functional-Differential Equations, Monographs and Textbooks in Pure and Applied Mathematics. Volume 190. Marcel Dekker, New York, NY, USA; 1995:viii+482.
Bainov D, Simeonov P: Oscillation Theory of Impulsive Differential Equations. International Publications, Orlando, Fla, USA; 1998:ii+284.
Wong JSW: On the generalized Emden-Fowler equation. SIAM Review 1975, 17: 339–360. 10.1137/1017036
Atkinson FV: On second-order non-linear oscillations. Pacific Journal of Mathematics 1955, 5: 643–647.
Belohorec Š: Oscillatory solutions of certain nonlinear differential equations of the second order. Matematicky Časopis Slovenskej Akadémie Vied 1961, 11: 250–254.
Belohorec Š: Monotone and oscillatory solutions of a class of nonlinear differential equations. Matematicky Časopis Slovenskej Akadémie Vied 1969, 19: 169–187.
Waltman P: Oscillation of solutions of a nonlinear equation. SIAM Review 1963, 5: 128–130. 10.1137/1005032
Agarwal RP, Bohner M, Li W-T: Nonoscillation and Oscillation: Theory for Functional Differential Equations, Monographs and Textbooks in Pure and Applied Mathematics. Volume 267. Marcel Dekker, New York, NY, USA; 2004:viii+376.
Agarwal RP, Grace SR, O'Regan D: Oscillation Theory for Difference and Functional Differential Equations. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2000:viii+337.
Agarwal RP, Grace SR, O'Regan D: Oscillation Theory for Second Order Dynamic Equations, Series in Mathematical Analysis and Applications. Volume 5. Taylor & Francis, London, UK; 2003:viii+404.
Kamenev IV: An integral test for conjugacy for second order linear differential equations. Matematicheskie Zametki 1978,23(2):249–251.
Kiguradze IT: On the oscillatory character of solutions of the equation
. MatematicheskiÄ Sbornik 1964,65(107):172–187.
Markova NT, Simeonov PS: Oscillation theorems for
-th order nonlinear differential equations with forcing terms and deviating arguments depending on the unknown function. Communications in Applied Analysis 2005,9(3–4):417–427.
Markova NT, Simeonov PS: Asymptotic and oscillatory behavior of
-th order forced differential equations with deviating argument depending on the unknown function. Panamerican Mathematical Journal 2006,16(1):1–15.
Acknowledgments
The authors wish to thank the anonymous referees for the very careful reading of the manuscript and fruitful comments and suggestions. This work was supported by the National Natural Science Foundation of China (Grant no. 60850005) and the Natural Science Foundation of Zhejiang Province (Grant nos. D7080080 and Y607128).
Author information
Authors and Affiliations
Corresponding author
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
Cheng, Jf., Chu, Ym. Sufficient and Necessary Conditions for Oscillation of th-Order Differential Equation with Retarded Argument.
J Inequal Appl 2009, 892936 (2009). https://doi.org/10.1155/2009/892936
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1155/2009/892936