Open Access

Oscillation of Second-Order Sublinear Dynamic Equations with Damping on Isolated Time Scales

Advances in Difference Equations20102010:103065

https://doi.org/10.1155/2010/103065

Received: 8 October 2010

Accepted: 27 December 2010

Published: 30 December 2010

Abstract

This paper concerns the oscillation of solutions to the second sublinear dynamic equation with damping , on an isolated time scale which is unbounded above. In , α is the quotient of odd positive integers. As an application, we get the difference equation , where , , and is any real number, is oscillatory.

1. Introduction

During the past years, there has been an increasing interest in studying the oscillation of solution of second-order damped dynamic equations on time scale which attempts to harmonize the oscillation theory for continuousness and discreteness, to include them in one comprehensive theory, and to eliminate obscurity from both. We refer the readers to the papers [14] and the references cited therein.

In [5], Bohner et al. consider the second-order nonlinear dynamic equation with damping
(1.1)
where and are real-valued, right-dense continuous functions on a time scale , with . is continuously differentiable and satisfies and for . When , where , is the quotient of odd positive integers, (1.1) is the second-order sublinear dynamic equation with damping
(1.2)
When , (1.2) is the second-order sublinear dynamic equation
(1.3)
When , (1.3) is the second-order sublinear difference equation
(1.4)

In [6], under the assumption of being an isolated time scale, we prove that, when is allowed to take on negative values, is sufficient for the oscillation of the dynamic equation (1.3). As an application, we get that, when is allowed to take on negative values, is sufficient for the oscillation of the dynamic equation (1.4), which improves a result of Hooker and Patula [7, Theorem 4.1] and Mingarelli [8].

In this paper, we extend the result of [6] to dynamic equation (1.1). As an application, we get that the difference equation with damping
(1.5)

where , , , and is any real number, is oscillatory.

For completeness (see [9, 10] for elementary results for the time scale calculus), we recall some basic results for dynamic equations and the calculus on time scales. Let be a time scale (i.e., a closed nonempty subset of ) with . The forward jump operator is defined by
(1.6)
and the backward jump operator is defined by
(1.7)
where , where denotes the empty set. If , we say is right scattered, while, if , we say is left scattered. If , we say is right dense, while, if and , we say is left-dense. Given a time scale interval in the notation denotes the interval in case and denotes the interval in case . The graininess function μ for a time scale is defined by , and for any function the notation denotes . We say that is differentiable at provided
(1.8)
exists when (here, by , it is understood that approaches in the time scale) and when is continuous at and
(1.9)

Note that if , then the delta derivative is just the standard derivative, and when the delta derivative is just the forward difference operator. Hence, our results contain the discrete and continuous cases as special cases and generalize these results to arbitrary time scales (e.g., the time scale which is very important in quantum theory [11]).

2. Lemmas

We will need the following second mean value theorem (see [10, Theorem 5.45]).

Lemma 2.1.

Let be a bounded function that is integrable on . Let and be the infimum and supremum, respectively, of the function on . Suppose that is nonincreasing with on . Then, there is some number with such that
(2.1)

Lemmas 2.2 and 2.4 give two lower bounds of definite integrals on time scale, respectively.

Lemma 2.2.

Assume that , where . If there exists a real number such that , for all , then, for , , one has
(2.2)

Remark 2.3.

It is easy to know that, when , and, when , .

Proof.

For , using Theorem 1.75 of [9], we have
(2.3)
We consider the two cases and . First, if , then we have that
(2.4)
On the other hand, if , then
(2.5)
which implies that
(2.6)
From (2.3)–(2.6) and the additivity of the integral, we have
(2.7)

Lemma 2.4.

Assume that , where , with . Then, for , , one has
(2.8)

Proof.

For , using Theorem 1.75 of [9], we have
(2.9)
Setting , we have that
(2.10)
We consider the two possible cases and . First, if , we have that
(2.11)
On the other hand, if , then
(2.12)
which implies that
(2.13)
Hence, from (2.10)–(2.13), we have that
(2.14)
From (2.9), (2.10), (2.14), and the additivity of the integral, we have
(2.15)

3. Main Theorem

Theorem 3.1.

Assume that , where . Suppose that

(i)there exists a real number such that , for all ;

(ii)there exists a function such that for ,
(3.1)

Then, (1.1) is oscillatory.

Proof.

For the sake of contradiction, assume that (1.1) is nonoscillatory. Then, without loss of generality, there is a solution of (1.1) and a with , for all . Making the substitution in (1.1) and noticing that
(3.2)
we get that
(3.3)
Multiplying both sides of (3.3) by , integrating from to , and using an integration by parts formula, we get
(3.4)
Next, using the quotient rule and then Pötzsche's chain rule [9, Theorem 1.90] gives
(3.5)
where we used the fact that . Using this last inequality in (3.4), we get
(3.6)
Note that
(3.7)
Let us define , . Then, we get from (3.6) and (3.7) that
(3.8)
since , for . So the first term of (3.8) is nonnegative. From (3.8), we get that
(3.9)
From and , using the second mean value theorem [10, Theorem 5.45] and Lemmas 2.2 and 2.4, we get that
(3.10)
From and , the fifth term of (3.9) is nonnegative. From (3.9), and (3.10), we get that
(3.11)
Since , from (3.11), there exists such that, for , we have
(3.12)
Dividing both sides of this last inequality by and integrating from to , we get, using inequality (2.11) in [12], that
(3.13)

Since , we get , for large , which is a contradiction. Thus, (1.1) is oscillatory.

When , , and , it is easy to get that , . So we have the following corollary (see Corollary 2.4 of [6]). Corollary 3.2 shows that, with no sign assumption on , the condition
(3.14)

is sufficient for the oscillation of the difference equation (1.4).

Corollary 3.2.

Assume that . If
(3.15)

then (1.4) is oscillatory.

By using the idea in Theorem 3.1, we can also consider the differential equation
(3.16)

where . It is easy to get the following.

Theorem 3.3.

Suppose that there exists a function such that
(3.17)

Then, the differential equation (3.16) is oscillatory.

Example 3.4.

Consider the sublinear difference equation
(3.18)

where , , , and is any real number.

Take , . We have
(3.19)
Let . Then, we have , for large . So is concave for large . Therefore, we have
(3.20)

for large . That means . It is easy to get that and is nonincreasing for large . So from Theorem 3.1, (3.18) is oscillatory.

Example 3.5.

Let , , and consider the -difference equation
(3.21)
where , , , is any real number. Take . We have
(3.22)

and is nonincreasing. So from Theorem 3.1, (3.21) is oscillatory.

Example 3.6.

Let , and consider the differential equation
(3.23)

where , , , and is any real number.

Take . It is easy to know that
(3.24)

So from Theorem 3.3, (3.23) is oscillatory.

Declarations

Acknowledgment

This work was supported by the National Natural Science Foundation of China (no. 10971232).

Authors’ Affiliations

(1)
Department of Mathematics, Maoming University
(2)
School of Mathematics and Computer Science, Zhongshan University

References

  1. Bohner M, Saker SH: Oscillation of damped second order nonlinear delay differential equations of Emden-Fowler type. Advances in Dynamical Systems and Applications 2006,1(2):163-182.MATHMathSciNetGoogle Scholar
  2. Han Z, Chen W, Sun S, Li T: Oscillation behavior of a class of second-order dynamic equations with damping on time scales. Discrete Dynamics in Nature and Society 2010, 2010:-15.Google Scholar
  3. Erbe L, Hassan TS, Peterson A: Oscillation criteria for nonlinear damped dynamic equations on time scales. Applied Mathematics and Computation 2008,203(1):343-357. 10.1016/j.amc.2008.04.038MATHMathSciNetView ArticleGoogle Scholar
  4. Saker SH, Agarwal RP, O'Regan D: Oscillation of second-order damped dynamic equations on time scales. Journal of Mathematical Analysis and Applications 2007,330(2):1317-1337. 10.1016/j.jmaa.2006.06.103MATHMathSciNetView ArticleGoogle Scholar
  5. Bohner M, Erbe L, Peterson A: Oscillation for nonlinear second order dynamic equations on a time scale. Journal of Mathematical Analysis and Applications 2005,301(2):491-507. 10.1016/j.jmaa.2004.07.038MATHMathSciNetView ArticleGoogle Scholar
  6. Erbe L, Baoguo J, Peterson A: Belohorec-type oscillation theorem for second ordersuperlinear dynamic equation on time scales. Mathematische Nachrichten. In pressGoogle Scholar
  7. Hooker JW, Patula WT: A second-order nonlinear difference equation: oscillation and asymptotic behavior. Journal of Mathematical Analysis and Applications 1983,91(1):9-29. 10.1016/0022-247X(83)90088-4MATHMathSciNetView ArticleGoogle Scholar
  8. Mingarelli AB: Volterra-Stieltjes integral equations and generalized differential equations, Ph.D. thesis. University of Toronto; 1983.Google Scholar
  9. Bohner M, Peterson A: Dynamic Equation on Time Scales: An Introduction with Applications. Birkhäuser, Boston, Mass, USA; 2001:x+358.View ArticleGoogle Scholar
  10. Bohner M, Peterson A (Eds): Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston, Mass, USA; 2003:xii+348.MATHGoogle Scholar
  11. Kac V, Cheung P: Quantum Calculus. Springer, New York, NY, USA; 2002:x+112.MATHView ArticleGoogle Scholar
  12. Baoguo J, Erbe L, Peterson A: Oscillation of sublinear Emden-Fowler dynamic equations on time scales. Journal of Difference Equations and Applications 2010,16(2-3):217-226. 10.1080/10236190802631881MATHMathSciNetView ArticleGoogle Scholar

Copyright

© Q. Lin and B. Jia. 2010

This article is published under license to BioMed Central Ltd. 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.