September 1, 2020
September 1, 2020 from 10:00 to 11:00 (Montreal/EST time) Zoom meeting
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.