Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system

DOI10.1007/S10440-013-9823-6zbMath1277.65088arXiv1511.01414OpenAlexW1965378656MaRDI QIDQ383608

Maxime Breden, Matthieu Vanicat, Jean-Philippe Lessard

Publication date: 5 December 2013

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

Full work available at URL: https://arxiv.org/abs/1511.01414

zbMATH Keywords

bifurcation diagramcontraction mappingrigorous numericsequilibria of systems of PDEs

Mathematics Subject Classification ID

Nonlinear parabolic equations (35K55) Error bounds for boundary value problems involving PDEs (65N15) Computational methods for bifurcation problems in dynamical systems (37M20)

Related Items (36)

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ A construction of two different solutions to an elliptic system ⋮ Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra ⋮ Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence ⋮ Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos ⋮ Continuation of solutions and studying delay differential equations via rigorous numerics ⋮ Rigorous continuation of bifurcation points in the diblock copolymer equation ⋮ Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof ⋮ Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation ⋮ Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem ⋮ Hopf bifurcations in the full SKT model and where to find them ⋮ Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof ⋮ Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof ⋮ A Posteriori Validation of Generalized Polynomial Chaos Expansions ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof ⋮ Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems ⋮ A proof of Jones' conjecture ⋮ Numerical continuation for a fast-reaction system and its cross-diffusion limit ⋮ Torus knot choreographies in the n-body problem ⋮ Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions ⋮ A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE ⋮ A general framework for validated continuation of periodic orbits in systems of polynomial ODEs ⋮ Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach ⋮ On the influence of cross-diffusion in pattern formation ⋮ Validated computations for connecting orbits in polynomial vector fields ⋮ Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE ⋮ Computer-Assisted Methods for Analyzing Periodic Orbits in Vibrating Gravitational Billiards ⋮ Differential equations arising from organising principles in biology. Abstracts from the workshop held September 23--29, 2018 ⋮ Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation ⋮ Rigorous validation of stochastic transition paths ⋮ Rigorous numerics for nonlinear operators with tridiagonal dominant linear part

Cites Work

• Unnamed Item
• Unnamed Item
• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
• Diffusion, cross-diffusion and competitive interaction
• Numerical methods in bifurcation problems. Lectures delivered at the Indian Institute of Science, Bangalore, under the T.I.F.R.-I.I.Sc. Programme in Applications of Mathematics. Notes by A. K. Nandakumaran and Mythily Ramaswamy
• On the global existence of a cross-diffusion system
• Existence of global solutions for the Shigesada-Kawasaki-Teramoto model with weak cross-diffusion
• Reaction-diffusion system approximation to the cross-diffusion competition system
• Some global results for nonlinear eigenvalue problems
• Bifurcation from simple eigenvalues
• Pattern formation in the Brusselator system
• Validated Continuation for Equilibria of PDEs
• Global smooth solution curves using rigorous branch following
• Singular Perturbation Approach to a 3-component Reaction-Diffusion System Arising in Population Dynamics
• The chemical basis of morphogenesis

This page was built for publication: Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system