- Research Article
- Open Access

# Existence of Periodic Solutions for -Laplacian Equations on Time Scales

- Fengjuan Cao
^{1}, - Zhenlai Han
^{1, 2}Email author and - Shurong Sun
^{1, 3}

**2010**:584375

https://doi.org/10.1155/2010/584375

© Fengjuan Cao et al. 2010

**Received:**30 July 2009**Accepted:**18 November 2009**Published:**24 November 2009

## Abstract

We systematically explore the periodicity of Liénard type -Laplacian equations on time scales. Sufficient criteria are established for the existence of periodic solutions for such equations, which generalize many known results for differential equations when the time scale is chosen as the set of the real numbers. The main method is based on the Mawhin's continuation theorem.

## Keywords

- Periodic Solution
- Fixed Point Theorem
- Sufficient Criterion
- Contraction Mapping Principle
- Continuation Theorem

## 1. Introduction

In the past decades, periodic problems involving the scalar *p*-Laplacian were studied by many authors, especially for the second-order and three-order *p*-Laplacian differential equation, see [1–8] and the references therein. Of the aforementioned works, Lu in [1] investigated the existence of periodic solutions for a *p*-Laplacian Liénard differential equation with a deviating argument

by Mawhin's continuation theorem of coincidence degree theory [3]. The author obtained a new result for the existence of periodic solutions and investigated the relation between the existence of periodic solutions and the deviating argument
Cheung and Ren [4] studied the existence of
-periodic solutions for a *p*-Laplacian Liénard equation with a deviating argument

by Mawhin's continuation theorem. Two results for the existence of periodic solutions were obtained. Such equations are derived from many fields, such as fluid mechanics and elastic mechanics.

The theory of time scales has recently received a lot of attention since it has a tremendous potential for applications. For example, it can be used to describe the behavior of populations with hibernation periods. The theory of time scales was initiated by Hilger [9] in his Ph.D. thesis in 1990 in order to unify continuous and discrete analysis. By choosing the time scale to be the set of real numbers, the result on dynamic equations yields a result concerning a corresponding ordinary differential equation, while choosing the time scale as the set of integers, the same result leads to a result for a corresponding difference equation. Later, Bohner and Peterson systematically explore the theory of time scales and obtain many perfect results in [10] and [11]. Many examples are considered by the authors in these books.

But the research of periodic solutions on time scales has not got much attention, see [12–16]. The methods usually used to explore the existence of periodic solutions on time scales are many fixed point theory, upper and lower solutions, Masseras theorem, and so on. For example, Kaufmann and Raffoul in [12] use a fixed point theorem due to Krasnosel'ski to show that the nonlinear neutral dynamic system with delay

has a periodic solution. Using the contraction mapping principle the authors show that the periodic solution is unique under a slightly more stringent inequality.

The Mawhin's continuation theorem has been extensively applied to explore the existence problem in ordinary differential (difference) equations but rarely applied to dynamic equations on general time scales. In [13], Bohner et al. introduce the Mawhin's continuation theorem to explore the existence of periodic solutions in predator-prey and competition dynamic systems, where the authors established some suitable sufficient criteria by defining some operators on time scales.

In [14], Li and Zhang have studied the periodic solutions for a periodic mutualism model

on a time scale by employing Mawhin's continuation theorem, and have obtained three sufficient criteria.

Combining Brouwer's fixed point theorem with Horn's fixed point theorem, two classes of one-order linear dynamic equations on time scales

are considered in [15] by Liu and Li. The authors presented some interesting properties of the exponential function on time scales and obtain a sufficient and necessary condition that guarantees the existence of the periodic solutions of the equation

In [16], Bohner et al. consider the system

easily verifiable sufficient criteria are established for the existence of periodic solutions of this class of nonautonomous scalar dynamic equations on time scales, the approach that authors used in this paper is based on Mawhin's continuation theorem.

In this paper, we consider the existence of periodic solutions for *p*-Laplacian equations on a time scales

where is a constant, and is a function with periodic is a periodic time scale which has the subspace topology inherited from the standard topology on Sufficient criteria are established for the existence of periodic solutions for such equations, which generalize many known results for differential equations when the time scales are chosen as the set of the real numbers. The main method is based on the Mawhin's continuation theorem.

If (1.7) reduces to the differential equation

We will use Mawhin's continuation theorem to study (1.7).

## 2. Preliminaries

In this section, we briefly give some basic definitions and lemmas on time scales which are used in what follows. Let be a time scale (a nonempty closed subset of ). The forward and backward jump operators and the graininess are defined, respectively, by

We say that a point is left-dense if and If and then is called right-dense. A point is called left-scattered if while right-scattered if If has a left-scattered maximum then we set otherwise set If has a right-scattered minimum then set otherwise set

A function is right-dense continuous (rd-continuous) provided that it is continuous at right-dense point in and its left side limits exist at left-dense points in If is continuous at each right-dense point and each left-dense point, then is said to be continuous function on

Definition 2.1 (see [10]).

We call the delta derivative of at

If is continuous, then is right-dense continuous, and if is delta differentiable at then is continuous at

Let be right-dense continuous. If for all then we define the delta integral by

Definition 2.2 (see [12]).

We say that a time scale is periodic if there is such that if then For the smallest positive is called the period of the time scale.

Definition 2.3 (see [12]).

Let be a periodic time scale with period We say that the function is periodic with period if there exists a natural number such that for all and is the smallest number such that If we say that is periodic with period if is the smallest positive number such that for all

Lemma 2.4 (see [10]).

- (A1)
- (A2)
if for all then

- (A3)
if on then

Lemma 2.5 (H lder's inequality [11]).

where and

For convenience, we denote

where is an -periodic real function, that is, for all

Next, let us recall the continuation theorem in coincidence degree theory. To do so, we introduce the following notations.

Let be real Banach spaces, a linear mapping, a continuous mapping. The mapping will be called a Fredholm mapping of index zero if and is closed in If is a Fredholm mapping of index zero and there exist continuous projections such that then it follows that is invertible. We denote the inverse of that map by If is an open bounded subset of the mapping will be called -compact on if is bounded and is compact. Since is isomorphic to there exists an isomorphism

Lemma 2.6 (continuation theorem).

- (B1)
- (B2)
- (B3)
where is an isomorphism,

then the equation has at least one solution in

Lemma 2.7 (see [13]).

In order to use Mawhin's continuation theorem to study the existence of -periodic solutions for (1.7), we consider the following system:

where is a constant with Clearly, if is an -periodic solution to (2.7), then must be an -periodic solution to (1.7). Thus, in order to prove that (1.7) has an -periodic solution, it suffices to show that (2.7) has an -periodic solution.

Now, we set with the norm It is easy to show that is a Banach space when it is endowed with the above norm

Let

Then it is easy to show that and are both closed linear subspaces of We claim that and Since for any we have and

so we obtain

Take Define

by

and by

Define the operator and by

It is easy to see that (2.7) can be converted to the abstract equation

Then and Since is closed in it follows that is a Fredholm mapping of index zero. It is not difficult to show that and are continuous projections such that and Furthermore, the generalized inverse (to ) exists and is given by

Since for every we have

from the definition of and the condition that then Thus, we get Similarly, we can prove that for every So the operator is well defined. Thus,

Denote We have

Clearly, and are continuous. Since is a Banach space, it is easy to show that is a compact for any open bounded set Moreover, is bounded. Thus, is -compact on

## 3. Main Results

In this section, we present our main results.

Theorem 3.1.

- (i)
- (ii)

then (1.7) has at least one -periodic solution.

Proof.

Consider the equation where and are defined by the second section. Let

Let

By assumptions (i) and (ii), we see that and which implies

*(B1)*and

*(B2)*of Lemma 2.6 are satisfied. The remainder is verifying condition

*(B3)*of Lemma 2.6. In order to do it, let

has no solution in So

so the condition *(B3)* of Lemma 2.6 is satisfied, the proof is complete.

When where we have the following result.

Corollary 3.2.

- (i)
- (ii)

then (1.7) has at least one -periodic solution.

## Declarations

### Acknowledgments

The authors sincerely thank the reviewers for their valuable suggestions and useful comments that have led to the present improved version of the original manuscript. This research is supported by the Natural Science Foundation of China (60774004, 60904024), China Postdoctoral Science Foundation Funded Project (20080441126, 200902564), Shandong Postdoctoral Funded Project (200802018) and supported by Shandong Research Funds (Y2008A28), also supported by University of Jinan Research Funds for Doctors (B0621, XBS0843).

## Authors’ Affiliations

## References

- Lu S:
**Existence of periodic solutions to a****-Laplacian Liénard differential equation with a deviating argument.***Nonlinear Analysis: Theory, Methods & Applications*2008,**68**(6):1453-1461. 10.1016/j.na.2006.12.041MathSciNetView ArticleMATHGoogle Scholar - Xiao B, Liu B:
**Periodic solutions for Rayleigh type****-Laplacian equation with a deviating argument.***Nonlinear Analysis: Real World Applications*2009,**10**(1):16-22. 10.1016/j.nonrwa.2007.08.010MathSciNetView ArticleMATHGoogle Scholar - Gaines RE, Mawhin JL:
*Coincidence Degree, and Nonlinear Differential Equations, Lecture Notes in Mathematics*.*Volume 568*. Springer, Berlin, Germany; 1977:i+262.Google Scholar - Cheung WS, Ren JL:
**On the existence of periodic solutions for****-Laplacian generalized Liénard equation.***Nonlinear Analysis: Theory, Methods & Applications*2005,**60**(1):65-75.MathSciNetMATHGoogle Scholar - Zhang FX, Li Y:
**Existence and uniqueness of periodic solutions for a kind of Duffing type****-Laplacian equation.***Nonlinear Analysis: Real World Applications*2008,**9**(3):985-989. 10.1016/j.nonrwa.2007.01.013MathSciNetView ArticleMATHGoogle Scholar - Liu B:
**Existence and uniqueness of periodic solutions for a kind of Liénard type****-Laplacian equation.***Nonlinear Analysis: Theory, Methods & Applications*2008,**69**(2):724-729. 10.1016/j.na.2007.06.007MathSciNetView ArticleMATHGoogle Scholar - Manásevich R, Mawhin J:
**Periodic solutions for nonlinear systems with****-Laplacian-like operators.***Journal of Differential Equations*1998,**145**(2):367-393. 10.1006/jdeq.1998.3425MathSciNetView ArticleMATHGoogle Scholar - Cao FJ, Han ZL:
**Existence of periodic solutions for****-Laplacian differential equation with deviating arguments.***Journal of Uuniversity of Jinan (Science & Technology)*2010,**24:**1-4.Google Scholar - Hilger S:
**Analysis on measure chains-a unified approach to continuous and discrete calculus.***Results in Mathematics*1990,**18**(1-2):18-56.MathSciNetView ArticleMATHGoogle Scholar - Bohner M, Peterson A:
*Dynamic Equations on Time Scales: An Introduction with Applications*. Birkhäuser, Boston, Mass, USA; 2001:x+358.View ArticleGoogle Scholar - Bohner M, Peterson A:
*Advances in Dynamic Equations on Time Scales*. Birkhäuser, Boston, Mass, USA; 2003:xii+348.View ArticleMATHGoogle Scholar - Kaufmann ER, Raffoul YN:
**Periodic solutions for a neutral nonlinear dynamical equation on a time scale.***Journal of Mathematical Analysis and Applications*2006,**319**(1):315-325. 10.1016/j.jmaa.2006.01.063MathSciNetView ArticleMATHGoogle Scholar - Bohner M, Fan M, Zhang JM:
**Existence of periodic solutions in predator-prey and competition dynamic systems.***Nonlinear Analysis: Real World Applications*2006,**7**(5):1193-1204. 10.1016/j.nonrwa.2005.11.002MathSciNetView ArticleMATHGoogle Scholar - Li YK, Zhang HT:
**Existence of periodic solutions for a periodic mutualism model on time scales.***Journal of Mathematical Analysis and Applications*2008,**343**(2):818-825. 10.1016/j.jmaa.2008.02.002MathSciNetView ArticleMATHGoogle Scholar - Liu XL, Li WT:
**Periodic solutions for dynamic equations on time scales.***Nonlinear Analysis: Theory, Methods & Applications*2007,**67**(5):1457-1463. 10.1016/j.na.2006.07.030MathSciNetView ArticleMATHGoogle Scholar - Bohner M, Fan M, Zhang JM:
**Periodicity of scalar dynamic equations and applications to population models.***Journal of Mathematical Analysis and Applications*2007,**330**(1):1-9. 10.1016/j.jmaa.2006.04.084MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.