CRM CAMP in Nonlinear Analysis

Computer-Assisted Mathematical Proofs in Nonlinear Analysis

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

CRM-CAMP SPOTLIGHT ON GRADUATE RESEARCH: Periodic orbit for Brusselator system with diffusion

Seminar presented by Jakub Banaśkiewicz (Jagiellonian University, Poland)

We will present numerical evidence for the existence of periodic solutions to a one-dimensional Brusselator system with diffusion and Dirichlet boundary conditions. Then we discuss a plan for proving their existence by a rigorous integration of differential inclusion corresponding to the first modes of the Galerkin projection and dissipative estimations on further modes.