CRM CAMP in Nonlinear Analysis

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

27 octobre 2020 de 10 h 00 à 11 h 00 (heure de Montréal/HNE) Réunion Zoom

Equilibrium validation in models for pattern formation based on Sobolev embeddings

Séminaire par 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).