Computer assisted proofs of Arnold Diffusion
Maciej CapiĆski (AGH University of Science and Technology, Poland)
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 |