满足正演欧拉条件的微分方程的有效保不等式积分器

Hong Zhang, Xu Qian, Jun Xia, Songhe Song
{"title":"满足正演欧拉条件的微分方程的有效保不等式积分器","authors":"Hong Zhang, Xu Qian, Jun Xia, Songhe Song","doi":"10.1051/m2an/2023029","DOIUrl":null,"url":null,"abstract":"Developing explicit, high-order accurate, and stable algorithms for nonlinear differential equations remains an exceedingly difficult task. In this work, a systematic approach is proposed to develop high-order, large time-stepping schemes that can preserve inequality structures shared by a class of differential equations satisfying forward Euler conditions. Strong-stability-preserving (SSP) methods are popular and effective for solving equations of this type. However, few methods can deal with the situation when the time-step size is larger than that allowed by SSP methods. By adopting time-step-dependent stabilization and taking advantage of integrating factor methods in the Shu-Osher form, we propose enforcing the inequality structure preservation by approximating the exponential function using a novel recurrent approximation without harming the convergence. We define sufficient conditions for the obtained parametric Runge-Kutta (pRK) schemes to preserve inequality structures for any time-step size, namely, the underlying Shu-Osher coefficients are non-negative. To remove the requirement of a large stabilization term caused by stiff linear operators, we further develop inequality-preserving parametric integrating factor Runge-Kutta (pIFRK) schemes by incorporating the pRK with an integrating factor related to the stiff term, and enforcing the non-decreasing of abscissas. The only free parameter can be determined a priori based on the SSP coefficient, the time-step size, and the forward Euler condition. We demonstrate that the parametric methods developed here offer an effective and unified approach to study problems that satisfy forward Euler conditions, and cover a wide range of well-known models. Finally, numerical experiments reflect the high-order accuracy, efficiency, and inequality-preserving properties of the proposed schemes.","PeriodicalId":50499,"journal":{"name":"Esaim-Mathematical Modelling and Numerical Analysis-Modelisation Mathematique et Analyse Numerique","volume":null,"pages":null},"PeriodicalIF":1.9000,"publicationDate":"2023-03-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Efficient inequality-preserving integrators for differential equations satisfying forward Euler conditions\",\"authors\":\"Hong Zhang, Xu Qian, Jun Xia, Songhe Song\",\"doi\":\"10.1051/m2an/2023029\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Developing explicit, high-order accurate, and stable algorithms for nonlinear differential equations remains an exceedingly difficult task. In this work, a systematic approach is proposed to develop high-order, large time-stepping schemes that can preserve inequality structures shared by a class of differential equations satisfying forward Euler conditions. Strong-stability-preserving (SSP) methods are popular and effective for solving equations of this type. However, few methods can deal with the situation when the time-step size is larger than that allowed by SSP methods. By adopting time-step-dependent stabilization and taking advantage of integrating factor methods in the Shu-Osher form, we propose enforcing the inequality structure preservation by approximating the exponential function using a novel recurrent approximation without harming the convergence. We define sufficient conditions for the obtained parametric Runge-Kutta (pRK) schemes to preserve inequality structures for any time-step size, namely, the underlying Shu-Osher coefficients are non-negative. To remove the requirement of a large stabilization term caused by stiff linear operators, we further develop inequality-preserving parametric integrating factor Runge-Kutta (pIFRK) schemes by incorporating the pRK with an integrating factor related to the stiff term, and enforcing the non-decreasing of abscissas. The only free parameter can be determined a priori based on the SSP coefficient, the time-step size, and the forward Euler condition. We demonstrate that the parametric methods developed here offer an effective and unified approach to study problems that satisfy forward Euler conditions, and cover a wide range of well-known models. Finally, numerical experiments reflect the high-order accuracy, efficiency, and inequality-preserving properties of the proposed schemes.\",\"PeriodicalId\":50499,\"journal\":{\"name\":\"Esaim-Mathematical Modelling and Numerical Analysis-Modelisation Mathematique et Analyse Numerique\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.9000,\"publicationDate\":\"2023-03-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Esaim-Mathematical Modelling and Numerical Analysis-Modelisation Mathematique et Analyse Numerique\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1051/m2an/2023029\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"Mathematics\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Esaim-Mathematical Modelling and Numerical Analysis-Modelisation Mathematique et Analyse Numerique","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1051/m2an/2023029","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"Mathematics","Score":null,"Total":0}
引用次数: 1

摘要

为非线性微分方程开发明确的、高阶精确的、稳定的算法仍然是一项极其困难的任务。在这项工作中,提出了一种系统的方法来开发高阶,大时间步进格式,可以保持一类满足正演欧拉条件的微分方程共享的不等式结构。强稳定保持(SSP)方法是求解这类方程的有效方法。然而,很少有方法可以处理比SSP方法允许的时间步长更大的情况。利用Shu-Osher形式的积分因子方法,采用时间步长相关稳定化方法,在不损害收敛性的前提下,利用一种新的循环逼近逼近指数函数,增强不等式结构的保存性。我们定义了所得到的参数Runge-Kutta (pRK)格式在任何时间步长下保持不等式结构的充分条件,即基本的Shu-Osher系数是非负的。为了消除由刚性线性算子引起的大稳定项的要求,我们进一步发展了保不等式参数积分因子龙格-库塔(pIFRK)格式,通过将pRK与与刚性项相关的积分因子结合起来,并强制横坐标不减小。唯一的自由参数可以根据SSP系数、时间步长和前向欧拉条件先验地确定。我们证明了这里开发的参数方法提供了一种有效和统一的方法来研究满足前向欧拉条件的问题,并且涵盖了广泛的已知模型。最后,通过数值实验验证了所提方案的高阶精度、高效性和保不等式性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Efficient inequality-preserving integrators for differential equations satisfying forward Euler conditions
Developing explicit, high-order accurate, and stable algorithms for nonlinear differential equations remains an exceedingly difficult task. In this work, a systematic approach is proposed to develop high-order, large time-stepping schemes that can preserve inequality structures shared by a class of differential equations satisfying forward Euler conditions. Strong-stability-preserving (SSP) methods are popular and effective for solving equations of this type. However, few methods can deal with the situation when the time-step size is larger than that allowed by SSP methods. By adopting time-step-dependent stabilization and taking advantage of integrating factor methods in the Shu-Osher form, we propose enforcing the inequality structure preservation by approximating the exponential function using a novel recurrent approximation without harming the convergence. We define sufficient conditions for the obtained parametric Runge-Kutta (pRK) schemes to preserve inequality structures for any time-step size, namely, the underlying Shu-Osher coefficients are non-negative. To remove the requirement of a large stabilization term caused by stiff linear operators, we further develop inequality-preserving parametric integrating factor Runge-Kutta (pIFRK) schemes by incorporating the pRK with an integrating factor related to the stiff term, and enforcing the non-decreasing of abscissas. The only free parameter can be determined a priori based on the SSP coefficient, the time-step size, and the forward Euler condition. We demonstrate that the parametric methods developed here offer an effective and unified approach to study problems that satisfy forward Euler conditions, and cover a wide range of well-known models. Finally, numerical experiments reflect the high-order accuracy, efficiency, and inequality-preserving properties of the proposed schemes.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
CiteScore
2.70
自引率
5.30%
发文量
27
审稿时长
6-12 weeks
期刊介绍: M2AN publishes original research papers of high scientific quality in two areas: Mathematical Modelling, and Numerical Analysis. Mathematical Modelling comprises the development and study of a mathematical formulation of a problem. Numerical Analysis comprises the formulation and study of a numerical approximation or solution approach to a mathematically formulated problem. Papers should be of interest to researchers and practitioners that value both rigorous theoretical analysis and solid evidence of computational relevance.
期刊最新文献
The nonconforming virtual element method for Oseen’s equation using a stream-function formulation A second-order absorbing boundary condition for two-dimensional peridynamics On the convergence of an IEQ-based first-order semi-discrete scheme for the Beris-Edwards system A virtual element method for overcoming locking phenomena in Biot's consolidation model On strictly convex entropy functions for the reactive Euler equations
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1