前言

  必看 回顾前篇例题中的另一问题使用三次样条插值函数来求解插值点的函数值，那么本篇文章将继续承接上篇内容，主要讲述三次样条插值函数的原理及如何利用matlab来实现编程。如果没有看过前一篇的读者可以点击此链接： 数值分析（一） 牛顿插值法及matlab代码 回顾一下

一、三次样条插值

1. 三次样条函数定义

  定义：函数定义在区间$\left[a,b\right]$上，给定n+1个节点和一组与之对应的函数值，且函数满足：
     1. 每个节点上满足$S\left(x_i\right)=f\left(x_i\right)\left(i=0,1,\cdots ,n-1\right)$
     2. 在$\left[a,b\right]$上有连续的二阶导数
     3. 在每个小区间$\left[x_i,x_{i+1}\right]\left(i=0,1,\cdots ,n-1\right)$上是一个三次多项式
     则称$S\left(x_i\right)$为 三次样条插值函数

2. 三次样条插值多项式

  三次样条插值函数$S\left(x\right)$是一个分段三次多项式,要求出$S\left(x\right)$,在每个小区间$\left[x_i,x_{i+1}\right]$上要确定4个待定参数,若用$S_i\left(x\right)$表示它在第i个子区间$\left[x_i,x_{i+1}\right]$上的表达式，则$$S_i\left(x\right)=a_{i0}+a_{i1}x+a_{i2}{x}^2+a_{i3}{x}^3\left(i=0,1,\cdots ,n-1\right)$$注意 三次多项式$S\left(x\right)$及其一阶导数$S^{\prime }\left(x\right)$和二阶导$S^{\prime \prime }\left(x\right)$在整个插值区间上连续，在上述条件中再加入边界条件，即可求出各系数，常用的边界条件有三种类型。

3. 三次样条插值求法

  在子区间$\left[x_i,x_{i+1}\right]$上$S\left(x\right)=S_i\left(x\right)$是三次多项式,所以 在此小区间上$S^{\prime \prime }\left(x\right)$是x的线性函数,且因为$S^{\prime \prime }\left(x_{i-1}\right)=M_{i-1}，S^{\prime \prime }\left(x_i\right)=M_{i}x\in \left[x_{i-1},x_i\right]$,用线性插值,可知其表达式为$$S_i^{\prime \prime }\left(x\right)=M_{i-1}\frac{x-x_i}{x_{i-1}-x_i}+M_i\frac{x-x_{i-1}}{x_i-x_{i-1}}$$  记$h_i=x_i-x_{i-1}$,根据上式则可得到$$S_i^{\prime \prime }\left(x\right)=M_{i-1}\frac{x_i-x}{h_i}+M_i\frac{x-x_{i-1}}{h_i}$$  通过两次连续积分可得到：$$S_i=M_{i-1}\frac{{\left(x_i-x\right)}^3}{6h_i}+M_i\frac{{\left(x-x_{i-1}\right)}^3}{6h_i}+A_i\left(x_i-x\right)+B_i\left(x-x_{i-1}\right)$$  其中$A_i$，$B_i$是积分常数根据插值条件$S\left(x_{i-1}\right)=f\left(x_{i-1}\right)，S\left(x_i\right)=f\left(x_i\right)$确定，即$A_i$，$B_i$满足:$$S\left(x_{i-1}\right)=\frac{1}{6}{M}_{i-1}{h}_i^2+A_i{h}_i=f\left(x_{i-1}\right)，S\left(x_i\right)=\frac{1}{6}{M}_i{h}_i^2+B_i{h}_i=f\left(x_i\right)$$  并记 $f\left(x_{i-1}\right)=y_{i-1}，f\left(x_i\right)=y_i$，则得到$$A_i=\frac{1}{h_i}\left(y_{i-1}-\frac{1}{6}{M}_{i-1}{h}_i^2\right)，B_i=\frac{1}{h_i}\left(y_i-\frac{1}{6}{M}_i{h}_i^2\right)$$  将求得的$A_i$，$B_i$代入式子中$$\begin{gathered} S_i=M_{i-1}\frac{{\left(x_i-x\right)}^3}{6h_i}+M_i\frac{{\left(x-x_{i-1}\right)}^3}{6h_i}+\frac{1}{h_i}\left(y_{i-1}-\frac{1}{6}{M}_{i-1}{h}_i^2\right)\left(x_i-x\right)+\frac{1}{h_i}\left(y_i-\frac{1}{6}{M}_i{h}_i^2\right)\left(x-x_{i-1}\right) \\ \left(x\in \left[x_{i-1},x_i\right],i=1,2,\cdots ,n\right) \end{gathered}$$  由上讨论可知,只要确定 $M_0,M_1,\dots ,M_n$ 这n+1个值, 就可定出三样条插值函数S(x)。
  为了求出$M_i\left(i=0,1,\cdots ,n\right)$,利用一阶导数在子区间$\left[x_i,x_{i+1}\right]$连接点上连续的条件$S^{\prime }\left(x_i-0\right)=S^{\prime }\left(x_i+0\right)$，通过一系列变换
  求得$$\frac{h_i}{h_i+h_{i+1}}{M}_{i-1}+2M_i+\frac{h_{i+1}}{h_i+h_{i+1}}{M}_{i+1}=\frac{6}{h_i+h_{i+1}}\left(\frac{y_{i+1}-y_i}{h_{i+1}}-\frac{y_i-y_{i-1}}{h_i}\right)$$
(注意：由于过程有点小繁琐，本博主就偷个懒，直接把求好的公式展示出来。如果有读者非常想要了解详细计算步骤，读者可以参考教材《数值分析第5版__李庆扬，王能超，易大义编_北京：清华大学出版社》，在书的P42-43页 可以找到过程)
  
  若记：$$\{\begin{array}{l}{\mu }_i=\frac{h_i}{h_i+h_{i+1}}\\ \\ {\lambda }_i=\frac{h_{i+1}}{h_i+h_{i+1}}=1-{\mu }_i\\ \\ g_i=\frac{6}{h_i+h_{i+1}}\left(\frac{y_{i+1}-y_i}{h_{i+1}}-\frac{y_i-y_{i-1}}{h_{i+1}}\right)=\frac{6}{h_i+h_{i+1}}\left(f\left[x_i,x_{i+1}\right]-f\left[x_{i-1},x_i\right]\right)\end{array}$$
  则简写方程$${\mu }_i{M}_{i-1}+2M_i+{\lambda }_i{M}_{i+1}=g_i\left(i=1,2,\cdots ,n-1\right)$$
  即：$$\{\begin{array}{l}{\mu }_1{M}_0+2M_1+{\lambda }_1{M}_2=g_1\\ {\mu }_{2}M1+2M_2+{\lambda }_2{M}_3=g_2\\ \cdots \\ {\mu }_{n-1}{M}_{n-2}+2M_{n-1}+{\lambda }_{n-1}{M}_n=g_{n-1}\end{array}$$

3.1 第一种类型

  给定两端点的一阶导数值：$$S^{\prime }\left(x_0\right)=f^{\prime }\left(x_0\right)=y_0^{\prime }，S^{\prime }\left(x_n\right)=f^{\prime }\left(x_n\right)=y_n^{\prime }$$
  根据第一类型条件可得：$$\begin{gathered} 2M_0+M_1=\frac{6}{h_1}\left(\frac{y_1-y_0}{h_1}-y_0^{\prime }\right) \\ {M}_{n-1}+2M_n=\frac{6}{h_n}\left(y_n^{\prime }-\frac{y_n-y_{n-1}}{h_n}\right) \end{gathered}$$  根据之前式子整合后可以得到关于$M_0,M_1,\cdots M_n$线性方程方程如下：$$\left[\begin{array}{ccccc}2& 1& & & \\ {\mu }_1& 2& {\lambda }_1& & \\ & \ddots & \ddots & \ddots & \\ & & {\mu }_{n-1}& 2& {\lambda }_{n-1}\\ & & & 1& 2\end{array}\right]\left[\begin{array}{c}{M}_0\\ M_1\\ ⋮\\ M_{n-1}\\ M_n\end{array}\right]=\left[\begin{array}{c}{g}_0\\ g_1\\ ⋮\\ g_{n-1}\\ g_n\end{array}\right]$$  其中$$\{\begin{array}{l}{g}_0=\frac{6}{h_1}\left(f\left[x_0,x_1\right]-y_0^{\prime }\right)\\ \\ g_n=\frac{6}{h_n}\left(y_n^{\prime }-f\left[x_{n-1},x_n\right]\right)\end{array}$$

3.2 第二种类型

  给定两端点的二阶导数值：$$S^{\prime \prime }\left(x_0\right)=f^{\prime \prime }\left(x_0\right)=y_0^{\prime \prime }，S^{\prime \prime }\left(x_n\right)=f^{\prime \prime }\left(x_n\right)=y_n^{\prime \prime }$$
  作为特例，$S^{\prime \prime }\left(x_0\right)=S^{\prime \prime }\left(x_n\right)=0$称为 自然边界条件。满足自然边界条件的三次样条插值函数称为 自然样条插值函数。
  其中令$$M_0=y_0^{\prime \prime }，M_n=y_n^{\prime \prime }$$  从而得到第二种类型关于$M_1,M_2,\cdots M_{n-1}$线性方程方程$$\left[\begin{array}{ccccc}2& {\lambda }_1& & & \\ {\mu }_2& 2& {\lambda }_2& & \\ & \ddots & \ddots & \ddots & \\ & & {\mu }_{n-2}& 2& {\lambda }_{n-2}\\ & & & {\mu }_{n-1}& 2\end{array}\right]\left[\begin{array}{c}{M}_1\\ M_2\\ ⋮\\ M_{n-2}\\ M_{n-1}\end{array}\right]=\left[\begin{array}{c}{g}_1-{\mu }_1{y}_0^{\prime \prime }\\ g_2\\ ⋮\\ g_{n-2}\\ g_{n-1}-{\lambda }_{n-1}{y}_n^{\prime \prime }\end{array}\right]$$

3.3 第三种类型

  当$f\left(x\right)$是以为$x_n-x_0$周期的函数时，则要求$S\left(x\right)$也是周期函数,这时边界条件应满足当$f\left(x_0\right)=f\left(x_n\right)$时， $$S^{\prime }\left(x_0+0\right)=S^{\prime }\left(x_n-0\right)，S^{\prime \prime }\left(x_0+0\right)=S^{\prime \prime }\left(x_n-0\right)$$  由上述条件可以得到：$$M_0=M_n，{\lambda }_n{M}_1+{\mu }_n{M}_{n-1}+2M_n=g_n$$
  其中：$$\{\begin{array}{l}{\mu }_n=\frac{h_n}{h_1+h_{n+1}}\\ \\ {\lambda }_i=\frac{h_n}{h_1+h_n}=1-{\mu }_i\\ \\ g_i=\frac{6}{h_1+h_n}\left(f\left[x_0,x_1\right]-f\left[x_{n-1},x_n\right]\right)\end{array}$$  关于$M_1,M_2,\cdots M_n$线性方程$$\left[\begin{array}{ccccc}2& {\lambda }_1& & & {\mu }_1\\ {\mu }_2& 2& {\lambda }_2& & \\ & \ddots & \ddots & \ddots & \\ & & {\mu }_{n-1}& 2& {\lambda }_{n-1}\\ {\lambda }_n& & & {\mu }_n& 2\end{array}\right]\left[\begin{array}{c}{M}_1\\ M_2\\ ⋮\\ M_{n-1}\\ M_n\end{array}\right]=\left[\begin{array}{c}{g}_1\\ g_2\\ ⋮\\ g_{n-1}\\ g_n\end{array}\right]$$

  读者注意：上述三种边界条件所求的三次样条插值函数各有所不同，虽然式子都长得差不多还是有很多细微的差别，请读者认真仔细阅读。
  

二、三次样条插值公式matlab程序

  本文章主要是衔接上篇文章的第二小问进行编写，在此先讲三次样条插值公式（第二类型），如有没看过前一章的读者可以点击此链接  数值分析（一） 牛顿插值法及matlab代码 回顾一下。

1. 三次样条插值公式（第二种类型）

  下面展示三次样条插值公式（第二种类型）代码

function [D,h,A,g,M]=threesimple(X,Y)
%        自然边界条件的三次样条函数(第二种边界条件)
%        此函数为M值求值函数
%        D,h,A,g,M输出量分别为系数矩阵D，插值宽度h，差商表A，g值,M值 
         n=length(X); 
         A=zeros(n,n);A(:,1)=Y';D=zeros(n-2,n-2);g=zeros(n-2,1);
         for  j=2:n
            for i=j:n
                A(i,j)=(A(i,j-1)- A(i-1,j-1))/(X(i)-X(i-j+1));
            end
         end
         
         for i=1:n-1
             h(i)=X(i+1)-X(i);
         end
         for i=1:n-2
             D(i,i)=2;
             g(i,1)=(6/(h(i+1)+h(i)))*(A(i+2,2)-A(i+1,2));
         end
         for i=2:n-2
             u(i)=h(i)/(h(i)+h(i+1));
             n(i-1)=h(i)/(h(i-1)+h(i));
             D(i-1,i)=n(i-1);
             D(i,i-1)=u(i);             
         end
         M=D\g;
         M=[0;M;0];         
end

function s=threesimple1(X,Y,x)
%        自然边界条件函数 
%        s函数表示三次样条插值函数插值点对应的函数值
%        根据三次样条参数函数求出的D,h,A,g,M
%        x表示求解插值点函数点，X为已知插值点        
         [D,h,A,g,M]=threesimple(X,Y)
         n=length(X); m=length(x);    
         for t=1:m
            for i=1:n-1
               if (x(t)<=X(i+1))&&(x(t)>=X(i))
                  p1=M(i,1)*(X(i+1)-x(t))^3/(6*h(i));
                  p2=M(i+1,1)*(x(t)-X(i))^3/(6*h(i));
                  p3=(A(i,1)-M(i,1)/6*(h(i))^2)*(X(i+1)-x(t))/h(i);
                  p4=(A(i+1,1)-M(i+1,1)/6*(h(i))^2)*(x(t)-X(i))/h(i);
                  s(t)=p1+p2+p3+p4; 
                  break;
               else
                   s(t)=0; 
               end
            end
         end
end

2 例题

  衔接上篇文章实例中提到的所有问题，在此篇文章中全部解决，问题如下：

  上篇文章已经处理了牛顿插值问题，那么接下来处理三次样条插值问题
  利用前文所给出的三次样条（自然边界条件）的函数代码，在命令框中输入如下语句：

clear all
format short
x=0.2:0.2:1;
y=[0.98 0.92 0.81 0.64 0.38];
x0=[0.2 0.28 1.0 1.08];
s=threesimple1(x,y,x0)

  运行后结果如下所示，在这里显示很多数据其中D,h,A,g,M输出量分别为系数矩阵D，插值宽度h，差商表A，g值,M值

  结果分析： 根据计算结果可以看到最后一个点x=1.08时输出值为0，由于原先给定的区间是[0，1]之间，而1.08是不在区间范围内的，所以在编写程序时，有个判断若超出区域边界值，直接将其函数值赋值0。
  题中还提及到将点画在坐标上，在命令行中输入代码段

plot(x0,s,'bp')
hold on
grid 
plot(x0,y,'o')
xlabel('自变量 X'), ylabel('因变量 Y')
title('牛顿插值多项式与三次样条函数') 
legend('三次样条插值点坐标','牛顿插值点坐标')

  显示的图如下所示：

  最后S(x)函数如下：（注意文章写的有点晚了就偷个懒，里面的M值有些没写，不过之前求的M值都有只需要往里填就行）

  根据有些读者建议，完善一下本文再将函数图像绘制出来代码如下：

clear all
format short
x=0.2:0.2:1;
y=[0.98 0.92 0.81 0.64 0.38];
x0=0.1:0.001:1.1;
s=threesimple1(x,y,x0)
plot(x0,s)
hold on
grid on
plot(x,y,'o')
xlabel('自变量 X'), ylabel('因变量 Y')
title('插值点与三次样条函数') 
legend('三次样条插值点坐标','插值点')

  运行后的结果如下：

三、 总结

  整合上一篇牛顿插值法，再结合本篇文章三次样条插值法，将这道计算实习题完整做完了。这里我也只提供第二种边界条件的最特殊的条件函数，之后我看有时间再做一篇关于三种类型的完整函数。我之后上传这个 实习计算题的完整代码 ，以供读者参考，也希望读者有能力可以提升我写的函数。感谢读者耐心的观看，希望读者读完后可以学到很多。

四、 补充

  感谢大家的观看，有很多问了我许多问题，问我最多问题：每段表达式系数输与表达式怎么输出，针对大家的这些疑问我将更新的代码放到下一篇文章中，文章的连接如下（2022.5.3）：

  数值分析（二续） 三次样条插值二类边界完整matlab代码

五、插值法专栏

专栏链接：插值法专栏，如果对你有帮助的话可以点个赞，点个订阅，我将完善此专栏

1. 数值分析（一）牛顿插值法
2. 数值分析（二）三次样条插值法
3. 数值分析（二续） 三次样条插值二类边界完整matlab代码
4. 数值分析（三） Lagrange（拉格朗日）插值法及Matlab代码实现
5. 数值分析（四） Hermite（埃尔米特）插值法及matlab代码