- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents

Abstract and Applied Analysis

VolumeΒ 2012Β (2012), Article IDΒ 707319, 17 pages

http://dx.doi.org/10.1155/2012/707319

## Periodic Solutions in Shifts for a Nonlinear Dynamic Equation on Time Scales

Department of Mathematics, Ege University, Bornova, 35100 Izmir, Turkey

Received 16 March 2012; Accepted 27 June 2012

Academic Editor: ElenaΒ Braverman

Copyright Β© 2012 Erbil Γetin and F. Serap Topal. 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

Let be a periodic time scale in shifts . We use a fixed point theorem due to Krasnosel'skiΔ to show that nonlinear delay in dynamic equations of the form , has a periodic solution in shifts . We extend and unify periodic differential, difference, -difference, and -difference equations and more by a new periodicity concept on time scales.

#### 1. Introduction

The time scales approach unifies differential, difference, -difference, and -differences equations and more under dynamic equations on time scales. The theory of dynamic equations on time scales was introduced by Hilger in this Ph.D. thesis in 1988 [1]. The existence problem of periodic solutions is an important topic in qualitative analysis of ordinary differential equations. There are only a few results concerning periodic solutions of dynamic equations on time scales such as in [2, 3]. In these papers, authors considered the existence of periodic solutions for dynamic equations on time scales satisfying the condition Under this condition all periodic time scales are unbounded above and below. However, there are many time scales such as and which do not satisfy condition (1.1). AdΔ±var and Raffoul introduced a new periodicity concept on time scales which does not oblige the time scale to be closed under the operation for a fixed . He defined a new periodicity concept with the aid of shift operators which are first defined in [4] and then generalized in [5].

Let be a periodic time scale in shifts with period and is nonnegative and fixed. We are concerned with the existence of periodic solutions in shifts for the nonlinear dynamic equation with a delay function : where is fixed if and if is periodic in shifts with period .

Kaufmann and Raffoul in [2] used Krasnosel'skiΔ fixed point theorem and showed the existence of a periodic solution of (1.2) and used the contraction mapping principle to show that the periodic solution is unique when satisfies condition (1.1). Similar results were obtained concerning (1.2) in [6, 7] in the case , , respectively. Currently, AdΔ±var and Raffoul used Lyapunov's direct method to obtain inequalities that lead to stability and instability of delay dynamic equations of (1.2) when on a time scale having a delay function in [8] and also using the topological degree method and Schaefers fixed point theorem, they deduce the existence of periodic solutions of nonlinear system of integrodynamic equations on periodic time scales in [9].

Hereafter, we use the notation to indicate the time scale interval . The intervals , and are similarly defined.

In Section 2, we will state some facts about the exponential function on time scales, the new periodicity concept for time scales, and some important theorems which will be needed to show the existence of a periodic solution in shifts . In Section 3, we will give some lemmas about the exponential function and the graininess function with shift operators. Finally, we present our main result in Section 4 by using Krasnosel'skiΔ fixed point theorem and give an example.

#### 2. Preliminaries

In this section, we mention some definitions, lemmas, and theorems from calculus on time scales which can be found in [10, 11]. Next, we state some definitions, lemmas, and theorems about the shift operators and the new periodicity concept for time scales which can be found in [12].

*Definition 2.1 (see [10]). *A function is said to be regressive provided for all , where . The set of all regressive rd-continuous functions is denoted by while the set is given by .

Let and for all . The exponential function on is defined by where is the cylinder transformation given by Also, the exponential function is the solution to the initial value problem ,. Other properties of the exponential function are given in the following lemma [10, Theorem 2.36].

Lemma 2.2 (see [10]). *Let . Then*(i)* and ;*(ii)*;
*(iii)*, where, ;*(iv)*;
*(v)*;
*(vi)*;
*(vii)*;
*(viii)*. *

The following definitions, lemmas, corollaries, and examples are about the shift operators and new periodicity concept for time scales which can be found in [12].

*Definition 2.3 (see [12]). *Let be a nonempty subset of the time scale including a fixed number such that there exist operators satisfying the following properties. The function are strictly increasing with respect to their second arguments, that is, if
then
If with , then , and if with , then . If , then and . Moreover, if , then and holds. If , then and , respectively. If and , then and , respectively.

Then the operators and associated with (called the initial point) are said to be backward and forward shift operators on the set , respectively. The variable in is called the shift size. The values and in indicate units translation of the term to the right and left, respectively. The sets are the domains of the shift operator , respectively. Hereafter, is the largest subset of the time scale such that the shift operators exist.

*Example 2.4 (see [12]). *(i), , , , and .(ii), , , , and .(iii), , , , and .(iv), , , , and .

*Definition 2.5 (periodicity in shifts [12]). *Let be a time scale with the shift operators associated with the initial point . The time scale is said to be periodic in shift if there exists a such that for all . Furthermore, if
then is called the period of the time scale .

*Example 2.6 (see [12]). *The following time scales are not periodic in the sense of condition (1.1) but periodic with respect to the notion of shift operators given in Definition 2.5:(i),, ,,(ii), , ,,(iii),ββ,ββ,,(iv),

Notice that the time scale in Example 2.6 is bounded above and below and is constant and .

*Remark 2.7 (see [12]). *Let be a time scale, that is, periodic in shifts with the period . Thus, by of Definition 2.3 the mapping defined by is surjective. On the other hand, by of Definition 2.3 shift operators are strictly increasing in their second arguments. That is, the mapping is injective. Hence, is an invertible mapping with the inverse defined by .

We assume that is a periodic time scale in shift with period . The operators are commutative with the forward jump operator given by . That is, for all .

Lemma 2.8 (see [12]). *The mapping preserves the structure of the points in . That is,
*

Corollary 2.9 (see [12]). * and for all .*

*Definition 2.10 (periodic function in shift [12]). *Let be a time scale that is periodic in shifts with the period . We say that a real value function defined on is periodic in shifts if there exists a such that
where . The smallest number such that (5) holds is called the period of .

*Definition 2.11 (periodic function in shifts [12]). *Let be a time scale that is periodic in shifts with the period . We say that a real value function defined on is periodic in shifts if there exists a such that
where . The smallest number such that (2.9) hold is called the period of .

Notice that Definitions 2.10 and 2.11 give the classic periodicity definition on time scales whenever are the shifts satisfying the assumptions of Definitions 2.10 and 2.11.

Now, we give two theorems concerning the composition of two functions. The first theorem is the chain rule on time scales [10, Theorem 1.93].

Theorem 2.12 (chain rule [10]). *Assume that is strictly increasing and is a time scale. Let . If and exist for , then
*

Let be a time scale that is periodic in shifts . If one takes , then one has and .

The second theorem is the substitution rule on periodic time scales in shifts which can be found in [12].

Theorem 2.13 (see [12]). *Let be a time scale that is periodic in shifts with period and a periodic function in shifts with the period . Suppose that , then
*

This work is mainly based on the following theorem [13].

Theorem 2.14 (Krasnosel'skiΔ). *Let be a closed convex nonempty subset of a Banach space . Suppose that and map into such that *(i)* imply ,*(ii)* is completely continuous, *(iii)* is a contraction mapping. ** Then there exists with .*

#### 3. Some Lemmas

In this section, we show some interesting properties of the exponential functions and shift operators on time scales.

Lemma 3.1. *Let be a time scale that is periodic in shifts with the period and the shift is differentiable on where . Then the graininess function satisfies
*

* Proof. *Since is differentiable at we can use Theorem 1.16 (iv) in [10]. Then we have

Then by using Corollary 2.9 we have

Thus, the proof is complete.

Lemma 3.2. *Let be a time scale, that is, periodic in shifts with the period and the shift is differentiable on , where . Suppose that is periodic in shifts with the period . Then,
*

* Proof. *Assume that . Set . Using Lemma 3.1 and periodicity of in shifts we get

Thus, is periodic in shifts with the period . By using Theorem 2.13 we have

The proof is complete.

Lemma 3.3. *Let be a time scale, that is, periodic in shifts with the period and the shift is differentiable on where . Suppose that is periodic in shifts with the period . Then
*

* Proof. *From Corollary 2.9, we know . By Lemmas 3.2 and 2.2 we obtain

The proof is complete.

#### 4. Main Result

We will state and prove our main result in this section. We define where is the space of all real valued continuous functions. Endowed with the norm is a Banach space.

Lemma 4.1. *Let . Then exists and .*

* Proof. *Since , then , and by Corollary 2.9, we have . For all ,. Hence . Since , there exists such that . If is left scattered, then . And so, . Thus, we have . If is dense, and .

Assume that is left dense and right scattered. Note that if then we work . Fix and consider a sequence such that . Note that for all . By the continuity of , there exists such that for all , . This implies that . Since was arbitrary, then and the proof is complete.

In this paper we assume that is a continuous function with for all and where is continuous. We further assume that is continuous and periodic with in and Lipschitz continuous in and . That is, and there are some positive constants and such that

Lemma 4.2. *Suppose that (4.3)β(4.5) hold. If , then is a solution of (1.2) if and only if
**
where
*

* Proof. *Let be a solution of (1.2). We can rewrite (1.2) as
Multiply both sides of the above equation by and then integrate from to to obtain
We arrive at
Dividing both sides of the above equation by and using and Lemma 2.2, we have

Now, we consider the first term of the integral on the right-hand side of (4.11)
Using integration by parts from rule [10] we obtain
Since and , the above equality reduces to

Substituting (4.15) into (4.11) we get

Thus the proof is complete.

Define the mapping by To apply Theorem 2.14 we need to construct two mappings: one map is a contraction and the other map is compact and continuous. We express (4.17) as where , are given and is defined in (4.7).

Lemma 4.3. *Suppose that (4.3)β(4.5) hold. Then , as defined by (4.20), is compact and continuous. *

* Proof. *We show that . Evaluate (4.20) at ,
Now, since (4.3) and Corollary 2.9 hold, then we have
That is, is periodic in with period . Using the periodicity of , and Lemma 3.2 we get
That is, inside the integral of (4.21) is periodic in with period . By Theorem 2.13 and Lemma 3.2 we have

That is, .

To see that is continuous, we let with and and define

Given that , take such that . By making use of the Lipschitz inequality (4.5) in (4.20), we get
where are given by (4.5) and . This proves that is continuous.

We need to show that is compact. Consider the sequence of periodic functions in and assume that the sequence is uniformly bounded. Let be such that , for all . In view of (4.5) we arrive at
where . Hence,
Thus, the sequence is uniformly bounded. If we find the derivative of , we have

Consequently,
for all . That is, , for some positive constant . Thus the sequence is uniformly bounded and equicontinuous. The Arzela-Ascoli theorem implies that uniformly converges to a continuous periodic function in . Thus is compact.

Lemma 4.4. *Let be defined by (4.19) and
**Then is a contraction. *

* Proof. *Trivially, . For , we have

Hence defines a contraction mapping with contraction constant .

Theorem 4.5. *Let . Let , and be given by (4.39). Suppose that (4.3)β(4.5) and (4.31) hold and that there is a positive constant such that all solutions of (1.2), , satisfy , the inequality
**
holds. Then (1.2) has a periodic solution in . *

* Proof. *Define . Then Lemma 4.3 implies that is compact and continuous. Also, from Lemma 4.4, the mapping is contraction.

We need to show that if , we have . Let with . From (4.19) and (4.20) and the fact that , we have
We see that all the conditions of Krasnosel'skiΔ theorem are satisfied on the set . Thus there exists a fixed point in such that . By Lemma 4.2, this fixed point is a solution of (2) has a periodic solution in .

Theorem 4.6. *Suppose that (4.3)β(4.5) and (4.31) hold. Let , and be given by (4.39). If
**
then (1.2) has a unique periodic solution in . *

* Proof. *Let the mapping be given by (4.17). For we have
This completes the proof.

*Example 4.7. *Let be a periodic time scale in shift with period . We consider the dynamic equation (1.2) with , and .

The operators and are backward and forward shift operators for . Here , the initial point and for . If we consider conditions (4.3)-(4.4) we find . Then , satisfy condition (4.3), and satisfies the condition (4.4) for all . Also, is Lipschitz continuous in and for . Since , then the condition (4.31) holds.

If we compute , and , we have
If we take , then inequality (4.33) satisfies.

Let . We show that . Integrate (1.2) from 1 to 4, we get

Since , then and so after integration by parts (23) becomes

*Claim 1. *There exist such that .

Suppose that the claim is false. Define . Then there exists such that
for all . So,
That is, , a contradiction.

As a consequence of the claim, we have
where .

So, , which implies . Since for all ,
we have

This implies that

Taking the norm in (1.2) yields
Substitution of (4.47) into (4.46) yields that for all . Then by Theorem 4.5, (1.2) has a periodic solution in shifts .

In this example, if we take , we have

So, all the conditions of Theorem 4.6 are satisfied. Therefore, (1.2) has a unique periodic solution in shifts .

#### References

- S. Hilger,
*Ein Masskettenkalkl mit Anwendug auf Zentrumsmanningfaltigkeiten [Ph.D. thesis]*, Universität Würzburg, 1988. - E. R. Kaufmann and Y. N. Raffoul, βPeriodic solutions for a neutral nonlinear dynamical equation on a time scale,β
*Journal of Mathematical Analysis and Applications*, vol. 319, no. 1, pp. 315β325, 2006. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - X. L. Liu and W. T. Li, βPeriodic solutions for dynamic equations on time scales,β
*Nonlinear Analysis*, vol. 67, no. 5, pp. 1457β1463, 2007. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - M. Adıvar, βFunction bounds for solutions of Volterra integro dynamic equations on the time scales,β
*Electronic Journal of Qualitative Theory of Differential Equations*, no. 7, pp. 1β22, 2010. View at Google Scholar - M. Adıvar and Y. N. Raffoul, βExistence of resolvent for Volterra integral equations on time scales,β
*Bulletin of the Australian Mathematical Society*, vol. 82, no. 1, pp. 139β155, 2010. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - Y. N. Raffoul, βPeriodic solutions for neutral nonlinear differential equations with functional delay,β
*Electronic Journal of Differential Equations*, vol. 2003, no. 102, pp. 1β7, 2003. View at Google Scholar Β· View at Zentralblatt MATH - M. R. Maroun and Y. N. Raffoul, βPeriodic solutions in nonlinear neutral difference equations with functional delay,β
*Journal of the Korean Mathematical Society*, vol. 42, no. 2, pp. 255β268, 2005. View at Publisher Β· View at Google Scholar - M. Adıvar and Y. N. Raffoul, βShift operators and stability in delayed dynamic equations,β
*Rendiconti del Seminario Matematico*, vol. 68, no. 4, pp. 369β396, 2011. View at Google Scholar Β· View at Zentralblatt MATH - M. Adıvar and Y. N. Raffoul, βExistence results for periodic solutions of integro-dynamic equations on time scales,β
*Annali di Matematica Pura ed Applicata IV*, vol. 188, no. 4, pp. 543β559, 2009. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - M. Bohner and A. Peterson,
*Dynamic Equations on Time Scales, An Introduction with Applications*, Birkhäuser, Boston, Mass, USA, 2001. View at Publisher Β· View at Google Scholar - M. Bohner and A. Peterson, Eds.,
*Advances in Dynamic Equations on Time Scales*, Birkhäuser, Boston, Mass, USA, 2003. View at Publisher Β· View at Google Scholar - M. Adıvar, βA new periodicity concept for time scales,β
*Mathematica Slovaca*. In press. - D. R. Smart,
*Fixed Point Theorems*, Cambridge University Press, Cambridge, UK, 1980.