Volume 2014, Issue 1 594376
Research Article
Open Access

Oscillation of Second-Order Nonlinear Delay Dynamic Equations with Damping on Time Scales

H. A. Agwa

H. A. Agwa

Department of Mathematics, Faculty of Education, Ain Shams University, Roxy, Cairo 11757, Egypt asu.edu.eg

Search for more papers by this author
Ahmed M. M. Khodier

Ahmed M. M. Khodier

Department of Mathematics, Faculty of Education, Ain Shams University, Roxy, Cairo 11757, Egypt asu.edu.eg

Search for more papers by this author
Heba A. Hassan

Corresponding Author

Heba A. Hassan

Department of Mathematics, Faculty of Education, Ain Shams University, Roxy, Cairo 11757, Egypt asu.edu.eg

Search for more papers by this author
First published: 22 June 2014
Citations: 2
Academic Editor: Pei-Guang Wang

Abstract

We use the generalized Riccati transformation and the inequality technique to establish some new oscillation criteria for the second-order nonlinear delay dynamic equation with damping on a time scale (r(t)g(x(t), xΔ(t))) Δ + p(t)g(x(t), xΔ(t)) + q(t)f(x(τ(t))) = 0, where r(t), p(t), and q(t) are positive right dense continuous (rd-continuous) functions on . Our results improve and extend some results established by Zhang et al., 2011. Also, our results unify the oscillation of the second-order nonlinear delay differential equation with damping and the second-order nonlinear delay difference equation with damping. Finally, we give some examples to illustrate our main results.

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)/xL.

  • (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 [117], 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 tt1 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)/xL 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 lim⁡tx(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⁡rx(r) = −, which is a contradiction to the fact that x(t) > 0 for . Thus, b = 0 and then lim⁡tx(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, 810, 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 < β < t0t.

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.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.