Related papers: Constructive existence proofs and stability of sta…
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--inhibitor systems using computer-assisted proofs.…
In this paper, we present a methodology for establishing constructive proofs of existence of smooth, stationary, non-radial localized patterns in the planar Swift-Hohenberg equation. Specifically, given an approximate solution $u_0$, we…
In this paper, we present a general framework for constructively proving the existence and of stationary localized solutions, spatially periodic solutions, and branches of spatially periodic solutions in the 1D Thomas model. Specifically,…
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 $\Omega = \mathbb{R} \times (-d_2,d_2)$. Using a meticulous…
In this manuscript, we present a method to prove constructively the existence and spectral stability of solitary waves in both the Whitham and the capillary-gravity Whitham equations. By employing Fourier series analysis and computer-aided…
We consider the stability analysis of a large class of linear 1-D PDEs with polynomial data. This class of PDEs contains, as examples, parabolic and hyperbolic PDEs, PDEs with boundary feedback and systems of in-domain/boundary coupled…
In this article, we present a comprehensive framework for constructing smooth, localized solutions in systems of semi-linear partial differential equations, with a particular emphasis to the Gray-Scott model. Specifically, we construct a…
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…
In this paper, we introduce a general constructive method to compute solutions of initial value problems of semilinear parabolic partial differential equations on hyper-rectangular domains via semigroup theory and computer-assisted proofs.…
This paper develops validated computational methods for studying infinite dimensional stable manifolds at equilibrium solutions of parabolic PDEs, synthesizing disparate errors resulting from numerical approximation. To construct our…
In this paper, we address stability of parabolic linear Partial Differential Equations (PDEs). We consider PDEs with two spatial variables and spatially dependent polynomial coefficients. We parameterize a class of Lyapunov functionals and…
Ground state solutions of elliptic problems have been analyzed extensively in the theory of partial differential equations, as they represent fundamental spatial patterns in many model equations. While the results for scalar equations, as…
We develop computer-assisted tools to study semilinear equations of the form \begin{equation*} -\Delta u -\frac{x}{2}\cdot \nabla{u}= f(x,u,\nabla u) ,\quad x\in\mathbb{R}^d. \end{equation*} Such equations appear naturally in several…
In this article we present a general method to rigorously prove existence of strong solutions to a large class of autonomous semi-linear PDEs in a Hilbert space $H^{l}\subset H^{s}(\mathbb{R}^{m})$ ($s\geq1$) via computer-assisted proofs.…
In this paper we construct the stationary weak solutions of parabolic SPDEs by a general infinite horizon backward doubly stochastic differential equations (BDSDEs for short) with non-degenerate terminal functions. For this, we first study…
This article is a sequel to [M.Z.Z.1] aimed at completing the characterization of the pathwise local structure of solutions of semilinear stochastic evolution equations (see's) and stochastic partial differential equations (spde's) near…
The work reported in this article presents a high-order, stable, and efficient Gegenbauer pseudospectral method to solve numerically a wide variety of mathematical models. The proposed numerical scheme exploits the stability and the…
This paper proposes a computer-assisted solution existence verification method for the stationary Navier-Stokes equation over general 3D domains. The proposed method verifies that the exact solution as the fixed point of the Newton…
PDEs with periodic boundary conditions are frequently used to model processes in large spatial environments, assuming solutions to extend periodically beyond some bounded interval. However, solutions to these PDEs often do not converge to a…
The main subject of this paper is a computer assisted stability proof for a stationary solution of reaction diffusion equations in one dimensional space. We use Nakao's numerical verification method to enclose a stationary solution of…