CRM CAMP in Nonlinear Analysis

Computer-Assisted Mathematical Proofs in Nonlinear Analysis

December 3, 2020 from 10:45 to 11:00 (Montreal/EST time) Zoom meeting

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

Seminar presented by 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.