CRM CAMP in Nonlinear Analysis

Preuves mathématiques assistées par ordinateur en analyse non linéaire

1 septembre 2020 de 10 h 00 à 11 h 00 (heure de Montréal/HNE) Réunion Zoom

Computer assisted proofs of Arnold Diffusion

Séminaire par 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.