Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems
From MaRDI portal
Publication:2826307
DOI10.1137/16M1061011zbMath1414.35115MaRDI QIDQ2826307
Publication date: 14 October 2016
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
bifurcation diagramcomputer-assisted prooflattice dynamical systemsaddle-node bifurcationsconstructive implicit function theorem
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos ⋮ Computer-assisted bifurcation diagram validation and applications in materials science ⋮ Rigorous continuation of bifurcation points in the diblock copolymer equation ⋮ Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model ⋮ Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators ⋮ Mean random attractors of stochastic lattice fractional delay Gray-Scott equations in higher moment product sequence spaces ⋮ Validated numerics for continuation and bifurcation of connecting orbits of maps ⋮ Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model ⋮ Equilibrium validation in models for pattern formation based on Sobolev embeddings ⋮ A Lefschetz fixed point theorem for multivalued maps of finite spaces
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
- Computer-assisted equilibrium validation for the diblock copolymer model
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
- The implicit function theorem. History, theory, and applications
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Validated continuation over large parameter ranges for equilibria of PDEs
- Grain sizes in the discrete Allen-Cahn and Cahn-Hilliard equations
- Spatially discrete nonlinear diffusion equations
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- Verification methods: Rigorous results using floating-point arithmetic
- A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations
- Validated Continuation for Equilibria of PDEs
- Introduction to Interval Analysis
- Lattice differential equations embedded into reaction–diffusion systems
- The Calculation of Turning Points of Nonlinear Equations
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- The Global Dynamics of Discrete Semilinear Parabolic Equations
- Introduction to Numerical Analysis
- DYNAMICS OF LATTICE DIFFERENTIAL EQUATIONS
- Computer-assisted bifurcation diagram validation and applications in materials science
- Slowly-migrating transition layers for the discrete Allen-Cahn and Cahn-Hilliard equations
- Iterative Solution of Nonlinear Equations in Several Variables
This page was built for publication: Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems
