×
阿莱、辛;Kokubu、Hiroshi;佩韦·皮拉尔茨克

动力系统严格计算方法的最新发展。 （英语） Zbl 1184.65117号

日本J.Ind.Appl。数学。 26，编号2-3，393-417（2009）.
摘要：我们重点介绍了严格计算领域最近发展的一些结果，这些计算使用区间算法来分析动力系统。我们描述了不同方法的一般思想和选定细节，并提供了具体的示例应用程序来说明这些方法的有效性。重点放在拓扑方法上，该方法与严格的计算相结合，提供了广泛的新方法，可产生数学上可靠的结果。

引用于4文件

MSC公司：

65页30 数值分歧问题
65立方厘米 马尔可夫链的数值分析或方法
37C27型 向量场和流的周期轨道
37元29角 动力系统的同宿和异宿轨道
37米20 动力系统分岔问题的计算方法
37国集团15 动力系统中极限环和周期轨道的分岔

关键词：

动力系统;严格的计算;算法;康利指数;双曲线动力学;数值示例;周期轨道;异宿轨道;分岔;区间算术

软件：

CHomP公司
PDF格式BibTeX公司 XML格式引用
\textit{Z.Arai}等人，日本J.Ind.Appl。数学。26，编号2--3393--417（2009；Zbl 1184.65117）
全文： 内政部 欧几里得

参考文献：

[1] Z.Arai，关于Hénon映射的双曲线高原。实验数学。，16 (2007), 181–188. ·Zbl 1145.37023号 ·doi:10.1080/10586458.2007.10128992
[2] Z.Arai，复Hénon映射双曲线轨迹上的On环及其单值性。预打印。
[3] Z.Arai、W.Kalies、H.Kokubu、K.Mischaikow、H.Oka和P.Pilarczyk，多参数系统全球动力学分析的数据库模式。出现在SIAM J.Appl。动态。系统·Zbl 1183.37026号
[4] Z.Arai和K.Mischaikow，同宿切线的严格计算。SIAM J.应用。动态。系统。，5 (2006), 280–292. ·Zbl 1210.37008号 ·doi:10.1137/050626429
[5] H.Ban和W.Kalies，康利分解定理的计算方法。J.公司。非线性动力学。，1 (2006), 312–319. ·数字对象标识代码：10.1115/12338651
[6] R.C.Churchill、J.Franke和J.Selgrade，流量双曲线的几何判据。程序。阿默尔。数学。《社会学杂志》，62（1977），137–143·Zbl 0316.58015号 ·doi:10.1090/S0002-9939-1977-0428358-5
[7] 动力学计算机辅助证明。http://capd.wsb-nlu.edu.pl/。
[8] 计算同源性项目。http://chomp.rutgers.edu/。
[9] 康利，孤立不变集和莫尔斯指数。CBMS数学区域会议系列。，美国38号。数学。Soc.，普罗维登斯，RI，1978年·Zbl 0397.34056号
[10] T.Cormen、C.Leiserson、R.Rivest和C.Stein，《算法导论》，第二版。麻省理工学院出版社，马萨诸塞州剑桥，2001年·Zbl 1047.68161号
[11] S.Day，O.Junge和K.Mischaikow，用于无限维离散动力系统全局分析的严格数值方法。SIAM J.应用。动态。系统。，3 (2004), 117–160. ·兹伯利1059.37068 ·doi:10.1137/030600210
[12] F.Dumortier，S.Ibáñez和H.Kokubu，余维3幂零奇异性展开的新方面。动态。系统。，16 (2001), 63–95. ·Zbl 0993.37026号 ·doi:10.1080/02681110017417
[13] F.Dumortier，S.Ibáñez和H.Kokubu，三维可逆向量场中的Cocoon分岔。非线性，19（2006），305-328·Zbl 1107.34039号 ·doi:10.1088/0951-7715/19/2/004
[14] M.J.Davis、R.S.MacKay和A.Sannami，赫农家族中的马尔科夫转移。《物理学D》，52（1991），171-178·Zbl 0741.58037号 ·doi:10.1016/0167-2789（91）90119-T
[15] S.Day、H.Kokubu、S.Luzzatto、K.Mischaikow、H.Oka和P.Pilarczyk，《一维动力学中的定量双曲线估计》。非线性，21（2008），1967–1987·Zbl 1154.37324号 ·doi:10.1088/0951-7715/21/9/002
[16] M.Dellnitz和O.Junge，动力系统的面向集合的数值方法。动力系统手册II，北荷兰，2002年，221-264·Zbl 1036.37030号
[17] R.Devaney和Z.Nitecki，Hénon映射中的移位自同构。Commun公司。数学。物理。，67 (1979), 137–146. ·Zbl 0414.58028号 ·doi:10.1007/BF01221362
[18] Y.Hiraoka，T.Ogawa和K.Mischaikow，基于Conley-index的Swift-Hohenberg方程稳态解全局分岔的数值验证方法。事务处理。JJIAM，13（2003），191-211，日语。
[19] S.L.Hruska，证明复Hénon映射双曲性的数值方法。已找到。公司。数学。，6 (2006), 427–455. ·兹比尔1115.37049 ·文件编号：10.1007/s10208-006-0141-2
[20] T.Kaczynski、K.Mischaikow和M.Mrozek，《计算同源性》。应用数学科学，第157卷，Springer-Verlag，纽约，2004年·Zbl 1039.55001号
[21] W.Kalies、K.Mischaikow和R.C.A.M.Vander Vorst，链递归的算法方法。已找到。公司。数学。，5 (2005), 409–449. ·1099.37010兹比尔 ·doi:10.1007/s10208-04-0163-9
[22] R.Karp，有向图中最小循环平均值的特征。离散数学。，23 (1978), 309–311. ·Zbl 0386.05032号
[23] H.Kokubu、D.Wilczak和P.Zgliczynski，《迈克尔逊系统茧分叉的严格验证》。非线性，20（2007），2147–2174·Zbl 1126.37035号 ·doi:10.1088/0951-7715/20/9/008
[24] 刘永泰，具有两个不动点的三维系统中的“茧”分岔。国际J.Bif.混沌，2（1992），543–558·Zbl 0874.58059号 ·doi:10.1142/S0218127492000690
[25] D.Michelson，Kuramoto-Sivashinsky方程的稳态解。《物理学D》，19（1986），89-111·Zbl 0603.35080号 ·doi:10.1016/0167-2789（86）90055-2
[26] C.K.McCord，方程Y（3）=Y2中连接轨道的唯一性。数学杂志。分析。申请。，114 (1986), 584–592. ·Zbl 0633.34028号 ·doi:10.1016/0022-247X（86）90110-1
[27] C.McCord、K.Mischaikow和M.Mrozek，Zeta函数、周期轨道和Conley指数。《微分方程》，121（1995），258–292·Zbl 0833.34045号 ·doi:10.1006/jdeq.1995.1129
[28] K.Mischaikow，动力学中高效严格计算的拓扑技术。《数值学报》，11（2002），435-477·Zbl 1123.37328号 ·doi:10.1017/S0962492902000065
[29] K.Mischaikow，M.Mrozek和P.Pilarczyk，计算连续映射同源性的图形方法。已找到。公司。数学。，5（2005），199–229·Zbl 1104.55001号 ·doi:10.1007/s10208-004-0125-2
[30] M.Mrozek，Leray函子和离散动力系统的上同调Conley指数。事务处理。阿默尔。数学。《社会学杂志》，318（1990），149–178·Zbl 0686.58034号 ·doi:10.1090/S0002-9947-1990-096888-1
[31] M.Mrozek，开放指数对，不动点指数和ζ函数的合理性。上帝啊。Th.和amp；动态。系统。，10 (1990), 555–564. ·Zbl 0696.58044号
[32] M.Mrozek，紧ANR上的Conley指数是有限型的。数学成绩，18（1990），306–313·Zbl 0723.54038号 ·doi:10.1007/BF03323175
[33] P.Pilarczyk，证明周期轨道存在的计算机辅助方法。顶部。方法非线性分析。，13 (1999), 365–377. ·Zbl 0953.34029号
[34] P.Pilarczyk，ODE中周期轨迹存在性的拓扑-数值方法。离散和连续动力系统2003，补充卷：动力系统和微分方程，701-708·Zbl 1070.34069号
[35] P.Pilarczyk，常微分方程双曲周期轨迹的康利指数和严格数值。正在准备中·Zbl 1040.37012号
[36] P.Pilarczyk和K.Stolot，离散Conley指数算法计算的激励-保护立方方法。拓扑应用。，155 (2008), 1149–1162. ·Zbl 1149.37010号 ·doi:10.1016/j.topl.2008.02.003
[37] R.J.Sacker和G.R.Sell，线性微分系统二分法和不变分裂的存在性，I.J.Diff.Eq.，27（1974），429–458·Zbl 0294.58008号 ·doi:10.1016/0022-0396（74）90067-9
[38] A.Szymczak，离散半动力系统的Conley指数。拓扑应用。，66 (1995), 215–240. ·兹伯利0840.34043 ·doi:10.1016/0166-8641（95）0003J-S
[39] I.Ugarcovici和H.Weiss，非线性密度相关人口模型的混沌动力学。非线性，17（2004），1689–1711·Zbl 1066.37020号 ·doi:10.1088/0951-7715/17/5/007
[40] D.Wilczak和P.Zgliczynski，具有反向对称映射的对称周期轨道的拓扑方法。离散连续动态。系统。A、 17（2007），第629–652页·Zbl 1124.37015号
[41] P.Zgliczynski，C1-Lohner算法。已找到。公司。数学。，2 (2002), 429–465. ·Zbl 1049.65038号 ·doi:10.1007/s102080010025
[42] D.Wilczak和P.Zgliczynski，C r-Lohner算法。预打印，可在http://arxiv.org/abs/0704.0720。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不声称其完整性或完全匹配。