Abstract and Applied Analysis

Volume 2010, Article ID 428963, 16 pages

http://dx.doi.org/10.1155/2010/428963

## Nonoscillatory Solutions for Higher-Order Neutral Dynamic Equations on Time Scales

^{1}College of Mathematics and Information Science, Guangxi University, Nanning, Guangxi 530004, China^{2}Department of Mathematics, Guangxi College of Finance and Economics, Nanning, Guangxi 530003, China

Received 16 May 2010; Revised 4 July 2010; Accepted 16 July 2010

Academic Editor: D. Anderson

Copyright © 2010 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.

#### Abstract

We study the higher-order neutral dynamic equation for and obtain some necessary and sufficient conditions for the existence of nonoscillatory bounded solutions for this equation.

#### 1. Introduction

A time scale is an arbitrary nonempty closed subset of the real numbers. Thus, , that is, the real numbers, the integers, and the natural numbers, are examples of time scales. We assume throughout that the time scale has the topology that it inherits from the real numbers with the standard topology.

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 literature 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 a 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 and difference equations. Many other interesting time scales exist, and they give rise to many applications (see [2]). Not only the new theory of the so-called “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 so-called -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.

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 of [5–20].

In [21] Zhu and Wang studied the existence of nonoscillatory solutions to neutral dynamic equation

Karpuz [22] studied the asymptotic behavior of delay dynamic equations having the following form: Furthermore, Karpuz in [23] obtained necessary and sufficient conditions for the asymptotic behaviour of all bounded solutions of the following higher-order nonlinear forced neutral dynamic equation and also studied in [24] oscillation of unbounded solutions of a similar type of equations.

Li et al. [25] considered the existence of nonoscillatory solutions to the second-order neutral delay dynamic equation of the form

In [26, 27], Zhang et al. obtained some sufficient conditions for the existence of nonoscillatory solutions for the following higher-order equations:

respectively.

Motivated by the above studies, in this paper, we investigate the existence of nonoscillatory solutions of the following higher order neutral dynamic equation: where , is the quotient of odd positive integers, , the time scale interval , , , with and satisfying the following conditions:(i) for any and .(ii) is nondecreasing in for any .

Since we are interested in the oscillatory behavior of solutions near infinity, we assume that . By a solution of (1.7) we mean a nontrivial real-valued function , such that and satisfies (1.7) on . The solutions vanishing in some neighborhood of infinity will be excluded from our consideration. A solution of (1.7) is said to be oscillatory if it is neither eventually positive nor eventually negative, otherwise it is called nonoscillatory.

#### 2. Auxiliary Results

We state the following conditions, which are needed in the sequel:

;

there exist constants with such that for all

there exist constants such that for all ;

there exist constants such that for all .

Let be a nonnegative integer and ; we define two sequences of functions and as follows:

By Theorems and of [2], we have

where and denote for each fixed the derivatisve of and with respect to , respectively.

Lemma 2.1 (see [23, 24]). * Assume that and , then
*

Lemma 2.2 (see [23, 24]). * Let be a nonnegative integer, , and . Then each of the following is true:*(i)* implies that for all ;*(ii)* implies that for all . *

Lemma 2.3 (see [23]). *Let be a nonnegative integer, and . Then
**implies that each of the following is true:*

(i)* is decreasing for all and all .*(ii)* for all .*(iii)* for all and all .*

Lemma 2.4 (see [28]). *Let and . Then*(1)* implies for all .*(2)* implies for all .*

Lemma 2.5 (see [29]). *Let be bounded for with , where . Then for and
**In the sequel, write
*

Lemma 2.6. *Assume that is bounded and holds. If is a bounded nonoscillatory solution of (1.7), then eventually.*

*Proof. * Without loss of generality, assume that there is some such that and for . From (1.7) we have
Thus, is strictly decreasing on . If there exists such that , then
Therefore, we have
By condition , we obtain . Then it follows from Lemma 2.4 that , which is a contradiction since and are bounded. Hence, for all . The proof is completed.

Let be the Banach space of all bounded rd-continuous functions on with sup norm . Let , we say that is uniformly Cauchy if for any given , there exists such that for any , for all . is said to be equicontinuous on if, for any given , there exists such that, for any and with , . is called completely continuous if it is continuous and maps bounded sets into relatively compact sets.

Lemma 2.7 (see [21]). * Suppose that is bounded and uniformly Cauchy. Further, suppose that is equi-continuous on for any . Then is relatively compact.*

Lemma 2.8 (see [21]). * Suppose that is a Banach space and is a bounded, convex, and closed subset of . Suppose further that there exist two operators and such that*(i)* for all ,*(ii)* is a contraction mapping,*(iii)* is completely continuous.** Then has a fixed point in .*

#### 3. Main Results and Examples

Now, we state and prove our main results.

Theorem 3.1. *Assume that and hold. Then (1.7) has a nonoscillatory bounded solution with if and only if there exists some constant such that
*

*Proof. *Sufficiency. Assume that (1.7) has a nonoscillatory bounded solution on with . Without loss of generality, we assume that there is a constant and some such that and for . It follows from Lemma 2.6 that for . By assumption that is bounded and condition , we see that is bounded. Thus, by Lemma 2.5 we get that there exists such that
Integrating (1.7) from to , we have
Therefore, it follows from (3.2) and (3.3) that, for ,
By Lemma 2.2, we see that (3.1) holds.

Necessity. Suppose that there exists some constant such that
where . Then by Lemma 2.3 there exists such that
and for , where is a constant. Let
It is easy to verify that is a bounded, convex, and closed subset of .

Now we define two operators and as follows:
where for any and for any . Now we show that and satisfy the conditions in Lemma 2.8.

(1) We will show that for any . In fact, for any and , ,
which implies that for any .

(2) We will show that is a contraction mapping. Indeed, for any and , we have
Therefore, we have
which implies that is a contraction mapping.

(3) We will show that is a completely continuous mapping.

(i)By the proof of (1), we see that for . That is, . (ii)We consider the continuity of . Let and as , then and as for any . Consequently, for any , we have
Since
and, for any ,
we have
By Chapter 5 in [4], we see that the Lebesgue dominated convergence theorem holds for the integral on time scales. Then
which implies that is continuous on . (iii)We show that is uniformly Cauchy. In fact, for any , take so that
Then for any and , we have
which implies that is uniformly Cauchy. (iv)We show that is equicontinuous on for any . Without loss of generality, we assume . For any , choose , then when with , we have by Lemma 2.1 that for any ,
which implies that is equi-continuous on for any .

By Lemma 2.7, we see that is a completely continuous mapping. It follows from Lemma 2.8 that there exists such that , which is the desired bounded solution of (1.7) with . The proof is completed.

Theorem 3.2. *Assume that and hold, and that has the inverse . Then (1.7) has a nonoscillatory bounded solution with if and only if there exists some constant such that (3.1) holds.*

*Proof. *The proof of sufficiency is similar to that of Theorem 3.1.

Necessity. Suppose that there exists some constant such that
where . Then by Lemma 2.3 there exists such that
and for , where is a constant. Let
It is easy to verify that is a bounded, convex and closed subset of .

Now we define two operators and as follows:
where for any and for any . Now we show that and satisfy the conditions in Lemma 2.8.

We will show that for any . In fact, for any and , ,
and , which implies that for any and is uniformly bounded.

Now we show that is equicontinuous on for any . Without loss of generality, we assume that . Since are continuous on , so they are uniformly continuous on . For any , choose such that when with , we have
Then, it follows from Lemma 2.1 that, for any ,
which implies that is equi-continuous on for any .

The rest of the proof is similar to that of Theorem 3.1. The proof is completed.

Theorem 3.3. *Assume that and hold and that has the inverse . Then (1.7) has a nonoscillatory bounded solution with if and only if there exists some constant such that (3.1) holds.*

*Proof. *The proof of sufficiency is similar to that of Theorem 3.1.

Necessity. Suppose that there exists some constant such that
where . Then by Lemma 2.3 there exists such that
and for , where is a constant. Let
It is easy to verify that is a bounded, convex, and closed subset of .

Now we define two operators and as follows:
where for any and for any . Now we show that and satisfy the conditions in Lemma 2.8.

We will show that for any . In fact, for any and , ,
and , which implies that for any and is uniformly bounded. The rest of the proof is similar to that of Theorem 3.2. The proof is completed.

According to the proofs of Theorem 3.1, Theorem 3.2, and Theorem 3.3 in [23], we have

Lemma 3.4. *Assume that holds. Suppose that one of the following holds:*(i)* satisfies condition ,*(ii)* satisfies condition and has the inverse ,*(iii)* satisfies condition and has the inverse .** If is a bounded nonoscillatory solution of (1.7), then implies that .**By Lemma 3.4, Theorem 3.1,Theorem 3.2 and Theorem 3.3, we have.*

Corollary 3.5. *Assume that holds. Suppose that one of the following holds:*(i)* satisfies condition *(ii)* satisfies condition and has the inverse ,*(iii)* satisfies condition and has the inverse .** Then every bounded solution of (1.7) is oscillation or converges to zero at infinity if and only if there exists some constant such that
*

*Example 3.6. *Let with . Consider the following higher order dynamic equation:
where , is the quotient of odd positive integers,,, where , , , and .

It is easy to verify that satisfies condition and . On the other hand, we have
andfor any constant ,
That is, conditions and (3.1) hold. By Theorem 3.1, Theorem 3.2, and Theorem 3.3, we see that (3.33) has a nonoscillatory bounded solution with .

*Remark 3.7. *Results of this paper can be extended to the case with several delays easily.

#### Acknowledgment

Project Supported by NSF of China (10861002) and NSF of Guangxi (2010GXNSFA013106, 2011GXNSFA014781) and SF of Education Department of Guangxi (200911MS212) and Innovation Project of Guangxi Graduate Education 2010105930701M43.

#### 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 Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Bohner and A. Peterson,
*Dynamic Equations on Time Scales: An Introduction with Applications*, Birkhäuser, Boston, Mass, USA, 2001. View at MathSciNet - V. Kac and P. Cheung,
*Quantum Calculus*, Universitext, Springer, New York, NY, USA, 2002. View at MathSciNet - M. Bohner and A. Peterson, Eds.,
*Advances in Dynamic Equations on Time Scales*, Birkhäuser, Boston, Mass, USA, 2003. View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at 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 Google Scholar · View at Zentralblatt MATH · View at 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 Publisher · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at 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 70730, 16 pages, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Şahiner, “Oscillation of second-order delay differential equations on time scales,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 63, no. 5–7, pp. e1073–e1080, 2005. View at Publisher · View at Google Scholar · View at Scopus - Y. Şahíner, “Oscillation of second-order neutral delay and mixed-type dynamic equations on time scales,”
*Advances in Difference Equations*, vol. 2006, Article ID 65626, 9 pages, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. G. Zhang and Z. Shanliang, “Oscillation of second-order nonlinear delay dynamic equations on time scales,”
*Computers & Mathematics with Applications*, vol. 49, no. 4, pp. 599–609, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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 · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Zentralblatt MATH · View at MathSciNet - B. Karpuz, Ö. Öcalan, and R. Rath, “Necessary and sufficient conditions for the oscillatory and asymptotic behaviour of solutions to neutral delay dynamic equations,”
*Electronic Journal of Differential Equations*, vol. 2009, no. 64, pp. 1–15, 2009. View at Google Scholar · View at Scopus - Z.-Q. Zhu and Q.-R. Wang, “Existence of nonoscillatory solutions to neutral dynamic equations on time scales,”
*Journal of Mathematical Analysis and Applications*, vol. 335, no. 2, pp. 751–762, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Karpuz and Ö. Öcalan, “Necessary and sufficient conditions on asymptotic behaviour of solutions of forced neutral delay dynamic equations,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 71, no. 7-8, pp. 3063–3071, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Karpuz, “Asymptotic behaviour of bounded solutions of a class of higher-order neutral dynamic equations,”
*Applied Mathematics and Computation*, vol. 215, no. 6, pp. 2174–2183, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Karpuz, “Unbounded oscillation of higher-order nonlinear delay dynamic equations of neutral type with oscillating coefficients,”
*Electronic Journal of Qualitative Theory of Differential Equations*, vol. 2009, no. 34, pp. 1–14, 2009. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Li, Z. Han, S. Sun, and D. Yang, “Existence of nonoscillatory solutions to second-order neutral delay dynamic equations on time scales,”
*Advances in Difference Equations*, vol. 2009, Article ID 562329, 10 pages, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Zhang, W. Dong, Q. Li, and H. Liang, “Existence of nonoscillatory solutions for higher order neutral dynamic equations on time scales,”
*Journal of Applied Mathematics and Computing*, vol. 28, no. 1-2, pp. 29–38, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Zhang, W. Dong, Q. Li, and H. Liang, “Positive solutions for higher order nonlinear neutral dynamic equations on time scales,”
*Applied Mathematical Modelling*, vol. 33, no. 5, pp. 2455–2463, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. P. Agarwal and M. Bohner, “Basic calculus on time scales and some of its applications,”
*Results in Mathematics*, vol. 35, no. 1-2, pp. 3–22, 1999. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D.-X. Chen, “Oscillation and asymptotic behavior for
*n*th-order nonlinear neutral delay dynamic equations on time scales,”*Acta Applicandae Mathematicae*, vol. 109, no. 3, pp. 703–719, 2010. View at Publisher · View at Google Scholar · View at MathSciNet