Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
From MaRDI portal
Publication:383608
DOI10.1007/S10440-013-9823-6zbMATH Open1277.65088arXiv1511.01414OpenAlexW1965378656MaRDI QIDQ383608FDOQ383608
Authors: Maxime Breden, Jean-Philippe Lessard, M. Vanicat 
Publication date: 5 December 2013
Published in: Acta Applicandae Mathematicae (Search for Journal in Brave)
Abstract: In this paper, we use rigorous numerics to compute several global smooth branches of steady states for a system of three reaction-diffusion PDEs introduced by Iida et al. [J. Math. Biol., {�f 53}, 617--641 (2006)] to study the effect of cross-diffusion in competitive interactions. An explicit and mathematically rigorous construction of a global bifurcation diagram is done, except in small neighborhoods of the bifurcations. The proposed method, even though influenced by the work of van den Berg et al. [Math. Comp., {�f 79}, 1565--1584 (2010)], introduces new analytic estimates, a new {em gluing-free} approach for the construction of global smooth branches and provides a detailed analysis of the choice of the parameters to be made in order to maximize the chances of performing successfully the computational proofs.
Full work available at URL: https://arxiv.org/abs/1511.01414
Recommendations
- Publication:3487855
- Numerical bifurcation and stability analysis for steady-states of reaction diffusion equations
- scientific article; zbMATH DE number 5927525
- Local bifurcation and stability of steady state solutions of a reaction-diffusion systems
- On the applications of a global bifurcation theorem to the reaction-diffusion systems
- Bifurcation and stability analysis of the steady solution for a reaction-diffusion equation
- Steady state bifurcation and patterns of reaction-diffusion equations
- Global bifurcation for a reaction-diffusion system with inclusions
- Global attractors and steady state solutions for a class of reaction-diffusion systems
- scientific article; zbMATH DE number 3859611
Nonlinear parabolic equations (35K55) Error bounds for boundary value problems involving PDEs (65N15) Computational methods for bifurcation problems in dynamical systems (37M20)
Cites Work
- Some global results for nonlinear eigenvalue problems
- Bifurcation from simple eigenvalues
- Title not available (Why is that?)
- On the global existence of a cross-diffusion system
- The chemical basis of morphogenesis
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- 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
- Pattern formation in the Brusselator system
- Title not available (Why is that?)
- Global smooth solution curves using rigorous branch following
- Existence of global solutions for the Shigesada-Kawasaki-Teramoto model with weak cross-diffusion
- Validated Continuation for Equilibria of PDEs
- Diffusion, cross-diffusion and competitive interaction
- Reaction-diffusion system approximation to the cross-diffusion competition system
- Singular Perturbation Approach to a 3-component Reaction-Diffusion System Arising in Population Dynamics
Cited In (37)
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Rigorous numerics for nonlinear operators with tridiagonal dominant linear part
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: a computer-assisted proof
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- Validated computations for connecting orbits in polynomial vector fields
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- Differential equations arising from organising principles in biology. Abstracts from the workshop held September 23--29, 2018
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
- Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems
- Rigorous validation of stochastic transition paths
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions
- Computational methods in perturbation theory
- A Posteriori Validation of Generalized Polynomial Chaos Expansions
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Validation of the bifurcation diagram in the 2D Ohta-Kawasaki problem
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Torus knot choreographies in the \(n\)-body problem
- On the influence of cross-diffusion in pattern formation
- Continuation of solutions and studying delay differential equations via rigorous numerics
- A construction of two different solutions to an elliptic system
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
- Numerical continuation for a fast-reaction system and its cross-diffusion limit
- Hopf bifurcations in the full SKT model and where to find them
- Rigorous verification of Hopf bifurcations via desingularization and continuation
- Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series
- Computer-assisted methods for analyzing periodic orbits in vibrating gravitational billiards
- Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
- A posteriori verification of invariant objects of evolution equations: periodic orbits in the Kuramoto-Sivashinsky PDE
- A proof of Jones' conjecture
- Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q383608)
