三次样条插值——三弯矩方法

         三次样条插值方法，是将一个曲线函数分成多段，每相邻的两个标准点就是一个三次多项式函数.也就是说，n+1个标准点，共有 n 个三次函数.求解分段时共有4*n个未知系数

 其相邻的分段函数之间连续，一阶导连续，二阶导也连续。

因此 

• 每个分段三次样条函数要经过每两个标准点即,  共可以列出2n 个方程；
• 一阶导连续  共有n -1 个方程；
• 二阶导连续  共有n -1 个方程，

共4n -2个方程，还要加上额外2个两两互不线性相关的方程才能求解得出 4n个未知系数。

这额外的2个方程就是所谓的边界条件。其分成左边界条件和右边界条件，分别用来进行模拟左外插和右外插。

主流边界条件如下

边界条件	说明	意义
Not-A-Knot	非扭结	左边界和右边界的三阶导数值相等 即
Natural	自然边界	指定端点二阶导数为0
Clamped	固定边界	指定端点一阶导数

当然，也可以自行设置其他边界条件

利用三弯矩法求解三次样条方程

设三次样条函数 S(x) 和分段函数如下

        

为表示方便，另

这样 h 表示相邻的两个标准点的x轴距离， s表示斜率，M表示函数的二阶导

根据样条函数的定义可知，其二阶导数必然是线性方程，且为连续的折现段。因此折现段上的任一点可由折现段两端的值以及该点的所处位置表示出来，即拉格朗日线性插值法：

        .......①

对上式进行两次积分后得到

...........②

根据定义得知，函数必然经过标准点，因此把  代入到上述公式中，得到公式

 ...③                                                           

将 S(x)求导可得

....④

另两式相等构成方程，

可通过移向得到方程组

其中   .....................⑤

n-1个方程在加上两个边界方程，可以求解出 n+1 个M. 例如 "端点二阶导相等"的边界条件

将左边界方程加入到方程组第0个方程位置，将右边界加入到方程组第n个方程位置,可以得到一个三对角方阵.

剩下的就是线性代数矩阵行变换求解出M,再代入S(x)函数③ 得到 S(x)的函数方程。

只要输入的标准点的x坐标两两不相等，其方程组就可以求解的出来。