Equilibrium validation in models for pattern formation based on Sobolev embeddings

Abstract: 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).

analysis of PDEsclassical analysis and ODEsdynamical systemsfunctional analysisnumerical analysis

Audience: researchers in the discipline

CRM CAMP (Computer-Assisted Mathematical Proofs) in Nonlinear Analysis

Series comments: To have access to the zoom details of the talks, please register at www.crm.math.ca/camp-nonlinear