如果函数()s x 满足:
(1)在每个小区间[]()1,0,1,
,1i i x x i n -=-上()s x 是k 次多项式;
(2)()s x 在[],a b 上具有1k -阶连续导数。
则称()s x 为关于分划?的k 次样条函数,其图形称为k 次样条曲线。01,,,n x x x 称
为样条节点,121,,
,n x x x -称为内节点,0,n x x 称为边界点,这类样条函数的全体
记做(),P S k ?,称为k 次样条函数空间。 显然,折线是一次样条曲线。
若()(),P s x S k ∈?,则()s x 是关于分划?的k 次多项式样条函数。k 次多项式样条函数的一般形式为
()()1
!
k!
i
k
n k i i
k j i j x s x x x i αβ-+
===+-∑
∑
其中()0,1,
,i i k α=和()1,2,,1j j n β=-均为任意常数,而
()()(),,1,2,,10
,k
k
j j
j j x x x x x x j n x x +?-≥?-==-?
? 在实际中最常用的是k =2和3的情况,即为二次样条函数和三次样条函数。
二次样条函数:对于[],a b 上的分划011:n n a x x x x b -?=<<
<<=,则
()()()1
22
2
2010
,22!
2!
n i
j P j s x x x x x S βααα-+
==+++-∈?∑
(5)
其中()
()()2
2,,1,2,
,10
,j j j j x x x x x x j n x x +
?-≥?-==-??。
三次样条函数:对于[],a b 上的分划011:n n a x x x x b -?=<<
<<=,则
()()()1
32
3
3
2
3010
,32!
3!
2!
n i
j P j s x x x x x x S αβααα-+
==++
+
+-∈?∑
(6)
其中()()()3
3,,1,2,,10
,j j
j j x x x x x x j n x x +
?-≥?-==-??。
利用样条函数进行插值,即取插值函数为样条函数,称为样条插值。例如分段线性插值是一次样条插值。下面我们介绍二次、三次样条插值。 1.3.2 二次样条函数插值