On the existence of homoclinic solutions for almost periodic second order systems

In this paper we prove the existence of at least one homoclinic solution for a second order Lagrangian system, where the potential is an almost periodic function of time. This result generalizes existence theorems known to hold when the dependence on time of the potential is periodic. The method is of a variational nature, solutions being found as critical points of a suitable functional. The absence of a group of symmetries for which the functional is invariant (as in the case of periodic potentials) is replaced by the study of problems ''at infinity'' and a suitable use of a property introduced by E. Sere.