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

三次插值曲线

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.连续性：所有曲线段在连接点处具有相同的一阶导数和二阶导数，即:
$$\begin{gathered} (S_i(x_i)=S_{i+1}(x_i)); \\ (S_i^{\prime }(x_i)=S_{i+1}^{\prime }(x_i)); \\ (S_i^{\prime \prime }(x_i)=S_{i+1}^{\prime \prime }(x_i)); \end{gathered}$$
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.实例分析

假设现有：
$$\begin{gathered} 1.P_0,...,P_{n-1}共n个二维点。对P_i其坐标为(x_i,y_i)。满足x_0<...<x_{n-1}。 \\ 2.给定P_0处一阶导数y_0^{\prime }，给定P_{n-1}处一阶导数y_{n-1}^{\prime }。 \end{gathered}$$
要求依据以上信息给出从
$$P_0到P_{n-1}的共n-1段三次样条曲线的曲线方程。$$
分析：
$$\begin{gathered} 对第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即可。 \end{gathered}$$
1.
$$通过y=s_i(x_i)=y_i，可得：a_i=y_i;$$
2.
$$通过s_i^{\prime \prime }(x_i)=2c_i。我们假设每个P_i处二阶导数为M_i。则有：c_i=M_i/2;$$
3.
$$通过S_i^{\prime \prime }(x_{i+1})=S_{i+1}^{\prime \prime }(x_{i+1})可得：d_i=(M_{i+1}-M_i)/[6(x_{i+1}-x_i)];$$
4.
$$\begin{gathered} 通过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] \end{gathered}$$

$$\begin{gathered} 通过上述1,2,3,4可知，只要知道M_0,...,M_{n-1}便可求出a_i,b_i,c_i,d_i进而唯一确定每一段的三次样条曲线函数。 \\ 下面分析如何求取M_0,...,M_{n-1}。 \end{gathered}$$
1.
$$\begin{gathered} 通过S_i^{\prime }(x_{i+1})=S_{i+1}^{\prime }(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个变量，我们还需要两个。 \end{gathered}$$
2.
$$\begin{gathered} 通过y_0^{\prime }=S_0^{\prime }(x_0)，可得： \\ {M}_0[(x_1-x_0)/3]+M_1[(x_1-x_0)/6]=(y_1-y_0)/(x_1-x_0); \end{gathered}$$
3.
$$\begin{gathered} 通过y_{n-1}^{\prime }=S_{n-2}^{\prime }(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}^{\prime }-(y_{n-1}-y_{n-2})/(x_{n-1}-x_{n-2}); \end{gathered}$$
这样，我们构建了n的线性等式。这n个线性等式，可以用矩阵形式表示为：
$$\begin{gathered} A_{n,n}{M}_{n,1}=D_{n,1}; \\ {M}_{n,1}=A_{n,n}^{-1}{D}_{n,1}; \end{gathered}$$
这样，我们通过先求取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的三次多项式：
$$\begin{gathered} 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的含义为当前点距离分段起始点的距离。 \end{gathered}$$

1.2.2.边界条件

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

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

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

1.2.3.实际例子

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

分析：
$$\begin{gathered} 对第i段三次样条函数而言，其形式必然为： \\ 对x_i(t): \\ {x}_i(t)=a{x}_i+b{x}_{i}t+c{x}_i{t}^2+d{x}_i{t}^3;0<=t<Le{n}_i; \\ 其中Le{n}_i是此段终点到起点的距离。我们只需分别求出a{x}_i,b{x}_i,c{x}_i,d{x}_i即可。 \\ 对y_i(t)： \\ {y}_i(t)=a{y}_i+b{y}_{i}t+c{y}_i{t}^2+d{y}_i{t}^3;0<=t<Le{n}_i; \\ 其中Le{n}_i是此段终点到起点的距离。我们只需分别求出a{y}_i,b{y}_i,c{y}_i,d{y}_i即可。 \\ 对z_i(t)： \\ {z}_i(t)=a{z}_i+b{z}_{i}t+c{z}_i{t}^2+d{z}_i{t}^3;0<=t<Le{n}_i; \\ 其中Le{n}_i是此段终点到起点的距离。我们只需分别求出a{z}_i,b{z}_i,c{z}_i,d{z}_i即可。 \\ 我们一下仅分析x_i(t)方程各个系数的求解，y_i(t)，z_i(t)类似可得。 \end{gathered}$$

$$\begin{gathered} 通过x_i(0)=P_i.x=x_i;可得： \\ a{x}_i=x_i; \end{gathered}$$
2.
$$\begin{gathered} 通过X_i(Le{n}_i)=x_{i+1};可得： \\ b{x}_i=(x_{i+1}-x_i)/Le{n}_i-Le{n}_i\ast (M_{i+1}.x/6+M_i.x/3); \end{gathered}$$
3.
$$\begin{gathered} 通过x_i^{\prime \prime }(0)=M_i.x;可得： \\ c{x}_i=M_i.x/2; \end{gathered}$$
4.
$$\begin{gathered} 通过x_i^{\prime \prime }(Le{n}_i)=M_{i+1}.x;可得： \\ d{x}_i=(M_{i+1}.x-M_i.x)/(6\ast Le{n}_i); \end{gathered}$$
在上述我们假设已经知道：
$$n个顶点处x，y，z关于弧长参数的二阶导数。记为M_i.x，M_i.y，M_i.z;$$
下面分析各个顶点处各个轴关于弧长参数二阶导数的求取。

$$\begin{gathered} 通过X_i^{\prime }(Le{n}_i)=x_{i+1}^{\prime }0，可得： \\ {M}_i.x\ast Le{n}_i/6+M_{i+1}.x\ast (Le{n}_{i+1}+Le{n}_i)/3+M_{i+2}.x\ast (Le{n}_{i+1}/6)= \\ (x_{i+2}-x_{i+1})/Le{n}_{i+1}-(x_{i+1}-x_i)/Le{n}_i; \end{gathered}$$
上述共可构成n-2个线性方程。为了求解n个自变量，我们还需要两个。

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