P. Caldiroli, A NEW PROOF OF THE EXISTENCE OF HOMOCLINIC ORBITS FOR A CLASS OF AUTONOMOUS 2ND ORDER HAMILTONIAN SYSTEMS IN IRN, Mathematische Nachrichten, 187, 1997, pp. 19-27
We consider the Hamiltonian system in R-N given by (u) double overdot
+ V'(u) = 0 where V : R-N --> R is a smooth potential having a non deg
enerate local maximum at 0 and we assume that there is an open bounded
neighborhood Omega of 0 such that V(x) < V(0) for x is an element of
Omega\{0}, V(x) = V(0) and V'(x) not equal 0 for x is an element of pa
rtial derivative Omega. Using a refined version of the mountain pass l
emma [4], we give a further proof of the existence of a solution of u
+ V'(u) = 0, homoclinic to 0.