CRM CAMP in Nonlinear Analysis

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

16 mars 2021 de 9 h 00 à 10 h 00 (heure de Montréal/HNE) Réunion Zoom

Computer assisted existence proof of complicated dynamics in forced delay action oscillator modelling El Nino phenomena

Séminaire par Shin'ichi Oishi (Waseda University, Japan)

A computer assisted proof is presented for the existence of various periodic solutions for forced Suarez-Schopf's equation, which are delay differential equations modeling El Nino. Tight inclusions of periodic solutions are calculated through numerical verification method by utilizing a structure of Galerkin's equation for forced Suarez-Schopf's equation effectively. The existence of various periodic solutions has been proved via computer assisted proofs including various subharmonics. Especially, coexistence of several subharmonics are proved and numerical simulations are presented suggesting an appearance of chaos.