We describe a recent method to show instability in Hamiltonian systems. The main hypothesis of the method is that some explicit transversality conditions – which can be verified in concrete systems by finite calculations – are satisfied. In particular, for several types of perturbations of integrable Hamiltonian systems, the hypothesis can be verified by just checking that some Melnikov-type integrals have non-degenerate zeros. This holds for Baire generic sets of perturbations in the \begin{document}$ C^r $\end{document} -topology, for \begin{document}$ r \in [3, \infty) \cup \{\omega\} $\end{document} . Our method does not require that the unperturbed Hamiltonian system is convex, or that the perturbation is polynomial, which are non-generic properties. Provided that the transversality conditions are verified, one concludes the existence of orbits which change the action coordinate by a quantity independent of the size of the perturbation. In fact, one can obtain orbits that follow any path in action space, up to an error decreasing with the size of the perturbation.
Read full abstract