Rigorous verification of saddle-node bifurcations in ODEs
type: Item
instance of: scholarly article
title: Rigorous verification of saddle-node bifurcations in ODEs
zbMATH Open document ID: 1351.34045
author: Jean-Philippe Lessard
published in: Indagationes Mathematicae. New Series
publication date: 2016-09-05T00:00:00Z
Mathematics Subject Classification ID: 34C23
Mathematics Subject Classification ID: 37M20
Mathematics Subject Classification ID: 47N20
zbMATH DE Number: 6623248
zbMATH Keywords: saddle-node bifurcation
zbMATH Keywords: rigorously verified numerics
zbMATH Keywords: contraction mapping theorem
zbMATH Keywords: Hodgkin-Huxley model
describes a project that uses: INTLAB
MaRDI profile type: Publication
full work available at URL: j.indag.2016.06.012
OpenAlex ID: W2464311161
cites work: Iterative improvement of componentwise error bounds of invariant subspaces belonging to a double or nearly double eigenvalue
cites work: Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
cites work: A method to rigorously enclose eigendecompositions of interval matrices
cites work: Q5472808
cites work: Validated Continuation for Equilibria of PDEs
cites work: Q1110275
cites work: Rigorous verification of cocoon bifurcations in the Michelson system
cites work: Rigorous Verification of Bifurcations of Differential Equations via the Conley Index Theory
cites work: Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
cites work: Q4949347
cites work: Computational error bounds for multiple or nearly multiple eigenvalues
cites work: On eigenvector bounds
cites work: On necessary and sufficient conditions for numerical verification of double turning points
cites work: Period doubling in the Rössler system -- a computer assisted proof
cites work: A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
cites work: Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
DOI: 10.1016/J.INDAG.2016.06.012
Recommended article: Stability of a saddle node bifurcation under numerical approximations
Recommended article: Rigorous Verification of Bifurcations of Differential Equations via the Conley Index Theory
Recommended article: Saddle-node bifurcations of multiple homoclinic solutions in odes
Recommended article: Numerical Computation of Saddle-Node Homoclinic Bifurcation Points
Recommended article: Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation
Recommended article: Verification methods for nonlinear equations with saddle point functions
Recommended article: Asymptotics of Dynamical Saddle-node Bifurcations
Recommended article: Q4810984
Recommended article: Asymptotics of the solution of a differential equation in a saddle-node bifurcation
description: scientific article; zbMATH DE number 6623248