×

多项式常微分方程组中周期轨道有效延拓的一般框架。 (英语) Zbl 1469.37015号

摘要:本文将参数化Newton-Kantorovich方法应用于任意多项式向量场中周期轨道的延拓。这使我们能够严格验证周期解的数值计算分支。我们推导了完全通用的估计,并给出了使用Matlab实现获得的样本连续性证明。该方法适用于任何阶次和维数的多项式向量场。给出了各种实例来说明该方法的有效性。

MSC公司:

37C27型 向量场和流的周期轨道
37米21 动力系统不变流形的计算方法
34甲12 初值问题、常微分方程解的存在性、唯一性、连续依赖性和连续性
65G40型 区间分析的一般方法
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] G.阿里奥利;H.Koch,耗散系统稳态解研究的计算机辅助方法,应用于Kuramoto-Sivashinski方程,Arch。定额。机械。分析。,197, 1033-1051 (2010) ·Zbl 1231.35016号 ·doi:10.1007/s00205-010-0309-7
[2] J.B.范登伯格;M.Breden;J.-P.Lessard;M.Murray,《悬索桥方程中同宿轨道的延续:计算机辅助证明》,《微分方程》,2643086-3130(2018)·Zbl 1405.34037号 ·doi:10.1016/j.jde.2017.11.011
[3] J.B.van den Berg、C.Groothedde和J.-P.Lessard,计算机辅助证明时滞微分问题周期解的一般方法,2018年,预印本。
[4] J.B.范登伯格;J.-P.Lessard,通过严格的数论的混沌编织解:Swift Hohenberg方程中的混沌,SIAM J.Appl。戴恩。系统。,7, 988-1031 (2008) ·Zbl 1408.37062号 ·doi:10.1137/070709128
[5] J.B.范登伯格;J.-P.Lessard;K.Mischaikow,使用严格分支跟踪的全局平滑解曲线,数学。公司。,79, 1565-1584 (2010) ·Zbl 1206.37045号 ·doi:10.1090/S0025-5718-10-02325-2
[6] J.B.van den Berg,J.-P.Lessard和E.Queirolo,ODE中Hopf分支的严格验证,2020年,预印本
[7] J.B.van den Berg和E.Queirolo,MATLAB代码“多项式常微分方程系统中周期轨道验证延续的一般框架”,2018年,https://www.math.vu.nl/janbouwe/code/contension/。
[8] J.B.van den Berg和R.Sheombarsing,多项式向量场中连接轨道的验证计算,印度。数学。(不适用), 31 (2020), 310-373. ·Zbl 1439.34048号
[9] J.B.范登伯格;J.F.Williams,《二维Ohta-Kawasaki问题分岔图的验证》,非线性,301584-1638(2017)·Zbl 1366.65068号 ·doi:10.1088/1361-6544/aa60e8
[10] M.Breden;R.Castelli,三角形交叉扩散系统稳态的存在性和不稳定性:计算机辅助证明,微分方程杂志,2646418-6458(2018)·Zbl 1458.35220号 ·doi:10.1016/j.jde.2018.01.033
[11] M.布雷登;J.-P.Lessard;M.Vanicat,基于严格数值的偏微分方程系统稳态的全局分岔图:一个三分量反应扩散系统,《应用数学学报》,128,113-152(2013)·Zbl 1277.65088号 ·doi:10.1007/s10440-013-9823-6
[12] R.Castelli,《二维灰棉反应扩散方程非均匀图案的严格计算》,《数学应用学报》,151,27-52(2017)·Zbl 1376.65134号 ·doi:10.1007/s10440-017-0101-x
[13] A.R.Champneys和B.Sandstede,相干结构的数值计算,In动力系统的数值延拓方法,了解。复杂系统。,施普林格,多德雷赫特,2007年,第331-358页·兹比尔1129.65071
[14] R.H.Clewley、W.E.Sherwood、M.D.LaMar和J.M.Guckenheimer,PyDSTool,动态系统建模软件环境,2007年,https://sourceforge.net/projects/pydstool/。
[15] A.Correc;J.-P.Lessard,一维Ginzburg-Landau方程非平凡解的共存:计算机辅助证明,欧洲应用杂志。数学。,26, 33-60 (2015) ·Zbl 1384.34030号 ·doi:10.1017/S095679251400308
[16] H.Dankowicz和F.Schilder,延续食谱,第11卷,共页计算科学&工程工业和应用数学学会(SIAM),宾夕法尼亚州费城,2013年。https://sourceforge.net/projects/cocotools/。 ·兹比尔1277.65037
[17] S.日;J.-P.Lessard;K.Mischaikow,PDE平衡的验证延续,SIAM J.Numer。分析。,45, 1398-1424 (2007) ·Zbl 1151.65074号 ·数字对象标识代码:10.1137/050645968
[18] A.Dhooge,W.Govaerts,Yu。A.Kuznetsov、H.G.E.Meijer和B.Sautois,动力系统分岔分析软件MatCont的新特性,数学。计算。模型。戴恩。系统。, 14 (2008), 147-175. https://sourceforge.net/projects/matcont/。 ·Zbl 1158.34302号
[19] E.J.Doedel、B.E.Oldeman、A.R.Champneys、F.Dercole、T.F.Fairgrage、Y.Kuznetsov、R.C.Paffenroth、B.Sandstede、X.J.Wang和C.H.Zhang,AUTO-07p:常微分方程的连续和分岔软件,2012年,http://sourceforge.net/projects/auto-07p/。
[20] B.Ermentrout,动力学系统的模拟、分析和动画制作:XPPAUT研究人员和学生指南,第14卷,共页软件、环境和工具工业和应用数学学会(SIAM),宾夕法尼亚州费城,2002年。http://www.math.pitt.edu/bard/xpp/xpp.html·Zbl 1003.68738号
[21] J.-Ll.公司。Figueras A.Haro;A.Luque,《KAM理论的严格计算机辅助应用:现代方法》,Found。计算。数学。,17, 1123-1193 (2017) ·Zbl 1383.37047号 ·doi:10.1007/s10208-016-9339-3
[22] M.Gameiro;J.-P.Lessard;A.Pugliese,通过无限维严格多参数延拓计算光滑流形,Found。计算。数学。,16, 531-575 (2016) ·Zbl 1347.65102号 ·doi:10.1007/s10208-015-9259-7
[23] A.Gasull;H.贾科米尼;M.Grau,《Poincaré-Bendixson地区的有效建设》,J.Appl。分析。计算。,7, 1549-1569 (2017) ·Zbl 1456.34026号 ·doi:10.11948/2017094
[24] A.匈牙利;J.-P.Lessard;J.D.Mireles James,微分方程解析解的严格算术:半径多项式方法,计算数学,851427-1459(2016)·Zbl 1332.65114号 ·doi:10.1090/com/3046
[25] Y.A.Kuznetsov,应用分叉理论的要素,第112卷,共页应用数学科学,Springer-Verlag,纽约,第三版,2004年·Zbl 1082.37002号
[26] J.-P.Lessard,关于Wright方程缓慢振荡周期解唯一性的最新进展,J.微分方程,248992-2016(2010)·Zbl 1200.34078号 ·doi:10.1016/j.jde.2009.11.008
[27] J.-P.Lessard;J.D.Mireles James,变规则序列空间中的计算机辅助傅里叶分析,SIAM J.Math。分析。,49530-561(2017)·Zbl 1362.42007号 ·doi:10.1137/16M1056006
[28] J.-P.Lessard;J.D.Mireles James;J.Ransford,傅里叶级数和半径多项式方法的自动微分,Phys。D、 334174-186(2016)·Zbl 1418.34094号 ·doi:10.1016/j.physd.2016.02.007
[29] K.Makino和M.Berz,使用泰勒模型对流和odes进行严格集成,In2009年符号数字计算会议记录,第79-84页,2009年·Zbl 1356.65168号
[30] S.M Rump,国际实验室间歇实验室,In可靠计算的发展,第77-104页。斯普林格,1999年·Zbl 0949.65046号
[31] G.S.Rychkov,五次多项式liénard系统的最大极限环数等于二,微分方程,11301-302(1975)·Zbl 0328.34021号
[32] T.Wanner,计算机辅助分岔图验证和材料科学应用,in动力学中的严格数值,第74卷,共页程序。交响乐。申请。数学。,第123-174页。阿默尔。数学。Soc.,普罗维登斯,RI,2018年·Zbl 1406.35040号
[33] P.Zgliczyński,Kuramoto Sivashinsky方程的稳态分叉:计算机辅助证明,J.Comput。动态。,2, 95-142 (2015) ·Zbl 1326.35029号 ·doi:10.3934/jcd.2015.2.95
[34] CAPD:动力学的计算机辅助证明,一个用于严格数值计算的软件包,http://capd.ii.uj.edu.pl/。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。