From the 1 of 11 linked papers with an AI index.
11 papers
Global Bifurcation and the Constructive Existence of Overhanging Periodic Steady Water Waves
Matthieu Cadiot, Susanna Haziot
The paper gives a constructive proof that overhanging periodic gravity water waves with constant vorticity exist, using a conformal mapping and global bifurcation methods combined…
Proving the existence of localized patterns and saddle node bifurcations in 1D activator-inhibitor type models
Dominic Blanco, Matthieu Cadiot, Daniel Fassler
In this paper, we present a general framework for constructively proving the existence and stability of stationary localized 1D solutions and saddle-node bifurcations in activator-…
Existence proofs of traveling wave solutions on an infinite strip for the suspension bridge equation and proof of orbital stability
Lindsey van der Aalst, Matthieu Cadiot
In this paper, we present a computer-assisted approach for constructively proving the existence of traveling wave solutions of the suspension bridge equation on the infinite strip…
Constructive existence proofs and stability of stationary solutions to parabolic PDEs using Gegenbauer polynomials
Maxime Breden, Matthieu Cadiot, Antoine Zurek
In this paper, we present a computer-assisted framework for constructive proofs of existence for stationary solutions to one-dimensional parabolic PDEs and the rigorous determinati…
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…