## Stability Analysis Including Monostability and Multistability in Dynamical System and Applications

View this Special IssueResearch Article | Open Access

# Oscillation for Higher Order Dynamic Equations on Time Scales

**Academic Editor:**Zhenkun Huang

#### Abstract

We investigate the oscillation of the following higher order dynamic equation: , on some time scale , where , and are positive rd-continuous functions on and are the quotient of odd positive integers. We give sufficient conditions under which every solution of this equation is either oscillatory or tends to zero.

#### 1. Introduction

In this paper, we investigate the oscillation of the following higher order dynamic equation: on some time scale , where , and are positive rd-continuous functions on and are the quotient of odd positive integers. Write then reduces to the following equation:

Since we are interested in the oscillatory behavior of solutions near infinity, we assume that sup and is a constant. For any , we define the time scale interval . By a solution of (2), we mean a nontrivial real-valued function , which has the property that for and satisfies (2) on , where is the space of differentiable functions whose derivative is rd-continuous. The solutions vanishing in some neighborhood of infinity will be excluded from our consideration. A solution of (2) is said to be oscillatory if it is neither eventually positive nor eventually negative; otherwise it is called nonoscillatory.

The theory of time scale, which has recently received a lot of attention, was introduced by Hilger's landmark paper [1], a rapidly expanding body of the literature that has sought to unify, extend, and generalize ideas from discrete calculus, quantum calculus, and continuous calculus to arbitrary time scale calculus, where a time scale is an nonempty closed subset of the real numbers, and the cases when this time scale is equal to the real numbers or to the integers represent the classical theories of differential or of difference equations. Many other interesting time scales exist, and they give rise to many applications (see [2]). The new theory of the so-called “dynamic equations” not only unifies the theories of differential equations and difference equations, but also extends these classical cases to cases “in between,” for example, to the so-called -difference equations when , which has important applications in quantum theory (see [3]). In this work, knowledge and understanding of time scales and time scale notation are assumed; for an excellent introduction to the calculus on time scales, see Bohner and Peterson [2, 4]. 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 the papers [5–20].

Recently, Erbe et al. in [21–23] considered the third-order dynamic equations respectively, and established some sufficient conditions for oscillation.

Hassan [24] studied the third-order dynamic equations and obtained some oscillation criteria, which improved and extended the results that have been established in [21–23].

#### 2. Main Results

In this section, we investigate the oscillation of (2). To do this, we need the following lemmas.

Lemma 1 (see [25]). *Assume that
**
and . Then,*(1)* implies for ;*(2)* implies for .*

Lemma 2 (see [25]). * Assume that (5) holds. If and for , then there exists an integer with even such that*(1)* for and ;*(2)*if , then there exists such that for and .*

*Remark 3. *Let , and let be the set of integers. Then, Lemmas 1 and 2 are Lemma and Theorem of [26], respectively.

Lemma 4. *Assume that (5) holds. Furthermore, suppose that
**
If is an eventually positive solution of (2), then there exists sufficiently large such that*(1)* for ;*(2)*either for and or .*

*Proof. *Pick so that on . It follows from (2) that
By Lemma 2, we see that there exists an integer with even such that for and , and is eventually monotone.

We claim that implies . If not, then and , and there exist and a constant such that on . Integrating (2) from into , we get that for
Thus,
Again, integrating the above inequality from into , we obtain that for
It follows from (6) that , which is a contradiction to . The proof is completed.

Lemma 5. *Assume that is an eventually positive solution of (2) such that for and for and . Then,
**
and there exist and a constant such that
**
where
*

*Proof. *Since (), it follows that is strictly decreasing on . Then, for ,
On the other hand, we have that for ,
Thus, there exist and a constant such that
Again,
Thus, there exists a constant such that
Again,
Thus, there exists a constant such that
The rest of the proof is by induction. The proof is completed.

Lemma 6 (see [2]). *Let be continuously differentiable and suppose that is delta differentiable. Then, is delta differentiable and the formula
*

Lemma 7 (see [27]). *If are nonnegative and , then
*

Now, we state and prove our main results.

Theorem 8. *Suppose that (5) and (6) hold. If there exists a positive nondecreasing delta differentiable function such that for all sufficiently large and for any positive constants , there is a such that
**
where
**
and is as in Lemma 5. Then, every solution of (2) is either oscillatory or tends to zero.*

*Proof. *Assume that (2) has a nonoscillatory solution on . Then, without loss of generality, there is a , sufficiently large, such that for . Therefore, we get from Lemma 4 that there exists such that(i) for ;(ii)either for and or .Let for and . Consider
It follows from Lemma 6 that
Then,
From (11) and (27), we get
Now, we consider the following three cases.*Case 1*. If , then
*Case 2*. If , then it follows from (12) that there exist and a constant such that
*Case 3*. If , then
Thus,

From (27)–(32), we obtain
Integrating the above inequality from into , we have
which gives a contradiction to (23). The proof is completed.

Theorem 9. *Suppose that (5) and (6) hold. If there exists a positive nondecreasing delta differentiable function such that for all sufficiently large and for any positive constants , there is a such that
**
where
**
and are as in Lemma 5. Then, every solution of (2) is either oscillatory or tends to zero. *

*Proof. *Assume that (2) has a nonoscillatory solution on . Then, without loss of generality, there is a , sufficiently large, such that for . Therefore, we get from Lemma 4 that there exists such that(i) for ;(ii)either for and or .Let for and . Note that
From (11), we have
Then it follows from (27) that for ,
Now, we consider the following three cases.*Case 1*. If , then
*Case 2*. If , then it follows from (12) that there exist and a constant such that
Thus,
with .*Case 3*. If , then
Thus,

From (39)–(44), we obtain that for ,
Let
with . By Lemma 7, we have
Integrating the above inequality from into , it follows that
which gives a contradiction to (35). The proof is completed.

*Remark 10. *The trick used in the proofs of Theorems 8 and 9 is from [16].

Theorem 11. *Suppose that (5) and (6) hold. If for all sufficiently large ,
**
then every solution of (2) is either oscillatory or tends to zero. *

*Proof. *Assume that (2) has a nonoscillatory solution on . Then, without loss of generality, there is a , sufficiently large, such that for . Therefore, we get from Lemma 4 that there exists such that(i) for ;(ii)either for and or .Let for and . Then, for ,
It follows from (2) that
Integrating the above inequality from into , we have
which gives a contradiction to (49). The proof is completed.

Theorem 12. *Suppose that (5) and (6) hold. If for all sufficiently large ,
**
where
**
and is as in Lemma 5, then every solution of (2) is either oscillatory or tends to zero. *

*Proof. *Assume that (2) has a nonoscillatory solution on . Then, without loss of generality, there is a , sufficiently large, such that for . Therefore, we get from Lemma 4 that there exists such that(i) for ;(ii)either for and or .Let for and . Then, it follows from (2) and (11) that for ,
Using the fact that is strictly increasing on , we obtain
Thus,
Now, we consider the following three cases.*Case 1*. If , then
*Case 2*. If , then it follows from (12) that there exist and a constant such that
Thus,
with .*Case 3.* If , then
Thus,

From (57)–(62), we obtain that for ,
which gives a contradiction to (53). The proof is completed.

#### 3. Examples

In this section, we give some examples to illustrate our main results.

*Example 1. *Consider the following higher order dynamic equation:
on an arbitrary time scale with , where , and are as in (2) with , and . Then, every solution of (64) is either oscillatory or tends to zero.

*Proof. *Note that
by Example 5.60 in [4]. Pick such that
Then,
Let , sufficiently large, and such that , then
Thus, conditions (5), (6), and (49) are satisfied. By Theorem 11, every solution of (64) is either oscillatory or tends to zero.

*Example 2. *Consider the following higher order dynamic equation:
on an arbitrary time scale with , where , are as in (2) with , , and are the quotient of odd positive integers with . Then, every solution of (69) is either oscillatory or tends to zero.

*Proof. *Note that
Pick such that , then

Let with being positive constants, , and . Pick such that
Let , then
Thus,
So conditions (5), (6), and (23) are satisfied. Then, by Theorem 8, every solution of (69) is either oscillatory or tends to zero.

#### Acknowledgments

This project is supported by NNSF of China (11261005 and 51267001), NSF of Guangxi (2011GXNSFA018135 and 2012GXNSFDA276040), and SF of ED of Guangxi (2013ZD061).

#### References

- S. Hilger, “Analysis on measure chains—a unified approach to continuous and discrete calculus,”
*Results in Mathematics*, vol. 18, no. 1-2, pp. 18–56, 1990. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - M. Bohner and A. Peterson,
*Dynamic Equations on Time Scales: An Introduction with Applications*, Birkhäuser, Boston, Mass, USA, 2001. View at: Publisher Site | MathSciNet - V. Kac and P. Cheung,
*Quantum Calculus*, Universitext, 2002. View at: Publisher Site | MathSciNet - M. Bohner and A. Peterson,
*Advances in Dynamic Equations on Time Scales*, Birkhäuser, Boston, Mass, USA, 2003. View at: Publisher Site | MathSciNet - M. Bohner and S. H. Saker, “Oscillation of second order nonlinear dynamic equations on time scales,”
*The Rocky Mountain Journal of Mathematics*, vol. 34, no. 4, pp. 1239–1254, 2004. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - L. Erbe, “Oscillation results for second-order linear equations on a time scale,”
*Journal of Difference Equations and Applications*, vol. 8, no. 11, pp. 1061–1071, 2002. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - T. S. Hassan, “Oscillation criteria for half-linear dynamic equations on time scales,”
*Journal of Mathematical Analysis and Applications*, vol. 345, no. 1, pp. 176–185, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - R. P. Agarwal, M. Bohner, and S. H. Saker, “Oscillation of second order delay dynamic equations,”
*The Canadian Applied Mathematics Quarterly*, vol. 13, no. 1, pp. 1–17, 2005. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - M. Bohner, B. Karpuz, and Ö. Öcalan, “Iterated oscillation criteria for delay dynamic equations of first order,”
*Advances in Difference Equations*, vol. 2008, Article ID 458687, 12 pages, 2008. View at: Google Scholar | Zentralblatt MATH | MathSciNet - L. Erbe, A. Peterson, and S. H. Saker, “Oscillation criteria for second-order nonlinear delay dynamic equations,”
*Journal of Mathematical Analysis and Applications*, vol. 333, no. 1, pp. 505–522, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Z. Han, B. Shi, and S. Sun, “Oscillation criteria for second-order delay dynamic equations on time scales,”
*Advances in Difference Equations*, vol. 2007, Article ID 070730, 16 pages, 2007. View at: Google Scholar | Zentralblatt MATH | MathSciNet - Z. Han, S. Sun, and B. Shi, “Oscillation criteria for a class of second-order Emden-Fowler delay dynamic equations on time scales,”
*Journal of Mathematical Analysis and Applications*, vol. 334, no. 2, pp. 847–858, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - T. Sun, H. Xi, X. Peng, and W. Yu, “Nonoscillatory solutions for higher-order neutral dynamic equations on time scales,”
*Abstract and Applied Analysis*, vol. 2010, Article ID 428963, 16 pages, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - T. Sun, H. Xi, and X. Peng, “Asymptotic behavior of solutions of higher-order dynamic equations on time scales,”
*Advances in Difference Equations*, vol. 2011, Article ID 237219, 14 pages, 2011. View at: Google Scholar | Zentralblatt MATH | MathSciNet - T. Sun, H. Xi, and W. Yu, “Asymptotic behaviors of higher order nonlinear dynamic equations on time scales,”
*Journal of Applied Mathematics and Computing*, vol. 37, no. 1-2, pp. 177–192, 2011. View at: Publisher Site | Google Scholar | MathSciNet - S. R. Grace, R. P. Agarwal, B. Kaymakçalan, and W. Sae-jie, “On the oscillation of certain second order nonlinear dynamic equations,”
*Mathematical and Computer Modelling*, vol. 50, no. 1-2, pp. 273–286, 2009. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - R. P. Agarwal, M. Bohner, T. Li, and C. Zhang, “Oscillation theorems for fourth-order halflinear delay dynamic equations with damping,”
*Mediterranean Journal of Mathematics*, 2013. View at: Publisher Site | Google Scholar - C. Zhang, T. Li, R. P. Agarwal, and M. Bohner, “Oscillation results for fourth-order nonlinear dynamic equations,”
*Applied Mathematics Letters*, vol. 25, no. 12, pp. 2058–2065, 2012. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Y. Qi and J. Yu, “Oscillation criteria for fourth-order nonlinear delay dynamic equations,”
*Electronic Journal of Differential Equations*, vol. 2013, Article ID 740568, 11 pages, 2013. View at: Publisher Site | Google Scholar | MathSciNet - S. R. Grace, S. Sun, and Y. Wang, “On the oscillation of fourth order strongly superlinear and strongly sublinear dynamic equations,”
*Journal of Applied Mathematics and Computing*, 2013. View at: Publisher Site | Google Scholar - L. Erbe, A. Peterson, and S. H. Saker, “Asymptotic behavior of solutions of a third-order nonlinear dynamic equation on time scales,”
*Journal of Computational and Applied Mathematics*, vol. 181, no. 1, pp. 92–102, 2005. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - L. Erbe, A. Peterson, and S. H. Saker, “Hille and Nehari type criteria for third-order dynamic equations,”
*Journal of Mathematical Analysis and Applications*, vol. 329, no. 1, pp. 112–131, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - L. Erbe, A. Peterson, and S. H. Saker, “Oscillation and asymptotic behavior of a third-order nonlinear dynamic equation,”
*The Canadian Applied Mathematics Quarterly*, vol. 14, no. 2, pp. 129–147, 2006. View at: Google Scholar | Zentralblatt MATH | MathSciNet - T. S. Hassan, “Oscillation of third order nonlinear delay dynamic equations on time scales,”
*Mathematical and Computer Modelling*, vol. 49, no. 7-8, pp. 1573–1586, 2009. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - T. Sun, W. Yu, and H. Xi, “Oscillatory behavior and comparison for higher order nonlinear dynamic equations on time scales,”
*Journal of Applied Mathematics & Informatics*, vol. 30, no. 1-2, pp. 289–304, 2012. View at: Google Scholar | Zentralblatt MATH | MathSciNet - R. P. Agarwal,
*Difference Equations and Inequalities. Theory, Methods and Applications*, Marcel Dekker, New York, NY, USA, 2nd edition, 2000. View at: MathSciNet - G. H. Hardy, J. E. Littlewood, and G. Pólya,
*Inequalities*, Cambridge University Press, Cambridge, UK, 2nd edition, 1988. View at: MathSciNet

#### Copyright

Copyright © 2013 Taixiang Sun et al. 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.