所以,我们正在求解双调和方程() 通过求解泊松方程 () 两次。我们有很好的边界条件,和在边界上。
我们使用 5 点方案,其中
我们得到以下截断错误的表达式:
假设“不错”的初始值函数我们要证明该方法是收敛的,即。当步长变大时,全局误差会以某种方式变为零和归零。
关于如何继续展示这一点的任何线索?
所以,我们正在求解双调和方程() 通过求解泊松方程 () 两次。我们有很好的边界条件,和在边界上。
我们使用 5 点方案,其中
我们得到以下截断错误的表达式:
假设“不错”的初始值函数我们要证明该方法是收敛的,即。当步长变大时,全局误差会以某种方式变为零和归零。
关于如何继续展示这一点的任何线索?
据我所知,证明五点模板的稳定性有一个涉及光谱半径的经典证明,因为特征值是一个简单的三角函数。虽然我没有手边的数值分析书籍,但我能够在 p.1 中找到证明。本笔记的43条(这可能是前面提到的 LeVeque 书的笔记)
请注意,您可能希望首先查看 1D 案例,因为该注释对 2D 案例非常简短。我想这取决于您是否想将特征值身份视为理所当然,其余的都非常简单。
您是否尝试过一些关于有限差分的好书?很确定他们展示了如何证明给定方法是否收敛。
J. Strikwerda,有限差分方案和偏微分方程,SIAM。
http://pages.cs.wisc.edu/~strik/strik.html
R. LeVeque,常微分方程和偏微分方程的有限差分方法:稳态和时间相关问题,SIAM。