CRM CAMP in Nonlinear Analysis

Computer-Assisted Mathematical Proofs in Nonlinear Analysis

October 27, 2020 from 10:00 to 11:00 (Montreal/EST time) Zoom meeting

Equilibrium validation in models for pattern formation based on Sobolev embeddings

Seminar presented by Evelyn Sander (George Mason University, USA)

In this talk, I describe a method of computer-assisted proof focused on continuation of solutions depending on a parameter. These techniques are applied to the Ohta-Kawasaki model for the dynamics of diblock copolymers in dimensions one, two, and three. The functional analytic approach and techniques can be generalized to other parabolic partial differential equations. This is joint work with Thomas Wanner (George Mason University).