A computer-assisted proof of symbolic dynamics in Hyperion's inner rotation model

Autor:	Gierzkiewicz, Anna, Zgliczyński, Piotr
Rok vydání:	2019
Předmět:	Mathematics - Dynamical Systems 37D45 (Primary) 37N05 70F15 (Secondary)
Druh dokumentu:	Working Paper
DOI:	10.1007/s10569-019-9910-8
Popis:	The rotation of Hyperion is often modelled by equations of motion of an ellipsoidal satellite. The model is expected to be chaotic for large range of parameters. The paper contains a rigorous computer-assisted proof of the existence of symbolic dynamics in its dynamics by the use of CAPD C++ library. Comment: 14 pages, 11 figures
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1901.05499 Zobrazit plný text záznamu View this record from Arxiv