×
凯文·丘奇。;Jean-Philippe Lessard

混合型泛函微分方程Hopf分支的严格验证。 （英语） 兹比尔1496.34103

物理D 429，文章ID 133072，13 p.（2022）.
本文研究了一种数值方法的发展，以证明混合型简单泛函微分方程（也称为时滞方程，有时也称为前向-后向方程）中存在Hopf分岔。感兴趣的问题是考虑特征值的性质，并且使用了Newton-Kantorovich定理。作者证明了Lasota-Wazewska-Czyzewska模型中Hopf分支的存在性，以及具有非局部反应的Fisher方程中周期行波的存在性。这项工作的总体目标是“开发数值方法，以通过计算机辅助证明微分方程研究中出现的不同类型的动力学对象的存在。”因此，有一节讨论了一些定理的计算机辅助证明，并提供了相关代码的链接。
审核人：内维尔·福特（切斯特）

引用于1文件

MSC公司：

34K13型 泛函微分方程的周期解
34K18型 泛函微分方程的分岔理论
34K20码 泛函微分方程的稳定性理论
34千克21 泛函微分方程的定常解
37平方米 动力系统分岔问题的计算方法

关键词：

泛函微分方程;混合型;霍普夫分岔;严格数学;周期行波

软件：

K螺母;github;MATCONT公司;DDE-BIFTOOL工具
PDF格式BibTeX公司 XML格式引用
\textit{K.E.M.Church}和\textit{J.-P.Lessard}，Physica D 429，文章ID 133072，13 P.（2022；Zbl 1496.34103）
全文： 内政部

参考文献：

[1] 迈克尔·克兰德尔（Michael G.Crandall）。；Rabinowitz，Paul H.，无限维hopf分岔定理，Arch。定额。机械。分析。，67，1，53-72（1977年）·Zbl 0385.34020号
[2] 刘志华；皮埃尔·马加尔（Pierre Magal）；Ruan，Shigui，非稠密Cauchy问题的Hopf分支，Z.Angew。数学。物理。，62, 2, 191-222 (2011) ·Zbl 1242.34112号
[3] Amann，Herbert，拟线性反应扩散系统的Hopf分岔，（Busenberg，S.；Martelli，M.，《时滞微分方程和动力系统》，第4期（1991）），53-63·Zbl 0780.35051号
[4] 科米特，I。；Recke，L.，半线性耗散双曲系统的Hopf分岔，J.微分方程，257，1，264-309（2014）·Zbl 1310.35030号
[5] 赫伯特·科赫；Antman，Stuart S.，完全非线性抛物-双曲方程的稳定性和hopf分岔，SIAM J.Math。分析。，32, 2, 360-384 (2000) ·Zbl 1049.35145号
[6] 桑斯特德，比约恩；Scheel，Arnd，粘性冲击波的Hopf分岔，SIAM J.数学。分析。，39, 6, 2033-2052 (2008) ·Zbl 1195.35043号
[7] Schneider，G.，空间扩展反应扩散系统的Hopf分岔，J.非线性科学。，8，1，17-41（1998年）·Zbl 0899.58048号
[8] Baxendale，Peter H.，随机hopf分岔，Probab。理论相关领域，99，4，581-616（1994）·Zbl 0801.60046号
[9] Coullet，P.H。；Elphick，C。；Tirapegui，E.，带噪声的hopf分岔的正规形式，Phys。莱特。A、 111、6、277-282（1985）
[10] Erbe，L.H。；克劳塞维茨（W.Krawcewicz）。；Geba，K。；Wu，J.，泛函微分方程的S1-阶和全局hopf分岔理论，微分方程，98，2，277-298（1992）·Zbl 0765.34023号
[11] Rustichini，Aldo，混合型泛函微分方程的Hopf分支，J.Dynam。微分方程，1,2145-177（1989）·Zbl 0684.34070号
[12] 汉族、毛安族；张伟年，非光滑平面系统的hopf分岔，微分方程，248，9，2399-2416（2010）·Zbl 1198.34059号
[13] 辛普森，D.J.W。；Meiss，J.D.，平面分段光滑连续流中的Andronov-Hopf分岔，Phys。莱特。A、 371、3、213-220（2007）·Zbl 1209.37059号
[14] 自动，http://indy.cs.concordia.ca/auto/。
[15] Annick Dhooge；威利·戈瓦茨；Kuznetsov，Y.A.，MATCONT：ODE数值分岔分析的MATLAB包，ACM Trans。数学。软件，29，2，141-164（2003）·兹比尔1070.655574
[16] R.Szalai，Knut:延迟微分方程的延拓和分岔软件。
[17] Engelborghs，K。；Luzianina，T。；Roose，D.，使用DDE-BIFTOOL对时滞微分方程进行数值分岔分析，ACM Trans。数学。软件，28，1，1-21（2002）·Zbl 1070.65556号
[18] 德沃尔夫，巴贝特；弗朗西丝卡·斯卡拉贝尔；卢内尔，斯约尔德·维尔杜因；Diekmann，Odo，时滞微分方程hopf分岔的伪谱逼近，SIAM J.Appl。动态。系统。，20, 1, 333-370 (2021) ·Zbl 1470.34185号
[19] 凯特·A·阿贝尔。；克里斯托弗·埃尔默（Christopher E.Elmer）。；汉弗莱斯，A.R。；Van Vleck，Erik S.，混合型泛函微分边值问题的计算，SIAM J.Appl。动态。系统。，4, 3, 755-781 (2005) ·Zbl 1090.65093号
[20] 马世旺；廖晓欣；吴建红，平面晶格微分系统的行波解及其在神经网络中的应用，微分方程，182,2,269-297（2002）·Zbl 1221.37162号
[21] 佩利诺夫斯基，德米特里E。；托马斯·梅尔文。；Champneys，Alan R.，非线性薛定谔晶格中的单参数局域行波，物理D，236，1，22-43（1989）·Zbl 1142.34041号
[22] 卡门·达席尔瓦；Escalante，René，前向泛函微分方程的分段τ近似，计算。数学。申请。，62, 12, 4582-4591 (2011) ·兹比尔1236.65075
[23] 内维尔·J·福特。；Lumb，Patricia M.，《混合型泛函微分方程：数值方法》，J.Compute。申请。数学。，229, 2, 471-479 (2009) ·Zbl 1166.65035号
[24] 内维尔·J·福特。；Patricia M.Lumb。；佩德罗·利马。；Teodoro，M.Filomena，《正向微分方程的数值解：分解和相关问题》，J.Compute。申请。数学。，234, 9, 2745-2756 (2010) ·Zbl 1191.65082号
[25] Moghaddam，B.P。；Dabiri，A。；安托尼奥·洛佩斯。；Machado，J.A.Tenreiro，使用修改的卢卡斯多项式数值求解混合型分数阶泛函微分方程，计算。申请。数学。，38, 2, 46 (2019) ·Zbl 1449.65143号
[26] 菲洛梅娜特奥多罗；佩德罗·利马。；内维尔·J·福特。；Lumb，Patricia M.，正向方程数值解的新方法，Front。数学。中国，4155-168（2009）·Zbl 1396.65103号
[27] Gianni Arioli；Koch，Hans，《FPU链的行波解决方案：建设性方法》，《非线性》，33，4，1705-1722（2020）·Zbl 1444.34077号
[28] 哈尔特里希，约格；桑斯特德，比约恩；Scheel，Arnd，混合型线性非自治泛函微分方程的指数二分法，印第安纳大学数学系。J.，51，5，1081-1109（2002）·Zbl 1047.34079号
[29] 约翰·马莱特·帕雷特；Lunel，Sjoerd Verduyn，混合型泛函微分方程的指数二分法和Wiener-hopf分解，J.微分方程（2001），出版·Zbl 1120.34048号
[30] 约翰·马莱特·帕雷特；Lunel，Sjoerd Verduyn，混合型泛函微分方程，（全纯因子分解及其应用，全纯因子化及其应用，EQUADIFF 2003，（2003年2月）），73-89·Zbl 1120.34048号
[31] van den Berg，Jan Bouwe；Lessard，Jean-Philippe，动力学中的严格数值，Notices Amer。数学。Soc.，62，9，1057-1061（2015）·兹比尔1338.68301
[32] 动力学中的严格数值，（van den Berg，Jan Bouwe；Lessard，Jean-Philippe，《应用数学研讨会论文集》，第74卷（2018），美国数学学会：美国数学学会普罗维登斯，RI），AMS短期课程：动力学中的严格数值，（2016）4-5，华盛顿州西雅图·Zbl 1338.68301号
[33] Nakao，Mitsuhiro T。；米歇尔·普拉姆（Michael Plum）；Watanabe，Yoshitaka，（偏微分方程的数值验证方法和计算机辅助证明。偏微分方程数值验证方法与计算机辅助证明，计算数学中的Springer级数，第53卷（2019年），Springer:Springer Singapore）·Zbl 1462.65004号
[34] 沃里克·塔克，验证数值（2011），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿，严格计算简介·Zbl 1231.65077号
[35] Gómez-Serrano，Javier，《PDE中的计算机辅助证据：一项调查》，SeMA J.，76，3，459-484（2019）·Zbl 07098970号
[36] 汉斯·科赫（Hans Koch）；阿兰·申克尔（Alain Schenkel）；Peter Wittwer，《逻辑分析和编程中的计算机辅助证明：案例研究》，SIAM Rev.，38，4，565-604（1996）·Zbl 0865.68111号
[37] Rump，Siegfried M.，验证方法：使用浮点运算的严格结果，Acta Numer。，19, 287-449 (2010) ·Zbl 1323.65046号
[38] Y.Kanzawa。；Oishi，S.，以保证的精度计算分岔点，IEICE Trans。芬丹。E82-A，6105-1061（1999年）
[39] 南本、特鲁亚；Nakao，Mitsuhiro T.，验证扰动Gelfand方程径向对称解的双转折点存在性和局部唯一性的数值方法，J.Compute。申请。数学。，202, 2, 177-185 (2007) ·兹比尔1115.65118
[40] 田中，Ken’ichiro；苏瑙村镇；Oishi，Shin’ichi，关于双转折点数值验证的充分必要条件，Numer。数学。，97, 3, 537-554 (2004) ·兹比尔1058.65061
[41] 丹尼尔·威尔扎克（Daniel Wilczak）；兹格利琴斯基（Zgliczyñski），彼得罗（Piotr），Rössler系统中的倍周期——计算机辅助证明，Found。计算。数学。，9, 5, 611-649 (2009) ·Zbl 1177.37083号
[42] Lessard，Jean-Philippe，ODE鞍节点分岔的严格验证，印度。数学。（N.S.），27，4，1013-1026（2016）·Zbl 1351.34045号
[43] 广岛市Kokubu；丹尼尔·威尔扎克（Daniel Wilczak）；Zgliczyñski，Piotr，严格验证迈克尔逊系统中的茧分叉，非线性，20，9，2147-2174（2007）·Zbl 1126.37035号
[44] van den Berg，Jan Bouwe；Jean-Philippe Lessard；Queirolo，Elena，通过去角化和延拓严格验证hopf分支，SIAM J.Appl。动态。系统。，202573-607（2021）·Zbl 1476.37094号
[45] Gianni Arioli；Koch，Hans，耗散系统稳态解研究的计算机辅助方法，应用于kuramoto-sivashinski方程，Arch。定额。机械。分析。，197, 3, 1033-1051 (2010) ·Zbl 1231.35016号
[46] Zgliczyñski，Piotr，Kuramoto-Sivashinsky方程的稳态分岔：计算机辅助证明，J.Compute。动态。，2, 1, 95-142 (2015) ·Zbl 1326.35029号
[47] van den Berg，Jan Bouwe；Queirolo，Elena，《kuramoto-Sivashinsky PDE中hopf分支的严格验证》（2020年），预印本
[48] Matsue，Kaname，通过康利指数理论对微分方程分支的严格验证，SIAM J.Appl。动态。系统。，10, 1, 325-359 (2011) ·Zbl 1228.35035号
[49] Jean-Philippe Lessard；James，Jason D.Mireles，《延迟方程特征值验证数值的函数分析方法》，J.Compute。动态。，7, 1, 123-158 (2020) ·Zbl 07235863号
[50] Kevin E.M.Church，Jean-Philippe Lessard，混合型泛函微分方程Hopf分叉的严格验证工作代码，https://github.com/kemchurch/Hopf-Functional-DE/tree/main/PHYS-D_2021。
[51] 宋永利；魏俊杰；Yuan，Yuan，存活红细胞模型的分叉分析，数学杂志。分析。申请。，316, 2, 459-471 (2006) ·Zbl 1105.34047号
[52] Henri Berestycki；格里戈伊尔·纳丁；佩沙姆，贝诺特；Ryzhik，Lenya，非局部Fisher-KPP方程：行波和稳态，非线性，22，12，2813-2844（2009）·Zbl 1195.35088号
[53] 弗朗索瓦·哈默尔（Francois Hamel）；Ryzhik，Lenya，《关于非局部Fisher-KPP方程：稳态、传播速度和全局边界》，非线性，27，11，2735-2753（2014）·Zbl 1317.35122号
[54] 天才，S。；沃尔珀特，V。；Auger，P.，《具有非本地资源消耗的人口动力学模型的模式和波动》，数学。模型。自然现象。，1, 1, 63-80 (2006) ·Zbl 1201.92055号
[55] 格里戈伊尔·纳丁；佩沙姆，贝诺；Tang，Min，行波能连接两种不稳定状态吗？非局部Fisher方程的情况，C.R.数学。，349, 9-10, 553-557 (2011) ·Zbl 1219.35038号
[56] 科维尔，杰罗姆；胡安·达维拉；Martínez，Salomé，《非局部色散和KPP非线性的脉动前沿》，《Ann.Inst.Henri Poincare（C）非线性分析》，30，2，179-223（2013）·Zbl 1288.45007号
[57] Kuznetsov，Yuri A.，（应用分支理论的要素。应用分支理论要素，应用数学科学，第112卷（2004年），Springer:Springer纽约，纽约州纽约市）·Zbl 1082.37002号
[58] 罗伯托·卡斯泰利；Lessard，Jean-Philippe，《严格封闭复区间矩阵特征对的方法》，（2013年卡雷尔·塞格斯70岁诞辰数学应用会议（2013），数学研究所AS CR，布拉格，2013年），1-11·Zbl 1340.65057号
[59] Hupkes，H.J。；Verduyn Lunel，S.M.，混合型泛函微分方程的中心流形理论，J.Dynam。微分方程，19，2，497-560（2006）·Zbl 1132.34054号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。