勒贝格常数

概述

勒贝格常数（Lebesgue constant）$\Lambda_n$ 是衡量多项式插值算子"误差放大能力"的核心量，定义为拉格朗日基函数绝对值之和的最大值。它将插值误差与最佳逼近误差联系起来：$|f - P_n|_\infty \leq (1+\Lambda_n)E_n(f)$，其中 $E_n(f)$ 是 $n$ 次最佳一致逼近误差。勒贝格常数的增长速度直接决定了插值方案的稳定性：等距节点的 $\Lambda_n$ 指数增长导致龙格现象，而切比雪夫多项式零点的 $\Lambda_n$ 仅对数增长。

关键内容

定义

$$\Lambda_n = \max_{x \in [-1,1]} \sum_{k=0}^{n} |L_k(x)|$$

其中 $L_k(x) = \prod_{j \neq k} \dfrac{x - x_j}{x_k - x_j}$ 是第 $k$ 个拉格朗日基函数。

插值误差界：

$$|f - P_n|_\infty \leq (1 + \Lambda_n) \cdot E_n(f)$$

勒贝格常数是插值误差相对于最佳逼近误差的"放大因子"。$\Lambda_n$ 越小，插值方案越稳定。

不同节点的对比

节点类型	勒贝格常数 $\Lambda_n$ 渐近行为	结果
等距节点	$\sim \dfrac{2^{n+1}}{e \cdot n \ln n}$（指数增长）	龙格现象，插值发散
切比雪夫节点（$T_{n+1}$ 零点）	$\sim \dfrac{2}{\pi}\ln(n+1) + C$（对数增长）	实用上接近最优，不发散
切比雪夫-高斯-洛巴托节点	$\sim \dfrac{2}{\pi}\ln(n) + C$	包含端点，谱方法标准[[Configuration
最优节点（理论下界）	$\geq \dfrac{2}{\pi}\ln(n+1) - C$	理论最优不可突破的对数下界

等距节点：$\Lambda_n$ 指数爆炸，即使最佳逼近 $E_n(f)$ 收敛，误差界 $(1+\Lambda_n)E_n(f)$ 也可能发散。

切比雪夫节点：$\Lambda_n$ 仅对数增长，几乎达到理论下界，是实用上的近最优选择。