1. 引言
有限差分(finite difference,简记FD)是光滑函数导数逼近的最经典方法 [1] ,它是用函数在某点附近的函数值的线性组合来逼近函数在该点的导数值,一般是通过递推方法来定义,广泛应用于数值求解微分方程。常用的逼近一元函数导数的差分公式为基于三等距节点
的一阶中心差分和二阶中心差分,其截断误差分别为
(1.1)
(1.2)
显然,中心差分公式(1.1),(1.2)的截断误差仅达到二阶精度,且由于差分公式中的系数项均是固定常数,因此其逼近阶不可能再提高。
径向基函数(Radial Basis Function,简记RBF)插值是针对散乱数据插值提出的 [2] [3] [4] 。表1列举了一些常用的无限光滑径向基函数,它们都含有一个形状参数
,该形状参数的不同取值会影响径向基插值的精度和稳定性 [5] 。
G. B. Wright和B. Fornberg在文献 [7] 中利用文献 [6] 的结果证明了由径向基函数插值产生的有限差分收敛到经典的多项式差分,当
时。不同的形状参数
的取值会影响此类差分公式的逼近精度。但到目前为止,几乎没有理论分析使差分公式逼近精度达到最佳时参数
的精确表达式。人们一般通过数值测试找出拟最佳
值,如 [7] [8] 。我们对本文构造的RBF-FD公式的截断误差进行Taylor展开分析,给出使其逼近阶达到最高的参数
的精确表达式,并将此类差分公式用于求解带小粘性系数的非齐两点边值问题。
Table 1. Typical examples of “global function”
表1. 几类典型的全局径向基函数
在应用科学与工程技术领域中,许多实际的问题经常涉及到求解含有极小参数的微分方程,当方程中的参数值有很小的变化时,会导致方程的解产生很大变动,如带小粘性系数的非齐次两点边值问题:
(1.3)
其中函数
,且
,
。由于求解带小粘性系数的边值问题不论在理论上还是在数值方法上都要比一般两点边值问题困难 [9] [10] ,目前对于带小粘性系数两点边值问题,主要的数值解法有差分余项反向修正法 [11] 、高精度差分法 [12] 、隐式紧致差分法 [13] 、混合型高精度紧致差分法 [14] 等。本文中,我们利用构造的径向基函数有限差分(简记RBF-FD),设计求解带小粘性系数非齐次两点边值问题(1.3)的一种四阶精度的径向基有限差分格式,使所构造格式的收敛阶是同节点模板的多项式差分格式收敛阶的2倍,此外,数值实验表明所构造的RBF-FD格式在小粘性系数大于等于
的情况下能够保持四阶收敛速度。
文章余下章节安排如下:第二节构造了在三等距节点下逼近一元函数的一阶和二阶导数的RBF-FD公式,并通过对其截断误差分析得到最佳参数
的表达式,以保证RBF-FD公式达到最佳逼近阶;第三节利用第二节构造的逼近二阶导函数的RBF-FD公式,给出了求解带小粘性系数的非齐两点边值问题的RBF-FD格式,并巧妙地利用微分方程给出了最佳参数
的计算式,避免了直接估值带来的困难;第四节是结论部分。
2. 基于三等距节点的RBF-FD公式的构造及最佳参数e的选择
2.1. 基于三等距节点的RBF-FD公式
本文中,我们使用一元径向基函数插值来构造差分公式。假设给定三节点数据组为
,且节点是等距的,即
。这里使用带常数项的径向基函数
(2.1)
作为节点处的插值函数,其中
是径向基函数,
是
空间中的欧氏距离。方程(2.1)中的系数
由下列插值条件和额外条件
(2.2)
决定。方程组(2.2)的矩阵向量形式为
(2.3)
插值函数(2.1)在节点
处的
阶导数为
我们将
称为基于径向基函数插值的
阶有限差分,简记为
阶RBF-FD。一般有
。如果要得到
的表达式,则需要符号求解方程(2.3),这在一般情况下比较困难。下面我们通过插值函数
的Lagrange形式
(2.4)
来给出
的精确表达式,其中
是Lagrange基函数。根据文献 [15] 有
(2.5)
其中
是(2.3)中矩阵
的第
个行向量被以下向量
.
置换后的矩阵。借助(2.4)有
在文章余下部分,我们取径向基函数为
(Multiquadric,MQ函数)来进行讨论。根据公式(2.5),
中的系数
的表达式分别为
其中
(2.6)
于是有
(2.7)
2.2. 最佳参数e的选择
假设被插值函数
在包含节点组
的区间
上充分光滑,且不妨记
,则
关于
和
的Taylor展开式分别为
(2.8)
由式(2.8)可以看出,当
时(称为
的最佳值),有
。下一节,我们利用(2.8)构造求解带小粘性系数的非齐两点边值问题的具有四阶逼近精度的差分格式。
3. 带小粘性系数的非齐次两点边值问题的求解
带小粘性系数的非齐次两点边值问题:
(3.1)
其中
为粘性常系数,函数
,且
。
3.1. 求解两点边值问题的RBF-FD格式
区间
被剖成
等份,节点
。在节点
处,一方面,我们利用问题(3.1)的解
有
(3.2)
其中
。由2.2节的分析可知,当
(最佳参数)时,
。这表明为了使
为
的四阶逼近,形状参数
必须取与
有关的值,从而
也与
有关,不妨将这类系数
和
分别记为
和
,同时引入记号
。
另一方面,欲根据中心差分公式
(3.3)
给出一个逼近
达到
精度的近似式。为了达到这个目的,需要将(3.3)右端的三阶导数
用具有二阶精度的差分逼近公式替代。做到这一点并不难,由两点边值问题(3.1)中的微分方程,可知
(3.4)
从而
(3.5)
将式(3.5)代入(3.3)右边,并利用中心差分公式,易得到
(3.6)
利用式(3.2),(3.6)得到求解两点边值问题(3.1)的具有四阶精度的RBF-FD方程:
且满足边值条件
。进一步整理,得
(3.7)
其中
格式(3.7)的矩阵向量形式记为
,这里
明显地,
都是
的函数,即方程组
是非线性的。我们构造如下迭代格式
(3.8)
进行求解,直到满足迭代终止条件
时,迭代终止。
3.2. 最佳参数e2的计算
根据3.1节的分析可知最佳参数
,而
是未知的,如果能给出最佳参数
的一个具有二阶精度的近似值,那么仍有
成立。如何给出
的一个具有二阶精度的近似值呢?
首先,对方程(3.4)两边连续求导两次,得
(3.9)
将式(3.4),(3.5)代入(3.9)得
不妨记作
,其中
根据RBF-FD公式(2.8)的截断误差,可知
从而,当
时,有
成立。
Algorithm I:差分方程(3.7)的迭代求解过程:
STEP 1:迭代格式(3.8)的初始值选择:利用二阶中心差分格式
(3.10)
计算出一组具有
精度的近似解
。
STEP 2:以
作为格式(3.8)的初始值
进行迭代计算,直到满足终止条件
时,迭代终止。
3.3. 数值实验
例1:利用Algorithm I求解下列两点边值问题:
其精确解为
。
下表分别给出了,当小粘性系数
取不同值时,本文构造的RBF-FD格式(3.7)的解的迭代次数(Iter)、误差(
-error)、收敛阶(order)和计算时间(Time(s)),其中
同时,表2中还列出了二阶中心差分格式(3.10)的解的误差、收敛阶及计算时间。
表2~表5分别给出了
时,本文构造的RBF-FD格式(3.7)在不同步长下解的误差
表2. v = 1时RBF-FD格式(3.7)与中心差分格式(3.10)在不同步长下解的误差、收敛阶及计算时间
表3. v = 0.1时RBF-FD格式(3.7)与中心差分格式(3.10)在不同步长下解的误差、收敛阶及计算时间
表4. v = 0.01时RBF-FD格式(3.7)与中心差分格式(3.10)在不同步长下解的误差、收敛阶及计算时间
表5. v = 0.001时RBF-FD格式(3.7)与中心差分格式(3.10)在不同步长下解的误差、收敛阶及计算时间
(
-error)及收敛阶(order)。由数值结果可以看出,对于例1中的问题,本文构造的格式在
时能够达到四阶收敛速度,与传统的基于三节点的中心差分格式(3.10)相比,收敛阶提高了2阶,而计算时间略有增加。但是在
小于0.001的粗网格情况下,RBF-FD格式的精度与收敛阶会有所下降。导致这一
问题的本质原因是,因为格式(3.7)的截断误差中含有
和
项,从而在步长
较大时,截断误差会随着粘性系数
的减小而增大,这就导致了当
取值较小,而网格较粗时,格式(3.7)的精度与收敛阶也会随之下降。
4. 结论
本文利用基于三等距节点的具有零次代数精度的径向基函数插值的Lagrange形式,给出了逼近被插函数在中心节点处一阶导数和二阶导数的RBF-FD公式,通过对其截断误差进行分析,给出了使逼近阶达到最高阶的最佳参数
值。然后,利用这些具有最佳参数值的RBF-FD公式,给出了求解带小粘性系数的非齐两点边值问题的RBF-FD差分格式,所构造的RBF-FD格式的收敛阶是同节点模板的二阶多项式中心差分格式的2倍,而计算时间略有增加,显示出带有最佳参数的RBF-FD格式的优势。此外,本文构造的RBF-FD格式,保证了粘性系数
时,数值解能够达到4阶收敛速度。未来的工作是要解决如何修正现有的差分格式,使得当粘性系数
取值更小时,问题的数值解仍能够达到高阶的逼近精度。
基金项目
国家自然科学基金(91630203, 11271041)和民机专项(MJ-F-2012-04)资助项目。