Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
From MaRDI portal
(Redirected from Publication:383608)
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.
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
Cites work
- scientific article; zbMATH DE number 3766528 (Why is no real title available?)
- scientific article; zbMATH DE number 523960 (Why is no real title available?)
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Bifurcation from simple eigenvalues
- Diffusion, cross-diffusion and competitive interaction
- Existence of global solutions for the Shigesada-Kawasaki-Teramoto model with weak cross-diffusion
- Global smooth solution curves using rigorous branch following
- 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
- Pattern formation in the Brusselator system
- Reaction-diffusion system approximation to the cross-diffusion competition system
- Singular Perturbation Approach to a 3-component Reaction-Diffusion System Arising in Population Dynamics
- Some global results for nonlinear eigenvalue problems
- The chemical basis of morphogenesis
- Validated Continuation for Equilibria of PDEs
Cited in
(37)- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
- Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- Validation of the bifurcation diagram in the 2D Ohta-Kawasaki problem
- Rigorous validation of stochastic transition paths
- On the influence of cross-diffusion in pattern formation
- Validated computations for connecting orbits in polynomial vector fields
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: a computer-assisted proof
- A construction of two different solutions to an elliptic system
- Continuation of solutions and studying delay differential equations via rigorous numerics
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- A posteriori verification of invariant objects of evolution equations: periodic orbits in the Kuramoto-Sivashinsky PDE
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- Numerical continuation for a fast-reaction system and its cross-diffusion limit
- Computer-assisted methods for analyzing periodic orbits in vibrating gravitational billiards
- Rigorous numerics for nonlinear operators with tridiagonal dominant linear part
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Torus knot choreographies in the \(n\)-body problem
- A proof of Jones' conjecture
- Computational methods in perturbation theory
- Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE
- Rigorous verification of Hopf bifurcations via desingularization and continuation
- 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
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Hopf bifurcations in the full SKT model and where to find them
- Differential equations arising from organising principles in biology. Abstracts from the workshop held September 23--29, 2018
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions
- A Posteriori Validation of Generalized Polynomial Chaos Expansions
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
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)
