本篇文章适合个人复习翻阅,不建议新手入门使用
埃尔米特(Hermite)插值
引入背景
解决newton插值可能出现极性相反的情况
插值条件
在 n + 1 n+1 n+1个插值节点 x 0 , x 1 , … , x n x_0,x_1,\dots,x_n x0,x1,…,xn处函数值,一阶导数值相同
Lagrange形式的插值多项式
H 2 n + 1 ( x ) = ∑ j = 0 n f ( x j ) h n , j ( x ) + ∑ j = 0 n f ′ ( x j ) h ^ n , j ( x ) H_{2n+1}(x)=\sum\limits_{j=0}^nf(x_j)h_{n,j}(x)+\sum\limits_{j=0}^nf'(x_j)\hat{h}_{n,j}(x) H2n+1(x)=j=0∑nf(xj)hn,j(x)+j=0∑nf′(xj)h^n,j(x)其中 h , h ^ h,\hat{h} h,h^均为 2 n + 1 2n+1 2n+1次多项式,满足
- h n , j ( x i ) = δ i j , h n , j ′ ( x i ) = 0 h_{n,j}(x_i)=\delta_{ij},h'_{n,j}(x_i)=0 hn,j(xi)=δij,hn,j′(xi)=0
- h ^ n , j ( x i ) = 0 , h ^ n , j ′ ( x i ) = δ i j \hat{h}_{n,j}(x_i)=0,\hat{h}'_{n,j}(x_i)=\delta_{ij} h^n,j(xi)=0,h^n,j′(xi)=δij
重节点Newton差商
定义基于重节点的Newton差商为
f
[
x
,
…
,
x
⏟
m
+
1
个
]
=
f
(
m
)
(
x
)
m
!
f[\underbrace{x,\dots,x}_{m+1个}]=\frac{f^{(m)}(x)}{m!}
f[m+1个
x,…,x]=m!f(m)(x)单节点、重节点混合的Newton差商
f
[
x
0
,
…
,
x
0
;
…
;
x
n
−
1
,
x
n
]
f[x_0,\dots,x_0;\dots;x_{n-1},x_n]
f[x0,…,x0;…;xn−1,xn]可归纳地定义为
f
[
x
0
,
…
,
x
0
;
…
;
x
n
−
1
]
−
f
[
x
0
,
…
,
x
0
;
…
;
x
n
]
x
n
−
1
−
x
n
\frac{f[x_0,\dots,x_0;\dots;x_{n-1}]-f[x_0,\dots,x_0;\dots;x_n]}{x_{n-1}-x_n}
xn−1−xnf[x0,…,x0;…;xn−1]−f[x0,…,x0;…;xn]
Newton形式的插值多项式
H 2 n + 1 ( x ) = f [ x 0 ] + f [ x 0 , x 0 ] ( x − x 0 ) + f [ x 0 , x 0 ; x 1 ] ( x − x 0 ) 2 + ⋯ + f [ x 0 , x 0 ; … ; x n ] ( x − x 0 ) 2 ⋯ ( x − x n − 1 ) 2 + f [ x 0 , x 0 ; … ; x n , x n ] ( x − x 0 ) 2 ⋯ ( x − x n − 1 ) 2 ( x − x n ) \begin{split} &H_{2n+1}(x)=\\ &\quad f[x_0]+f[x_0,x_0](x-x_0)+f[x_0,x_0;x_1](x-x_0)^2\\ &\quad +\cdots+f[x_0,x_0;\dots;x_n](x-x_0)^2\cdots(x-x_{n-1})^2\\ &\quad +f[x_0,x_0;\dots;x_n,x_n](x-x_0)^2\cdots(x-x_{n-1})^2(x-x_n) \end{split} H2n+1(x)=f[x0]+f[x0,x0](x−x0)+f[x0,x0;x1](x−x0)2+⋯+f[x0,x0;…;xn](x−x0)2⋯(x−xn−1)2+f[x0,x0;…;xn,xn](x−x0)2⋯(x−xn−1)2(x−xn)
H 2 n ( x ) = f [ x 0 ] + f [ x 0 , x 0 ] ( x − x 0 ) + f [ x 0 , x 0 ; x 1 ] ( x − x 0 ) 2 + ⋯ + f [ x 0 , x 0 ; … ; x n ] ( x − x 0 ) 2 ⋯ ( x − x n − 1 ) 2 \begin{split} &H_{2n}(x)=\\ &\quad f[x_0]+f[x_0,x_0](x-x_0)+f[x_0,x_0;x_1](x-x_0)^2\\ &\quad +\cdots+f[x_0,x_0;\dots;x_n](x-x_0)^2\cdots(x-x_{n-1})^2\\ \end{split} H2n(x)=f[x0]+f[x0,x0](x−x0)+f[x0,x0;x1](x−x0)2+⋯+f[x0,x0;…;xn](x−x0)2⋯(x−xn−1)2
余项估计
设
f
∈
C
2
n
+
2
[
a
,
b
]
f\in C^{2n+2}[a,b]
f∈C2n+2[a,b],
f
(
x
)
−
H
2
n
+
1
(
x
)
=
f
[
x
0
,
x
0
;
…
;
x
n
,
x
n
;
x
]
(
x
−
x
0
)
2
⋯
(
x
−
x
n
)
2
=
f
(
2
n
+
2
)
(
ξ
)
(
2
n
+
2
)
!
ω
2
n
+
2
(
x
)
\begin{split} &f(x)-H_{2n+1}(x)\\ =&f[x_0,x_0;\dots;x_n,x_n;x](x-x_0)^2\cdots(x-x_n)^2\\ =&\frac{f^{(2n+2)}(\xi)}{(2n+2)!}\omega_{2n+2}(x)\\ \end{split}
==f(x)−H2n+1(x)f[x0,x0;…;xn,xn;x](x−x0)2⋯(x−xn)2(2n+2)!f(2n+2)(ξ)ω2n+2(x)
参考书籍:《数值分析》李庆扬 王能超 易大义 编