数值计算 --- 三次样条函数插值(Cubic spline function interpolation)

             三次样条函数插值(Cubic spline function interpolation)

Part I   插值

预备知识: 什么是插值?
         已知部分离散的数据,但不知道满足这些数据的函数表达式,插值(和拟合)都是为了找到对应的函数表达式。区别在于,插值函数能够穿过已知点,拟合只求函数图形神似而不求穿过已知点。

所谓插值,就是要根据已知点的数值,去计算未知点的数值。下面我非常简略的列出来一些常见的插值方法。

假设我们有这样如下列表,它给出了某个未知函数的一些已知点(事实上这些已知点来自于对一段正弦函数的采样)

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第1张图片

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第2张图片

要想知道 x=2.5 时的值,我们需要找到一个插值函数,使得这个函数在未知点上插出来的值更准确,更合理,更加接近真实值

例如:

1,最近邻域插值  --->  f(2.5) = 0.2305

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第3张图片

 2,线性插值  --->  f(2.5) = 0.5251

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第4张图片

3,多项式插值

3阶: 函数不过所有的数据点,f(2.5) = 0.501

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第5张图片

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第6张图片

4阶: 函数不过所有的数据点,f(2.5) = 0.5306

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第7张图片

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第8张图片

5阶:当多项式的阶数达到5阶后,函数过所有的数据点,f(2.5) = 0.5954

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第9张图片

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第10张图片

6阶:函数过所有的数据点,f(2.5) = 0.5964

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第11张图片

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第12张图片

如果我们继续增加多项式的阶数呢?数据不够了!

        前面我们求解6阶多项式系数的时候,正好是7个未知数,7个方程,现在我们要求解的7阶多项式有8个未知数呢。

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第13张图片

        根据上面的实验,我们看到,从最近邻域插值,到线性插值,再到多项式插值(5阶和6阶),都穿过了所有已知点,且插值精度越来越高,越来越合理。但,多项式插值会有两个问题。

1,随着多项式的阶数越来越高,计算量也越来越大。

2,随着多项式的阶数越来越高,插值精度并不会越来越高,恰恰相反,函数曲线会出现剧烈的振荡,即,龙格现象。

PS:龙格现象(Runge)

        1901年,Carl David Tolmé Runge意外地发现,用差值插值多项式逼近函数f(x)=1/(1+25x^2)时出现了一些反常的现象。如图,灰色的粗线就是Runge函数在[-1,1]上的图象。蓝色虚线是过[-1,1]上的6个等距点所得到的5次多项式,红色虚线是过[-1,1]上的10个等距点所得到的9次多项式。可以看到,当次数变高时,插值多项式反而变得更不准确。

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第14张图片

  事实上,当次数n趋于无穷时,该区间上的最大误差值也将趋于无穷大!

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第15张图片

插值仿真部分的Matlab code:

%% Author:J27
%% 2022/08/24

x=0:6;
y=[0 0.8415 0.9093 0.1411 -0.7568 -0.9589 -0.2794];
cftool

 弹出cf toolbox以后,需手动选择对应的x data和y data.

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第16张图片


Part II     Spline样条函数的出现

什么样的插值函数,既能穿过所有已知点又能避免龙格现象(剧烈的震荡)呢?

答案是,用分段函数插值。就是把所有的已知数据分割成若干段,每段都对应一个插值函数,最终得到一个插值函数序列。

还有,分段函数之间彼此衔接不好怎么办?

答案是,高次样条差值。既每个分段函数都采用高次函数形式来构造(三次样条差值 就是用x的三次方形式构造)这就保证了多个函数之间的衔接光滑。(注:不能用过高阶的函数,否则抖动太剧烈。)

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第17张图片

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第18张图片

PS:样条一词的由来

      “样条”这个词来自于工业绘图时所使用的一种仪器,他是一个细的,可弯曲的木制或塑料工具,固定于给定的数据点上,从而定义出一条“穿过”每一个给定数据点的光滑曲线。

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第19张图片

     样条的英语单词spline来源于可变形的样条工具,那是一种在造船和工程制图时用来画出光滑形状的工具。在中国大陆,早期曾经被称做「齿函数」。后来因为工程学术语中「放样」一词而得名。 

小结

        三次样条插值就是把已知数据分割成若干段,每段构造一个三次函数,并且保证分段函数的衔接处具有0阶连续,一阶导数连续,二阶导数连续的性质(也就是光滑衔接)。


Part III    样条函数的数学基本原理

        已知n+1个数据节点,分成n个区间(也就是下图中的interval),在每个区间构造一个三次函数,共n段函数(S0~Sn-1)。注意:下图只是一个图示,并不跟我下面的方程组严格对应。

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第20张图片

假设我们每段的三次函数都用如下的方程来定义: 

那么n个区间对应的三次函数S(x)的数学表达式如下:

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第21张图片

        每段三次函数S(x)都有a,b,c,d四个系数(即:未知数),上述n个分段函数,共有4*n个系数(未知数)。因此,要想求解这4n个未知数,共需要4n个方程。这就好比,我要求解y=ax+b中的两个系数(未知数)a,b,我们至少要知道两个点p1(x1,y1)和p2(x2,y2),联立两个方程y1=ax1+b和y2=ax2+b,才能求解。

根据三次样条函数每个分段函数之间的衔接需求,生成求解系数a,b,c,d所需的方程:

条件1:函数穿过所有已知节点

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第22张图片

\large S_{i}(x_{i})=y_{i},i=0,1,2...n

        已知n+1个数据节点,根据这条约束条件,总共可以生成n+1个方程。其中,前n个方程由i=0~n-1给出,第n+1个方程,由i=n单独给出)

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第23张图片

        前n个方程所表达的实际意义是,S0~Sn-1段函数必定会经过自己所在区间的起点,例如,点(x0,y0) for S0(x)。而,最后一个方程所描述的是Sn-1段函数,也就是最后一段函数必定会过自己所在区间的终点(xn,yn)。简而言之就是,前面n-1段函数保证过起点,而最后一段函数,即过起点也过终点。

条件2:在所有节点(除了第一节点和最后一个节点)处0阶连续(保证数据不间断,无跳变),即,前一段方程在节点处的函数值和后一段方程在相同节点处的函数值相等。

其中,i=0,1,2…n-2(共得到n-1个方程,因为n段三次函数之间共有n-1的衔接点)  

 (注:根据条件一可推导出\small S_{i}(x_{i+1})=y_{i+1},也就是前面说的过终点)

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第24张图片

Tips:

0阶导数连续的函数举例

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第25张图片

0阶导数不连续的函数举例

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第26张图片

                                                                     上图中的函数在x=1处是没有定义的

条件3:在所有节点(除了第一节点和最后一个节点)处1阶连续(保证节点处有相同的斜率,原函数曲线上没有剧烈的跳变)

i= 0,1,2…n-2  (共得到n-1个方程,n段三次函数之间共有n-1的衔接点)

Tips:

1.函数在某一点"有极限"等价于左极限=右极限
2.函数在某一点"连续"等价于左极限=右极限=函数值

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第27张图片

一阶导数函数不连续的函数举例:

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第28张图片

一阶导数函数连续的函数举例: 

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第29张图片

换句话说:保证S'(x)的一阶连续意味着曲线y=S(x)没有急转弯,没有特别剧烈的跳变。

条件4:在所有节点(除了第一节点和最后一个节点)处2阶连续(保证节点处有相同的曲率,即,相同的弯曲程度)

i= 0,1,2…n-2 (共n-1个方程,n段三次函数之间共有n-1的衔接点)

或者说:保证S''(x)的连续,意味着每个点的曲率半径有定义(其实我也不懂什么叫曲率半径,哈哈)。

        综上,第一个约束条件得到了n+1个方程,第二,三,四个约束条件分别得到n-1个方程,共4n-2个方程,还差2个方程。(最后缺少的这两个方程,会在后面给出)


Part IV    求解方程组

先分别求出函数S(x)的一阶导数和二阶导数

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第30张图片

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第31张图片

根据条件1 推导出:

https://images0.cnblogs.com/blog/477176/201301/26192609-31d25583b4064be3a345fb1b569ef3e4.png

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第32张图片

根据条件2 ,(即)推导出:

https://images0.cnblogs.com/blog/477176/201301/26192619-6fa7eed9fc254ea78b9f36131f3510e1.png

根据条件3推导出:

https://images0.cnblogs.com/blog/477176/201301/26192634-ebe93c200e4449dfa033971afe584a18.png

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第33张图片

根据条件4 推导出:

https://images0.cnblogs.com/blog/477176/201301/26192638-ddede7fe3d5d40248431e88b01b151c5.png

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第34张图片

https://images0.cnblogs.com/blog/477176/201301/26192643-483a8f3b90634ca0a99cd9f4eb6a0f81.png 可得:

https://images0.cnblogs.com/blog/477176/201301/26192655-dbf978717b2c43d8a74dfc3aa91b3848.png

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第35张图片

后续推导:

https://images0.cnblogs.com/blog/477176/201301/26192702-f3d84f8eaeb34682b0249390116ae1be.png

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第36张图片

https://images0.cnblogs.com/blog/477176/201301/26192706-7fa78cdd7d414d0bbb45520f46c7c85a.png

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第37张图片


Part V    端点条件(最后增加两个约束条件,使得方程组数目正好是4n)

1,自由边界(Natural)

     Natural样条是柔软又有弹性的木杆经过所有数据点后形成的曲线,让端点的斜率自由的在某一位置保持平衡,使得曲线的摇摆最小。

自由边界的两个附加边界条件:

推导过程:

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第38张图片

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第39张图片

自由边界生成的线性方程组:

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第40张图片   数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第41张图片

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第42张图片

2,固定边界/紧压样条(Clamped)

     紧压样条在端点有固定的斜率。紧压样条可想象为,用外力使柔软而有弹性得木杆经过数据点,并在端点处使其具有固定得斜率。这样的样条对于画经过多个点的光滑曲线的绘图员相当有用。

紧压样条的两个附加边界条件:

                                                                

推导过程: 

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第43张图片

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第44张图片

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第45张图片

紧压样条生成的线性方程组:

                          数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第46张图片    

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第47张图片

3,非节点边界(Not-A-Knot)

      非节点边界要求第一段S0和第二段S1三次函数在第二个数据点X1处三阶导数连续,同时也要求倒数第二段Sn-2和最后一段函数Sn-1在倒数第二个数据点Xn-1处三阶导数连续。(也就是说,整个样条函数中,前两段函数完全相同,最后两段的函数也完全相同。同时,0阶,1阶,2阶,3阶全都连续保证了数据点两端的参数a,b,c,d都相同。)

非节点边界的两个附加边界条件:

https://images0.cnblogs.com/blog/477176/201301/26192824-ca65aad071af49f599502c65e01b2325.png

https://images0.cnblogs.com/blog/477176/201301/26192826-f0c754a39d7d4def8330b9ceb8766468.png

推导过程:  

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第48张图片

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第49张图片

非节点边界生成的线性方程组:

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第50张图片   数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第51张图片

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第52张图片

(全文完)

作者 --- 松下J27

参考文献(鳴謝):

1,Thomas' Calculus (12th Edition)  -Addison Wesley

2,托马斯微积分

3,作者:Winters  链接:https://www.zhihu.com/question/31269601/answer/244310086  来源:知乎

4, 三次样条插值(Cubic Spline Interpolation)及代码实现(C语言) - 马语者 - 博客园

5, Runge现象:多项式插值不见得次数越高越准确 | Matrix67: The Aha Moments

之前写的有些问题,现在已经做了修订。2021/03/22

关于插值部分做了一些补充。2021/10/29

对部分方程的具体意义做了说明。2022/05/20晚

修改了文章开头部分的插值部分的插图和说明,并增加了相应的Matlab code。 2022/08/24

格言摘抄

        不轻易发怒的,胜过勇士;治服己心的,强如取城。签放在怀里,定事由耶和华。 (《圣经》箴言 16章32-33节)

数值计算 --- 三次样条函数插值(Cubic spline function interpolation)_第53张图片

(配图与本文无关)  

版权声明:所有的笔记,可能来自很多不同的网站和说明,在此没法一一列出,如有侵权,请告知,立即删除。欢迎大家转载,但是,如果有人引用或者COPY我的文章,必须在你的文章中注明你所使用的图片或者文字来自于我的文章,否则,侵权必究。 ----松下J27

你可能感兴趣的:(Numerical,Methods,cubic,spline,三次样条,样条函数,三次样条插值,三次样条函数)