×

利用Runge-Kutta时间积分研究准实和多重网格缩减时间的“最优”(h)无关收敛性。 (英语) Zbl 07361111号

摘要:虽然准实算法和多重网格缩减时间(MGRIT)并行时间算法的收敛性得到了很好的研究,但其最优性的结果是有限的。针对最近导出的二层拟实和MGRIT收敛的紧界,本文证明(或反驳)了形式为(mathbf{u}'(t)+mathcal{L}\mathbf}(t)=f(t))的线性问题的二级拟实和MGRIT的(h_x)-和(h_t)-独立收敛性,其中为对称正定,采用Runge-Kutta时间积分。本文提出的理论还包括对一些修改的Parareal算法的分析,如\(\theta\)-Parareal方法,并表明从时间并行的角度来看,并非所有的Runge-Kutta方案都是相等的。一些方案,特别是L稳定方法,提供了比其他方案更好的收敛性,因为它们可以保证在小极限和大极限(h_txi)下快速收敛,其中(xi)表示(mathcal{L})和(h_t)时间步长的特征值。另一方面,一些方案没有获得(h)-最优收敛,并且二级收敛被限制在某些区域。在某些情况下,时间步长(h_t)中的(mathcal{O}(1))因子变化或粗化因子(k)可以是收敛因子(约0.02)和散度之间的差值!该分析也扩展到了偏对称算子,它不能获得与h无关的收敛性,事实上,在足够大的时间步长内通常不会收敛。数值结果证实了实际分析,并强调了先验分析在选择有效的粗网格方案和粗化因子方面的重要性。Mathematica笔记本可用于进行先验双网格分析,网址为https://github.com/XBraid/XBraid-convergence-est.

MSC公司:

65升06 常微分方程的多步、Runge-Kutta和外推方法
2005年5月 并行数值计算

软件:

github
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] RungeC公司。我们的数字是Auflösung von Differentialgleichungen。《数学年鉴》,1895年;46(2):167-178.
[2] 库塔瓦。Beitrag zur näherungsweisen积分totaler Differentialgleichungen。《数学与物理》。1901;46:435-453.
[3] HairerE、NörsettSP、WannerG。求解常微分方程。《计算数学中的斯普林格系列》第8卷。第二版,德国柏林:Springer‐Verlag,1993年·兹比尔0789.65048
[4] WannerG HairerE。求解常微分方程。二、。《计算数学中的斯普林格系列》第14卷。德国柏林:Springer‐Verlag,2010 Stiff和微分代数问题,第二修订版,平装本。
[5] 屠夫JC。常微分方程的数值方法。第三版,NH:John Wiley&Sons,Ltd.,2016年,由J.M.Sanz‐Serna撰写前言·Zbl 1354.65004号
[6] BurrageK公司。常微分方程的并行和序列方法。数值数学和科学计算。纽约州纽约市:克拉伦登出版社,牛津大学出版社,牛津科学出版社,1995年·Zbl 0838.65073号
[7] 甘德MJ。50年的时间并行时间集成。多次放炮和时域分解。纽约州纽约市:施普林格,2015年;第69-113页·Zbl 1337.65127号
[8] LionsJL、MadayY、TurinciG。EDP的Résolution d‘EDP是一种“pararéel”的临时解决方案。C R科学院巴黎SéR I数学。2001;332(7):661-668. ·Zbl 0984.65085号
[9] FalgoutRD、FriedhoffS、KolevTV、MacLachlanSP、SchroderJB。多重网格并行时间集成。SIAM科学计算杂志。2014;36(6):C635-C661·Zbl 1310.65115号
[10] BalG公司。关于解偏微分方程的仿实算法的收敛性和稳定性。科学与工程领域的区域分解方法。计算科学与工程笔记。德国柏林:施普林格出版社,2005年;第425-432页·兹比尔1066.65091
[11] GanderMJ,VandewalleS。准实时并行时间积分方法分析。SIAM科学计算杂志。2007;29(2):556-578. ·Zbl 1141.65064号
[12] GanderMJ,HairerE。仿实算法的非线性收敛性分析。科学与工程领域分解方法十七。Lect.第60卷。计算科学与工程笔记。柏林:施普林格出版社,2008;第45-56页·Zbl 1140.65336号
[13] 麦克拉克兰斯·弗里德霍夫斯。多重网格方法的广义预测分析工具。数字线性算法应用。2015;22:618-647·Zbl 1349.65427号
[14] DobrevVA、KolevT、PetersonNA、SchroderJB。多重网格时间缩减的两级收敛理论(MGRIT)。SIAM科学计算杂志。2017;39(5):S501-S527·Zbl 1416.65329号
[15] SouthworthBS。准实和多重网格时间缩减的必要条件和紧的两级收敛边界。SIAM J矩阵分析应用。2019;40(2):564-608. ·Zbl 1420.65039号
[16] FischerPF、HechtF、MadayY。Navier-Stokes方程的准实时半隐式近似。科学与工程领域的区域分解方法。计算科学与工程笔记。德国柏林:施普林格出版社,2005年;第433-440页·Zbl 1309.76060号
[17] 萨马达尔D、纽曼德、桑切斯R。使用准实算法对充分发展的等离子体湍流进行数值模拟的时间并行化。计算物理杂志。2010;229(18):6558-6573. ·Zbl 1425.76090号
[18] HessenthalerA、NordslettenD、RöhrleO、SchroderJB、FalgoutRD。线性弹性方程多重网格时间归约算法的收敛性。数字线性代数应用。2018;25(3):e2155 18·Zbl 1513.65345号
[19] GanderMJ、KwokF、Zhang H。准实算法的多重网格解释导致了重叠变量和MGRIT。计算可视化科学。2018;19(3‐4):59-74. ·Zbl 07704537号
[20] 品牌A。边界值问题的多级自适应解决方案。数学计算。1977年;31(138):333-390. ·Zbl 0373.65054号
[21] BrennerSC。无完全椭圆正则性的非协调多重网格方法的收敛性。数学计算。1999;68(225):25-53. ·Zbl 0912.65099号
[22] Serra‐CapizzanoS,Tablino‐PossioC。多层循环矩阵的多重网格方法。SIAM科学计算杂志。2004;26(1):55-85. ·Zbl 1079.65033号
[23] 多纳泰利姆·阿里科·A。多级矩阵代数的V循环多重网格:最优性的证明。数字数学。2007;105(4):511-547. ·Zbl 1114.65033号
[24] Staff GA.Rönquist EM.仿实算法的稳定性。科学与工程领域的区域分解方法。《计算科学与工程笔记》,德国柏林:施普林格出版社,2005年;第449-456页·Zbl 1066.65079号
[25] MathewTP、SarkisM、ScharerCE。抛物型最优控制问题的块拟实预条件分析。SIAM科学计算杂志。2010;32(3):1180-1200. ·Zbl 1216.49027号
[26] WuSL。一些二阶准实数算法的收敛性分析。IMA J数字分析。2015;35(3):1315-1341. ·Zbl 1362.65073号
[27] BankRE、CoughranWM、FichtnerW、GrosseE、RoseDJ、SmithRK。硅器件和电路的瞬态模拟。IEEE Trans Comput‐Aid Des Integrate Circ系统。1985;4:436-451.
[28] WuSL、Zhou T。三个拟实解算器的收敛性分析。SIAM科学计算杂志。2015;37(2):A970-A992·Zbl 1328.65157号
[29] ArielG、NguyenH、TsaiR.θ‐准实格式;2018年,arXiv电子版。ArXiv:1704.06882。
[30] WuSL公司。对准实-TR和准实-gauss4算法进行本质改进。J计算应用数学。2016;308:391-407. ·Zbl 1346.65037号
[31] 罗宾逊·A·普罗瑟罗。关于求解刚性常微分方程组的一步法的稳定性和准确性。数学计算。1974;28(125):145-162. ·Zbl 0309.65034号
[32] KennedyCA,CarpenterMA。常微分方程的对角隐式龙格库塔方法。A回顾。美国国家航空航天局;2016年3月。
[33] HessenthalerA、SouthworthBS、NordslettenD、RöhrleO、FalgoutRD、SchroderJB。多重网格时间缩减的多层收敛性分析。SIAM科学计算杂志(综述)。2019;42(2):A771‐A796·Zbl 1432.65177号
[34] HoseaME,ShampineLF公司。TR‐BDF2的分析和实施。应用数值数学。1996;20(1‐2):21-37. 时间相关问题的线方法研讨会(肯塔基州列克星敦),1995年·Zbl 0859.65076号
[35] XBraid:并行多重网格时间版本。http://llnl.gov/casc/xbraid。
[36] MFEM:模块化有限元方法库。3.4版。http://mfem.org。
[37] SouthworthBS、MitchellW、HessenthalerA。线性拟实和MGRiT的紧密两级收敛:实践中的扩展和启示。(审查中);2020;.
[38] WuSL、Zhou T。分数阶扩散方程的快速准实迭代。计算物理杂志。2017;329(C):210-226·Zbl 1406.65077号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。