×
Gierzkiewicz，安娜;彼得·兹格利钦斯基

计算机辅助证明Hyperion旋转中的符号动力学。 （英文） Zbl 1451.70032号

最神圣的。机械。动态。天文学家。 131，第7号，第33号论文，第17页（2019年）.
小结：土卫五是土星的卫星，以其非圆形而闻名。它的旋转通常由椭球卫星的运动方程来模拟。预计模型在很大的参数范围内是混沌的。本文包含了模型中符号动力学存在性的严格证明。换句话说，存在无穷多个由两个符号序列编码的任意周期的周期轨道。利用CAPD C++库，基于区间算法进行计算机辅助证明。

引用于1审查
引用于6文件

MSC公司：

2015年1月70日 天体力学
37B10号机组 符号动力学
37D45号 奇异吸引子，双曲行为系统的混沌动力学
37号05 经典力学和天体力学中的动力系统

关键词：

计算机辅助证明;Hyperion公司;符号动力学;区间牛顿法

软件：

CAPD（机顶盒）
PDF格式BibTeX公司 XML格式引用
\textit{A.Gierzkiewicz}和\textit{P.Zgliczyn ski}，Celest。机械。动态。阿童木。131，第7号，第33号论文，17页（2019年；Zbl 1451.70032）
全文： 内政部 arXiv公司

参考文献：

[1] Black，G.J.，Nicholson，P.D.，Thomas，P.C.：Hyperion：旋转动力学。伊卡洛斯117149-161（1995）。https://doi.org/10.1006/icar.1995.1148 ·doi:10.1006/icar.1995.148文件
[2] CAPD Group：动力学C++库中的计算机辅助证明版本5.0.6（2017）。http://capd.ii.uj.edu.pl
[3] Danby，J.M.A.：天体力学基础。麦克米伦，纽约（1962）
[4] Gierzkiewicz，A.，Zgliczynski，P.：C++源代码（2018）。网址：http://www.ii.uj.edu.pl/兹格利钦/
[5] 格雷纳，W.：《经典力学：粒子系统和哈密顿动力学》。经典理论物理学。柏林施普林格出版社（2009）
[6] Harbison，R.A.，Thomas，P.C.，Nicholson，P.C.：Hyperion的旋转建模。最神圣的。机械。动态。阿童木。110(1), 1-16 (2011). https://doi.org/10.1007/s10569-011-9337-3 ·Zbl 1270.70018号 ·doi:10.1007/s10569-011-933-3
[7] Jay Klavetter，J.：Hyperion的旋转。II-动力学。阿童木。J.98，1855-1874（1989）·数字对象标识代码：10.1086/115264
[8] Moore，R.E.：区间分析。自动计算中的Prentice-Hall级数。普伦蒂斯·霍尔（Prentice-Hall），恩格伍德悬崖（Englewood Cliffs）（1966年）·Zbl 0176.13301号
[9] Morse，M.，Hedlund，G.：符号动力学。Am.J.数学。60815-866（1938年）·doi:10.2307/2371264
[10] Moser，J.：《动力系统中的稳定和随机运动：特别强调天体力学》（AM-77），修订版。普林斯顿大学出版社，普林斯顿（1973）·Zbl 0271.70009号
[11] Neumaier，A.：方程组的区间方法。数学及其应用百科全书。剑桥大学出版社，剑桥（1991）。https://doi.org/10.1017/CBO9780511526473 ·Zbl 0715.65030号 ·doi:10.1017/CBO9780511526473
[12] Tarnopolski，M.：Hyperion光曲线的非线性时间序列分析。天体物理学。空间科学。357(2), 160 (2015). https://doi.org/10.1007/s10509-015-2379-3 ·文件编号：10.1007/s10509-015-2379-3
[13] 塔诺波尔斯基，M.：第二颗卫星对扁卫星旋转动力学的影响。最神圣的。机械。动态。阿童木。(2016). https://doi.org/10.1007/s10569-016-9719-7 ·Zbl 1400.62199号 ·doi:10.1007/s10569-016-9719-7
[14] Wilczak，D.，Zgliczynski，P.：平面受限圆形三体问题中周期轨道之间的异宿连接——计算机辅助证明。Commun公司。数学。物理学。234(1), 37-75 (2003). https://doi.org/10.1007/s00220-002-0709-0 ·Zbl 1055.70005号 ·doi:10.1007/s00220-002-0709-0
[15] Wilczak，D.，Zgliczyñski，P.：平面受限圆形三体问题中周期轨道之间的异宿连接。第二部分。Commun公司。数学。物理学。261(2), 547-547 (2006). https://doi.org/10.1007/s00220-005-1471-x ·Zbl 1133.70005号 ·数字对象标识代码：10.1007/s00220-005-1471-x
[16] Wisdom，J.、Peale，S.J.、Mignard，F.：Hyperion的混沌旋转。伊卡洛斯58（2），137-152（1984）。https://doi.org/10.1016/0019-1035(84)90032-0 ·doi:10.1016/0019-1035（84）90032-0
[17] Zgliczynski，P.，Gidea，M.：多维动力系统的覆盖关系。J.差异。埃克。202(1), 32-58 (2004). https://doi.org/10.1016/j.jde.2004.03.013 ·Zbl 1061.37013号 ·doi:10.1016/j.jde.2004.03.013
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。