arXiv:0905.3924 Abstract | arXiv Analytics

arXiv:0905.3924 [math.DS]Abstract References Reviews Resources

Computer assisted proof of the existence of homoclinic tangency for the Henon map and for the forced-damped pendulum

Published 2009-05-24Version 1

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.

Comments: 34 pages, 3 figures

DOI: 10.1137/090759975

Categories: math.DS, math.NA

Subjects: 37N30, 37M20, 34C37

Keywords: computer assisted proof, homoclinic tangency, henon map, forced-damped pendulum, efficient computer assisted verification

Tags: journal article

Related articles: Most relevant | Search more

arXiv:1605.07799 [math.DS] (Published 2016-05-25)

Computer assisted proof of Shil'nikov homoclinics: with application to the Lorenz-84 model

Maciej J. Capinski, Anna Wasieczko-Zajac

arXiv:math/0201278 [math.DS] (Published 2002-01-29, updated 2002-04-17)

Heteroclinic Connections between Periodic Orbits in Planar Restricted Circular Three Body Problem - A Computer Assisted Proof