arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2402.02849math.NAcs.NA
收藏

求解具有初始奇异性抛物型方程时需要保衰减的误差估计吗?

Do we need decay-preserving error estimate for solving parabolic equations with initial singularity?

Jiwei Zhang, Zhimin Zhang, Chengchao Zhao

AI总结:

针对具有弱初始奇异性的抛物型方程,提出保衰减误差估计方法,揭示L1、IE、C-N和BDF2格式收敛速率随模型参数变化的原因,并通过数值实验验证。研究问题:为何不同参数下收敛速率不同;核心方法:引入含指数和代数系数的误差估计;主要贡献:解释传统理论无法解释的现象。

摘要:

在包括扩散方程和次扩散方程在内的各种方程中,会出现具有弱初始奇异性的解。当使用著名的L1格式求解具有弱奇异性的次扩散方程时,数值模拟揭示出该格式对于不同的模型参数选择(即区域大小、最终时间$T$和反应系数$κ$)表现出不同的收敛速率。这一难以捉摸的现象并非L1格式所独有,在反应-扩散方程的其他数值方法中也能观察到,例如向后欧拉(IE)格式、Crank-Nicolson(C-N)格式和两步向后微分公式(BDF2)格式。现有文献缺乏对两种不同收敛机制存在性的解释,这长期困扰着我们,并促使我们研究标准收敛理论与数值经验之间的这种不一致性。在本文中,我们提供了一种通用方法,系统地获得包含解指数衰减特征的误差估计。我们将这种新颖的误差估计称为“保衰减误差估计”,并将其应用于上述IE、C-N和BDF2格式。我们的保衰减误差估计由一个带指数系数的低阶项和一个带代数系数的高阶项组成,两者都依赖于模型参数。我们的估计揭示出,变化的收敛速率是由这两个分量在不同模型参数区域之间的权衡引起的。通过考虑模型参数,我们捕捉到了传统误差估计无法解释的收敛速率的不同状态。这种方法保留了连续解的更多性质。我们用数值结果验证了我们的分析。

英文摘要:

Solutions exhibiting weak initial singularities arise in various equations, including diffusion and subdiffusion equations. When employing the well-known L1 scheme to solve subdiffusion equations with weak singularities, numerical simulations reveal that this scheme exhibits varying convergence rates for different choices of model parameters (i.e., domain size, final time $T$, and reaction coefficient $κ$). This elusive phenomenon is not unique to the L1 scheme but is also observed in other numerical methods for reaction-diffusion equations such as the backward Euler (IE) scheme, Crank-Nicolson (C-N) scheme, and two-step backward differentiation formula (BDF2) scheme. The existing literature lacks an explanation for the existence of two different convergence regimes, which has puzzled us for a long while and motivated us to study this inconsistency between the standard convergence theory and numerical experiences. In this paper, we provide a general methodology to systematically obtain error estimates that incorporate the exponential decaying feature of the solution. We term this novel error estimate the `decay-preserving error estimate' and apply it to the aforementioned IE, C-N, and BDF2 schemes. Our decay-preserving error estimate consists of a low-order term with an exponential coefficient and a high-order term with an algebraic coefficient, both of which depend on the model parameters. Our estimates reveal that the varying convergence rates are caused by a trade-off between these two components in different model parameter regimes. By considering the model parameters, we capture different states of the convergence rate that traditional error estimates fail to explain. This approach retains more properties of the continuous solution. We validate our analysis with numerical results.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑