### Constructive proofs of existence in differential equations on R^n

- Series
- CDSNS Colloquium
- Time
- Friday, April 26, 2024 - 15:30 for 1 hour (actually 50 minutes)
- Location
- Skiles 254
- Speaker
- Matthieu Cadiot – McGill University – matthieu.cadiot@mail.mcgill.ca

**Please Note:** Zoom link to attend remotely: https://gatech.zoom.us/j/91390791493?pwd=QnpaWHNEOHZTVXlZSXFkYTJ0b0Q0UT09

In this talk I will present a computer-assisted method to study solutions vanishing at infinity in differential equations on R^n. Such solutions arise naturally in various models, in the form of traveling waves or localized patterns for instance, and involve multiple challenges to address both on the numerical and on the analytical side. Using spectral techniques, I will explain how Fourier series can serve as an approximation of the solution as well as an efficient mean for the construction of a fixed-point operator for the proof. To illustrate the method, I will present applications to the constructive proof of localized patterns in the 2D Swift-Hohenberg equation and in the Gray-Scott model. The method extends to non-local equations and proofs of solitary travelling waves in the (capillary-gravity) Whitham equation will be exposed.