Hyperion 自转模型中符号动力学的计算机辅助证明
动力系统
2019-07-10 v1
摘要
Hyperion 的自转常由椭球卫星的运动方程建模。该模型在很大参数范围内预期为混沌。本文借助 CAPD C++ 库，包含其动力学中存在符号动力学的严格计算机辅助证明。
引用
@article{arxiv.1901.05499,
title = {A computer-assisted proof of symbolic dynamics in Hyperion's inner rotation model},
author = {Anna Gierzkiewicz and Piotr Zgliczyński},
journal= {arXiv preprint arXiv:1901.05499},
year = {2019}
}
备注
14 pages, 11 figures