Lagrange 插值:让多项式经过每一个节点

从基函数出发,理解插值多项式的构造、唯一性与误差。

从条件开始

给定互不相同的节点 x0,…,xnx_0,\ldots,x_n,希望找到次数不超过 nn 的多项式 PnP_n,满足 Pn(xj)=f(xj)P_n(x_j)=f(x_j)。

为每个节点构造一个基函数

定义

Lj(x)=∏k≠jx−xkxj−xk.L_j(x)=\prod_{k\ne j}\frac{x-x_k}{x_j-x_k}.

在自己的节点取值为 11,在其他节点取值为 00。因此线性组合

Pn(x)=∑j=0nf(xj)Lj(x)P_n(x)=\sum_{j=0}^{n}f(x_j)L_j(x)

恰好满足所有插值条件。两个满足条件的多项式之差有至少 n+1n+1 个不同零点,而次数至多为 nn,所以只能是零多项式。这也证明了唯一性。

更多节点一定更好吗

若 ff 在包含所有节点与求值点的区间上具有 n+1n+1 阶连续导数,则误差可写为

f(x)−Pn(x)=f(n+1)(ξ)(n+1)!∏j=0n(x−xj).f(x)-P_n(x)=\frac{f^{(n+1)}(\xi)}{(n+1)!}\prod_{j=0}^{n}(x-x_j).

误差同时受到函数高阶导数和节点分布的影响。等距节点越来越多时,端点附近仍可能出现较大振荡。下一步可以比较等距节点与 Chebyshev 节点,并观察 Runge 现象。

这是一篇用于展示网站功能的示例,可替换为自己的学习笔记或真实项目记录。