Computer assisted proof of the existence of homoclinic tangency for the Henon map and for the forced-damped pendulum
classification
🧮 math.DS
math.NA
keywords
assistedcomputerexistencehenonhomoclinicmethodpendulumtangency
read the original abstract
We present a topological method for the efficient computer assisted verification of the existence of the homoclinic tangency which unfolds generically in a one-parameter family of planar maps. The method has been applied to the Henon map and the forced damped pendulum ODE.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.