Rigorous verification of saddle-node bifurcations in ODEs
DOI10.1016/J.INDAG.2016.06.012zbMATH Open1351.34045OpenAlexW2464311161MaRDI QIDQ307743FDOQ307743
Authors: Jean-Philippe Lessard 
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
Recommendations
- Stability of a saddle node bifurcation under numerical approximations
- Rigorous verification of bifurcations of differential equations via the Conley index theory
- Saddle-node bifurcations of multiple homoclinic solutions in odes
- Numerical Computation of Saddle-Node Homoclinic Bifurcation Points
- Rigorous verification of Hopf bifurcations via desingularization and continuation
- Verification methods for nonlinear equations with saddle point functions
- Asymptotics of Dynamical Saddle-node Bifurcations
- scientific article; zbMATH DE number 2092198
- Asymptotics of the solution of a differential equation in a saddle-node bifurcation
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)
Cites Work
- Title not available (Why is that?)
- 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
- Ordinary differential equations with applications
- 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
- Iterative improvement of componentwise error bounds of invariant subspaces belonging to a double or nearly double eigenvalue
- 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 eigenpairs of complex interval matrices.
- Validated Continuation for Equilibria of PDEs
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
- Computational error bounds for multiple or nearly multiple eigenvalues
- 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
Cited In (9)
- Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems
- Codimension-\(m\) bifurcation theorems applicable to the numerical verification methods
- Stability of a saddle node bifurcation under numerical approximations
- Title not available (Why is that?)
- Validated numerics for continuation and bifurcation of connecting orbits of maps
- Rigorous verification of bifurcations of differential equations via the Conley index theory
- Rigorous verification of Hopf bifurcations via desingularization and continuation
- Validated saddle-node bifurcations and applications to lattice dynamical systems
- Rigorous verification of Hopf bifurcations in functional differential equations of mixed type
Uses Software
This page was built for publication: Rigorous verification of saddle-node bifurcations in ODEs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q307743)
