Special Session 111: Computational dynamics in Hamiltonian and dissipative systems
Contents
We present an algorithm for rigorous validation of the existence and stability of branches of elliptic periodic orbits for area preserving maps. The method utilizes validated numerics for higher order derivatives of maps with analysis of normal form of the map at periodic point. As an application we give a computer assisted proof of the existence of wide branches of stable elliptic periodic orbits for the Michelson system and for the Henon-Heiles system.