Stability analysis for localized solutions in PDEs and nonlocal equations on $\mathbb{R}^m$

TL;DR

This paper introduces a computer-assisted methodology to rigorously analyze the linear stability of localized solutions in PDEs and nonlocal equations on bR^m, by controlling the spectrum of the Jacobian operator through Fourier analysis and explicit estimates.

Contribution

It develops a novel, rigorous, computer-assisted approach for spectral stability analysis of localized solutions in PDEs and nonlocal equations on bR^m, combining Fourier methods with spectral enclosure techniques.

Findings

Validated stability of solutions in the Swift-Hohenberg PDE

Established spectral bounds for Gray-Scott model solutions

Applied method to the Whitham equation for stability analysis

Abstract

In this paper, we present a general methodology for investigating the linear stability of localized solutions in PDEs and nonlocal equations on $\mathbb{R}^m$. More specifically, we control the spectrum of the Jacobian $D\mathbb{F}(\tilde{u})$ at a localized solution $\tilde{u}$, enclosing both the eigenvalues and the essential spectrum. Our approach is computer-assisted and is based on a controlled approximation of $D\mathbb{F}(\tilde{u})$ by its Fourier coefficients counterpart on a bounded domain $\Omega_d = (-d,d)^m$. We first control the spectrum of the Fourier coefficients operator combining a pseudo-diagonalization and a generalized Gershgorin disk theorem. Then, deriving explicit estimates between the problem on $\Omega_d$ and the one on $\mathbb{R}^m$, we construct disks in the complex plane enclosing the eigenvalues of $D\mathbb{F}(\tilde{u})$. Using computer-assisted analysis, the localization of the spectrum is made rigorous and fully explicit. We present applications to the establishment of stability for localized solutions in the planar Swift-Hohenberg PDE, in the planar Gray-Scott model and in the capillary-gravity Whitham equation.