Rigorous Numerical Studies of the Existence of Periodic Orbits for the Hénon Map
Дата
Авторы
Galias,Zbigniew
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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.
Ключевые слова
chaos , computer assisted proof , interval arithmetic.