托马斯·卡佩拉；玛丽安·姆罗泽克；丹尼尔·威尔扎克；彼得·兹格利钦斯基 CAPD：：DynSys：一个灵活的C++工具箱，用于对动力系统进行严格的数值分析。 （英语） Zbl 1473.37004号 Commun公司。非线性科学。数字。模拟。 101，文章ID 105578，26 p.（2021）. 摘要：我们提出了用于动力系统严格数值分析的CAPD:：DynSys库。基本界面与几个有趣的案例研究一起进行了描述，说明了如何将其用于ODE动力学中的计算机辅助证明。 引用于17文件 MSC公司： 37-04 与动力学系统和遍历理论有关的问题的软件、源代码等 37Mxx毫米 动力系统的逼近方法和数值处理 65页 动力系统中的数值问题 关键词：严格的数值分析；C++库；计算机辅助证明 软件：千伏；VNODE公司；戴恩西上校；CAPD（机顶盒）；最大功率因数；ValEncIA-IVP公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Kapela}等人，Commun。非线性科学。数字。模拟。101，文章ID 105578，26 p.（2021；Zbl 1473.37004） 全文： 内政部 arXiv公司 参考文献： [1] Nedialkov，N.S.，VNODE-LP：常微分方程初值问题的有效求解器，技术代表CAS-06-06-NN（2006） [2] Kashiwagi M.kv-用于验证数值计算的c++库。2019http://verifiedby.me/kv/验证。 [3] A.劳赫。；Brill先生。；Günther，C.，用ValEncIA-IVP求解微分代数方程的新型区间算法，国际应用数学计算科学杂志，19，3，381-397（2009）·Zbl 1300.93075号 [4] 布雷索林，D。；柯林斯，P。；Geretti，L。；塞加拉，R。；T.维拉。；Zivanovic，S.，《混合自动机的可计算和合成语义》，第七届国际无线通信和移动计算会议（IWCMC）（2020年）·Zbl 07300859号 [5] M.Berz。；Makino，K.，高维验证正交的新方法，可靠计算，5，1，13-22（1999）·Zbl 0947.65026号 [6] 机长。动力学中的计算机辅助证明，这是一个用于严格数值计算的软件包。http://capdiiujedupl2013;. [7] 卡佩拉，T。；Zgliczyñski，P.，《N体问题的简单舞蹈设计的存在——计算机辅助证明》，非线性，16，6，1899（2003）·Zbl 1060.70023号 [8] 卡佩拉，T。；Simó，C.，非对称平面编舞和八的稳定性的计算机辅助证明，非线性，20，5，1241（2007）·Zbl 1115.70008号 [9] Wilczak，D。；Barrio，R.，稳定椭圆周期轨道分支和周围不变圆环的系统计算机辅助证明，SIAM J Appl Dyn Syst，16，3，1618-1649（2017）·Zbl 1376.65149号 [10] Mischaikow，K。；Mrozek，M.，《洛伦兹方程中的混沌：计算机辅助证明》，Bull Amer Math Soc（NS），32，1，66-72（1995）·Zbl 0820.58042号 [11] Mischaikow，K。；Mrozek，M.，《洛伦兹方程中的混沌：计算机辅助证明》。第二部分：细节，数学计算，671023-1046（1998）·Zbl 0913.58038号 [12] Mischaikow，K。；Mrozek，M。；Szymczak，A.，《洛伦兹方程中的混沌：计算机辅助证明》。第三部分：经典参数值，J Differ Eqs，169，17-56（2001）·兹比尔0979.37015 [13] 国际标准图书编号978-3-662-44199-2·Zbl 1402.57021号 [14] Zgliczynski，P.，Rössler方程和Hénon映射中混沌的计算机辅助证明，非线性，10，1，243-252（1997）·兹比尔0907.58048 [15] Żelawski，M.，以Kuramoto-Sivashinsky方程为例的动力系统隔离的严格数值方法，可靠计算，5，2，113-129（1999）·Zbl 0942.65145号 [16] Pilarczyk，P.，证明周期轨道存在的计算机辅助方法，白杨方法非线性分析，13，2，365-377（1999）·Zbl 0953.34029号 [17] Lohner，R.J.，普通初值和边值问题解的保证封闭计算，计算常微分方程（伦敦，1989）。计算常微分方程（伦敦，1989），Inst.Math。申请。Conf.序列号。新序列号。，第39卷，425-435（1992），牛津大学出版社：牛津大学出版社纽约·Zbl 0767.65069号 [18] Zgliczynski，P.，（C{}^1）-Lohner算法，基础计算数学，2，4，429-465（2002）·Zbl 1049.65038号 [19] Rössler，O.E.，《连续混沌方程》，Phys-Lett A，57，5，397-398（1976）·Zbl 1371.37062号 [20] Rossler，O.，超混沌方程，Phys-Lett A，71，2-3，155-157（1979）·Zbl 0996.37502号 [21] Lorenz，E.，《确定性非周期流》，《大气科学杂志》，第20期，第130-141页（1963年）·Zbl 1417.37129号 [22] Michelson，D.，Kuramoto-Sivashinsky方程的稳态解，Physica D，19，1，89-111（1986）·Zbl 0603.35080号 [23] Rall，L.B。；Corliss，G.F.，《自动微分介绍，计算微分》（Santa Fe，NM，1996），1-18（1996），SIAM，Philadelphia，PA·兹伯利0940.65019 [24] Wilczak，D。；兹格利琴斯基，P.，（C{}^r\）-Lohner算法，Schedae Informaticae，20，9-46（2011） [25] 卡佩拉，T。；Zgliczynski，P.，控制系统和常微分包含的Lohner型算法，离散控制动力系统-B，11，365-385（2009）·Zbl 1185.65079号 [26] 阿里奥利，G。；Zgliczyñski，P.，临界能级上Hénon-Heiles哈密顿量的符号动力学，J Diff Eq，171，173-202（2001）·Zbl 1018.37006号 [27] Wilczak，D.，《Kuramoto-Sivashinsky方程中的混沌——计算机辅助证明》，J Differ Eqs，194,2433-459（2003）·Zbl 1050.37017号 [28] Wilczak，D。；Zgliczyñski，P.，平面受限圆形三体问题中周期轨道之间的异宿连接——计算机辅助证明，《公共数学物理》，234，1，37-75（2003）·Zbl 1055.70005号 [29] Wilczak，D。；Zgliczynski，P.，平面受限圆形三体问题中周期轨道之间的异宿连接。第二部分，公共数学物理，259561-576（2005）·Zbl 1133.70005号 [30] Wilczak，D.，Michelson系统中Shilnikov同宿轨道的存在性：计算机辅助证明，基础计算数学，6，4，495-535（2006）·兹比尔1130.37415 [31] Wilczak，D.，Poincar的Smale-Williams型一致双曲吸引子ḿ库兹涅佐夫系统ap，SIAM J Appl Dyn Syst，9，4，1263-1283（2010）·Zbl 1213.37046号 [32] Capiński，M.J.，L2 Lyapunov轨道和木星-太阳PCR3BP中不变流形的横向交点的计算机辅助存在性证明，SIAM J Appl Dyn Syst，11，4，1723-1753（2012）·Zbl 1264.37008号 [33] 卡宾斯基，M.J。；Wasieczko-Zaja̧c，A.，强稳定/不稳定流形的几何证明及其在受限三体问题中的应用，Top Meth Non-Anal，46，1，363-399（2015）·Zbl 1365.34079号 [34] 加兰特，J。；Kaloshin，V.，《使用作用比较法破坏受限圆形平面三体问题中的不变曲线》，Duke Math J，159，2，275-327（2011）·Zbl 1269.70016号 [35] 加利亚斯，Z。；Tucker，W.，螺旋鞍周围光滑向量场的严格积分及其对立方蔡氏吸引子的应用，J Differ Eqs，266，5，2408-2434（2019）·Zbl 1417.34068号 [36] 加利亚斯，Z。；Tucker，W.，《洛伦兹系统短周期轨道的严格研究》，电路与系统，2008年。国际会计准则2008。IEEE国际研讨会，764-767（2008） [37] 加利亚斯，Z。；Tucker，W.，《利用符号动力学和区间工具验证混沌系统短周期存在性的研究》，《国际分岔混沌》，21，2，551-563（2011）·Zbl 1210.34044号 [38] 费努奇，M。；Gronchi，G.F.，关于具有柏拉图多面体对称性的周期性n体运动的稳定性，非线性，31，11，4935-4954（2018）·兹比尔1433.70021 [39] Miyaji，T。；Okamoto，H.，《周期解存在性的计算机辅助证明》，《日本科学院学报数学科学》，90，10，139-144（2014）·Zbl 1348.37037号 [40] https://doi.org/10.1007/s13160-018-00339-x ·Zbl 1410.76332号 [41] Matsue K.动力系统中有限时间奇点的严格数值-方法和应用。2019年前。 [42] http://www.sciencedirect.com/science/article/pii/S0005109818301699 ·Zbl 1400.93294号 [43] http://www.sciencedirect.com/science/article/pii/S0921889016304006 [44] Cyranka，J。；伊斯兰文学硕士。；拜恩，G。；琼斯，P。；斯莫尔卡，S.A。；Grosu，R.，拉格朗日可达性，计算机辅助验证国际会议，379-400（2017），施普林格·Zbl 1497.93011号 [45] Cyranka，J。；Wanner，T.，一维Ohta-Kawasaki模型中异宿连接的计算机辅助证明，SIAM J Appl Dyn Syst，17，1，694-731（2018）·Zbl 1415.35057号 [46] Capiánski M.J.，Fleurantin E.，James J.D.M.，ODE二维吸引不变环面的计算机辅助证明。2020http://aimsciences.org//article/id/f12d5be6-be46-451d-bbfa-dec2cf19bf48。10.3934/2016年12月20日·兹比尔1459.37079 [47] 科库布，H。；Wilczak，D。；Zgliczyñski，P.，《迈克尔逊系统茧分叉的严格验证》，非线性，20，9，2147-2174（2007）·兹比尔1126.37035 [48] Wilczak，D。；Zgliczyñski，P.，《Rössler系统中的倍周期——计算机辅助证明》，《基础计算数学》，9，5，611-649（2009）·Zbl 1177.37083号 [49] http://www.sciencedirect.com/science/article/pii/S1007570419300735 ·Zbl 1464.65282号 [50] Wilczak，D。；Zgliczyñski，P.，《赫农映射和受迫阻尼摆同宿切线存在性的计算机辅助证明》，SIAM J Appl Dyn Syst，8，4，1632-1663（2009）·Zbl 1187.37115号 [51] 卡宾斯基M.J.、吉迪亚M.、阿诺德扩散、定量估计和三体问题中的随机行为。预打印·Zbl 1359.37121号 [52] 卡佩拉，T。；Simó，C.，哈密顿系统围绕任意周期轨道的严格KAM结果，非线性，30，3，965-986（2017）·Zbl 1412.70024号 [53] Wilczak，D。；Barrio，R.，Hénon-Heiles系统中非双曲线和双曲线状态下混沌区域内稳定岛的分布，非线性动力学（2020）·Zbl 1517.70040号 [54] 卡宾斯基，M.J。；Roldán，P.，限制性三体问题（L_1）周围实际域中中心流形的存在性，SIAM J Appl Dyn Syst，11，1，285-318（2012）·Zbl 1235.37028号 [55] 卡宾斯基，M.J。；Zgliczyñski，P.，《超越Melnikov方法：计算机辅助方法》，J Differ Eqs，262，1，365-417（2017）·Zbl 1368.37035号 [56] http://www.sciencedirect.com/science/article/pii/S0022039618303097 ·Zbl 1400.37031号 [57] Moore，R.E.，《区间分析》（1966），Prentice-Hall公司：Prentice-Hall公司，新泽西州恩格尔伍德克利夫斯·Zbl 0176.13301号 [58] Tucker，W.，《验证数值：严格计算简介》（2011），普林斯顿大学出版社·Zbl 1231.65077号 [59] 福斯，L。；Hanrot，G。；列夫雷，V。；Pélissier，P。；Zimmermann，P.，MPFR:具有正确舍入的多精度二进制浮点库，ACM Trans Math Softw，33，2，13es（2007）·Zbl 1365.65302号 [60] Mrozek，M。；Zgliczynski，P.，《动力学中的集合算术和封闭问题》，《安·波隆数学》，74237-259（2000）·Zbl 0967.65113号 [61] http://www.sciencedirect.com/science/article/pii/S0168927416300435 ·Zbl 1382.65199号 [62] Nedialkov，N.S。；Jackson，K.R.，计算常微分方程初值问题解的严格界的区间Hermite-Obreschkoff方法，Dev Reliable Compute，5289-310（1998）·兹比尔1130.65312 [63] 瓦拉夫斯卡，I。；Wilczak，D.，用于验证常微分方程变分方程解封闭的隐式算法，应用数学计算，291，303-322（2016）·兹比尔1410.65259 [64] 加利亚斯，Z。；Zgliczyñski，P.，《洛伦兹方程中混沌的计算机辅助证明》，《物理学D》，115，3-4，165-188（1998）·Zbl 0941.37018号 [65] Troy，W.C.，Kuramoto Sivashinsky方程稳定解的存在性，J Differ Eqs，82，2269-313（1989）·Zbl 0693.34053号 [66] 巴里奥，R。；罗德里格斯，M。；Blesa，F.，周期轨道骨架的计算机辅助证明，《计算物理通讯》，183，1，80-85（2012） [67] Wilczak，D.，超混沌Rössler系统的异宿和同宿轨道的丰度，离散Contin-Dyn-Syst Ser B，11，41039-1055（2009）·Zbl 1172.34032号 [68] Nakao，M.T.，非线性边值问题弱解存在性的数值验证方法，数学分析应用杂志，164,2489-507（1992）·兹伯利0771.65046 [69] 国际标准书号0-521-33196-X·Zbl 2009年6月7日 [70] 西格尔，C.L。；Moser，J.K.，天体力学讲座（1971），斯普林格·弗拉格·Zbl 0312.70017号 [71] http://www.sciencedirect.com/science/article/pii/S002203962030334X ·Zbl 1439.35218号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。