- Research Article
- Open access
- Published:
Oscillation of Second-Order Sublinear Dynamic Equations with Damping on Isolated Time Scales
Advances in Difference Equations volume 2010, Article number: 103065 (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 [1–4] and the references cited therein.
In [5], Bohner et al. consider the second-order nonlinear dynamic equation with damping
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ1_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ2_HTML.gif)
When , (1.2) is the second-order sublinear dynamic equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ3_HTML.gif)
When , (1.3) is the second-order sublinear difference equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ4_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ5_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ6_HTML.gif)
and the backward jump operator is defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ7_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ8_HTML.gif)
exists when (here, by
, it is understood that
approaches
in the time scale) and when
is continuous at
and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ9_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ10_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ11_HTML.gif)
Remark 2.3.
It is easy to know that, when ,
and, when
,
.
Proof.
For , using Theorem 1.75 of [9], we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ12_HTML.gif)
We consider the two cases and
. First, if
, then we have that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ13_HTML.gif)
On the other hand, if , then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ14_HTML.gif)
which implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ15_HTML.gif)
From (2.3)–(2.6) and the additivity of the integral, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ16_HTML.gif)
Lemma 2.4.
Assume that , where
, with
. Then, for
,
, one has
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ17_HTML.gif)
Proof.
For , using Theorem 1.75 of [9], we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ18_HTML.gif)
Setting , we have that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ19_HTML.gif)
We consider the two possible cases and
. First, if
, we have that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ20_HTML.gif)
On the other hand, if , then
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ21_HTML.gif)
which implies that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ22_HTML.gif)
Hence, from (2.10)–(2.13), we have that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ23_HTML.gif)
From (2.9), (2.10), (2.14), and the additivity of the integral, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ24_HTML.gif)
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
,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ25_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ26_HTML.gif)
we get that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ27_HTML.gif)
Multiplying both sides of (3.3) by , integrating from
to
, and using an integration by parts formula, we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ28_HTML.gif)
Next, using the quotient rule and then Pötzsche's chain rule [9, Theorem 1.90] gives
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ29_HTML.gif)
where we used the fact that . Using this last inequality in (3.4), we get
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ30_HTML.gif)
Note that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ31_HTML.gif)
Let us define ,
. Then, we get from (3.6) and (3.7) that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ32_HTML.gif)
since , for
. So the first term of (3.8) is nonnegative. From (3.8), we get that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ33_HTML.gif)
From and
, using the second mean value theorem [10, Theorem 5.45] and Lemmas 2.2 and 2.4, we get that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ34_HTML.gif)
From and
, the fifth term of (3.9) is nonnegative. From (3.9), and (3.10), we get that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ35_HTML.gif)
Since , from (3.11), there exists
such that, for
, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ36_HTML.gif)
Dividing both sides of this last inequality by and integrating from
to
, we get, using inequality (2.11) in [12], that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ37_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ38_HTML.gif)
is sufficient for the oscillation of the difference equation (1.4).
Corollary 3.2.
Assume that . If
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ39_HTML.gif)
then (1.4) is oscillatory.
By using the idea in Theorem 3.1, we can also consider the differential equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ40_HTML.gif)
where . It is easy to get the following.
Theorem 3.3.
Suppose that there exists a function such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ41_HTML.gif)
Then, the differential equation (3.16) is oscillatory.
Example 3.4.
Consider the sublinear difference equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ42_HTML.gif)
where ,
,
, and
is any real number.
Take ,
. We have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ43_HTML.gif)
Let . Then, we have
, for large
. So
is concave for large
. Therefore, we have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ44_HTML.gif)
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
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ45_HTML.gif)
where ,
,
,
is any real number. Take
. We have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ46_HTML.gif)
and is nonincreasing. So from Theorem 3.1, (3.21) is oscillatory.
Example 3.6.
Let , and consider the differential equation
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ47_HTML.gif)
where ,
,
, and
is any real number.
Take . It is easy to know that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2010%2F103065/MediaObjects/13662_2010_Article_1242_Equ48_HTML.gif)
So from Theorem 3.3, (3.23) is oscillatory.
References
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.
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.
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.038
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.103
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.038
Erbe L, Baoguo J, Peterson A: Belohorec-type oscillation theorem for second ordersuperlinear dynamic equation on time scales. Mathematische Nachrichten. In press
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-4
Mingarelli AB: Volterra-Stieltjes integral equations and generalized differential equations, Ph.D. thesis. University of Toronto; 1983.
Bohner M, Peterson A: Dynamic Equation on Time Scales: An Introduction with Applications. Birkhäuser, Boston, Mass, USA; 2001:x+358.
Bohner M, Peterson A (Eds): Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston, Mass, USA; 2003:xii+348.
Kac V, Cheung P: Quantum Calculus. Springer, New York, NY, USA; 2002:x+112.
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/10236190802631881
Acknowledgment
This work was supported by the National Natural Science Foundation of China (no. 10971232).
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
Lin, Q., Jia, B. Oscillation of Second-Order Sublinear Dynamic Equations with Damping on Isolated Time Scales. Adv Differ Equ 2010, 103065 (2010). https://doi.org/10.1155/2010/103065
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2010/103065