Research Article | Open Access

# Existence of Homoclinic Orbits for Hamiltonian Systems with Superquadratic Potentials

**Academic Editor:**Stephen Clark

#### Abstract

This paper concerns solutions for the Hamiltonian system: . Here , is a symmetric matrix, and . We consider the case that and satisfies some superquadratic condition different from the type of Ambrosetti-Rabinowitz. We study this problem by virtue of some weak linking theorem recently developed and prove the existence of homoclinic orbits.

#### 1. Introduction and the Main Results

In this paper, we consider the existence of homoclinic orbits for the following Hamiltonian system: where , is a symmetric matrix-valued function, and is superquadratic both around 0 and at infinity in .

A solution of (1.1) is called to be homoclinic to 0 if and as .

In recent years, the existence and multiplicity of homoclinic orbits for Hamiltonian systems have been investigated in many papers via variational methods. See, for example, [1â€“7] for the second-order systems and [8â€“12] for the first-order systems. We note that in most of the papers on the first order system (1.1) it was assumed that

is constant such that , where denotes the set of all eigenvalues of .Thus, if we let denote the spectrum of , means that is independent of and there is such that Consequently, the operator is a homeomorphism for all . This is important for the variational arguments. Later in [13], Ding considered the case that depends periodically on . He made assumptions on such that 0 lies in a gap of . If additionally is periodic in and satisfies some superquadratic or asymptotically quadratic conditions in at infinity, then infinitely many homoclinic orbits were obtained.

If , then the problem is quite different in nature since the operator cannot lead the behavior at of the equation. Ding and Willem considered this case in [14]. They assumed that

() is 1-periodic. There exists such thatUnder , 0 may belong to continuous spectrum of . The authors managed to construct an appropriate Banach space, on which some embedding results necessary for variational arguments were obtained. Using a generalized linking theorem developed by Kryszewski and Szulkin in [15], they got one homoclinic orbit of (1.1). Later, Ding and Girardi obtained infinitely many homoclinic orbits in [16] under the conditions of [14] with an additional evenness assumption on . Note that in both papers satisfies a condition of the type of Ambrosetti-Rabinowitz (see [17]), that is,

The (A-R) condition is essential to prove the Palais-Smale condition since the variational functional is strongly indefinite and . The argument of Palais-Smale condition is rather technical and not standard without the (A-R) condition. In this paper, we consider the existence of solutions of (1.1) under without the (A-R) condition on .

We observed that just recently some abstract linking theorems were developed by Bartsch and Ding in [18]. These theorems are impactful to study the existence and multiplicity of solutions for the strongly indefinite problem. Many new results have been obtained by these theorems based on the use of sequence. See [19â€“21] for applications of these ideas. Note that in [19â€“21] 0 either is not a spectral point or is at most an isolated eigenvalue of finite multiplicity. Thus condition was checked by virtue of some very technical analysis. However, if , then we can find a sequence with and . Thus the operator cannot lead the behavior at 0 of the equation. Consequently, besides condition, it seems also hard to check the following condition necessary for the linking theorems in [19â€“21]:

for any there exists such that for allOur work benefits from [14] and some weak linking theorem recently developed by Schechter and Zou in [22]. This theorem permits us first to study a sequence of approximating problems for (the initial problem corresponds to ) for which a bounded Palais-Smale sequence of is given for almost each . Then by monotonicity, we find a sequence of and such that , and . Since the sequence consists of critical points of , then its boundedness can be checked. Consequently one solution of (1.1) is obtained. The idea of first studying approximating problems for which the existence of a bounded Palais-Smale sequence is given freely and then proving that the sequence of approximated critical points is bounded was originally introduced in [23]. See also [24].

We make the following assumptions.

() is 1-periodic in . for all . There exist constants and such that for ()there exist , such that for and ()there exist , and such that for and ()there exists such that uniformly for ;() for all, . There exist constants and such that uniformly for .Theorem 1.1. *Let , be satisfied, then (1.1) has at least one homoclinic orbit.*

*Remark 1.2. *We can easily check that the (A-R) condition implies and . But the converse proposition is not true. See the following example:
where , (see [25] or [26] for details).

If , , with satisfying

is 1-periodic in and uniformly in , then for all, .Theorem 1.3. *Let and be satisfied, then (1.1) has at least one homoclinic orbit.*

This paper is organized as follows. In Section 2 we will construct some appropriate variational space and obtain some embedding results necessary for our variational arguments. In Section 3 we will recall a weak linking theorem, by which we will give the proof of Theorems 1.1 and 1.3 in Section 4.

#### 2. Some Embedding Results

In what follows, by we denote the usual -norm and by the usual -inner product. A standard Floquet reduction argument shows that (see [14]).

Let be the spectral family of . possesses the polar decomposition with . By , is at most a continuous spectrum of . has an orthogonal decomposition

where .

Let denote the domain of and let be the space of the completion of under the norm

becomes a Hilbert space under the inner product

possesses an orthogonal decomposition

where

Under , it is easy to check

Therefore, can be embedded continuously into for any and compactly into for any .

For any , set and Then on , we also have and the same embedding conclusion as that of .

Let where stands for the closure of in .

For , let be the completion of under the norm and let denote the completion of with respect to the norm . Then is a closed subspace of and possesses the following decomposition:

Moreover, is orthogonal to with respect to .

Let be the completion of under the norm . The following result holds true.

Lemma 2.1 (see [14]). *Under , has the direct sum decomposition
**
and is embedded continuously in for any and compactly in â€‰â€‰for any .*

#### 3. A Weak Linking Theorem

In this section we state some weak linking theorem due to [22] which was first built in a Hilbert space. This theorem is still true in a reflexive Banach space (cf. Willem and Zou [25]).

Let be a reflexive Banach space with norm and possess a direct sum decomposition , where is a closed and separable subspace. Since is separable, we can define a new norm satisfying , such that the topology induced by this norm is equivalent to the weak topology of on bounded subsets of . For with and , we define , then , In particular, if is -bounded and under the norm in , then weakly in , strongly in , and weakly in . Let be a -bounded open convex subset and let be a fixed point. Let be a -continuous map from onto satisfying the following.

(i)id; maps bounded sets to bounded sets.(ii)there exists a fixed finite-dimensional subspace of such that , (iii) maps finite-dimensional subspaces of into finite-dimensional subspaces of .Set , , where denotes the -boundary of . For we introduce the class of mappings with the following properties.

(a) is -continuous.(b)for any , there is a -neighborhood such that , where denotes some finite-dimensional subspaces of (c).The following is a variant weak linking theorem in [22].

Theorem 3.1. *Let the family of -functionals have the form
**
Assume that the following conditions hold.*(1)*.*(2)* or as .*(3)* is -upper semicontinuous; is weakly sequentially continuous on . Moreover, maps bounded sets into bounded sets.*(4)*.**Then for almost all , there exists a sequence such that
**
where .*

*Remark 3.2. *Consider defined as in Section 2. Obviously, is reflexive. For with . Let and , then . It is easy to see that is a closed and separable subspace of . For any can be written as with and . For , let , then for . Define as . Then it is easy to check that satisfy (i), (ii), and (iii). If we let and , then links (see Lemmas 4.2 and 4.3 in Section 4).

#### 4. The Proof of the Main Results

Consider the functional

for . Then by assumptions and Lemma 2.1, . A standard argument shows that any critical point of is a homoclinic orbit of (1.1) (cf. [14]).

Set

Then and . By and ,

where, as below, stands for some generic positive constant.

Together with , one has

Thus or if .

Lemma 4.1. * is -upper semicontinuous and is weakly sequentially continuous.*

*Proof. *For any , assume that with . Let with and . Then in and hence . Since and we have .

By (4.4),

Then . By Lemma 2.1, in in and a.e. for . By Fatou's Lemma, . Therefore, is -upper semicontinuous.

Let in , then in . By (4.3), in and for any . Therefore, .

Lemma 4.2. *There exist , such that , with , .*

*Proof. *By (4.4) and Lemma 2.1,
The conclusion is obvious.

Lemma 4.3. *There exists such that and for all , where and , .*

*Proof. *For by (4.4),

Since is continuously embedded in for there exists a continuous projection from in to . Thus, for some and then

and thus the lemma follows easily.

Combining Lemmas 4.1â€“4.3 and Theorem 3.1, we get the following.

Lemma 4.4. *Under and , for almost every , there exist such that
*

We need the following lemma which is a special case of a more general result due to Lions [27, 28].

Lemma 4.5. *Let and . If is bounded and if
**
where , then in for .*

Lemma 4.6. *Under , let be fixed. For the sequence in Lemma 4.4, there exist such that, up to a subsequence, satisfies , and *

*Proof. *Write with and . Since , , let denote the part of in . Then by ,
Obviously, has a bounded inverse . Since
then we have
Set , then
We claim that is nonvanishing, that is, there exist , and such that
Indeed, if not, by (4.14), is bounded in . Lemma 4.5 shows that in for . By (4.3),
Hence
Thus,
Therefore, for any ,
Thus we obtain
and then
a contradiction. Choose such that and let In view of the invariance of under the action , . Since commutes with , then also does. Therefore . By (4.15)
Clearly,
Thus, up to a subsequence, we assume that
We now establish that If not, in and then
which implies that
contradicting (4.22). By Lemma 4.1, is weakly continuous, hence we have
By Fatou's Lemma, we obtain

As a straightforward consequence of Lemmas 4.4 and 4.6, we have the following.

Lemma 4.7. *Under , there exist , such that and . *

Lemma 4.8. * is bounded in .*

*Proof. *Our argument is motivated by [26]. Write with and .Since by , then
Hence,
In the following, we show that is bounded. Choose small enough such that . By , there exists such that
for all and . By and , for all and , we can choose such that
Since and , then we have
Thus, by (4.31), (4.32), and , we obtain
By (4.33) and ,
Choose sufficiently large such that . Let then by , for being large enough. By HĂ¶lder's inequality and Lemma 2.1, we have
By (4.29), (4.35), and (4.37),
and then
Using (4.3), (4.37), and (4.39), from we obtain
which implies since .

*Proof of Theorem 1.1. *Since is bounded, in and in for . We show that .

In fact, by (4.3) and (4.30)

It follows from that

which implies that there exists such that .

If is vanishing, then

a contradiction. Hence is nonvanishing.

Just along the proof of Lemma 4.6, we can see that there exist and such that

where .

Set and . Then and then , and . By Lemma 2.1, in and hence

It follows that .

Since , using Lebesgue's theorem, then we obtain

for any that is, .

*Proof of Theorem 1.3. *It is easy to check that satisfies all the assumptions of Theorem 1.1 with .

#### Acknowledgments

The authors would like to thank the reviewers for the valuable suggestions. This work was supported by the Natural Science Foundation of China.

#### References

- A. Ambrosetti and V. Coti-Zelati, â€śMultiplicitĂ© des orbites homoclines pour des systĂ¨mes conservatifs,â€ť
*Comptes Rendus de l'AcadĂ©mie des Sciences. SĂ©rie I*, vol. 314, no. 8, pp. 601â€“604, 1992. View at: Google Scholar | Zentralblatt MATH | MathSciNet - V. Coti-Zelati and P. H. Rabinowitz, â€śHomoclinic orbits for second order Hamiltonian systems possessing superquadratic potentials,â€ť
*Journal of the American Mathematical Society*, vol. 4, no. 4, pp. 693â€“727, 1991. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Y. H. Ding, â€śExistence and multiplicity results for homoclinic solutions to a class of Hamiltonian systems,â€ť
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 25, no. 11, pp. 1095â€“1113, 1995. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Y. H. Ding and M. Girardi, â€śPeriodic and homoclinic solutions to a class of Hamiltonian systems with the potentials changing sign,â€ť
*Dynamic Systems and Applications*, vol. 2, no. 1, pp. 131â€“145, 1993. View at: Google Scholar | Zentralblatt MATH | MathSciNet - W. Omana and M. Willem, â€śHomoclinic orbits for a class of Hamiltonian systems,â€ť
*Differential and Integral Equations*, vol. 5, no. 5, pp. 1115â€“1120, 1992. View at: Google Scholar | Zentralblatt MATH | MathSciNet - P. H. Rabinowitz, â€śHomoclinic orbits for a class of Hamiltonian systems,â€ť
*Proceedings of the Royal Society of Edinburgh A*, vol. 114, no. 1-2, pp. 33â€“38, 1990. View at: Google Scholar | Zentralblatt MATH | MathSciNet - P. H. Rabinowitz and K. Tanaka, â€śSome results on connecting orbits for a class of Hamiltonian systems,â€ť
*Mathematische Zeitschrift*, vol. 206, no. 3, pp. 473â€“499, 1991. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - V. Coti-Zelati, I. Ekeland, and Ă‰. SĂ©rĂ©, â€śA variational approach to homoclinic orbits in Hamiltonian systems,â€ť
*Mathematische Annalen*, vol. 288, no. 1, pp. 133â€“160, 1990. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Y. H. Ding and S. J. Li, â€śHomoclinic orbits for first order Hamiltonian systems,â€ť
*Journal of Mathematical Analysis and Applications*, vol. 189, no. 2, pp. 585â€“601, 1995. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - H. Hofer and K. Wysocki, â€śFirst-order elliptic systems and the existence of homoclinic orbits in Hamiltonian systems,â€ť
*Mathematische Annalen*, vol. 288, no. 3, pp. 483â€“503, 1990. View at: Publisher Site | Google Scholar | MathSciNet - Ă‰. SĂ©rĂ©, â€śExistence of infinitely many homoclinic orbits in Hamiltonian systems,â€ť
*Mathematische Zeitschrift*, vol. 209, no. 1, pp. 27â€“42, 1992. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - K. Tanaka, â€śHomoclinic orbits in a first order superquadratic Hamiltonian system: convergence of subharmonic orbits,â€ť
*Journal of Differential Equations*, vol. 94, no. 2, pp. 315â€“339, 1991. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Y. H. Ding, â€śMultiple homoclinics in a Hamiltonian system with asymptotically or super linear terms,â€ť
*Communications in Contemporary Mathematics*, vol. 8, no. 4, pp. 453â€“480, 2006. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Y. H. Ding and M. Willem, â€śHomoclinic orbits of a Hamiltonian system,â€ť
*Zeitschrift fĂĽr Angewandte Mathematik und Physik*, vol. 50, no. 5, pp. 759â€“778, 1999. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - W. Kryszewski and A. Szulkin, â€śGeneralized linking theorem with an application to a semilinear SchrĂ¶dinger equation,â€ť
*Advances in Differential Equations*, vol. 3, no. 3, pp. 441â€“472, 1998. View at: Google Scholar | Zentralblatt MATH | MathSciNet - Y. H. Ding and M. Girardi, â€śInfinitely many homoclinic orbits of a Hamiltonian system with symmetry,â€ť
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 38, no. 3, pp. 391â€“415, 1999. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - A. Ambrosetti and P. H. Rabinowitz, â€śDual variational methods in critical point theory and applications,â€ť
*Journal of Functional Analysis*, vol. 14, pp. 349â€“381, 1973. View at: Google Scholar | Zentralblatt MATH | MathSciNet - T. Bartsch and Y. H. Ding, â€śDeformation theorems on non-metrizable vector spaces and applications to critical point theory,â€ť
*Mathematische Nachrichten*, vol. 279, no. 12, pp. 1267â€“1288, 2006. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Y. H. Ding and L. Jeanjean, â€śHomoclinic orbits for a nonperiodic Hamiltonian system,â€ť
*Journal of Differential Equations*, vol. 237, no. 2, pp. 473â€“490, 2007. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - T. Bartsch and Y. H. Ding, â€śSolutions of nonlinear Dirac equations,â€ť
*Journal of Differential Equations*, vol. 226, no. 1, pp. 210â€“249, 2006. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Y. H. Ding and B. Ruf, â€śSolutions of a nonlinear dirac equation with external fields,â€ť
*Archive for Rational Mechanics and Analysis*, vol. 190, no. 1, pp. 57â€“82, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH - M. Schechter and W. Zou, â€śWeak linking theorems and SchrĂ¶dinger equations with critical Sobolev exponent,â€ť
*Control, Optimisation and Calculus of Variations*, vol. 9, pp. 601â€“619, 2003. View at: Google Scholar | Zentralblatt MATH | MathSciNet - L. Jeanjean, â€śOn the existence of bounded Palais-Smale sequences and application to a Landesman-Lazer-type problem set on ${\mathrm{\xe2\u201e\u0165}}^{N}$,â€ť
*Proceedings of the Royal Society of Edinburgh A*, vol. 129, no. 4, pp. 787â€“809, 1999. View at: Google Scholar | Zentralblatt MATH | MathSciNet - L. Jeanjean and K. Tanaka, â€śA positive solution for a nonlinear SchrĂ¶dinger equation on ${\mathrm{\xe2\u201e\u0165}}^{N}$,â€ť
*Indiana University Mathematics Journal*, vol. 54, no. 2, pp. 443â€“464, 2005. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - M. Willem and W. Zou, â€śOn a semilinear Dirichlet problem and a nonlinear SchrĂ¶dinger equation with periodic potential,â€ť
*Indiana University Mathematics Journal*, vol. 52, pp. 109â€“132, 2003. View at: Google Scholar - W. Zou and M. Schechter,
*Critical Point Theory and Its Applications*, Springer, New York, NY, USA, 2006. View at: MathSciNet - P. L. Lions, â€śThe concentration-compactness principle in the calculus of variations. The locally compact case. Part I,â€ť
*Annales de l'Institut Henri PoincarĂ© C*, vol. 1, pp. 109â€“145, 1984. View at: Google Scholar - P. L. Lions, â€śThe concentration-compactness principle in the calculus of variations. The locally compact case. Part II,â€ť
*Annales de l'Institut Henri PoincarĂ© C*, vol. 1, pp. 223â€“283, 1984. View at: Google Scholar

#### Copyright

Copyright © 2009 Jian Ding 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.