Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation

DOI10.1007/s10440-017-0101-xzbMath1376.65134OpenAlexW2618618032WikidataQ59512974 ScholiaQ59512974MaRDI QIDQ2412747

Roberto Castelli

Publication date: 27 October 2017

Published in: Acta Applicandae Mathematicae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10440-017-0101-x

zbMATH Keywords

numerical examplesbifurcationerror boundsverification methodmultiple solutioncontraction mapping theoremrigorous numericspattern dynamics2-dimensional Gray-Scott reaction-diffusion equationradii polynomial method

Mathematics Subject Classification ID

Reaction-diffusion equations (35K57) Algorithms with automatic result verification (65G20) Bifurcations in context of PDEs (35B32) Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems (65M99)

Related Items

A nonlocal Gray-Scott model: well-posedness and diffusive limit ⋮ Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation ⋮ Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof ⋮ Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions ⋮ A general framework for validated continuation of periodic orbits in systems of polynomial ODEs

Uses Software

• INTLAB

Cites Work

• Unnamed Item
• Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
• Computational fixed-point theory for differential delay equations with multiple time lags
• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
• Stability and instability in the Gray-Scott model: The case of equal diffusivities
• A skeleton structure of self-replicating dynamics
• Axisymmetric ring solutions of the 2D Gray-Scott model and their destabilization into spots
• Rigorous numerics for NLS: bound states, spectra, and controllability
• Pattern formation in the Gray-Scott model
• Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
• Rigorous Numerics in Floquet Theory: Computing Stable and Unstable Bundles of Periodic Orbits
• Verification methods: Rigorous results using floating-point arithmetic
• Computer assisted proof for normally hyperbolic invariant manifolds
• The Stability and Dynamics of Localized Spot Patterns in the Two-Dimensional Gray–Scott Model
• Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
• Validated Continuation for Equilibria of PDEs
• Localized patterns in reaction-diffusion systems
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• The chemical basis of morphogenesis
• Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
• Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form
• Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
• Rigorous verification of cocoon bifurcations in the Michelson system
• On ring-like solutions for the Gray–Scott model: existence, instability and self-replicating rings
• Pattern formations in two-dimensional Gray-Scott model: Existence of single-spot solutions and their stability
• Spatio-temporal chaos for the Gray-Scott model
• Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation