CRM CAMP in Nonlinear Analysis

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

3 décembre 2020 de 10 h 45 à 11 h 00 (heure de Montréal/HNE) Réunion Zoom

CRM-CAMP SPOTLIGHT ON GRADUATE RESEARCH: Computer-assisted proofs of two-dimensional attracting invariant tori for ODEs

Séminaire par Emmanuel Fleurantin (Florida Atlantic University, USA)

We study the existence and regularity questions for attracting invariant tori in three dimensional dissipative systems of ordinary differential equations. Our main result is a constructive method of computer assisted proof which applies to explicit problems in non-perturbative regimes. We consider separately two important cases of rotational and resonant tori for which we describe how we apply our methods. This is a joint work with Maciej Capinski and J.D. Mireles-James.