• Research Article
• Open access
• Published:

The Existence and Uniqueness of Solution of Duffing Equations with Non- Perturbation Functional at Nonresonance

Abstract

This paper deals with a boundary value problem for Duffing equation. The existence of unique solution for the problem is studied by using the minimax theorem due to Huang Wenhua. The existence and uniqueness result was presented under a generalized nonresonance condition.

1. Introduction

In recent years, many authors are greatly attached to investigation for the existence and uniqueness of solution of Duffing equations, for example, [1â€“11], and so forth. Some authors ([8, 11, 12], etc.) proved the existence and uniqueness of solution of Duffing equations under perturbation functions and other conditions at nonresonance by employing minimax theorems. In 1986, Tersian investigated the equation using a minimax theorem proved by himself and reaped a result of generalized solution [13]. In 2005, Huang and Shen generalized the minimax theorem of Tersian in [13]. Using the generalized minimax theorem, Huang and Shen proved a theorem of existence and uniqueness of solution for the equation [14] under the weaker conditions than those in [13].

Stimulated by the works in [13, 14], in the present paper, we investigate the solutions of the boundary value problems of Duffing equations with non- perturbation functions at nonresonance using the minimax theorem proved by Huang in [15].

2. Preliminaries

Let be a real Hilbert space with inner product and norm , respectively, and be two orthogonal closed subspaces of such that . Let denote the projections from to and from to , respectively. The following theorem will be employed to prove our main theorem.

Theorem 2.1 (see [15]).

Let be a real Hilbert space, let and be orthogonal closed vector subspace of such that , let be an everywhere defined functional with GÃ¢teaux derivative, everywhere defined and hemicontinuous. Suppose that there exist two continuous functions satisfying

(2.1)

for , , , , , . Then, the following hold:

(a) has a unique critical point such that ;

(b).

It is easy to prove the following corollary of the above theorem.

Corollary 2.2.

Let be a real Hilbert space, let and be orthogonal closed vector subspace of such that , and let be an everywhere defined functional with second GÃ¢teaux differential. Suppose that there exist two continuous functions satisfying

(2.2)

for , , , , , , . Then, the following hold:

(a) has a unique critical point such that ;

(b).

Proof.

We note that is a second GÃ¢teaux differentiable functional, the mean-value theorem ensures that there exists such that . Therefore, for , , , , , , we have

(2.3)

The conclusion of the corollary follows immediately from Theorem 2.1.

3. The Main Theorems

Consider the boundary value problem

(3.1)

where , is a potential CarathÃ©odory function, is a given function in .

Let , then (3.1) may be written in the form of

(3.2)

where . Clearly, is a potential CarathÃ©odory function, and if is a solution of (3.2), then will be a solution of (3.1).

It is well known that is a Hilbert space with inner product:

(3.3)

and norm , respectively. The system of trigonometrical functions,

(3.4)

is a system of orthonormal functions in . Each can be written as the Fourier series

(3.5)

Define the linear operator ,

(3.6)

Denote

(3.7)

Clearly, is a self-adjoint operator, and is a Hilbert space for the inner product:

(3.8)

, the norm induced by this inner product is

(3.9)

Note that is not a space.

Since in (3.1), and hence in (3.2), is a potential CarathÃ©odory function, there exists a function such that

(3.10)

and hence

(3.11)

and the mapping , and hence , generates a Nemytskii operator by

(3.12)

and hence

(3.13)

Define the functional by

(3.14)

where satisfies (3.10) and is in (3.1). We have

(3.15)

It is easy to see that

(3.16)

where . Clearly, is a critical point of if and only if is a solution of the equation and hence a solution of (3.2) and thus is a solution of (3.1).

Now, we suppose that there exists a real-bounded mapping such that

(3.17)

For , let

(3.18)

Since

(3.19)

equation (3.17) is equivalent to

(3.20)

Suppose that for ,

(3.21)

and for , define

(3.22)

which is equivalent to

(3.23)

Since is a self-adjoint operator, it possesses spectral resolution

(3.24)

with a right continuous spectral family ; and we let

(3.25)

for all with . Then, the operator has the spectral resolution:

(3.26)

where is an identity operator.

Define and by

(3.27)

By (3.21), we have

(3.28)

and hence

(3.29)

We need to prove a lemma before presenting our main theorem.

Lemma 3.1.

Suppose that in (3.2) satisfies (3.20), commutes with the linear operator and satisfies (3.21), is a continuous function defined in (3.22). Then, for

(3.30)

Proof.

For , let

(3.31)

Note that commutes with the linear operator and

(3.32)

By (3.22),

(3.33)

Now, we show our main theorem dealing with (3.1).

Theorem 3.2.

Let be a potential CarathÃ©odory function satisfying (3.17). Suppose that commutes with the linear operator and satisfies

(3.34)

and the continuous function defined by (3.23) satisfies the conditions

(3.35)

Then, (3.1) has a unique solution such that

(3.36)

where is a functional defined in (3.14) and .

Proof.

For , by Lemma 3.1, we have

(3.37)

Employing Theorem 2.1, we can know that there exists a unique such that , where is a solution of (3.2) and this means that (3.1) has a unique solution such that

(3.38)

where is a functional defined in (3.14) and .

If the perturbation function in (3.10) is a second GÃ¢teaux differential, (3.17), (3.34), and (3.23) become

(3.39)
(3.40)
(3.41)

respectively. By (3.30) in Lemma 3.1, we have

(3.42)

where .

We then have the following corollary of Theorem 3.2.

Corollary 3.3.

Let be a potential CarathÃ©odory function with first GÃ¢teaux derivative satisfying (3.39) and (3.40) and commutes with the linear operator . If the continuous function defined by (3.41) satisfies (3.35), then (3.1) has a unique solution and

(3.43)

where is a functional defined in (3.14) and .

References

1. Loud WS: Periodic solutions of nonlinear differential equations of Duffing type. In Proceedings of the U.S.-Japan Seminar on Differential and Functional Equations (Minneapolis, Minn., 1967). Benjamin, New York, NY, USA; 1967:199-224.

2. Ge W:-periodic solutions of -dimensional Duffing type equation Chinese Annals of Mathematics A 1988,9(4):498-505. (Chinese)

3. Shen Z: On the periodic solution to the Newtonian equation of motion. Nonlinear Analysis: Theory, Methods & Applications 1989,13(2):145-149. 10.1016/0362-546X(89)90040-0

4. Li W:A necessary and sufficient condition on existence and uniqueness of -periodic solution of Duffing equation. Chinese Annals of Mathematics B 1990,11(3):342-345.

5. Ma R: Solvability of periodic boundary value problems for semilinear Duffing equations. Chinese Annals of Mathematics A 1993,14(4):393-399. (Chinese)

6. Mawhin J, Ward JR Jr.: Nonuniform nonresonance conditions at the two first eigenvalues for periodic solutions of forced LiÃ©nard and Duffing equations. The Rocky Mountain Journal of Mathematics 1982,12(4):643-654. 10.1216/RMJ-1982-12-4-643

7. Ding T, Zanolin F: Time-maps for the solvability of periodically perturbed nonlinear Duffing equations. Nonlinear Analysis: Theory, Methods & Applications 1991,17(7):635-653. 10.1016/0362-546X(91)90111-D

8. ManÃ¡sevich RF: A nonvariational version of a max-min principle. Nonlinear Analysis: Theory, Methods & Applications 1983,7(6):565-570. 10.1016/0362-546X(83)90045-7

9. Li W, Shen Z: A globally convergent method for finding periodic solutions to the Duffing equation. Journal of Nanjing University 1997,33(3):328-336. (Chinese)

10. Huang W, Cao J, Shen Z:On the solution of nonlinear two-point boundary value problem , Applied Mathematics and Mechanics 1998,19(9):889-894. 10.1007/BF02458244

11. Huang W, Shen Z: On the existence of solutions of boundary value problem of Duffing type systems. Applied Mathematics and Mechanics 2000,21(8):971-976. 10.1007/BF02428368

12. ManÃ¡sevich RF: A min max theorem. Journal of Mathematical Analysis and Applications 1982,90(1):64-71. 10.1016/0022-247X(82)90044-0

13. Tersian SA: A minimax theorem and applications to nonresonace problems for semilinear equations. Nonlinear Analysis: Theory, Methods & Applications 1986,10(7):651-668. 10.1016/0362-546X(86)90125-2

14. Huang W, Shen Z: Two minimax theorems and the solutions of semilinear equations under the asymptotic non-uniformity conditions. Nonlinear Analysis: Theory, Methods & Applications 2005,63(8):1199-1214. 10.1016/j.na.2005.02.125

15. Huang W: Minimax theorems and applications to the existence and uniqueness of solutions of some differential equations. Journal of Mathematical Analysis and Applications 2006,322(2):629-644. 10.1016/j.jmaa.2005.09.046

Acknowledgment

The corresponding author is grateful to the referees for their helpful and valuable comments.

Author information

Authors

Corresponding author

Correspondence to Huang Wenhua.

Rights and permissions

Reprints and permissions

Ting, Z., Wenhua, H. The Existence and Uniqueness of Solution of Duffing Equations with Non- Perturbation Functional at Nonresonance. Bound Value Probl 2008, 859461 (2008). https://doi.org/10.1155/2008/859461