数值分析——分段低次插值

关键字：Matalb；曲线拟合；高次病态特性；分段低次插值

系列文章目录

数值分析——拉格朗日插值
数值分析——牛顿插值多项式
数值分析——埃尔米特（Hermit）插值

---

---

前言

  一般认为对于区间$\left[a,b\right]$上给出的节点做插值多项式$L_n\left(x\right)$近似$f\left(x\right)$，一般总认为$L_n\left(x\right)$的次数$n$越高，插值函数逼近原函数的效果越好，但实际上并非如此。这是因为对于任意的插值节点，当$n\to \infty$时，$L_n\left(x\right)$不一定收敛于$f\left(x\right)$。为了解决高次插值的问题，学者们提出了分段低次插值的方法，即将被拟合函数$f\left(x\right)$分为多个小区间，在小区间上利用低次多项式进行插值拟合。

本文对一些复杂的流程与概念进行了简化与省略，如果想详细了解的小伙伴可以参考李庆扬老师的《数值分析 -第5版》的第2章（需要电子版请私戳）

---

一、理论推导

1.高次插值的病态特性

  高次插值的病态特性指的是，在对某些函数$f\left(x\right)$进行拟合时，高次多项式的插值函数拟合效果反而不好的特性。例如针对函数：
$$f\left(x\right)=\frac{1}{x^2+1}\text{\hspace{1em}(1)}$$使用拉格朗日插值法，在插值节点$x=-5,-4,-3,-2,-1,0,1,2,3,4,5$拟合十次插值函数：

% 高次插值的动态特性
x=-5:0.05:5;
y=zeros(1,length(x));                                                       % 原函数y值
xInArr=-5:1:5;                                                              % 插值节点x值
yInArr=zeros(1,length(xInArr));                                             % 插值节点y值
yOutArr=zeros(1,length(x));                                                 % 插值函数y值
% 计算插值函数y值
for i=1:1:length(xInArr)yInArr(i)=1/(xInArr(i)^2+1);
end
% 计算十次插值多项式的poly数组
L10=func_LagrangeInterpolation(xInArr,yInArr,11);
% 计算原函数与插值函数y值
for i=1:1:length(x)y(i)=1/(x(i)^2+1);yOutArr(i)=polyval(L10,x(i));
end
% 画图
plot(x,y,'k-',x,yOutArr,'r:','LineWidth',2);
xlabel('x');
ylabel('y');
legend('f(x)','L10(x)');

其中func_LagrangeInterpolation是拉格朗日插值法函数，具体内容可参考数值分析——拉格朗日插值中的代码。得到的对比结果：

图1.1 高次插值函数的病态特性

其中红色的点线为十次拉格朗日插值函数$L_{10}\left(x\right)$，黑色的曲线为原函数$f\left(x\right)$，可以看到插值函数的拟合效果并不是很好。

2.分段线性插值

  分段线性插值就是通过插值点用折现段连接起来逼近$f\left(x\right)$。若在已知节点$a=x_0<x_1<\cdots <x_n=b$，已知各点的函数值f_0,f_1,f_2,\cdots,f_{n-1},f_n，则可以设计一个插值函数：
$$I_h\left(x\right)=\frac{x-x_{k+1}}{x_k-x_{k+1}}{f}_k+\frac{x-x_k}{x_{k+1}-x_k}{f}_{k+1},x_k\le x\le x_{k+1},k=0,1,\cdots ,n-1\text{\hspace{1em}(2)}$$该插值函数满足：

1. 函数属于在区间$[a,b]$连续的函数空间：$I_h\left(x\right)\in C\left[a,b\right]$；
2. 插值函数在所有插值点的数值都等于原函数：$I_h\left(x\right)=f_k\left(k=0,1,\cdots ,n-1\right)$；
3. 插值函数在每个小区间上是线性函数：$I_h\left(x\right)=kx+b$。

3.分段三次Hermit插值

  分段线性插值函数的导数是间断的，如果在插值节点$a=x_0<x_1<\cdots <x_n=b$上，不仅已知函数值$f_0,f_1,f_2,\cdots ,f_{n-1},f_n$，而且已知函数导数值$f_0^{{}^{\prime }},f_1^{{}^{\prime }},f_2^{{}^{\prime }},\cdots ,f_{n-1}^{{}^{\prime }},f_n^{{}^{\prime }}$，则可以设计一个插值函数：
$$\begin{array}{rl}{I}_h\left(x\right)=& {\left(\frac{x-x_{k+1}}{x_k-x_{k+1}}\right)}^2\left(1+2\frac{x-x_k}{x_{k+1}-x_k}\right)f_k+{\left(\frac{x-x_k}{x_{k+1}-x_k}\right)}^2\left(1+2\frac{x-x_{k+1}}{x_k-x_{k+1}}\right)f_{k+1}\\ & +{\left(\frac{x-x_{k+1}}{x_k-x_{k+1}}\right)}^2\left(x-x_k\right)f_k^{{}^{\prime }}+{\left(\frac{x-x_k}{x_{k+1}-x_k}\right)}^2\left(x-x_{k+1}\right)f_{k+1}^{{}^{\prime }},x_k\le x\le x_{k+1},k=0,1,\cdots ,n-1\end{array}\text{\hspace{1em}(3)}$$该插值函数满足：

1. 插值函数属于在区间$[a,b]$上一阶导数连续的函数空间：$I_h\left(x\right)\in C^1\left[a,b\right]$
2. 插值函数在所有插值点的数值都等于原函数：$I_h\left(x\right)=f_k\left(k=0,1,\cdots ,n-1\right)$
3. 插值函数一阶导数在所有插值点的数值都等于原函数一阶导数：$I_h^{{}^{\prime }}\left(x\right)=f_k^{{}^{\prime }}\left(k=0,1,\cdots ,n-1\right)$
4. 插值函数在每个小区间上是三次多项式：$I_h\left(x\right)=a{x}^3+b{x}^2+cx+d$

二、MATLAB

1.分段线性插值

% 分段线性插值
function [yOutArr]=func_PiecewiseLinearInterpolation(xInArr,yInArr,xQuery)% ************************************************************% 识别误差% ************************************************************xInLength=length(xInArr);yInLength=length(yInArr);% 插值数组不匹配if xInLength~=yInLengtherror('Error:The xInArr %d and the yInArr %d are not equal in length.',xInLength,yInLength);end% ************************************************************% 计算查询节点在插值函数上的函数值% ************************************************************% 只一个插值节点if xInLength==1yOutArr=yInArr;return;end% 有多个插值节点xQueryLength=length(xQuery);yOutArr=zeros(1,xQueryLength);pos=1;for i=1:1:xQueryLengthfor j=pos:1:xInLength-1% 查询节点如果超出插值节点范围则报错if xQuery(i)>xInArr(xInLength)||xQuery(i)<xInArr(1)error('Error:The num of the xQuery should gainer than %d and lesser than %d.',xInArr(1),xInArr(xInLength));end% 定位查询数组在插值节点的位置if (xQuery(i)>xInArr(j)&&xQuery(i)<xInArr(j+1))||(xQuery(i)==xInArr(j))pos=j;break;endend% 计算查询节点在插值函数上的函数值yOutArr(i)=polyval(func_LinearInterpolation(xInArr(pos),yInArr(pos),xInArr(pos+1),yInArr(pos+1)),xQuery(i));end
end

2.分段Hermit插值

% 分段三次Hermit插值
function [yOutArr]=func_PiecewiseCubeHermitInterpolation(xInArr,yInArr,dyInArr,xQuery)% ************************************************************% 识别误差% ************************************************************xInLength=length(xInArr);yInLength=length(yInArr);% 插值数组不匹配if xInLength~=yInLengtherror('Error:The xInArr %d and the yInArr %d are not equal in length.',xInLength,yInLength);end% ************************************************************% 计算查询节点在插值函数上的函数值% ************************************************************% 只一个插值节点if xInLength==1yOutArr=yInArr;return;end% 有多个插值节点xQueryLength=length(xQuery);yOutArr=zeros(1,xQueryLength);pos=1;for i=1:1:xQueryLengthfor j=pos:1:xInLength-1% 查询节点如果超出插值节点范围则报错if xQuery(i)>xInArr(xInLength)||xQuery(i)<xInArr(1)error('Error:The num of the xQuery should gainer than %d and lesser than %d.',xInArr(1),xInArr(xInLength));end% 定位查询数组在插值节点的位置if (xQuery(i)>xInArr(j)&&xQuery(i)<xInArr(j+1))||(xQuery(i)==xInArr(j))pos=j;break;endend% 计算查询节点在插值函数上的函数值yOutArr(i)=polyval(func_2dotsCubicHermitInterpolation(xInArr(pos:1:pos+1),yInArr(pos:1:pos+1),dyInArr(pos),dyInArr(pos+1)),xQuery(i));end
end

3.测试程序

% 测试分段低次插值函数——func_PiecewiseLinearInterpolatio、func_PiecewiseCubeHermitInterpolation
clc;
clear;
close all;x=-0.2*pi:0.2*pi:10*pi;
y=sin(x);
dy=diff(y,1);xq=0:0.01*pi:10*pi;
yq1=func_PiecewiseLinearInterpolation(x(2:1:length(x)),y(2:1:length(x)),xq);
yq2=func_PiecewiseCubeHermitInterpolation(x(2:1:length(x)),y(2:1:length(x)),dy,xq);
plot(x,y,'k*',xq,yq1,'r-',xq,yq2,'b-');

图2.1 分段线性与Hermit插值

---

总结

  以上在本文中对分段低次插值的两种常见方法的推导进行了简单介绍，并提供了MATLAB的实现代码与测试用例。

参考文献

[1]李庆扬,王能超,易大义. 数值分析.第5版[M]. 清华大学出版社, 2008.