三次插值曲线--插值技术

本文主要是介绍三次插值曲线--插值技术，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

三次插值曲线

1.1.三次样条曲线

三次样条曲线的基本思想是，在给定的一系列点（称为控制点或数据点）之间，通过一系列三次多项式曲线段来拟合这些点，使得整个曲线既平滑又准确地通过所有控制点。

1.1.1.数学定义

给定一组点 ( P_0, P_1, …, P_n )，其中 ( P_i = (x_i, y_i) )，( x_0 < x_1 < … < x_n )。三次样条曲线由以下性质定义：

1.局部控制：每个曲线段 ( S_i(x) ) 在区间 ( [x_i, x_{i+1}] ) 上是三次多项式。

2.连续性：所有曲线段在连接点处具有相同的一阶导数和二阶导数，即:
$S_i(x_i) = S_{i+1}(x_i) );\\ ( S'_i(x_i) = S'_{i+1}(x_i) );\\ ( S''_i(x_i) = S''_{i+1}(x_i) );$
3.边界条件：通常有两种边界条件，自然边界（Natural）和固定边界（Clamped）。自然边界指在曲线两端，二阶导数为零，即 ( S’‘_0(x_0) = S’'_n(x_n) = 0 )。固定边界则需要指定曲线两端的斜率。

1.1.2.插值公式

对于区间 ( [x_i, x_{i+1}] ) 上的曲线段 ( S_i(x) )，其一般形式为：
$y=S_i(x) = a_i + b_i(x - x_i) + c_i(x - x_i)^2 + d_i(x - x_i)^3$
其中，( a_i, b_i, c_i, d_i ) 是系数，需要通过以下条件确定：

1.对每个S_i(x)，其必过型值点P_i, P_{i+1}。

2.对排除首个，末个型值点的每个中间型值点，这些型值点分别位于两个分段函数上。

两个分段函数在此类型值点上一阶导数，二阶导数连续。

3.边界条件。如限定P_0，P_n处二阶导数为0，或指定P__0，P_n处一阶导数。

通过上述三个条件，我们可以唯一确定每一段S_i(x)方程的系数 a_i, b_i, c_i, d_i 。

1.1.3.实例分析

假设现有：
$1.P_0,...,P_{n-1}共n个二维点。对P_{i}其坐标为(x_{i}, y_{i})。满足x_{0}<...<x_{n-1}。\\ 2.给定P_{0}处一阶导数y'_{0}，给定P_{n-1}处一阶导数y'_{n-1}。$
要求依据以上信息给出从
$P_0到P_{n-1}的共n-1段三次样条曲线的曲线方程。$
分析：
$对第i段三次样条函数而言，其形式必然为：\\ y =s_{i}(x)= a_{i}+b_{i}(x-x_{i})+c_{i}(x-x_{i})^2+d_{i}(x-x_{i})^3 x_{i}<=x<x_{i+1};\\ 我们只需分别求出a_{i},b_{i},c_{i},d_{i}即可。$
1.
$通过y=s_{i}(x_{i})=y_{i}，可得： a_{i} = y_{i};$
2.
$通过s''_{i}(x_{i})=2c_{i}。我们假设每个P_{i}处二阶导数为M_{i}。则有：c_{i}=M_{i}/2;$
3.
$通过S''_{i}(x_{i+1})=S''_{i+1}(x_{i+1})可得：d_{i}=(M_{i+1}-M_{i})/[6(x_{i+1}-x_{i})];$
4.
$通过S_{i}(x_{i+1})=S_{i+1}(x_{i+1})可得：\\ b_{i}=(y_{i+1}-y_{i})/(x_{i+1}-x_{i})-(x_{i+1}-x_{i})[M_{i+1}/6+M_{i}/3]$

$通过上述1,2,3,4可知，只要知道M_{0},...,M_{n-1}便可求出a_{i},b_{i},c_{i},d_{i}进而唯一确定每一段的三次样条曲线函数。\\ 下面分析如何求取M_{0},...,M_{n-1}。$
1.
$通过S'_{i}(x_{i+1})=S'_{i+1}(x_{i+1})，可得：\\ M_{i}[(x_{i+1}-x_{i})/6]+M_{i+1}[(x_{i+2}-x_{i})/3]+M_{i+2}[(x_{i+2}-x_{i+1})/6]=\\ (y_{i+2}-y_{i+1})/(x_{i+2}-x_{i+1})-(y_{i+1}-y_{i})/(x_{i+1}-x_{i});\\ 上述共有n-2个线性方程。为了依赖线性方程组求解n个变量，我们还需要两个。$
2.
$通过y'_{0}=S'_{0}(x_{0})，可得：\\ M_{0}[(x_{1}-x_{0})/3]+M_{1}[(x_{1}-x_{0})/6]=(y_{1}-y_{0})/(x_{1}-x_{0});$
3.
$通过y'_{n-1}=S'_{n-2}(x_{n-1})可得：\\ M_{n-2}[(x_{n-1}-x_{n-2})/6]+M_{n-1}[(x_{n-1}-x_{n-2})/3]=\\ y'_{n-1}-(y_{n-1}-y_{n-2})/(x_{n-1}-x_{n-2});$
这样，我们构建了n的线性等式。这n个线性等式，可以用矩阵形式表示为：
$A_{n,n}M_{n,1}=D_{n,1};\\ M_{n,1}=A^{-1}_{n,n}D_{n,1};$
这样，我们通过先求取A的逆矩阵，接着便可求出M。然后依据前述求取系数的方法，便可唯一确定每一段的三次样条曲线方程。

1.2.三次参数曲线

这种曲线通过一系列控制点，使用三次多项式来定义曲线上每个点的位置，使得曲线平滑地通过这些控制点。

1.2.1.基本概念

在三次参数样条曲线中，曲线的每个分量（如二维空间中的x和y，或三维空间中的x、y和z）都是参数t的三次多项式。对于给定的一组控制点( P_i(x_i, y_i, z_i) )，曲线的数学表达式可以写作：
$P (t) = [x (t), y (t), z (t)]$
其中，( x(t) ), ( y(t) ), ( z(t) ) 都是参数t的三次多项式：
$x(t) = a_x t^3 + b_x t^2 + c_x t + d_x; \\ y(t) = a_y t^3 + b_y t^2 + c_y t + d_y;\\ z(t) = a_z t^3 + b_z t^2 + c_z t + d_z;\\ 其中t的含义为当前点距离分段起始点的距离。$

1.2.2.边界条件

为了确定这些系数( a ), ( b ), ( c ), ( d )，通常需要一些边界条件。常见的边界条件包括：

1.曲线通过控制点：在每个控制点处，t的值设为0或1，确保曲线通过这些点。

2.平滑性：对每个分段函数而言，在区间内二阶连续可导。不同分段函数在邻接点上一阶导数，二阶导数连续。

1.2.3.实际例子

假设现有：
$1.P_{0},...,P_{n-1}共n个点。满足相邻的点不重合。\\ 2.P_{0}处各个轴关于弧长一阶导数也是已知的，设为P'_{0}.x，P'_{0}.y，P'_{0}.z。\\ 3.P_{n-1}处各个轴关于弧长一阶导数也是已知的，设为P'_{n-1}.x，P'_{n-1}.y，P'_{n-1}.z。$
要求依据上述条件求取每一段上以弧长为参数的曲线的三次参数方程。

分析：
$对第i段三次样条函数而言，其形式必然为：\\ 对x_{i}(t):\\ x_{i}(t) = ax_{i}+bx_{i}t+cx_{i}t^2+dx_{i}t^3; 0<=t<Len_{i};\\ 其中Len_{i}是此段终点到起点的距离。我们只需分别求出ax_{i},bx_{i},cx_{i},dx_{i}即可。\\ 对y_{i}(t)：\\ y_{i}(t) = ay_{i}+by_{i}t+cy_{i}t^2+dy_{i}t^3; 0<=t<Len_{i};\\ 其中Len_{i}是此段终点到起点的距离。我们只需分别求出ay_{i},by_{i},cy_{i},dy_{i}即可。\\ 对z_{i}(t)：\\ z_{i}(t) = az_{i}+bz_{i}t+cz_{i}t^2+dz_{i}t^3; 0<=t<Len_{i};\\ 其中Len_{i}是此段终点到起点的距离。我们只需分别求出az_{i},bz_{i},cz_{i},dz_{i}即可。\\ 我们一下仅分析x_{i}(t)方程各个系数的求解，y_{i}(t)，z_{i}(t)类似可得。$

$通过x_{i}(0)=P_{i}.x=x_{i};可得：\\ ax_{i}=x_{i};$
2.
$通过X_{i}(Len_{i})=x_{i+1};可得：\\ bx_{i}=(x_{i+1}-x_{i})/Len_{i}-Len_{i}*(M_{i+1}.x/6+M_{i}.x/3);$
3.
$通过x''_{i}(0)=M_{i}.x;可得：\\ cx_{i}=M_{i}.x/2;$
4.
$通过x''_{i}(Len_{i})=M_{i+1}.x;可得：\\ dx_{i}=(M_{i+1}.x-M_{i}.x)/(6*Len_{i});$
在上述我们假设已经知道：
$n个顶点处x，y，z关于弧长参数的二阶导数。记为M_{i}.x，M_{i}.y，M_{i}.z;$
下面分析各个顶点处各个轴关于弧长参数二阶导数的求取。

$通过X'_{i}(Len_{i})=x'_{i+1}{0}，可得：\\ M_{i}.x*Len_{i}/6+M_{i+1}.x*(Len_{i+1}+Len_{i})/3+M_{i+2}.x*(Len_{i+1}/6)=\\ (x_{i+2}-x_{i+1})/Len_{i+1}-(x_{i+1}-x_{i})/Len_{i};$
上述共可构成n-2个线性方程。为了求解n个自变量，我们还需要两个。

$通过提供x'_{0}(0)，可得：\\ M_{0}.x*(-Len_{0}/3)+M_{1}.x*(-Len_{0}/6)=x'_{0}(0)-(x_{1}-x_{0})/Len_{0};$
3.
$通过提供x'_{n-2}(Len_{n-2})，可得：\\ M_{n-2}.x*(Len_{n-2}/6)+M_{n-1}.x*(Len_{n-2}/3)=\\ x'_{n-2}(Len_{n-2})-(x_{n-1}-x_{n-2})/Len_{n-2};$
这样，我们构建了n个线性等式。这n个线性等式，可以用矩阵形式表示为：
$A_{n,n}M_{n,1}=D_{n,1};\\ M_{n,1}=A^{-1}_{n,n}D_{n,1};$
这样，我们通过先求取A的逆矩阵，接着便可求出M。然后依据前述求取系数的方法，便可唯一确定每一段x关于弧长的三次参数曲线方程。每一段y，z关于弧长的三次参数曲线方程类似可得。