 Research Article
 Open Access
 Published:
Asymptotic Behavior of Solutions of HigherOrder Dynamic Equations on Time Scales
Advances in Difference Equations volume 2011, Article number: 237219 (2011)
Abstract
We investigate the asymptotic behavior of solutions of the following higherorder dynamic equation , on an arbitrary time scale , where the function is defined on . We give sufficient conditions under which every solution of this equation satisfies one of the following conditions: (1) ; (2) there exist constants with , such that , where are as in Main Results.
1. Introduction
In this paper, we investigate the asymptotic behavior of solutions of the following higherorder dynamic equation
on an arbitrary time scale , where the function is defined on .
Since we are interested in the asymptotic and oscillatory behavior of solutions near infinity, we assume that , and define the time scale interval , where . By a solution of (1.1), we mean a nontrivial realvalued function , which has the property that and satisfies (1.1) on , where is the space of rdcontinuous functions. The solutions vanishing in some neighborhood of infinity will be excluded from our consideration. A solution of (1.1) is said to be oscillatory if it is neither eventually positive nor eventually negative, otherwise it is called nonoscillatory.
The theory of time scales, which has recently received a lot of attention, was introduced by Hilger's landmark paper [1] in order to create a theory that can unify continuous and discrete analysis. The cases when a time scale is equal to the real numbers or to the integers represent the classical theories of differential and of difference equations. Many other interesting time scales exist, and they give rise to many applications (see [2]). Not only the new theory of the socalled "dynamic equations" unifies the theories of differential equations and difference equations but also extends these classical cases to cases "in between," for example, to the socalled difference equations when , which has important applications in quantum theory (see [3]).
On a time scale , the forward jump operator, the backward jump operator, and the graininess function are defined as
respectively. We refer the reader to [2, 4] for further results on time scale calculus. Let with , for all , then the delta exponential function is defined as the unique solution of the initial value problem
In recent years, there has been much research activity concerning the oscillation and nonoscillation of solutions of various equations on time scales, and we refer the reader to [5–18].
Recently, Erbe et al. [19–21] considered the asymptotic behavior of solutions of the thirdorder dynamic equations
respectively, and established some sufficient conditions for oscillation.
Karpuz [22] studied the asymptotic nature of all bounded solutions of the following higherorder nonlinear forced neutral dynamic equation
Chen [23] derived some sufficient conditions for the oscillation and asymptotic behavior of the thorder nonlinear neutral delay dynamic equations
on an arbitrary time scale T. Motivated by the above studies, in this paper, we study (1.1) and give sufficient conditions under which every solution of (1.1) satisfies one of the following conditions: (1) ; (2) there exist constants with , such that , where are as in Section 2.
2. Main Results
Let be a nonnegative integer and , then we define a sequence of functions as follows:
To obtain our main results, we need the following lemmas.
Lemma 2.1.
Let be a positive integer, then there exists , such that
Proof.
We will prove the above by induction. First, if , then we take . Thus,
Next, we assume that there exists , such that for and with , then
from which it follows that there exists , such that for and . The proof is completed.
Lemma 2.2 (see [24]).
Let , then
Lemma 2.3 (see [2]).
Let and , then
implies
Lemma 2.4 (see [2]).
Let be a positive integer. Suppose that is times differentiable on T. Let and , then
Lemma 2.5 (see [2]).
Assume that and are differentiable on T with . If there exists , such that
then
Lemma 2.6 (see [23]).
Let be defined on , and with for and not eventually zero. If is bounded, then

(1)
for ,

(2)
for all and .
Now, one states and proves the main results.
Theorem 2.7.
Assume that there exists , such that the function satisfies
where are nonnegative functions on and
with , then every solution of (1.1) satisfies one of the following conditions:

(1)
,

(2)
there exist constants with , such that
(2.13)
Proof.
Let be a solution of (1.1), then it follows from Lemma 2.4 that for ,
By (2.11) and Lemma 2.1, we see that there exists , such that for and ,
Then we obtain
where
with
Using (2.16) and (2.17), it follows that
By Lemma 2.3, we have
with . Hence from (2.12), there exists a finite constant , such that for . Thus, inequality (2.20) implies that
By (1.1), we see that if , then
Since condition (2.12) and Lemma 2.2 implies that
we find from (2.11) and (2.21) that the sum in (2.22) converges as . Therefore, exists and is a finite number. Let . If , then it follows from Lemma 2.5 that
and has the desired asymptotic property. The proof is completed.
Theorem 2.8.
Assume that there exist functions , and nondecreasing continuous functions , and such that
with
then every solution of (1.1) satisfies one of the following conditions:

(1)
,

(2)
there exist constants with such that
Proof.
Let be a solution of (1.1), then it follows from Lemma 2.4 that for ,
By Lemma 2.1 and (2.25), we see that there exists , such that for and ,
Then, we obtain
where
with
Using (2.30) and (2.31), it follows that
Write
then
from which it follows that
Since and is strictly increasing, there exists a constant , such that for . By (2.30), (2.33), and (2.34), we have
It follows from (1.1) that if , then
Since (2.38) and condition (2.25) implies that
we see that the sum in (2.39) converges as . Therefore, exists and is a finite number. Let . If , then it follows from Lemma 2.5 that
and has the desired asymptotic property. The proof is completed.
Theorem 2.9.
Assume that there exist positive functions , and nondecreasing continuous functions , and , such that
with
then every solution of (1.1) satisfies one of the following conditions:

(1)
,

(2)
there exist constants with , such that
Proof.
Arguing as in the proof of Theorem 2.8, we see that there exists , such that for and ,
from which we obtain
where
Using (2.46) and (2.47), it follows that
Write
then
from which it follows that
The rest of the proof is similar to that of Theorem 2.8, and the details are omitted. The proof is completed.
Theorem 2.10.
Assume that the function satisfies

(1)
for all ,

(2)
for and ,

(3)
for and is continuous at with ,
then (1) if is even, then every bounded solution of (1.1) is oscillatory; (2) if is odd, then every bounded solution of (1.1) is either oscillatory or tends monotonically to zero together with .
Proof.
Assume that (1.1) has a nonoscillatory solution on , then, without loss of generality, there is a , sufficiently large, such that for . It follows from (1.1) that for and not eventually zero. By Lemma 2.6, we have
and is eventually monotone. Also for if is even and for if is odd. Since is bounded, we find . Furthermore, if is even, then .
We claim that . If not, then there exists , such that
since is continuous at by the condition (3). From (1.1) and (2.55), we have
Multiplying the above inequality by , and integrating from to , we obtain
Since
we get
where . Thus, since is bounded, which gives a contradiction to the condition (2). The proof is completed.
3. Examples
Example 3.1.
Consider the following higherorder dynamic equation:
where and . Let and
then we have
by Example 5.60 in [4]. Thus, it follows from Theorem 2.7 that if is a solution of (3.1) with , then there exist constants with , such that .
Example 3.2.
Consider the following higherorder dynamic equation:
where , , and . Let , , and
It is easy to verify that satisfies the conditions of Theorem 2.8. Thus, it follows that if is a solution of (3.4) with , then there exist constants with , such that .
Example 3.3.
Consider the following higherorder dynamic equation:
where with and . Let , and
It is easy to verify that satisfies the conditions of Theorem 2.9. Thus, it follows that if is a solution of (3.6) with , then there exist constants with , such that .
References
Hilger S: Analysis on measure chains—a unified approach to continuous and discrete calculus. Results in Mathematics 1990,18(12):1856.
Bohner M, Peterson A: Dynamic Equations on Time Scales: An Introduction with Applications. Birkhäuser, Boston, Mass, USA; 2001:x+358.
Kac V, Cheung P: Quantum Calculus, Universitext. Springer, New York, NY, USA; 2002:x+112.
Bohner M, Peterson A: Advances in Dynamic Equations on Time Scales. Birkhäuser, Boston, Mass, USA; 2003:xii+348.
Bohner M, Saker SH: Oscillation of second order nonlinear dynamic equations on time scales. The Rocky Mountain Journal of Mathematics 2004,34(4):12391254. 10.1216/rmjm/1181069797
Erbe L: Oscillation results for secondorder linear equations on a time scale. Journal of Difference Equations and Applications 2002,8(11):10611071. 10.1080/10236190290015317
Hassan TS: Oscillation criteria for halflinear dynamic equations on time scales. Journal of Mathematical Analysis and Applications 2008,345(1):176185. 10.1016/j.jmaa.2008.04.019
Agarwal RP, Bohner M, Saker SH: Oscillation of second order delay dynamic equations. The Canadian Applied Mathematics Quarterly 2005,13(1):117.
Bohner M, Karpuz B, Öcalan Ö: Iterated oscillation criteria for delay dynamic equations of first order. Advances in Difference Equations 2008, 2008:12.
Erbe L, Peterson A, Saker SH: Oscillation criteria for secondorder nonlinear delay dynamic equations. Journal of Mathematical Analysis and Applications 2007,333(1):505522. 10.1016/j.jmaa.2006.10.055
Han Z, Shi B, Sun S: Oscillation criteria for secondorder delay dynamic equations on time scales. Advances in Difference Equations 2007, 2007:16.
Han Z, Sun S, Shi B: Oscillation criteria for a class of secondorder EmdenFowler delay dynamic equations on time scales. Journal of Mathematical Analysis and Applications 2007,334(2):847858. 10.1016/j.jmaa.2007.01.004
Şahiner Y: Oscillation of secondorder delay differential equations on time scales. Nonlinear Analysis: Theory, Methods and Applications 2005,63(5–7):e1073e1080.
AkinBohner E, Bohner M, Djebali S, Moussaoui T: On the asymptotic integration of nonlinear dynamic equations. Advances in Difference Equations 2008, 2008:17.
Hassan TS: Oscillation of third order nonlinear delay dynamic equations on time scales. Mathematical and Computer Modelling 2009,49(78):15731586. 10.1016/j.mcm.2008.12.011
Grace SR, Agarwal RP, Kaymakçalan B, Saejie W: On the oscillation of certain second order nonlinear dynamic equations. Mathematical and Computer Modelling 2009,50(12):273286. 10.1016/j.mcm.2008.12.007
Sun T, Xi H, Yu W: Asymptotic behaviors of higher order nonlinear dynamic equations on time scales. Journal of Applied Mathematics and Computing. In press
Sun T, Xi H, Peng X, Yu W: Nonoscillatory solutions for higherorder neutral dynamic equations on time scales. Abstract and Applied Analysis 2010, 2010:16.
Erbe L, Peterson A, Saker SH: Asymptotic behavior of solutions of a thirdorder nonlinear dynamic equation on time scales. Journal of Computational and Applied Mathematics 2005,181(1):92102. 10.1016/j.cam.2004.11.021
Erbe L, Peterson A, Saker SH: Hille and Nehari type criteria for thirdorder dynamic equations. Journal of Mathematical Analysis and Applications 2007,329(1):112131. 10.1016/j.jmaa.2006.06.033
Erbe L, Peterson A, Saker SH: Oscillation and asymptotic behavior of a thirdorder nonlinear dynamic equation. The Canadian Applied Mathematics Quarterly 2006,14(2):129147.
Karpuz B: Asymptotic behaviour of bounded solutions of a class of higherorder neutral dynamic equations. Applied Mathematics and Computation 2009,215(6):21742183. 10.1016/j.amc.2009.08.013
Chen DX: Oscillation and asymptotic behavior for n thorder nonlinear neutral delay dynamic equations on time scales. Acta Applicandae Mathematicae 2010,109(3):703719. 10.1007/s1044000893410
Bohner M: Some oscillation criteria for first order delay dynamic equations. Far East Journal of Applied Mathematics 2005,18(3):289304.
Acknowledgment
This paper was supported by NSFC (no. 10861002) and NSFG (no. 2010GXNSFA013106, no. 2011GXNSFA018135) and IPGGE (no. 105931003060).
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
Sun, T., Xi, H. & Peng, X. Asymptotic Behavior of Solutions of HigherOrder Dynamic Equations on Time Scales. Adv Differ Equ 2011, 237219 (2011). https://doi.org/10.1155/2011/237219
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2011/237219
Keywords
 Asymptotic Behavior
 Dynamic Equation
 Difference Equation
 Nonoscillatory Solution
 Jump Operator