一、引言

在数值分析中，拉格朗日插值法是以法国十八世纪数学家约瑟夫.拉格朗日命名的一种多项式插值方法。许多实际问题中都用函数来表示某种内在联系和规律，而不少函数都只能通过实验或观测来了解。如对实验中的某个物理量进行观测，在若干个不同的地方得到相应的观测值，拉格朗日插值法可以找到一个多项式，其恰好在各个观测点取到观测到的值。这样的多项式称为拉格朗日多项式。

数学上来讲，拉格朗日插值法可以给出一个恰好穿过二维平面上若干个已知点的多项式函数。

对于给定的$n+1$个点$(x_0,y_0),(x_1,y_1),\cdots ,(x_n,y_n)$，对应于它们的次数都不超过$n$的拉格朗日多项式$L$只有一个。如果计入次数更高的多项式，则有无穷个，因为所有与$L$相差$\lambda (x-x_0)(x-x_1)\cdots (x-x_n)$的多项式都满足条件。例如：

已知平面上四个点：（-9，5）、（-4，2）、（-1，-2）、（7，9），拉格朗日多项式$L(x)$（黑色）穿过所有点。而每个基本多项式$y_0{l}_0(x),y_1{l}_1(x),y_2{l}_2(x),y_3{l}_3(x)$各穿过对应的一点，并在其他的三个点的$x$值上取0。

二、定义

对某个多项式函数，已知有给定的$k+1$个取值点：
$$(x_0,y_0),(x_1,y_1),\cdots ,(x_k,y_k)$$
其中，$x_j$对应着自变量的位置，而$y_j$对应着函数在这个位置的取值。

假设任意两个不同的$x_j$都互不相同，那么应用拉格朗日插值公式所得到的拉格朗日插值多项式为：
$$L(x)：=\sum _{j=0}^k{y}_j{l}_j(x)$$
其中，每个$l_j(x)$为拉格朗日基本多项式（或称插值基函数），其表达式为：
$$l_j(x):=\prod _{i=0,i\ne j}^k\frac{x-x_i}{x_j-x_i}=\frac{x-x_0}{x_j-x_0}\cdots \frac{x-x_{j-1}}{x_j-x_{j-1}}\frac{x-x_{j+1}}{x_j-x_{j+1}}\cdots \frac{x-x_k}{x_j-x_k}$$
拉格朗日基本多项式$l_j(x)$的特点是在$x_j$上的取值为1，在其他的点$x_i,i\ne j$上取值为0。

三、范例

假设有某个二次多项式函数$f$，已知它在三个点上的取值为：
$$f(4)=10,f(5)=5.25,f(6)=1$$
需要求$f(18)$的值。

首先写出每个拉格朗日基本多项式：
$$l_0(x)=\frac{(x-5)(x-6)}{(4-5)(4-6)}$$
$$l_1(x)=\frac{(x-4)(x-6)}{(5-4)(5-6)}$$
$$l_2(x)=\frac{(x-4)(x-5)}{(6-4)(6-5)}$$
然后应用拉格朗日插值法，就可以得到$P$的表达式（$P$为函数$f$的插值函数）:
$$P(x)=f(4)l_0(x)+f(5)l_1(x)+f(6)l_2(x)$$
代入我们上面的公式：
$$P(x)=\frac{1}{4}(x^2-28x+136)$$
此时代入数值18就可以得到所求之值：
$$f(18)=P(18)=-11$$

四、证明

1. 存在性

对于给定的$k+1$个点：$(x_0,y_0),(x_1,y_1),\cdots ,(x_k,y_k)$，拉格朗日插值法的思路是找到一个在一点$x_j$取值为1，而在其他点取值为0的多项式$l_j(x)$。这样，多项式$y_j{l}_j(x)$在点$x_j$取值为$y_j$，而在其他点取值都为0。

而多项式$L(x)={\sum }_{j=0}^k{y}_j{l}_j(x)$就可以满足：
$$L(x_j)=\sum _{j=0}^k{y}_i{l}_i(x_j)=0+0+\cdots +y_j+\cdots +0=y_j$$
在其他点取值为0的多项式容易找到，例如：
$$(x-x_0)(x-x_1)\cdots (x-x_{j-1})(x-x_{j+1})\cdots (x-x_k)$$
它在点$x_j$取值为：
$$(x_j-x_0)(x_j-x_1)\cdots (x_j-x_{j-1})(x_j-x_{j+1})\cdots (x_j-x_k)$$
由于已经假定$x_i$互不相同，因此上面的取值不等于0，将多项式除以这个取值，就能得到一个满足“在$x_j$取值为1，在其他店取值为0”的多项式。
$$l_j(x):=\prod _{i=0,i\ne j}^k\frac{x-x_i}{x_j-x_i}=\frac{x-x_0}{x_j-x_0}\cdots \frac{x-x_{j-1}}{x_j-x_{j-1}}\frac{x-x_{j+1}}{x_j-x_{j+1}}\cdots \frac{x-x_k}{x_j-x_k}$$
这就是拉格朗日基本多项式。

2. 唯一性

次数不超过$k$的拉格朗日多项式至多只有一个，因为对任意两个次数不超过$k$的拉格朗日多项式：$p_1,p_2$。它们的差$p_1-p_2$在所有$k+1$个点上取值都为0，因此必然是多项式$(x-x_0)(x-x_1)\cdots (x-x_{j-1})(x-x_{j+1})\cdots (x-x_k)$的倍数。

因此，如果这个差$p_1-p_2$不等于0，次数就一定不小于$k+1$。但是$p_1-p_2$是两个次数不超过$k$的多项式之差，它的次数也不超过$k$。

所以$p_1-p_2=0$，也就是说$p_1=p_2$，这就证明了唯一性。

五、优点与缺点

拉格朗日插值法的公式结构整齐紧凑，在理论分析中十分方便，然而在计算中，当插值点增加或减少一个时，所对应的基本多项式就需要全部重新计算，于是整个公式都会变化，非常繁琐。这时可以用重心拉格朗日插值法或牛顿插值法来代替。

此外，当插值点比较多的时候，拉格朗日插值多项式的次数可能会很高，因此具有数值不稳定的特点，也就是说尽管在已知的几个点取到给定的数值，但在附近却会和“实际上”的值之间有很大的偏差。

这类现象也被称为龙格现象，解决的办法是分段用较低次数的插值多项式。

六、重心拉格朗日插值法

重心拉格朗日插值法是拉格朗日插值法的一种改进。

在拉格朗日插值法中，运用多项式：
$$l(x)=(x-x_0)(x-x_1)\cdots (x-x_k)$$

拉格朗日插值法的数值稳定性：如图，用于模拟一个十分平稳的函数时，插值多项式的取值可能会突然出现一个大的偏差（图中的14至15中间）

可以将拉格朗日基本多项式重新写为：
$$l_j(x)=\frac{l(x)}{x-x_j}\frac{1}{{\prod }_{i=0,i\ne j}^k(x_j-x_i)}$$
定义重心权:
$${\omega }_j=\frac{1}{{\prod }_{i=0,i\ne j}^k(x_j-x_i)}$$
上面的表达式可以简化为：
$$l_j(x)=l(x)\frac{{\omega }_j}{x-x_j}$$
于是拉格朗日插值多项式变为：
$$L(x)=l(x)\sum _{j=0}^k\frac{{\omega }_j}{x-x_j}{y}_j$$
即所谓的重心拉格朗日插值公式（第一型）或改进拉格朗日插值公式。

它的优点是当插值点的个数增加一个时，将每个${\omega }_j$都除以$(x_j-x_{k+1})$，就可以得到新的重心权$w_{k+1}$，计算复杂度为$\mathcal{O}(n)$，比重新计算每个基本多项式所需要的复杂度$\mathcal{O}(n^2)$降了一个量级。

将以上的拉格朗日插值多项式用来对函数$g(x)\equiv 1$插值，可以得到：
$$\forall x,g(x)=l(x)\sum _{j=0}^k\frac{{\omega }_j}{x-x_j}$$
因为$g(x)\equiv 1$是一个多项式。

因此，将$L(x)$除以$g(x)$后可得到：
$$L(x)=\frac{{\sum }_{j=0}^k\frac{{\omega }_j}{x-x_j}{y}_j}{{\sum }_{j=0}^k\frac{{\omega }_j}{x-x_j}}$$
这个公式被称为重心拉格朗日插值公式（第二型）或真正的重心拉格朗日插值公式。它继承了（1）式容易计算的特点，并且在代入$x$值计算$L(x)$的时候不必计算多项式$l(x)$。

它的另一个优点是，结合切比雪夫节点进行插值的话，可以很好地模拟给定的函数，使得插值点个数趋于无穷时，最大偏差趋于零。同时，重心拉格朗日插值结合切比雪夫节点进行插值可以达到极佳的数值稳定性。第一型拉格朗日插值是向后稳定的，而第二型拉格朗日插值是向前稳定的，并且勒贝格常数很小。