上篇讲了nearest-neighbor(最近邻插值)。这篇说cubic interpolation(三次插值),之前说过,插值就是用已知的点模拟一个方程,然后求未知点。之前讲的插值是线性的。cubic interpolation就是求一个三次的方程。它的思想就是把已知的数分为一个一个小区间,人拟合到曲线上去。就是一个多分段函数高阶函数(此处的阶数为3)。给一个文档上的图可能比较清楚。 

    把区间[a,b]分为n个区间[x0,x1],[x1,x2].....[xn-1,xn]共有n+1个点。其中x0=a,xn=b。把函数定义为

如果满足一下三个条件,我们就称之为三次样条函数_{Si}(x)

1,在每个分段小区间 [xi,xi+1] 上, _{S}(x)=  _{Si}(x)是一个三次方程

2,满足插值条件,即 S_{i}(x)=y_{i} (i=0,1,2,3....n) 

3, 曲线光滑,即 一阶,二阶导存在且连续

现在就是求目标就是求每一段的4个未知数。一共有n段所以有4n个未知数。那么我们需要4n个方程。现在我们就开始列这些方程

     首先 在区间[xi,xi+1]上 S_{i}(x_{i+1})=y_{i+1},在区间[xi+1,x+2]中   S_{i+1}(x_{i+1})=y_{i+1} 。共有n-1个区间,所以有2(n-1)个方程,加上两个端点就有2个方程。其实简单的想就是n个区间[x0,x1],[x1,x2].....[xn-1,xn]共有n+1个点。每个点用了两次,2(n+1),但是第一个点和最后一个点只用了一次,所以减二。所以为2n。

      还差2n个方程,现在就是每一个连接点处的一阶导和二阶导是相等的。S^{'}_{i}(x_{i+1})=S^{'}_{i+1}(x_{i+1}),S^{''}_{i}(x_{i+1})=S^{''}_{i+1}(x_{i+1}) 。这里有2(n-1)个方程。现在我们还差2个方程。

      有3种边界条件:

     1 自然边界: 指定端点二阶导数为0,S^{'}(x_{0})=S^{'}(x_{n})=0

     2 固定边界:假设两个边界值分别为A和B,S^{'}(x_{0})=A \, \, \, S^{'}(x_{n})=B

     3 非节点边界:强制第一个插值点的三阶导数值等于第二个点的三阶导数值,最后第一个点的三阶导数值等于倒数第二个点的三阶导数值.S^{''}(x_{0})=S^{''}(x_{1})       S^{'''}(x_{n-1})=S^{'''}(x_{n})

 

     好我们四个方程就全部列完了。现在就开始求解吧。

  

  1    用S_{i}(x_{i}) =a_{i}+b_{i}(x_{i}-x_{i})+c_{i}(x_{i}-x_{i})^{2}+d_{i}(x_{i}-x_{i})^{3}=y_{i}

     得出 a_{i}=y_{i}  

    2 用 h_{i}=x_{i+1}-x_{i} 由  S_{i}=y_{i+1}

       得出 a_{i}+h_{i}b_{i}+h_{i}^{2}c_{i}+h_{i}^{3}d_{i}=y_{i+1}

    3   用S^{''}_{i}(x_{i+1})=S^{''}_{i+1}(x_{i+1}) 可得

       

         因为   S^{''}_{i}(x_{i+1})=S^{''}_{i+1}(x_{i+1}) ,所以 b_{i}+2h_{i}c_{i}+3h_{i}^{2}d_{i}=b_{i+1}

      4  用S^{'''}(x_{n-1})=S^{'''}(x_{n}) 得出

          2c_{i}+6h_{i}d_{i}=2c_{i+1}

        设  m_{i}=S^{''}_{i}(x_{i})= 2c_{i},由2c_{i}+6h_{i}d_{i}=2c_{i+1},得出 

         d_{i}=\frac{m_{i+1}-m_{i}}{h_{i}}

     5  由

       a_{i}+h_{i}b_{i}+h_{i}^{2}c_{i}+h_{i}^{3}d_{i}=y_{i+1}

       a_{i}=y_{i}m_{i}=2c_{i}d_{i}=\frac{m_{i+1}-m_{i}}{h_{i}}

      得出 

     b_{i}=\frac{y_{i+1}-y_{i}}{h_{i}}-\frac{h_{i}}{2}m_{i}-\frac{h_{i}}{6}(m_{i+1}-m_{i})

    6   因为   S^{''}_{i}(x_{i+1})=S^{''}_{i+1}(x_{i+1}) ,所以 b_{i}+2h_{i}c_{i}+3h_{i}^{2}d_{i}=b_{i+1},把a_{i},b_{i},c_{i},d_{i}  代入其中。

         得出  

       

          经过上面的6步后,我们构成了关于m的未知线性方程。

 我们分别适应,前面边界条件的三种

  1 自然边界头尾的边界值都为0,首尾两端没有受到任何让它们弯曲的力。二阶导数为0,于是看把h_{i}m_{i}写成矩阵相乘的形式。m_{0}(mi表示的是二阶求导)和m_{n}都等于0,把矩阵写成:

 

  2 固定边界

   

          系数矩阵为

 3 当为 非节点边界时,同理可得系数矩阵为:

 

好了这个就是三次插值,总的来说就是求一个在三阶函数的点,用已知的点来划分区域,形成分段多阶函数。求4n个未知数。列4n个方程,最后用矩阵表示。下一篇讲bicubic interpolation

 

Logo

旨在为数千万中国开发者提供一个无缝且高效的云端环境,以支持学习、使用和贡献开源项目。

更多推荐