December 3, 2020
CRM-CAMP SPOTLIGHT ON GRADUATE RESEARCH: Computer-assisted proofs of two-dimensional attracting invariant tori for ODEs
December 3, 2020 from 10:45 to 11:00 (Montreal/EST time) Zoom meeting
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.