Abstract and Applied Analysis

Volume 2013 (2013), Article ID 507854, 8 pages

http://dx.doi.org/10.1155/2013/507854

Research Article

Periodic Solutions of Duffing Equation with an Asymmetric Nonlinearity and a Deviating Argument

Zaihong Wang, Jin Li, and Tiantian Ma

School of Mathematical Sciences, Capital Normal University, Beijing 100048, China

Received 24 July 2013; Accepted 28 October 2013

Academic Editor: Irena Rachůnková

Copyright © 2013 Zaihong Wang 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 existence of periodic solutions of the second-order differential equation , where are two constants satisfying , , is a constant satisfying , are continuous, and is -periodic. When the limits exist and are finite, we give some sufficient conditions for the existence of -periodic solutions of the given equation.

1. Introduction

In this paper, we are concerned with the existence of periodic solutions of the second-order differential equation with an asymmetric nonlinearity and a deviating argument:

where are two constants satisfying , , is a constant satisfying , are continuous, and is -periodic.

In recent years, the periodic problem of the second-order differential equation with a deviating argument has been widely studied because of its background in applied sciences (see [1–6] and the references cited therein).

In case when and , (1) becomes

Assume that the limits

exist and are finite. Lazer and Leach [7] proved that (2) has one -periodic solution provided that the function

is of constant sign.

In case when and satisfy the equation , , (1) becomes

Equation (4) was first introduced by Fučík [8]. Lately, the periodic problem of (4) was widely studied in the literature (see [9–13] and the references cited therein). To deal with the existence of periodic solutions of (4), Dancer [9] introduced a -periodic function

where is a -periodic function defined by

Obviously, is a periodic solution of the equation satisfying the initial value , . It was proved in [9] that (4) has at least one -periodic solution provided that has a constant sign in .

In the present paper, we will deal with the periodic solutions of (1) under condition . Owing to the appearance of the asymmetric nonlinearity , the methods in [4, 5] are no longer valid. To overcome this difficulty, we embed (1) into an operator equation with the form instead of as in [4, 5]. We first prove a continuation lemma and then apply this continuation lemma to prove the existence of periodic solution of (1).

Let us denote

Obviously, we have

We obtain the following result.

Theorem 1. Assume that condition holds and . Then (1) has at least one -periodic solution provided that either

or

holds, where the function is defined by , .

Remark 2. In the case when , we can obtain the similar sufficient conditions. For brevity, we omit the detailed description.

Remark 3. Obviously, if = or = ,  , then the first inequality of Theorem 1 reduces to the condition as in [8]; namely,

Throughout this paper, we always use to denote the real number set. For a multivariate function depending on , the notation always means that, for , holds uniformly with respect to other variables, whereas (or ) always means that (or ) is bounded for large enough. For any continuous -periodic function , we always set .

2. Preliminary Lemmas

We now embed (1) into a family of equations with one parameter ,

where is continuous and satisfies the sign condition as follows:

Lemma 4. Suppose that there exist two positive constants and such that, for any -periodic solution of (12), the following conditions hold:

Then (1) has at least one -periodic solution.

Proof. We follow an argument in [14] to prove Lemma 4. At first, we introduce some notations. Let and be two Banach spaces defined by

with the norms

Define a linear operator by

where , and a nonlinear operator ,

It is easy to see that

It follows that is a Fredholm mapping of index zero.

Let us define two continuous projectors and by setting

Set . Then is an algebraic isomorphism, and we define by

Clearly, we have that, for any ,

For any open bounded set , we can prove by standard arguments that and are relatively compact on the closure . Therefore, is -compact on .

It is noted that (12), together with the -periodic boundary condition, is equivalent to the operator equation

Let be the open bounded set defined by

From (14), we have

Since is a Fredholm operator with index zero and is -compact on , we get from the homotopic invariance of the coincidence degree that

Next, we will compute . To this end, we introduce an auxiliary operator defined by

Clearly, is -compact on and

Now, we will prove that

Obviously, it follows from (25) and (28) that

On the other hand, if is a solution of , then satisfies the equation as follows:

Multiplying both sides of (31) by and integrating over , we get

If , then we infer from (13) and (32) that for every . Furthermore, for every , where is a constant. Consequently, we have , and then .

From the homotopic invariance of the coincidence degree, we have

In the following, we will compute . To this end, we use the equality [15] as follows:

which holds provided that the following conditions are satisfied,

In what follows, we will prove that conditions (35) and (36) are satisfied. In fact, if is a solution of , then satisfies the equation as follows:

Using the same method as before, we can get . This is a contradiction. To check condition (36), we notice that if , then with . Hence, we have that, for ,

Finally, we can easily calculate the Brouwer degree and obtain

Therefore, we have

Consequently, the equation

has at least one -periodic solution. Equivalently, (1) has at least one -periodic solution.

Remark 5. In (12), if satisfies the following condition,

then the conclusion of Lemma 4 still holds. This claim can be proved by using the same method as the one used for proving Lemma 4. In fact, we only need to modify the term in the auxiliary operator to the term .

3. Periodic Solutions of Duffing Equation with a Deviating Argument

At first, we choose a continuous function satisfying

where are constants. Moreover, satisfies condition (13).

Considering the equivalent system of (12),

Let be any (possible) -periodic solution of (12). Write . Then, is a -periodic solution of system (44).

In what follows, we will introduce a transformation. To this end, let us denote by a solution of equation satisfying the initial condition , . Obviously, is -periodic. The derivative of will be denoted by . It is easy to check that the following properties are satisfied:

(1), .(2), .(3),  .

Let us define a mapping as follows:

where .

Under the transformation , if , , then the -periodic solution of system (44) can be expressed in the form satisfying the equations as follows:

Let us denote   . From now on, we always assume that is bounded. From the first equation of (46) we get that

Therefore, we have

Furthermore, we get

From the second equation of (46), we have

As a result,

Substituting (51) in (47), we obtain that, for ,

Consequently,

Similarly, substituting (51) in the second equality of (44), we get that, for ,

Therefore, we have

Write

Recalling that and , we have the following estimates.

Lemma 6. Assume that condition holds. Then, for ,

Proof. We only give the proof for the case . The other cases can be treated similarly. Since is -periodic, it follows from the expression of that

From the dominated convergent theorem, we have that, for ,

Lemma 7. Assume that condition holds. Then, for ,

Proof. We also only give the proof for the case . The other cases can be treated similarly. Since is -periodic, it follows from the expression of and the dominated convergent theorem that, for ,

Lemma 8. Assume that condition (43) holds. Then, for ,

Proof. From the expression of and the dominated convergent theorem we have that, for ,

Similarly, we have that, for ,

Proof of Theorem 1. We proceed to prove Theorem 1 in two different cases.

Assume that the first inequality of Theorem 1 holds. Without loss of generality, we assume

Let us set

We now choose a function satisfying (43) and (13). Moreover, satisfy

Then we infer from Lemmas 7 and 8 that, for ,

Since , , and , there exists a constant such that, for and ,

From (68) and (69) we have that, for ,

Consequently, there exists a constant such that if is a -periodic solution of system (46), then , . Furthermore, there exist constants and such that if is a -periodic solution of (12), then

From Lemma 4, we know that (1) has at least one -periodic solution.

We assume that the second inequality of Theorem 1 holds. Without loss of generality, we assume

Let us set

Similarly, we choose a continuous function satisfying (43) and (13). Moreover, satisfy

Then we infer from Lemmas 7 and 8 that, for ,

Since , , and , there exists a constant such that, for and and ,

From (75) and (76) we have that, for sufficiently large ,

Consequently, there exists a constant such that if is a -periodic solution of system (46), then , . Furthermore, there exist constants and such that if is a periodic solution of (12), then

From Lemma 4 we know that (1) has at least one periodic solution.

Acknowledgments

This research is supported by Research Fund for the Doctoral Program of Higher Education of China, no. 11AA0013, Beijing Natural Science Foundation (Existence and multiplicity of periodic solutions in nonlinear oscillations), no. 1112006, and the Grant of Beijing Education Committee Key Project, no. KZ201310028031.

References

X. Huang and Z. Xiang, “On the existence of periodic solutions of Duffing type equation ,” Chinese Science Bulletin, vol. 39, pp. 201–203, 1994 (Chinese).

S. Ma, Z. Wang, and J. Yu, “An abstract existence theorem at resonance and its applications,” Journal of Differential Equations, vol. 145, no. 2, pp. 274–294, 1998.

R. K. Nagle and M. E. Parrott, “Bounded perturbations with multiple delays of forced harmonic oscillators at resonance,” Differential and Integral Equations, vol. 5, no. 6, pp. 1407–1418, 1992.

W. G. Ge, “On the existence of harmonic solutions of Liénard systems,” Nonlinear Analysis. Theory, Methods & Applications A, vol. 16, no. 2, pp. 183–190, 1991.

B. Liu and L. Huang, “Existence and uniqueness of periodic solutions for a kind of Liénard equation with a deviating argument,” Applied Mathematics Letters, vol. 21, no. 1, pp. 56–62, 2008.

T. A. Burton and B. Zhang, “Boundedness, periodicity, and convergence of solutions in a retarded Liénard equation,” Annali di Matematica Pura ed Applicata, vol. 165, pp. 351–368, 1993.

A. C. Lazer and D. E. Leach, “Bounded perturbations of forced harmonic oscillators at resonance,” Annali di Matematica Pura ed Applicata, vol. 82, pp. 49–68, 1969.

S. Fučík, Solvability of Nonlinear Equations and Boundary Value Problems, vol. 4, Reidel, Dordrecht, The Netherlands, 1980.

E. N. Dancer, “Boundary-value problems for weakly nonlinear ordinary differential equations,” Bulletin of the Australian Mathematical Society, vol. 15, no. 3, pp. 321–328, 1976.

C. Fabry and A. Fonda, “Nonlinear resonance in asymmetric oscillators,” Journal of Differential Equations, vol. 147, no. 1, pp. 58–78, 1998.

A. Capietto and Z. Wang, “Periodic solutions of Liénard equations with asymmetric nonlinearities at resonance,” Journal of the London Mathematical Society, vol. 68, no. 1, pp. 119–132, 2003.

Z. Wang, “Periodic solutions of the second order differential equations with asymmetric nonlinearities depending on the derivatives,” Discrete and Continuous Dynamical Systems, vol. 9, no. 3, pp. 751–770, 2003.

A. C. Lazer and P. J. McKenna, “Existence, uniqueness, and stability of oscillations in differential equations with asymmetric nonlinearities,” Transactions of the American Mathematical Society, vol. 315, no. 2, pp. 721–739, 1989.

T. R. Ding, R. Iannacci, and F. Zanolin, “On periodic solutions of sublinear Duffing equations,” Journal of Mathematical Analysis and Applications, vol. 158, no. 2, pp. 316–332, 1991.

R. E. Gaines and J. L. Mawhin, Coincidence Degree, and Nonlinear Differential Equations, Springer, Berlin, Germany, 1977.