交错定理和切比雪夫节点的联系与区别
1. 交错定理
交错定理是切比雪夫逼近理论的核心内容,描述在区间[a,b]上,一个函数
f
(
x
)
f(x)
f(x)的最佳一致逼近多项式
P
n
(
x
)
P_n(x)
Pn(x)的特性。定理内容如下:
设
f
(
x
)
f(x)
f(x)是区间[a,b]上的连续函数,
P
n
(
x
)
P_n(x)
Pn(x)是
f
(
x
)
f(x)
f(x)的最佳一致逼近多项式(次数不超过
n
n
n)。那么,误差函数
E
(
x
)
=
f
(
x
)
−
P
n
(
x
)
E(x)=f(x)-P_n(x)
E(x)=f(x)−Pn(x)在区间[a,b]上满足:
(1)交错性:误差函数
E
(
x
)
E(x)
E(x)在区间[a,b]上至少有
n
+
2
n+2
n+2个交错点,即存在
n
+
2
n+2
n+2个点
x
0
,
x
1
,
.
.
.
,
x
n
+
1
x_0,x_1,...,x_{n+1}
x0,x1,...,xn+1使得
E
(
x
i
)
=
(
−
1
)
i
∣
∣
E
∣
∣
∞
或
E
(
x
i
)
=
(
−
1
)
i
+
1
∣
∣
E
∣
∣
∞
E(x_i)=(-1)^{i}||E||_\infty 或 E(x_i)=(-1)^{i+1}||E||_\infty
E(xi)=(−1)i∣∣E∣∣∞或E(xi)=(−1)i+1∣∣E∣∣∞
其中,
∣
∣
E
∣
∣
∞
=
m
a
x
x
∈
[
a
,
b
]
∣
E
(
x
)
∣
||E||_\infty = max_{x\in [a,b]}|E(x)|
∣∣E∣∣∞=maxx∈[a,b]∣E(x)∣是误差的最大值。
(2)极值性:在这些交错点上,误差函数
E
(
x
)
E(x)
E(x)达到其最大值或最小值,且符号交替变化。
2. 切比雪夫节点
切比雪夫节点是用于多项式插值的一种特殊节点选择,能够最小化插值误差的最大值,即最小化
∣
∣
f
(
x
)
−
P
n
(
x
)
∣
∣
∞
||f(x)-P_n(x)||_\infty
∣∣f(x)−Pn(x)∣∣∞。在区间[-1,1]上,
n
+
1
n+1
n+1个切比雪夫节点定义为
x
k
=
c
o
s
(
(
2
k
+
1
)
π
2
(
n
+
1
)
)
,
k
=
0
,
1
,
.
.
.
,
n
x_k=cos(\frac{(2k+1)\pi}{2(n+1)}), k=0,1,...,n
xk=cos(2(n+1)(2k+1)π),k=0,1,...,n
对于一般区间[a,b],可以通过线性变换将切比雪夫节点映射到该区间:
x
k
=
a
+
b
2
+
b
−
a
2
c
o
s
(
(
2
k
+
1
)
π
2
(
n
+
1
)
)
,
k
=
0
,
1
,
.
.
.
,
n
x_k=\frac{a+b}{2}+\frac{b-a}{2}cos(\frac{(2k+1)\pi}{2(n+1)}), k=0,1,...,n
xk=2a+b+2b−acos(2(n+1)(2k+1)π),k=0,1,...,n
从切比雪夫节点的表达式可以看出,它在[-1,1]上分布不均匀,靠近区间端点的节点更密集,所以使用切比雪夫节点进行插值时,可以显著减少高次插值的震荡现象(龙格现象)。
3. 交错定理和切比雪夫节点对比
(1) 定义不同
- 交错定理中的点是误差函数 E ( x ) = f ( x ) − P n ( x ) E(x)=f(x)-P_n(x) E(x)=f(x)−Pn(x)的极值点;
- 切比雪夫节点是切比雪夫多项式 T n + 1 ( x ) T_{n+1}(x) Tn+1(x)的极值点。
(2) 依赖对象不同
- 交错定理中的点依赖于被逼近函数 f ( x ) f(x) f(x)和逼近多项式 P n ( x ) P_n(x) Pn(x);
- 切比雪夫节点是固定的,仅依赖于区间[a,b]和节点数量 n + 1 n+1 n+1。
(3) 应用场景不同
- 交错定理用于描述最佳一致逼近多项式的特性;
- 切比雪夫节点用于多项式插值,以最小化插值误差的最大值;
(4) 联系
- 当使用切比雪夫节点进行插值时,插值误差的分布接近交错定理所描述的最佳误差分布;
- 切比雪夫节点可以看做交错定理中最佳逼近的一种实现方式。
4. 有切比雪夫节点还需要交错定理的原因
切比雪夫节点和交错定理虽然在某些方面存在一定联系,但是也有一些明显的差别,在以下场景中仍然需要交错定理:
- 如果目标是找到一个多项式,使得其与目标函数的最大偏差最小(即最佳一致逼近),则需要使用交错定理;
- 切比雪夫节点依赖于在节点处精确匹配函数值,但是在某些问题中,我们可能无法或不需要再特定节点处精确匹配函数值,例如在函数逼近中,我们可能只关心整体误差的最小化,而不关心特定点的匹配。
- 切比雪夫节点虽然能够减小高次插值的震荡现象,但是在高次逼近中,仍然可能存在数值不稳定性,交错定理通过控制误差的分布,可以进一步提高逼近的稳定性和精度;
- 交错定理为逼近问题提供了理论依据,可以用于分析和验证逼近结果的有效性,例如,通过检查误差函数是否满足交错性,可以判断一个多项式是否是最佳一致逼近多项式;