1. Introduction
The purpose of this paper is to give several oscillation criteria for the second-order nonlinear delay dynamic equation with damping on a time scale
()
subject to the following hypotheses.
-
(H1) is a time scale which is unbounded above and with t0 > 0. The time scale interval is defined by .
-
(H2) r(t), p(t), and q(t) are positive right dense continuous functions on such that and
()
or
()
-
(H3) Consider , xf(x) > 0 for all x ≠ 0 and there exists a positive constant L such that f(x)/x ≥ L.
-
(H4) Consider , vg(u, v) > 0 for all v ≠ 0 and for any fixed and there exist positive constants K1, K2 such that
()
-
(H5) is a strictly increasing and differentiable function such that
()
By a solution of (1), we mean that a nontrivial real valued function x satisfies (1) for . A solution x of (1) is called oscillatory if it is neither eventually positive nor eventually negative. Otherwise, it is called nonoscillatory. Equation (1) is said to be oscillatory if all of its solutions are oscillatory. In this work, we study the solutions of (1) which are not identically vanishing eventually.
Many results have been obtained on the oscillation and nonoscillation of dynamic equations on time scales (see e.g., the papers [
1–
17], the books [
18,
19] and the references cited therein). It is easy to see that (
1) can be transformed into the equation
()
where
g(
x,
xΔ) =
xΔ. If
r(
t) = 1,
f(
x) =
x, and
τ(
t) =
t, then (
6) is simplified to the equation
()
Also, if
p(
t) = 0, (
6) is simplified to the equation
()
If
r(
t) = 1, (
8) takes the form
()
If
f(
x) =
x, (
9) becomes
()
In 2002, Guseinov and Kaymakçalan [
10] studied (
7) and established some sufficient conditions for nonoscillation. They proved that if
()
then (
7) is nonoscillatory. In 2005, Agarwal et al. [
2] studied the linear delay dynamic equation (
10) and Şahiner [
12] considered the nonlinear delay dynamic equation (
9) and gave some sufficient conditions for oscillation of (
10) and (
9). In 2007, Erbe et al. [
8] considered the general nonlinear delay dynamic equations (
8). They obtained some oscillation criteria which improve the results given by Şahiner [
12]. In 2011, Zhang and Gao [
16] considered the oscillation of solutions of second-order nonlinear delay dynamic equation (
6) with damping and establishing some new results. In this paper, we use the generalized Riccati transformation and the inequality technique to obtain some new oscillation criteria for (
1). Our results generalize and improve the results in [
16].
This paper is organized as follows. In Section 2, we present some preliminaries on time scales. In Section 3, we give some lemmas that we need through our work. In Section 4, we establish some new sufficient conditions for oscillation of (1). Finally, in Section 5, we present some examples to illustrate our results.
2. Some Preliminaries on Time Scales
A time scale
is an arbitrary nonempty closed subset of the real numbers
. On any time scale
, we define the forward and backward jump operators by
()
A point
,
t> inf
is said to be left dense if
ρ(
t) =
t, right dense if
t< sup
and
σ(
t) =
t, left-scattered if
ρ(
t) <
t, and right-scattered if
σ(
t) >
t. The graininess function
μ for a time scale
is defined by
μ(
t) =
σ(
t) −
t. The set
is derived from the time scale
as
if
has a left-scattered maximum
m. Otherwise,
.
A function is called rd-continuous provided that it is continuous at right dense points of and its left-sided limits exist at left dense points of . The set of rd-continuous functions is denoted by . By , we mean the set of functions whose delta derivative belong to .
A function
is regressive provided that
()
holds. The set of all regressive and rd-continuous functions
is denoted by
()
If
, then we define the exponential function
eq(
t,
s) by
()
where the cylinder function
ξh(
z) is defined by
()
For a function
(the range
of
f may be actually replaced by any Banach space), the delta derivative
fΔ is defined by
()
provided
f is continuous at
t and
t is right-scattered. If
t is not right-scattered, then the delta derivative
fΔ(
t) is defined by
()
provided this limit exists.
A function
is said to be differentiable if its derivative exists. The derivative
fΔ and the shift
fσ of a function
f are related by the equation
()
The delta derivative rules of the product
fg and the quotient
f/
g (where
ggσ ≠ 0) of two differentiable functions
f and
g are given by
()
An integration by parts formula reads
()
or
()
and the infinite integral is defined by
()
Throughout this paper, we use
()
where
, and positive constants
()
where
L,
K1, and
K2 are defined in (
H3), (
H4).
3. Several Lemmas
In this section, we present some lemmas that we need to prove our results in the next section.
Lemma 1. (Bohner and Peterson [18, Chapter 2]). If is rd-continuous such that 1 + μ(t)g(t) > 0 for all , then the initial value problem yΔ = g(t)y, has a unique and positive solution on , denoted by eg(·, t0).
Lemma 2. (Bohner [5, Lemma 2]). For nonnegative p with , one has the inequality
()
Lemma 3. If (H1)–(H5), (2) hold and (1) has a positive solution x on , then , xΔ(t) > 0, and x(t) > α(t)x(σ(t)) for .
Proof. Since x is a positive solution of (1) on , we have
()
Therefore,
()
Hence,
()
We claim that
xΔ(
t) > 0 on
. If not, then there is
t ≥
t1 such that
()
By (
H4), we get
()
Integrating from
t1 to
t, we get
()
This implies that
x(
t) is eventually negative which is a contradiction. Hence,
xΔ(
t) > 0 on
. Therefore,
()
Using the fact that
r(
t)
g(
x(
t),
xΔ(
t)) is strictly decreasing, we get
()
where
.
Hence,
()
4. Main Results
Here, we establish some new sufficient conditions for oscillation of (1).
Theorem 4. Assume that (H1)–(H5), (2) hold and ,. If there exists a positive Δ-differentiable function δ(t) such that
()
then every solution of (
1) is oscillatory on
.
Proof. Assume that (1) has a nonoscillatory solution x(t) on . Also, assume that x(t) > 0, x(τ(t)) > 0 for all , . Consider the generalized Riccati substitution
()
Using the delta derivative rules of product and quotient of two functions, we have
()
From the definition of
w(
t), we have
()
Using the fact
f(
x)/
x ≥
L and
x(
t)/
xσ(
t) >
α(
t), we get
()
Integrating the inequality
from
τ(
t) to
t, using the definition of
w(
t) and (
H3), we get
()
Now, substituting (
41) in (
40), we have
()
Hence,
()
where
G(
t) =
δΔ(
t) −
p(
t)
δσ(
t)
α(
τ(
t))/
r(
t) and
Q(
t) =
δσ(
t)
α(
τ(
t))
τΔ(
t)/
K2r(
τ(
t)).
Therefore,
()
Hence,
()
Integrating the above inequality from
t0 to
t, we obtain
()
and taking the limit supremum as
t →
∞, we obtain a contradiction to condition (
36). Therefore, every solution of (
1) is oscillatory on
.
Theorem 5. Assume that (H1)–(H5) and (2) hold. Let H be an rd-continuous function defined as follows:
()
such that
()
and
H has a nonpositive continuous Δ-partial derivative
. If there exists a positive Δ-differentiable function
δ(
t) such that
()
then every solution of (
1) is oscillatory on
.
Proof. Assume that (1) has a nonoscillatory solution x(t) on . Also, assume that x(t) > 0, x(τ(t)) > 0, for all ,. We proceed as in the proof of Theorem 4 to get (45)
()
Multiplying the above inequality by
H(
t,
s), integrating from
t0 to
t and using (
48), we get
()
Thus,
()
which is a contradiction to (
49). This completes the proof.
Now, If
H(
t,
s) is a function defined by
()
then, we have the following result.
Corollary 6. Assume that (H1)–(H5) and (2) hold. If there exists a positive Δ-differentiable function δ(t) and m ≥ 1 such that
()
then every solution of (
1) is oscillatory on
.
Theorem 7. Assume that (H1)–(H5) and (2) hold. Let H be an rd-continuous function defined as
()
such that
()
and
H has a nonpositive continuous Δ-partial derivative
. Let
be an rd-continuous function satisfying
()
If there exists a positive nondecreasing Δ-differentiable function
δ(
t) such that
()
where
G(
t) =
δΔ(
t) −
p(
t)
δσ(
t)
α(
τ(
t))/
r(
t), then every solution of (
1) is oscillatory on
.
Proof. Assume that (1) has a nonoscillatory solution x(t) on . Also, assume that x(t) > 0, x(τ(t)) > 0, for all , and there is such that x(t) satisfies the conclusion of Lemma 3 on . Proceeding as in the proof of Theorem 4, we get (43) which has the form
()
where
G(
t) =
δΔ(
t) −
p(
t)
δσ(
t)
α(
τ(
t))/
r(
t) and
Q(
t) =
δσ(
t)
α(
τ(
t))
τΔ(
t)/
K2r(
τ(
t)).
Multiplying the above inequality by H(t, s), integrating from t0 to t, and using (56) and (57), we get
()
Using (
H5) and Lemma
3, we get
()
Therefore,
()
Thus
()
which is a contradiction to (
58). This completes the proof.
Theorem 8. Assume that (H1)–(H5) and (3) hold. If there exists a positive Δ-differentiable function δ(t) such that (36) holds and
()
then every solution of (
1) is either oscillatory or converges to zero on
.
Proof. Assume that (1) has a nonoscillatory solution x(t) such that x(t) > 0, x(τ(t)) > 0 for all . As in the proof of Lemma 3, we see that there exist two possible cases for the sign of xΔ(t). When xΔ(t) is eventually positive, the proof is similar to the proof of Theorem 4. Next, suppose that xΔ(t) < 0 for . Then, x(t) is decreasing and limt→∞x(t) = b ≥ 0. Thus,
()
Hence, by (
H3), we get
()
Defining the function
u(
t) =
r(
t)
g(
x(
t),
xΔ(
t)), using (
1) and (
66), we get
()
The inequality (
67) is the assumed inequality of [
18, Theorem 6.1]. All other assumptions of [
18, Theorem 6.1]; for example,
, are satisfied. Hence, the conclusion of [
18, Theorem 6.1] holds; that is,
()
for all
, and thus, for all
,
()
Assuming
b > 0 and using (
64) in (
69) yield lim
r→∞x(
r) = −
∞, which is a contradiction to the fact that
x(
t) > 0 for
. Thus,
b = 0 and then lim
t→∞x(
t) = 0. This completes the proof.
Remark 9. Our results in this paper not only extend and improve some known results and show that some results of [2, 8–10, 12, 14] are special examples of our results but also unify the study of oscillation of second-order nonlinear delay differential equation with damping and second-order nonlinear delay difference equation with damping.
5. Examples
Example 1. Consider the second-order delay 2-difference equation with damping
()
Here,
()
The conditions (
H1), (
H5) are clearly satisfied, (
H3) and (
H4) hold with
L =
K2 = 1,
K1 = 1/2, and (
H2) is satisfied as
()
By Lemma
2, we get
()
for
t ≥ 2, so that
()
Hence, (
2) is satisfied. Then,
()
Therefore,
()
and then we can find 0 ≤
λ < 1 such that
()
If
δ(
t) = 1, then
()
Hence, according to Theorem
4, every solution of (
70) is oscillatory on
.
Example 2. Consider the second-order nonlinear delay dynamic equation with damping
()
where
λ > 0 and 0 <
β <
t0 ≤
t.
Here,
()
The conditions (
H1), (
H5) are clearly satisfied, (
H3) and (
H4) hold with
L =
K2 = 1, and (
H2) is satisfied as
()
By Lemma
2, we get
()
Hence,
()
Therefore, (
2) is satisfied. Then,
()
If
H(
t,
s) =
t and
δ(
t) = 1, then
h(
t,
s) = 0,
G(
t) = −
βα(
τ(
t))/
tσ(
t) and
()
Hence, according to Theorem
7, every solution of (
79) is oscillatory on
.
Remark 10. The results of [10] cannot be applied to equation (70) for r(t) = t2/3 and . Also, the results of [16] cannot be applied to (79) for g(x, xΔ) = (sin2(x(t))/(1 + x2(t)))xΔ(t). But, according to our work, both (70) and (79) are oscillatory.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.