Session II.1 - Computational Dynamics
Friday, June 16, 17:00 ~ 17:30
Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: computer-assisted proofs of existence
Jean-Philippe Lessard
McGill University, Canada - This email address is being protected from spambots. You need JavaScript enabled to view it.
In this talk we present a general method to rigorously prove existence of strong solutions to a large class of semi-linear PDEs in Sobolev/Hilbert spaces via computer-assisted proofs. Considering a large enough hypercube, we use Fourier series to compute a numerical approximation of the solution, which is then refined via a finite-dimensional trace theorem to obtain a smooth function with support on the hypercube. Finally, a Newton-Kantorovich theorem is applied to demonstrate that a true solution exists nearby this refined solution. As an application, we prove the existence of stationary non-radial localized patterns in the planar Swift-Hohenberg PDE.