Shilnikov Lemma for a nondegenerate critical manifold of a Hamiltonian system
We prove an analog of Shilnikov Lemma for a normally hyperbolic symplectic critical manifold $M\subset H^{-1}(0)$ of a Hamiltonian system. Using this result, trajectories with small energy $H=μ>0$ shadowing chains of homoclinic orbits to $M$ are represented as extremals of a discrete variational problem, and their existence is proved. This paper is motivated by applications to the Poincaré second species solutions of the 3 body problem with 2 masses small of order $μ$. As $μ\to 0$, double collisions of small bodies correspond to a symplectic critical manifold of the regularized Hamiltonian system.