Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
From MaRDI portal
(Redirected from Publication:1704549)
spectral analysiseigenvalue problemone space dimensionrigorous numericsNewton-Kantorovich theoremfixed point argumentcomputer-assisted methoda posteriori validation procedure
Population dynamics (general) (92D25) Stability in context of PDEs (35B35) Quasilinear parabolic equations (35K59) Initial-boundary value problems for second-order parabolic systems (35K51) PDEs in connection with biology, chemistry and other natural sciences (35Q92) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25) Algorithms with automatic result verification (65G20)
Abstract: In this paper, we present and apply a computer-assisted method to study steady states of a triangular cross-diffusion system. Our approach consist in an a posteriori validation procedure, that is based on using a fxed point argument around a numerically computed solution, in the spirit of the Newton-Kantorovich theorem. It allows us to prove the existence of various non homogeneous steady states for different parameter values. In some situations, we get as many as 13 coexisting steady states. We also apply the a posteriori validation procedure to study the linear stability of the obtained steady states, proving that many of them are in fact unstable.
Recommendations
- Nonexistence of nonconstant steady-state solutions in a triangular cross-diffusion model
- scientific article; zbMATH DE number 1264349
- scientific article; zbMATH DE number 2202061
- Existence and instability of some nontrivial positive steady states for the SKT model with double cross diffusion
- scientific article; zbMATH DE number 2122835
Cites work
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- A simple method for error bounds of eigenvalues of symmetric matrices
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Automatic differentiation for Fourier series and the radii polynomial approach
- Blow-up profile for solutions of a fourth order nonlinear equation
- Coexistence problem for two competing species models with density- dependent diffusion
- Coexistence theorem of steady states for nonlinear self-cross diffusion systems with competitive dynamics.
- Computer-assisted enclosure methods for elliptic differential equations
- 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
- Covering relations for multidimensional dynamical systems
- Covering relations, cone conditions and the stable manifold theorem
- Diffusion, cross-diffusion and competitive interaction
- Dynamic theory of quasilinear parabolic systems. III: Global existence
- Effect of domain-shape on coexistence problems in a competition-diffusion system
- Existence of global solutions for the Shigesada-Kawasaki-Teramoto model with weak cross-diffusion
- Geometric proof for normally hyperbolic invariant manifolds
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Graph approach to the computation of the homology of continuous maps
- Invariant densities and escape rates: rigorous and computable approximations in the \(L^{\infty }\)-norm
- New results for triangular reaction cross diffusion system
- On a limiting system in the Lotka-Volterra competition with cross-diffusion.
- On the Entropic Structure of Reaction-Cross Diffusion Systems
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Pattern formation in a cross-diffusion system
- Pattern formation in competition-diffusion systems in nonconvex domains
- Reaction-diffusion system approximation to the cross-diffusion competition system
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
- Rigorous computation of invariant measures and fractal dimension for maps with contracting fibers: 2D Lorenz-like maps
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- Rigorous numerics for NLS: bound states, spectra, and controllability
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Rigorous numerics in Floquet theory: computing stable and unstable bundles of periodic orbits
- Rigorous numerics in dynamics
- Some symmetric boundary value problems and non-symmetric solutions
- Spatial segregation in competitive interaction-diffusion equations
- Stationary coexistence of hexagons and rolls via rigorous computations
- The diffusive Lotka-Volterra system with three species can have a stable non-constant equilibrium solution
- The spatial homogeneity of stable equilibria of some reaction-diffusion systems on convex domains
- Topological invariants, multivalued maps and computer assisted proofs in dynamics
- Validated Continuation for Equilibria of PDEs
Cited in
(14)- Differential equations arising from organising principles in biology. Abstracts from the workshop held September 23--29, 2018
- Global dynamics in nonconservative nonlinear Schrödinger equations
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Computer-assisted proofs for some nonlinear diffusion problems
- 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
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
- On the influence of cross-diffusion in pattern formation
- Numerical continuation for a fast-reaction system and its cross-diffusion limit
- Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing
- Hopf bifurcations in the full SKT model and where to find them
- Rigorous verification of Hopf bifurcations via desingularization and continuation
- Nonexistence of nonconstant steady-state solutions in a triangular cross-diffusion model
- A common approach to singular perturbation and homogenization. II: Semilinear elliptic systems
This page was built for publication: Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1704549)
