1. 引言
微分方程的边值问题指的是定解条件只在求解区域的边界上确定的微分方程的定解问题。常微分方程边值问题在数学和物理问题都起着重要的作用现阶段对于常微分方程边值问题的研究已经非常成熟和普遍。同时也取得艰深的成果。常微分方程的边值问题很少能求出它的解析解,目前能求出解析解的仅有少部分典型的方程,因此,有必要数值求解通过使用数值计算方法获得的数值解,该数值计算方法是其精确解的近似,并且该近似具有代数精度。我们的目标是找到代数精度达到最高阶的计算方法,同时保证计算量不会过大。其高精度的算法可大大提高计算效率,对问题的数值求解,特别是其大范围或高精度的求解益处明显。差分法在求解常微分边值问题方法中是很常见同时也是很重要的办法之一。
余爱晖 [1] 介绍了依据网格构造三点有限差分方法,并验证了该方法的收敛性。邹序焱 [2] 用差分格式可以得到三对角的系数矩阵,然后用追赶法求解,最后的到的二阶精度的数值解。差分法通过不断的改进,代数精度也在不断提高。郭晓晔 [3] 等人用差分法求解常微分方程边值问题常规的差商近似导数得到代数精度为二阶的。四阶精度的差分格式由刘明会 [4] 介绍的通过运用中心差分公式,得到四阶差分公式,最终的误差精度也为四阶的。周保民 [5] 用中心差分格式公式近似导数,并通过对边界条件的处理来提高数值解的精确度,不同的边界处理得到的精度不同(在边界附近的节点上用不同的差分格式代替非对称差分法、减小宽带法、矩阵多项式法得到的截断误差分别为三阶、四阶、六阶)大大提高了计算精度。
2. 广义Peano定理与差分法
二阶常微分方程一般形式为
,即线性情形可表示为
(1.1)
其中,
是已知函数。
计算过程中(1.1)的计算量相对较复杂,我们可以通过将(1.1)式乘以
,
,便可以将二阶常微分方程边值问题(1.1)化简为形如(1.2)的式子:
(1.2)
因此我们可以统一考虑(1.2)式的常微分方程。
仅考虑第一类边界条件,对应的二阶常微分方程边值问题为:
(1.3)
2.1. 差分法
对上述(1.3),在等步长的情况,将区间[a, b]划分为n等分,令
,
则
。
有限差分方法:通过离散的方法将定解区间离散为网格式的节点,将连续变量函数离散为离散函数构成的线性方程组,典型的差分法是通过利用差商近似导数或者是积分插值形式来构造差分格式。将差分格式带入原方程组化简得到定解条件下的近似得线性方程组,解这个方程组就可以得到原问题在离散点的近似解。典型的差分法如下式所示:
(1.4)
用差商近似二阶导数
具有二阶精度的误差。
2.2. 广义Peano定理
定义(代数精度):设
和
均为f的线性泛函,若f为次数不超过m的多项式时,均有
,而
,则称近似公式
(或
)具有m次代数精度。
定理(广义Peano定理):若
是线性泛函,
具有m次代数精度,则
,其中
为
的任意m+1个节点
的插值多项式的余项。
由插值多项式的理论可知,
可表示为
(1.5)
是区间[a, b]上的任意点,且
在
与x之间。
设Lm(x)是满足定理条件的m次插值多项式,则
,即可得到
。
3. 常微分方程边值问题的五点差分格式
在这一部分,本文对于(1.3)式类型的常微分方程边值问题构造五点差分格式,展开了下述研究。
3.1. 推导(1.3)式的高精度的五点差分格式
过程如下:欲使
(2.1)
具有最高阶精度,就要求不全为零的系数
,使得
对尽可能大的m成立。式子中有十个未知数,但独立的只有九个,所以只需要九个方程就能求解出系数。
将
带入(2.1)则可以得到九个方程。因为要求系数
不全为零,可先取定
,即可解出系数
。
为了计算方便,令
则有
(2.2)
得到方程为:
(2.3)
通过matlab符号计算求解得(取
):
将系数代入(2.1)式,可验证
,这样得出R[y]具有九次代数精度。
得到的五点差分格式如下:
(2.4)
3.2. 用差分格式求解
步骤:分别用所求解的系数与原常微分方程相乘,然后相加化简(合并同类项)再用所得的差分格式近似代换
(2.5)
将二阶导用差分格式近似代换后得:
带入计算系数
得线性方程组用与求解离散近似解。
由线性方程组看到有n−3个方程组但有n−1个未知数,需要对边界进行处理。
3.3. Taylor展开处理边界条件
Taylor展开处理常微分方程边值问题的线性方程组的边界条件,提高数值解的计算精度方法除了差分格式我们还可以通过对边界条件的处理来提高代数精度。
过程:
由Taylor展开公式
(2.6)
(2.7)
将两式相加进行离散到具有四阶精度,与原常微分方程结合
(2.8)
将上式方程组结合化简,离散后可以得到我们想要的阶数的边值条件方程式
1) 四阶精度
上边界:
(2.9)
下边界:
(2.10)
2) 六阶精度(适用p(x)为常数)
上边界:
(2.11)
下边界:
(2.12)
3) 八阶精度(适用于p(x)为常数)
上边界:
(2.13)
下边界:
(2.14)
带入线性方程组中得到五对角的矩阵进行求解常微分方程边值问题。使用LU分解法,通过编程求解。
3.4. 差分格式的收敛性
由3.1节中
时,得到
都为0,但是
带入数据:
由系数具有对称性,我们可以推算的出
所以差分格式(2.4)的代数精度m = 9。
由广义Peano定理,为了方便计算取双节点,得到:
则截断误差为:
将
带入化解得到式子如下:
由于当
得出差分格式是收敛的。
4. 数值算例
例题1
我们能得出方程组的精确解为
。
为了方便比较我们取同一个常微分方程,边界处理通过Taylor展开到四阶精度取等步长
,
n确定即h确定,其中
,ye为精确值yt为近似值,errm为最大误差
。
Table 1. Example 1 Error comparison under non-synchronous length
表1. 例题1不同步长下的误差对比
通过表1数据对比我们可以看到边界条件的精度对误差的影响很大对于近似解的误差精度,Taylor展开到了四阶精度,边界误差精度达10−10,得到的差分格式的最高阶精度为五阶。
通过图1可以看得边界为四阶Taylor展开的拟合程度良好。
例题2:
可以解除其精确解为
。
根据3.3节介绍的Taylor展开处理边界条件到六阶精度进行计算对上述方程组进行离散求解,同样取等步长
,n确定步长确定。
,ye为近似解,yt精确解,因此errm表示最
大误差,为
。
Figure 1. Example Problem 1 Comparison diagram of approximate solution and exact solution
图1. 例题1近似解与精确解对比图
Table 2. Example 2 Error comparison under non-synchronization length
表2. 例题2不同步长下的误差对比
从表2中数据分析我们得出同样的结论n越大误差越小R在0.002的上下波动,我们可以得到差分格式的最高精度为七阶。可以看到步长越小得到的误差越小,结果越精确。通过于上个例题进行对比我们可以看出边界条件的精度对数值解的代数精度还是具有影响,精度越高得到的数值解也更精确。
如图2,展示了近似值与精确值的拟合图像,近似解与精确解几乎重合,我们能更直观的看出近似解的精度。
例题3:
可以求出精确解为
。
根据3.3节介绍的Taylor展开处理边界差分方程组离散到八阶精度进行计算,对上述方程组进行离
散求解,取等步长
,最大误差为
,
。
Figure 2. Example 2 Comparison diagram of approximate solution and exact solution
图2. 例题2近似解与精确解对比图
从表3中的数据我们可以显然的看到当步长取相对较大时就已经能达到很小的误差,当n取到40时几乎已经达到双精度的上限,也就是近似值与精确值在无限接近了。从R的数值在减小我们可以确定差分格式的阶数至少为八阶精度。得到的这个结果还是很理想的。
Table 3. Example 3 Error comparison under non-synchronization length
表3. 例题3不同步长下的误差对比
从图3我们可以看出近似值的离散点和精确解的拟合情况是几乎完全重合的,这样我们也能看出五点差分格式求出的数值解的精确性很高。
5. 结论
本文讨论在第一类边值条件下求解常微分方程边值问题的五点差分格式,求解常微分方程边值问题的差分格式有多种,五点差分格式相对较简单,但是却能大大提高精度,解出离散线性方程组后需要对边界条件进行处理后才能求解,本文讨论了两种处理方法,由于得到的是特殊的五对角矩阵用LU分解 [6] 了解到计算量约为O (49n)然后推广的追赶法最终求得离散数值解。广义Peano定理同样适用于第二类边值和第三类边值条件。
用所得到的五点差分格式进行算例计算近似数值解误差得到了大大提高,常微分方程稳定的情况下差分格式的具有最高阶精度达到五阶。误差达到了10−10,边界处理精度达到六阶时,差分格式精度为七阶,误差低到10−14。当边界差分方程精度达到八阶时,我们得到的差分格式最高精度的阶数为八阶。这个误差精度是我查阅到的差分格式中最小的了。而且这个计算量小,所以我们得到的五点差分格式是可行的并且是实用的。
Figure 3. Example 3 Approximate solution and exact solution comparison diagram
图3. 例题3近似解与精确解对比图
本文只对一种简单式的二阶常微分方程
边值问题进行求解。由(2.1)得出的五点差分格式最高阶精度为九阶。在数值算例中我们能得到更精确的数值解。同时我们全文考虑的都是在等步长情况下,考虑差分格式的收敛性还可以通过数据来确认,以
(err是最大误差,h为步长),如果存在一个k,使得r常数的上下波动,则这个差分格式收敛,且最终得到k的值就是差分格式的最高阶精度。
本文通过构造具有最高代数精度的二阶导数的组合式近似,构造了具有最高阶精度的等步长的五点差分格式,这是一种构造高阶精度差分格式的方法,可以推广到更多点和变步长情形。构造出格式后,还可以运用广义Peano定理给出它的简洁的误差表达式。