Rigorous verification of saddle-node bifurcations in ODEs
From MaRDI portal
Publication:307743
DOI10.1016/j.indag.2016.06.012zbMath1351.34045OpenAlexW2464311161MaRDI QIDQ307743
Publication date: 5 September 2016
Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.indag.2016.06.012
Bifurcation theory for ordinary differential equations (34C23) Applications of operator theory to differential and integral equations (47N20) Computational methods for bifurcation problems in dynamical systems (37M20)
Related Items (5)
Validated numerics for continuation and bifurcation of connecting orbits of maps ⋮ Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems ⋮ Unnamed Item ⋮ Rigorous verification of Hopf bifurcations in functional differential equations of mixed type ⋮ Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Period doubling in the Rössler system -- a computer assisted proof
- Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
- Iterative improvement of componentwise error bounds of invariant subspaces belonging to a double or nearly double eigenvalue
- 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 eigenvector bounds
- On necessary and sufficient conditions for numerical verification of double turning points
- Rigorous Verification of Bifurcations of Differential Equations via the Conley Index Theory
- A method to rigorously enclose eigendecompositions of interval matrices
- Validated Continuation for Equilibria of PDEs
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Rigorous verification of cocoon bifurcations in the Michelson system
- Computational error bounds for multiple or nearly multiple eigenvalues
This page was built for publication: Rigorous verification of saddle-node bifurcations in ODEs
