1. 引言
在数值方法领域中,常常需要理由插值法对函数进行逼近,多项式插值法是常用的方法之一,不过,对于某些函数而言,多项式插值法的逼近效果不佳,这是因为产生了Runge现象。Runge现象是指,对于Runge函数,在区间[-1,1]内,等距选取插值点并采用插值多项式进行逼近,逼近多项式在区间的两端会产生振荡现象,且插值多项式的阶次越高,振荡现象就越明显,从而造成极大的逼近误差。因此,通常认为,Runge函数不能使用等距节点的高次多项式插值进行函数逼近。为良好地逼近Runge函数,解决Runge现象,通常使用切比雪夫节点代替等距插值点(使逼近误差随插值多项式的阶次的增大而减少)、分段线性插值和低次样条插值代替多项式插值、放弃个别点以及系数与阶次双确定法,避免龙格现象 [1] 。
2. 分析Runge现象
20世纪初,数学家龙格指出,对于连续函数:
在区间[−1,1]内,不应采用基于等距节点的高次插值多项式对该函数进行逼近。在本文中,称式上式为Runge函数。为更好地解释Runge现象,在区间[−1,1]内取
个等距插值节点
其中n为插值多项式的阶次。则可构造逼近Runge函数的插值多项式,记为:
其中
且满足
。为了确定其系数,从而确定式
,首先定义系数列向量a、插值输入幂激励矩阵V和插值输出列向量y分别为:
根据以上定义,由式可得方程
。由于矩阵V的行列式不为零,即矩阵V可逆,该方程有惟一解 [2] :
其中上标−1表示的是矩阵的逆。通过公式
可确定系数列向量a,即式
,进而构造出Runge函数的逼近插值多项式。但是,当矩阵V的维数偏大时,求矩阵的逆将产生巨大的计算量。所以,为简化计算,可通过Lagrange插值法构建插值多项式。设Lagrange插值的多项式为:
其中:
实际上,Lagrange插值法所构建的多项式和通过公式
确定的多项式是相同的。不过这两种构建的插值多项式在区间[−1,1]内都不能很好的逼近Runge函数。当阶次为n的Lagrange插值多项式逼近Runge函数时,其效果如图所示。从图中可知,在区间两侧插值多项式曲线产生振荡十分明显,且这种振荡随插值多项式阶次增加而变得严重,这种现象被称为Runge现象。具体如图1~3所示 [3] 。
![](//html.hanspub.org/file/23-2621026x25_hanspub.png)
Figure 1. Runge function equidistant node langrage interpolation
图1. Runge函数等距节点Langrage插值
![](//html.hanspub.org/file/23-2621026x27_hanspub.png)
Figure 2. Anti-triangular function equidistant node Langrage interpolation
图2. 反三角函数等距节点Langrage插值
![](//html.hanspub.org/file/23-2621026x29_hanspub.png)
Figure 3. Fractional function equidistant node Langrage interpolation
图3. 分式函数等距节点Langrage插值
3. Runge现象产生的原因
Runge现象是由系统误差造成的。一般的插值余项公式为:
其中
为插值区间
中的插值节点,
为
区间中一点。Runge现象说的是,对
在区间
上进行n次多项式插值,当
时,
不趋近于
。更确切的说,当
时,
,
,当
时,
不趋近于
,
不趋近于0。
解释这一现象,直接计算
很困难,因为微分项
不太容易直求导计算。为方便起见,令
复变函数中的Cauchy积分公式
可以很方便的计算
的值,故将插
值余项公式延拓到复平面上,并应用Cauchy积分公式,得
其中
是区域T的边界,区域T应满足f在T中解析且所有插值节点都在T中。(注意,
的奇点为
故区域不能包含
。)
化简,得到
所以现在的关键就是通过分析函数
在
时的性态,选择一个围道,来估计积分的值。
的图像如图4。
这是当
时,三个节点分别取
时的图象。随着r的增大,图象逐渐外扩。当r足够大时,
的图象很接近一个包含所有节点的圆。因此我们可以选取
作为积分的围道
。此时对
内部任意的z,
(
且
),而对于
外部任意的z,
(
且
)。于是,当
不包含
的奇点
时,可以直接选取
做围道计算
,此时
随着r变大,曲线
与x轴正方向交点向右移动。当
恰好经过
时,曲线
与x轴正方向交点为
。也就是说,当
时,可以选取
使x在
内部而
在
外部,这时误差估计满足上式,插值多项式收敛。而当
时,奇点
在
的内部,因此需在奇点附近挖“洞”,记“洞”的边缘为
,此时有
此时插值多项式发散,因此由于系统误差产生了Runge现象。
4. 避免Runge现象的算法
4.1. 常用算法
,
,
下面将分别用三种不同的插值方法对以上三个函数进行插值,并分析是否产生Runge现象。
4.1.1. 采用切比雪夫节点
此处根据Lagrange插值的具体算法进行编程,但插值节点不再是等距分布,而是如下形式:
从图5~7 [3] 中看出,插值曲线与原曲线吻合的很好,没有产生明显的Runge现象。
![](//html.hanspub.org/file/23-2621026x101_hanspub.png)
Figure 5. Runge function Chebyshev node Langrage interpolation
图5. Runge函数切比雪夫节点Langrage插值
![](//html.hanspub.org/file/23-2621026x102_hanspub.png)
Figure 6. Anti-triangular function Chebyshev node Langrage interpolation
图6. 反三角函数切比雪夫节点Langrage插值
![](//html.hanspub.org/file/23-2621026x103_hanspub.png)
Figure 7. Fractional function Chebyshev node Langrage interpolation
图7. 分式函数切比雪夫节点Langrage插值
由于切比雪夫插值点定义为
可以看出切比雪夫点恰好是以
为圆心,
为半径的圆的上半部分圆周上等距分布的点,
而对应到横坐标就是切比雪夫零点,其表现是在接近区间的两端很密集。前面等距节点的高次插值中,在插值区两端出现龙格现象,两端误差较大,这就需要在两端用更多的点来插值才可以减小误差,而切比雪夫零点解决了这个问题,所以用切比雪夫零点插值可以很好的避免出现龙格现象,切比雪夫零点要比等距节点更好。
4.1.2. 采用分段线性插值
分段线性插值只需要将每个节点对应的函数值求出再将相邻的数据点两两用直线相连即可。此处采用了等距节点,从图中看出,此处分段线性插值的效果也还是不错的,二者只在区间中部略微存在一些偏差,而在其他区域整体上吻合的很好,并且不存在Runge现象,如图8~10所示。
![](//html.hanspub.org/file/23-2621026x107_hanspub.png)
Figure 8. Runge function isometric node piecewise linear interpolation
图8. Runge函数等距节点分段线性插值
![](//html.hanspub.org/file/23-2621026x108_hanspub.png)
Figure 9. Inverse trigonometric function equidistant node piecewise linear interpolation
图9. 反三角函数函数等距节点分段线性插值
![](//html.hanspub.org/file/23-2621026x109_hanspub.png)
Figure 10. Fractional function equidistant node piecewise linear interpolation
图10. 分式函数等距节点分段线性插值
由于分段线性插值通过对插值区间分段的方法将插值函数的次数有效降低,因而即使是等距节点分布,也很好地避免了出现Runge现象的倾向。
4.1.3. 采用三次样条插值
三次样条插值此处依然采用等距节点,从图11~13 [3] 中看出,三次样条插值的效果优于分段线性插值,三次样条插值曲线和原曲线在整个插值区间都基本处于重合状态,几乎没有肉眼可见的偏差。同样,由于三次样条插值的插值函数最高次数只有3,在等距节点下也没有产生Runge现象。
![](//html.hanspub.org/file/23-2621026x110_hanspub.png)
Figure 11. Runge function equidistant node cubic spline interpolation
图11. Runge函数等距节点三次样条插值
![](//html.hanspub.org/file/23-2621026x111_hanspub.png)
Figure 12. Anti-triangular function equidistant node cubic spline interpolation
图12. 反三角函数等距节点三次样条插值
![](//html.hanspub.org/file/23-2621026x112_hanspub.png)
Figure 13. Fractional function equidistant node cubic spline interpolation
图13. 分式函数等距节点三次样条插值
4.2. 结果分析
本文通过matlab和C语言编程分别Lagrange插值法、分段线性插值法、三次样条插值法以及系数阶次双确定法,对Runge函数、反三角函数和分式函数进行了插值逼近,并通过分析计算结果主要得到了以下结论:
1) 对于高次插值多项式,若适当选取插值节点能够在一定程度上抑制Runge现象。本文中,各函数采用切比雪夫节点Lagrange插值多项式,由于采用了中间疏两边密的非等距结点,而不是Newton插值多项式所用的等距节点,有效地抑制或消除了本应出现的Runge现象。
2) 降低插值多项式的次数能有效避免Runge现象。本实验中,分段线性插值法(各区间上均为1次)和三次样条插值法(最高次数为3)都取得了较为理想的差值逼近效果,没有出现Runge现象,且在整个插值区间都与原函数的图像吻合的很好。
5. 结论
综上,在实际运用中,为了取得较好的插值逼近效果,应尽量保证以下几点:不采用次数过高的插值多项式;适当选取插值节点;避免函数值突变,若不得已对存在不连续点的函数进行插值逼近,可以尝试分段插值,并将不连续点都处理到子区间的端点上,从而原函数在各子区间内分段连续,以便提高插值逼近的效果。