Homoclinic orbits for second order Hamiltonian systems with asymptotically linear terms at infinity
© Chen; licensee Springer 2014
Received: 16 March 2014
Accepted: 14 April 2014
Published: 2 May 2014
In this paper, by using some different asymptotically linear conditions from those previously used in Hamiltonian systems, we obtain the existence of nontrivial homoclinic orbits for a class of second order Hamiltonian systems by the variational method.
MSC:37J45, 37K05, 58E05.
1 Introduction and main result
and it is symmetric and positive definite uniformly for . We say that a solution of (1.1) is homoclinic (with 0) if such that and as . If , then is called a nontrivial homoclinic solution.
Let . We assume:
(H1) is T-periodic in t, and , .
(H2) There are some constants and such that if .
Now, our main result reads as follows.
Theorem 1.1 If (1.2) and (H1)-(H4) with hold, then (1.1) has a nontrivial homoclinic orbit.
where is T-periodic in t, and . It is not hard to check that the above function satisfies (H1)-(H4).
We will use the following theorem to prove our main result.
Theorem A ()
where denotes the inner product in , and the corresponding norm is denoted by . Roughly speaking the role of (1.3) is to insure that all Palais-Smale sequences for the corresponding function of (1.1) at the mountain-pass level are bounded. By removing or weakening the condition (1.3), some authors studied the homoclinic orbits of (1.1). For example, Zou and Li  proved that the system (1.1) has infinitely many homoclinic orbits by using the variant fountain theorem; Chen  obtained the existence of a ground state homoclinic orbit for (1.1) by a variant generalized weak linking theorem due to Schechter and Zou. Ou and Tang  obtained the existence of a homoclinic solution of (1.1) by the minimax methods in the critical point theory. For second order Hamiltonian systems without periodicity, we refer the readers to [20–22] and so on.
The rest of our paper is organized as follows. In Section 2, we give some preliminary lemmas, which are useful in the proof of our result. In Section 3, we give the detailed proof of our result.
2 Preliminary lemmas
Throughout this paper we denote by the usual norm and C for generic constants.
The assumptions on H imply that . Moreover, critical points of I are classical solutions of (1.1) satisfying as . Thus u is a homoclinic solution of (1.1). Let us show that I has a mountain-pass geometry. Since this is a consequence of the two following results.
Lemma 2.1 as .
which implies the conclusion. □
Lemma 2.2 There is a function with satisfying .
Therefore, we can choose with s big enough such that with satisfying . □
An application of Theorem A now completes the proof. □
Therefore, the proof follows from the definition of G. □
then up to a subsequence, with and .
It implies that .
Therefore, the proof is finished. □
Lemma 2.6 The sequence obtained in (2.8) is bounded.
for some positive constants , , and , where . Therefore, (2.14) implies that is bounded and the proof is finished. □
3 Proof of main result
We are now in a position to prove our main result.
It follows from the fact is bounded and Lemma 2.4 that does not vanish, so does not vanish. The proof of and is similar to the proof of Lemma 2.5. □
Research was supported by the Tianyuan Fund for Mathematics of NSFC (Grant No. 11326113) and the Key Project of Natural Science Foundation of Educational Committee of Henan Province of China (Grant No. 13A110015).
- Jeanjean L:On the existence of bounded Palais-Smale sequences and application to a Landesman-Lazer type problem set on . Proc. R. Soc. Edinb., Sect. A 1999, 129: 787–809. 10.1017/S0308210500013147MathSciNetView ArticleMATHGoogle Scholar
- Alves CO, Carrião PC, Miyagaki OH: Existence of homoclinic orbits for asymptotically periodic systems involving Duffing-like equation. Appl. Math. Lett. 2003, 16(5):639–642. 10.1016/S0893-9659(03)00059-4MathSciNetView ArticleMATHGoogle Scholar
- Ambrosetti A, Rabinowitz PH: Dual variational methods in critical point theory and applications. J. Funct. Anal. 1973, 14(4):349–381. 10.1016/0022-1236(73)90051-7MathSciNetView ArticleMATHGoogle Scholar
- Ambrosetti A, Coti Zelati V: Multiple homoclinic orbits for a class of conservative systems. Rend. Semin. Mat. Univ. Padova 1993, 89: 177–194.MathSciNetMATHGoogle Scholar
- Caldiroli P, Montecchiari P: Homoclinic orbits for second order Hamiltonian systems with potential changing sign. Commun. Appl. Nonlinear Anal. 1994, 1(2):97–129.MathSciNetMATHGoogle Scholar
- Carrião PC, Miyagaki OH: Existence of homoclinic solutions for a class of time-dependent Hamiltonian systems. J. Math. Anal. Appl. 1999, 230(1):157–172. 10.1006/jmaa.1998.6184MathSciNetView ArticleMATHGoogle Scholar
- Coti Zelati V, Rabinowitz PH: Homoclinic orbits for second order Hamiltonian systems possessing superquadratic potentials. J. Am. Math. Soc. 1991, 4(4):693–727. 10.1090/S0894-0347-1991-1119200-3MathSciNetView ArticleMATHGoogle Scholar
- Chen G: Superquadratic or asymptotically quadratic Hamiltonian systems: ground state homoclinic orbits. Ann. Mat. Pura Appl. 2014. 10.1007/s10231-014-0403-9Google Scholar
- Ding Y, Girardi M: Periodic and homoclinic solutions to a class of Hamiltonian systems with the potentials changing sign. Dyn. Syst. Appl. 1993, 2(1):131–145.MathSciNetMATHGoogle Scholar
- Ding Y, Lee C: Homoclinics for asymptotically quadratic and superquadratic Hamiltonian systems. Nonlinear Anal. 2009, 71: 1395–1413. 10.1016/j.na.2008.10.116MathSciNetView ArticleMATHGoogle Scholar
- Flavia A: Periodic and homoclinic solutions to a class of Hamiltonian systems with indefinite potential in sign. Boll. Unione Mat. Ital., B 1996, 10(2):303–324.MATHMathSciNetGoogle Scholar
- Izydorek M, Janczewska J: Homoclinic solutions for a class of the second order Hamiltonian systems. J. Differ. Equ. 2005, 219(2):375–389. 10.1016/j.jde.2005.06.029MathSciNetView ArticleMATHGoogle Scholar
- Korman P, Lazer AC: Homoclinic orbits for a class of symmetric Hamiltonian systems. Electron. J. Differ. Equ. 1994., 1994: Article ID 1Google Scholar
- Lv X, Lu S, Yan P: Existence of homoclinic solutions for a class of second-order Hamiltonian systems. Nonlinear Anal. 2010, 72: 390–398. 10.1016/j.na.2009.06.073MathSciNetView ArticleMATHGoogle Scholar
- Omana W, Willem M: Homoclinic orbits for a class of Hamiltonian systems. Differ. Integral Equ. 1992, 5(5):1115–1120.MathSciNetMATHGoogle Scholar
- Ou ZQ, Tang CL: Existence of homoclinic solution for the second order Hamiltonian systems. J. Math. Anal. Appl. 2004, 291(1):203–213. 10.1016/j.jmaa.2003.10.026MathSciNetView ArticleMATHGoogle Scholar
- Paturel E: Multiple homoclinic orbits for a class of Hamiltonian systems. Calc. Var. Partial Differ. Equ. 2001, 12(2):117–143. 10.1007/PL00009909MathSciNetView ArticleMATHGoogle Scholar
- Rabinowitz PH: Homoclinic orbits for a class of Hamiltonian systems. Proc. R. Soc. Edinb., Sect. A 1990, 114: 33–38. 10.1017/S0308210500024240MathSciNetView ArticleMATHGoogle Scholar
- Rabinowitz PH, Tanaka K: Some results on connecting orbits for a class of Hamiltonian systems. Math. Z. 1991, 206(3):473–499.MathSciNetView ArticleMATHGoogle Scholar
- Wang J, Zhang F, Xu J: Existence and multiplicity of homoclinic orbits for the second order Hamiltonian systems. J. Math. Anal. Appl. 2010, 366: 569–581. 10.1016/j.jmaa.2010.01.060MathSciNetView ArticleMATHGoogle Scholar
- Wei J, Wang J: Infinitely many homoclinic orbits for the second order Hamiltonian systems with general potentials. J. Math. Anal. Appl. 2010, 366: 694–699. 10.1016/j.jmaa.2009.12.024MathSciNetView ArticleMATHGoogle Scholar
- Zou W, Li S: Infinitely many homoclinic orbits for the second-order Hamiltonian systems. Appl. Math. Lett. 2003, 16: 1283–1287. 10.1016/S0893-9659(03)90130-3MathSciNetView ArticleMATHGoogle Scholar
- Ding YH Interdiscip. Math. Sci. 7. In Variational Methods for Strongly Indefinite Problems. World Scientific, Singapore; 2007.Google Scholar
- Willem M: Minimax Theorems. Birkhäuser, Basel; 1996.View ArticleMATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.