JUCS - Journal of Universal Computer Science 4(2): 114-124, doi: 10.3217/jucs-004-02-0114
Rigorous Numerical Studies of the Existence of Periodic Orbits for the Hénon Map
expand article infoZbigniew Galias‡
‡ Department of Electrical Engineering University of Mining and Metallurgy Kraków, Poland

Corresponding author: Zbigniew Galias ( galias@zet.agh.edu.pl )

© Zbigniew Galias.
This article is freely available under the J.UCS Open Content License.
Citation: Galias Z (1998) Rigorous Numerical Studies of the Existence of Periodic Orbits for the Hénon Map. JUCS - Journal of Universal Computer Science 4(2): 114-124. https://doi.org/10.3217/jucs-004-02-0114
Open Access
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.