Rigorous Numerical Studies of the Existence of Periodic Orbits for the Hénon Map
Zbigniew Galias (Department of Electrical Engineering University of Mining and Metallurgy Kraków, Poland)
Abstract: In this paper we perform a rigorous study of the Hénon map. We prove with computer assistance the existence of symbolic dynamics for h2 and h7 and the existence of periodic orbits of all periods but 3 and 5.
Keywords: chaos, computer assisted proof, interval arithmetic.