1 septembre 2020
1 septembre 2020 de 10 h 00 à 11 h 00 (heure de Montréal/HNE) Réunion Zoom
We will present three methods that can be used for computer assisted proofs of Arnold diffusion in Hamiltonian systems. The first is the classical Melnikov method; the second is based a shadowing lemma in the setting of the scattering map theory; the last is based on topological shadowing using correctly aligned windows and cones. We will also discuss an application in the setting of the Planar Elliptic Restricted Three Body Problem.