4 papers
Proving symmetry of localized solutions and application to dihedral patterns in the planar Swift-Hohenberg PDE
Dominic Blanco, Matthieu Cadiot
In this article, we extend the framework developed in \cite{unbounded_domain_cadiot} to allow for rigorous proofs of existence of smooth, localized solutions in semi-linear partial…
Stability analysis for localized solutions in PDEs and nonlocal equations on
Matthieu Cadiot
In this paper, we present a general methodology for investigating the linear stability of localized solutions in PDEs and nonlocal equations on . More specifically, w…
Recent advances about the rigorous integration of parabolic PDEs via fully spectral Fourier-Chebyshev expansions
Matthieu Cadiot, Jean-Philippe Lessard
This paper presents a novel approach to rigorously solving initial value problems for semilinear parabolic partial differential equations (PDEs) using fully spectral Fourier-Chebys…
Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs
Matthieu Cadiot, Jonathan Jaquette, Jean-Philippe Lessard +1
In this paper, we achieve three primary objectives related to the rigorous computational analysis of nonlinear PDEs posed on complex geometries such as disks and cylinders. First,…