From the introduction: This paper deals with the existence of homoclinics, namely doubly-asymptotic solutions, for a broad class of perturbed differential equations, variational in nature.
The existence of homoclinics has been faced both from the local and from the global point of view. The existence for perturbed time periodic systems with one degree of freedom was first proved by Poincaré. The results by Poincaré have been the starting point for a great deal of work. In particular, Melnikov has proved by analytical methods the existence of homoclinics for non conservative perturbations, leading to chaos. A common feature of these results is the use of an integral function, the Poincaré function or – roughly – its derivative, the Melnikov function. The non degenerate zeros of the latter give rise to homoclinics.
On the other side, more recently Critical Point Theory has been used to prove the existence of homoclinics for a class of Hamiltonian systems like
when the potential with and depends periodically (or almost periodically) on . Although these approaches are apparently considered different in nature, we show that they are connected, in the sense that an appropriate use of Critical Point Theory permits also to find the classical perturbation results. More precisely, we discuss an approach, variational in nature, which furnishes a general frame to deal with several different kinds of perturbed differential equations. We not only find Poincaré-Melnikov like results (both for systems with several degrees of freedom and for autonomous systems) without any non degeneracy assumption, but also handle partial differential equations.
Moreover, the recent variational works cannot provide results in the same generality: we localize the solutions and find multiplicity results; in addition, we can also handle potentials with a more general dependence on , not only periodic or almost periodic.
In order to have an idea of our setting, let us consider the second-order Hamiltonian system with degrees of freedom
where , , , and roughly , . Homoclinics of (1) correspond to stationary points of the Lagrangian functional
whose Euler equation is (1). Suppose that the unperturbed equation
has a non trivial homoclinic . Connected with , the unperturbed functional possesses a manifold of critical points and we are led to search homoclinics near one of these translates by looking for critical points of nearby . It turns out that these critical points exist provided that
has a (possibly degenerate) critical point. Such a is the Poincaré function and its derivative is the Melnikov function.
Section 2 deals with the existence of stationary points for a class of functionals like
This is applied in Section 3 to (1) as well as to perturbed radial systems like
In this latter case where and satisfies
One shows that the condition is still satisfied and hence the abstract approach yields the existence of homoclinics in connection with the critical points of
As for the perturbation , we can also consider the case that , when (1) becomes a forced system. In particular, the classical case of systems with a periodic or quasi periodic forcing term is handled in Section 4.
The functional approach also applies when is independent of time and (2) becomes an autonomous system (see Section 5). In such a case we can show the existence of two distinct homoclinics, a multiplicity result which improves the one of [K. Tanaka, NoDEA 1, 149-162 (1994; Zbl 0819.34032)]. The generality of our abstract setting allows us to handle partial differential equations, too. Applications to the existence of semiclassical states of a class of Schrödinger equations with potential have been discussed in [A. Ambrosetti, M. Badiale and S. Cingolani, Semiclassical states of Nonlinear Schrödinger equations, Arch. Rations Mech. Anal. (to appear)]. Here, see Section 6, we prove the existence of two solutions of forced Schrödinger equations like
provided and , improving a recent result of [L. Jeanjean, Two positive solutions for a class of nonhomogeneous elliptic equations, (preprint.)]
The authors’ technique has been extended to obtain results of multibump type [M. Berti and P. Bolle, Ann. Mat. Pura Appl. (4) 176, 323-378 (1999; Zbl 0957.37019)]; and to a nonvariational setting [M. Henrard, Discrete Contin. Dyn. Syst. 5, No. 4, 765-782 (1999; Zbl 0980.34043)].