Abstract and Applied Analysis

Volume 2014 (2014), Article ID 132450, 5 pages

http://dx.doi.org/10.1155/2014/132450

Research Article

A Periodic Solution of the Generalized Forced Liénard Equation

Zahra Goodarzi and Abdolrahman Razani

Department of Mathematics, Faculty of Science, Imam Khomeini International University, Qazvin 34149-16818, Iran

Received 27 February 2014; Revised 23 May 2014; Accepted 26 May 2014; Published 18 June 2014

Academic Editor: Wing-Sum Cheung

Copyright © 2014 Zahra Goodarzi and Abdolrahman Razani. 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 consider the generalized forced Liénard equation as follows: . By applying Schauder's fixed point theorem, the existence of at least one periodic solution of this equation is proved.

1. Introduction

Liénard equation is a kind of differential equations which has a broad set of applications in physics, engineering, and so forth. The existence of at least one periodic solution of this equation has been studied by a number of authors (see, e.g., [1–6]). Forced Liénard equation can be considered as an important generalization of Liénard equations. This one appears in a number of physical models such as fluid mechanics and nonlinear elastic mechanical phenomena.

In this paper, we deal with a generalized forced Liénard equation:

where , , and are real functions on such that , is a -periodic real function on , , and is an increasing homeomorphism with such that and . Actually, we show that the methodology of [5] can be adopted for more general classes of forced Liénard equations. The application of these equations is in physical models such as classical forced pendulum equations. As an example, consider the following forced pendulum equation:

where , , and is -periodic function for , where is the mean value of and has the property . By taking , , and , (2) can be considered as an example of (1). This problem is investigated in [7] (see [5] for another example).

2. Existence of a Periodic Solution

In this section, we state and prove the existence of at least one periodic solution of the generalized forced Liénard equation by using Schauder’s fixed point theorem (see [8–10]). In order to do this, at first consider the following generalized forced Liénard equation:

Suppose that , , and are real functions on which are locally Lipschitz such that and . Also, suppose that is a nonconstant, continuous, and real function on . Suppose that is the maximum value of on , and , , and are the maximum values of , , and on , respectively. Also, suppose that . Actually, we describe the set of mean values for which (3) has at least one -periodic solution.

Similar to [5], choose a new variable ; then, (3) can be written as follows:

We now integrate (4) to have

where is a constant.

In the next step, for all , we define the operator by

So by (6), (5) can be written as follows:

One now integrates (7) to get

where is a constant.

Suppose that , where stands for -periodic continuous functions with zero mean value and

Note that is a Banach space. Now, define the set as follows:

One can show that is a closed, bounded, and convex subspace of . Define the operator by

First, by Lemma 1 of [5], there exists a unique choice of and , such that . Now, we prove that . In order to show this, let be the maximum value of on , and let , , and be the maximum values of , , and on , respectively. Using (6), we have

where . Hence, for all

so

Also, we have

Set

Hence, for each and , we have

Using the same method of [5], one can prove the existence of at least one -periodic solution of (1) as follows.

Theorem 1. Suppose that , , and are real functions on which are locally Lipschitz such that and for real numbers and in which , is a nonconstant, continuous, and -periodic real function on for , and   is an increasing homeomorphism with , and . Let , , , and be defined by (11), (10), and (16), respectively. If

then (3) has at least one -periodic solution on .

Proof. According to the definition of and (17), is continuous. Hence, in order to use Schauder’s fixed point theorem, we need to prove that is compact and maps into itself. For and , we have

because

so

hence,

Now, by (18) for all ,

So .

We recall a given sequence of functions from to , which is called equicontinuous if for every there exists such that for all and for all if then . Now, we recall the Ascoli-Arzela theorem as follows.

Theorem 2 (Ascoli-Arzela). Let be a sequence of functions from to which is uniformly bounded and equicontinuous. Then, has a uniformly convergent subsequence.

In the sequel, we show that is a compact operator on . For this, we show that each bounded sequence in has a convergent subsequence in . Suppose that is a sequence in . It is clear that is bounded. Set , for given ; then, there exists such that and, for every , if , then

So,

Therefore, is an equicontinuous sequence on . By the Ascoli-Arzela theorem, there exists a subsequence of such that is uniformly convergent on . Hence, is a compact operator.

Now, we recall Schauder’s fixed point theorem as follows.

Theorem 3 (Schauder’s fixed point theorem). Let be a Banach space and a closed, bounded, and convex subset of . If is a compact operator, then has at least one fixed point on .

Therefore, by Schauder’s fixed point theorem, there exists such that . This means that is a solution of (1).

When , Theorem 1 is satisfied by the following changes:

Suppose that are defined by

where is defined by . Now, we have the next corollary.

Corollary 4. Suppose that , , and are real functions on which are locally Lipschitz such that and for real numbers and in which , is a nonconstant, continuous, and -periodic real function on for , and   is an increasing homeomorphism with , and . Let , , , and be defined by (10), (27), and (28), respectively. If

then (3) has at least one -periodic solution on .

Proof. Set

Now, one can prove the existence of at least one -periodic solution of (3) by the same argument in the proof of Theorem 1.

Now, we consider a special case and prove the existence of at least one -periodic solution of the equation

where , , and are real functions on such that , is a -periodic real function on ,  , and . Consider that , , and are real functions on such that and . Suppose that is the maximum value of on and , , and are the maximum values of , , and on . Also, suppose that is defined by (11). In the following, it is shown that (31) has at least one -periodic solution.

Define a new variable ; thus, (31) can be rewritten as follows:

Then,

where is a constant.

Now, define the operator , for all , by

Also,

So,

where is a constant.

Consider that and is defined by (9). Define by

is a closed, bounded, and convex subspace of . Define the operator by

Again, by Lemma 1 of [5], there exists a unique choice of and , such that and with the same argument as before, .

Now, the following corollary proves the existence of at least one -periodic solution for (31) on .

Corollary 5. Suppose that , , and are real functions on which are locally Lipschitz such that and for real numbers and in which , is a nonconstant, continuous, and -periodic real function on for , and . Let , , and be defined by (16) and (37), respectively. If

then (31) has at least one -periodic solution on .

Proof. Suppose that is defined by (38). Now, one can prove the existence of at least one -periodic solution of (31) by the same method of Theorem 1, (case is the same).

Remark 6. A good question is to study the stability of -periodic solution of (1).

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

The authors would like to thank the referee for the valuable comments and suggestions.

References

H. B. Chen, K. T. Li, and D. S. Li, “Existence of exactly one and two periodic solutions of the Liénard equation,” Acta Mathematica Sinica, vol. 47, no. 3, pp. 417–424, 2004.

R. Manasevic, J. Mawhin, and F. Zanolin, Periodic Solutions of Complex-Valued Differential Equations and Systems with Periodic Coefficient, SISSA, 1995.

M. R. Pournaki and A. Razani, “On the existence of periodic solutions for a class of generalized forced Liénard equations,” Applied Mathematics Letters, vol. 20, no. 3, pp. 248–254, 2007.

R. Srzednicki, “Periodic and bounded solutions in blocks for time-periodic nonautonomous ordinary differential equations,” Nonlinear Analysis: Theory, Methods & Applications, vol. 22, no. 6, pp. 707–737, 1994.

P. J. Torres, “Nondegeneracy of the periodically forced Liénard differential equation with -Laplacian,” Communications in Contemporary Mathematics, vol. 13, no. 2, pp. 283–292, 2011.

J. Zhou, S. Sun, and Z. Liu, “Periodic solutions of forced Liénard-type equations,” Applied Mathematics and Computation, vol. 161, no. 2, pp. 656–666, 2005.

J. Mawhin, “Seventy-five years of global analysis around the forced pendulum equation,” in Equadiff Proceedings, vol. 9, pp. 115–145, Masaryk University, Brno & Electronic Publishing House, Stony Brook, 1998.

Z. Goodarzi, M. R. Mokhtarzadeh, and A. Razani, “Existence of at least one periodic solution of the coupled Riccati differential equations,” submitted

M. R. Mokhtarzadeh, M. R. Pournaki, and A. Razani, “An existence-uniqueness theorem for a class of boundary value problems,” Fixed Point Theory, vol. 13, no. 2, pp. 583–591, 2012.

M. R. Mokhtarzadeh, M. R. Pournaki, and A. Razani, “A note on periodic solutions of Riccati equations,” Nonlinear Dynamics, vol. 62, no. 1-2, pp. 119–125, 2010.