Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
From MaRDI portal
Publication:1704549
DOI10.1016/J.JDE.2018.01.033zbMATH Open1458.35220arXiv1704.03827OpenAlexW2962738206MaRDI QIDQ1704549FDOQ1704549
Authors: Maxime Breden, Roberto Castelli 
Publication date: 12 March 2018
Published in: Journal of Differential Equations (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1704.03827
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
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)
Cites Work
- Title not available (Why is that?)
- On a limiting system in the Lotka-Volterra competition with cross-diffusion.
- Automatic differentiation for Fourier series and the radii polynomial approach
- Rigorous numerics in Floquet theory: computing stable and unstable bundles of periodic orbits
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Dynamic theory of quasilinear parabolic systems. III: Global existence
- New results for triangular reaction cross diffusion system
- On the Entropic Structure of Reaction-Cross Diffusion Systems
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
- Graph approach to the computation of the homology of continuous maps
- Existence of global solutions for the Shigesada-Kawasaki-Teramoto model with weak cross-diffusion
- Covering relations for multidimensional dynamical systems
- The spatial homogeneity of stable equilibria of some reaction-diffusion systems on convex domains
- Rigorous computation of invariant measures and fractal dimension for maps with contracting fibers: 2D Lorenz-like maps
- Validated Continuation for Equilibria of PDEs
- Invariant densities and escape rates: rigorous and computable approximations in the \(L^{\infty }\)-norm
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- Stationary coexistence of hexagons and rolls via rigorous computations
- Pattern formation in competition-diffusion systems in nonconvex domains
- Diffusion, cross-diffusion and competitive interaction
- Covering relations, cone conditions and the stable manifold theorem
- Rigorous numerics in dynamics
- Geometric proof for normally hyperbolic invariant manifolds
- Spatial segregation in competitive interaction-diffusion equations
- The diffusive Lotka-Volterra system with three species can have a stable non-constant equilibrium solution
- Reaction-diffusion system approximation to the cross-diffusion competition system
- Pattern formation in a cross-diffusion system
- Coexistence problem for two competing species models with density- dependent diffusion
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- Coexistence theorem of steady states for nonlinear self-cross diffusion systems with competitive dynamics.
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- Effect of domain-shape on coexistence problems in a competition-diffusion system
- Topological invariants, multivalued maps and computer assisted proofs in dynamics
- Computer-assisted enclosure methods for elliptic differential equations
- Some symmetric boundary value problems and non-symmetric solutions
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- A simple method for error bounds of eigenvalues of symmetric matrices
- Blow-up profile for solutions of a fourth order nonlinear equation
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
- Rigorous numerics for NLS: bound states, spectra, and controllability
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation
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
- Computer-assisted proofs for some nonlinear diffusion problems
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- 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
- A common approach to singular perturbation and homogenization. II: Semilinear elliptic systems
- Nonexistence of nonconstant steady-state solutions in a triangular cross-diffusion model
Uses Software
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)
