Computer assisted proofs of Arnold Diffusion

Maciej CapiƄski (AGH University of Science and Technology, Poland)

01-Sep-2020, 14:00-15:00 (4 years ago)

Abstract: 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.

analysis of PDEsclassical analysis and ODEsdynamical systemsfunctional analysisnumerical analysis

Audience: researchers in the discipline


CRM CAMP (Computer-Assisted Mathematical Proofs) in Nonlinear Analysis

Series comments: To have access to the zoom details of the talks, please register at www.crm.math.ca/camp-nonlinear

Organizers: Jean-Philippe Lessard*, Jason D. Mireles James, Jan Bouwe van den Berg
*contact for this listing

Export talk to