Abstract:In this article, we develop a method to perform constructive proofs of existence of smooth planar localized patterns in the Gray-Scott model. Specifically, we construct a natural Hilbert space $H^l$ for the study of systems of autonomous semi-linear PDEs, on which products and differential operators are well-defined. Then, given an approximate solution $\mathbf{u}_0$, we derive a Newton-Kantorovich approach based on the construction of an approximate inverse of the linearization around $\mathbf{u}_0$. In particular, we derive a condition under which we prove the existence of a unique solution in a neighborhood of $\mathbf{u}_0$. Such a condition can be verified thanks to the explicit computation of different upper bounds, for which analytical details are presented. Furthermore, we provide an extra condition under which localized patterns are proven to be the limit of an unbounded branch of (spatially) periodic solutions as the period tends to infinity. We then demonstrate our approach by proving (constructively) the existence of four different localized patterns in the 2D Gray-Scott model. In addition, these solutions are proven to satisfy the $D_4$-symmetry. That is, the symmetry of the square. The algorithmic details to perform the computer-assisted proofs are available on GitHub.

Solvability of invariant systems of differential equations on $\mathbb{H}^2$ and beyond

Solving equations with Hodge theory

Heat Kernel and Moduli Spaces II

On the Solvability of Linear Differential Operators on Vector Bundles over a Manifold

Patterns of Non-Stationary Solutions to Symmetric Systems of Second-Order Differential Equations

$\mathcal{C}^{\infty}$-symmetries of distributions and integrability

On solvability of dissipative partial differential-algebraic equations

Solvability of a class of systems of quadratic integral equations

On a Theorem of Halphen and its Application to Integrable Systems

Global solvability and hypoellipticity for evolution operators on tori and spheres

Global Solutions of Quasilinear Wave-Klein–gordon System in Two-Space Dimension: Completion of the Proof

Smoothness of solutions of hyperbolic stochastic partial differential equations with $L^{\infty}$-vector fields

Polynomial Bundles and Generalised Fourier Transforms for Integrable Equations on A.III-type Symmetric Spaces

On k-wave solutions of quasilinear systems of partial differential equations

Stability of nearly Kähler and nearly parallel $G_2$-manifolds

The solvability of inhomogeneous boundary-value problems in Sobolev spaces

A "nonlinear duality" approach to $ W_0^{1, 1} $ solutions in elliptic systems related to the Keller-Segel model

Solutions of Helmholtz and Schrödinger Equations with Side Condition and Nonregular Separation of Variables

Symmetry and uniqueness of nonnegative solutions of some problems in the halfspace

The 2D Gray-Scott system of equations: constructive proofs of existence of localized stationary patterns