×
Gierzkiewicz，安娜

计算机辅助证明Smale马蹄铁存在于折叠式地图中。 （英文） Zbl 1464.37084号

Commun公司。非线性科学。数字。模拟。 96，文章ID 105680，10 p.（2021）.
作者考虑了由映射（H（x，y，z）=（1.76-y）定义的动力系统^{2} -0.1赫兹，x，y）\）。她对广义Hénon映射的第四次迭代（H^{4}）中符号动力学混沌的存在性提供了严格的证明，从而通过Q.李和X.-S.杨[Discrete Dyn.Nat.Soc.2007，文章ID 16239，9 p.（2007；Zbl 1179.37050号)]. 此外，作者还证明了不变集的一致双曲性。计算机辅助证明利用C++库CAPD进行区间算术、微分和积分。作者还提出了一些情节来支持理论发现。
审核人：穆罕默德·萨吉德（Buraidah）

MSC公司：

37米22 动力系统吸引子的计算方法
37D45号 奇异吸引子，双曲行为系统的混沌动力学
37D20型 一致双曲系统（扩展、Anosov、Axiom A等）
37D05型 具有双曲轨道和集合的动力系统
37B10号机组 符号动力学
68伏05 计算机辅助证明-按穷举类型

关键词：

计算机辅助证明;符号动力学;双曲线;折叠毛巾图

引文：

兹比尔1179.37050

软件：

CAPD（机顶盒）
PDF格式BibTeX公司 XML格式引用
\textit{A.Gierzkiewicz}，Commun。非线性科学。数字。模拟。96，文章ID 105680，10 p.（2021；Zbl 1464.37084）
全文： 内政部 arXiv公司

参考文献：

[1] Hénon，M.，《带有奇怪吸引子的二维映射》，《公共数学物理》，50，1，69-77（1976）·Zbl 0576.58018号
[2] Rössler，O.，超混沌方程，Phys-Lett A，71，2，155-157（1979）·Zbl 0996.37502号
[3] http://www.sciencedirect.com/science/article/pii/037596019090283T
[4] Gonchenko，S。；奥夫桑尼科夫，I。；西莫，C。；Turaev，D.，三维类Hénon映射和野生类Lorenz吸引子，国际分叉混沌杂志，15（2011）·Zbl 1097.37023号
[5] Richter，H.，《广义Hénon映射：高维混沌示例》。，国际分叉混沌杂志，121371-1384（2002）·Zbl 1044.37026号
[6] Lingdu，L。；Xiao-Song，Y.，超混沌离散时间系统中的3D Smale马蹄铁，离散动态社会，2007（2007）·Zbl 1179.37050号
[7] 格拉西，G。；Miller，D.，基于观测器的离散时间超混沌同步的理论和实验实现，IEEE Trans Circuits Syst I，49，3，373-378（2002）
[8] Wilczak，D.，超混沌Rössler系统的异宿和同宿轨道丰度，离散Contin-Dyn系统Ser B，11（2009）·Zbl 1172.34032号
[9] http://www.sciencedirect.com/science/article/pii/S0375960115006374 ·兹比尔1374.34144
[10] Gierzkiewicz A.C++源代码；在线提供时间：http://kzm.ur.krakow.pl/agierzkiewicz/publikacje.html。
[11] Wilczak，D。；Zgliczyñski，P.，平面受限圆形三体问题中周期轨道之间的异宿连接——计算机辅助证明，公共数学物理，234，1，37-75（2003）·Zbl 1055.70005号
[12] Gierzkiewicz，A。；Zgliczynski，P.，《计算机辅助证明Hyperion旋转中的符号动力学》，《天体力学与天文》，131，7（2019）·Zbl 1451.70032号
[13] Miranda，C.，Un’osservazione su Un teorema di Brouwer（1940），Pubblicazioni（Istituto per le Applicazioni del Calcolo）。Ricerche国家委员会
[14] 莫尔斯，M。；Hedlund，G.，《符号动力学》，《美国数学杂志》，第60期，第815-866页（1938年）
[15] 兹列钦斯基，P。；Gidea，M.，多维动力系统的覆盖关系，J Differ Equ，202，1，32-58（2004）·Zbl 1061.37013号
[16] CAPD组。动力学中的计算机辅助证明\（C++\）库。http://capd.ii.uj.edu.pl;
[17] 赫希，M。；普格，C。；Shub，M.，不变流形，Bull。阿默尔。数学。Soc.，76，第978-3-540-08148-7条（1977年）·Zbl 0355.58009号
[18] Zgliczynski，P.，覆盖关系，锥条件和稳定流形定理，J Differ Equ，246，51774-1819（2009）·Zbl 1185.37045号
[19] Wilczak，D.，库兹涅佐夫系统中Poincaré映射的Smale-Williams型均匀双曲吸引子，SIAM J Appl Dyn Syst，91263-1283（2010）·Zbl 1213.37046号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。