CRM CAMP in Nonlinear Analysis

Computer-Assisted Mathematical Proofs in Nonlinear Analysis

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.