Seminar
September 1, 2020 from 10:00 to 11:00 (Montreal/EST time) Zoom meeting
Computer assisted proofs of Arnold Diffusion
Seminar presented by Maciej Capiński (AGH University of Science and Technology, Poland)
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.
