使用局域网做网站外链图片

一. 原理介绍

1. 在数学中，插值（Interpolation）是指通过已知的离散数据点，构造一个连续的函数，该函数能够精确地通过这些数据点，并用来估算在数据点之间或之外的值。

2. 设 $S=(x_1,y_1),(x_2,y_2),\dots ,(x_n,y_n)$是一组已知的离散数据点，其中插值问题的目标是找一个函数 $f(x)$使得：
   $$f(x_i)=y_i(i=1,2,\dots ,n)$$
   对所有的数据点都同时成立.
   即函数f(x)必须通过所有给定的数据点。

---

二. 图例

例如我们有上述通过多项式插值方法得到的曲线图样：

（1）在插值点处，插值曲线和插值点的取值完全相同（或者说插值曲线完全经过所有数据点）
（2）在非插值点处没有任何参照指标，函数曲线的图样经过的点对于真实值可能存在较大偏差
（3）可以证明插值函数具有唯一性

这里解释一下插值函数的唯一性：
我们假设数据点有n+1个

1. 插值函数的唯一性描述的是取其中一种具有相同表达形式的插值函数（例如多项式插值），关于这个多项式插值的不同次项系数是可以唯一确定的。常见的我们取n次多项式来进行数据点的插值。
2. 假设取高于数据点维数的多项式进行插值，我们可以证明其系数不唯一，例如取n+1次多项式进行插值，等同于求解变量(n+2)大于方程数(n+1)的方程组，基于我们已知的数据点，所求解的方程存在无数组解。
3. 如果取一非线性函数对数据点进行插值，若存在n+1个待求解的系数（包含常数项），且系数之间相互独立，则该方程具有唯一解，也就是说对于n维的非线性插值函数也是唯一的。

我们说插值的函数是不唯一的，但当我们选定要插值的函数时，其待求解的系数和数据点数量等同时，插值函数是唯一的，由此我们说插值函数具有唯一性

---

三. 唯一性表述

这里给出其中一种关于n次多项式作为插值函数的唯一性的标准证明过程

---

1. 问题表述

给定 n+1个插值点 $(x_0,y_0),(x_1,y_1),\dots ,(x_n,y_n)$，希望找到一个次数不超过n的多项式

$P(x)=a_0+a_{1}x+a_2{x}^2+\cdots +a_n{x}^n$

使得对每个插值点 $(x_i,y_i)$，都有 $P(x_i)=y_i$
现证明其中参数$a_0、a_1、...、a_n$都可唯一确定。

---

2. 建立方程组

（1）将插值点代入$P(x)$，可得方程组：
$$\begin{array}{rl}& P(x_0)=y_0\Rightarrow a_0+a_1{x}_0+a_2{x}_0^2+\cdots +a_n{x}_0^n=y_0,\\ & P(x_1)=y_1\Rightarrow a_0+a_1{x}_1+a_2{x}_1^2+\cdots +a_n{x}_1^n=y_1,\\ & ⋮\\ & P(x_n)=y_n\Rightarrow a_0+a_1{x}_n+a_2{x}_n^2+\cdots +a_n{x}_n^n=y_n.\end{array}$$

（2）写成矩阵形式：

$$\left[\begin{array}{ccccc}1& x_0& x_0^2& \cdots & x_0^n\\ 1& x_1& x_1^2& \cdots & x_1^n\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 1& x_n& x_n^2& \cdots & x_n^n\end{array}\right]\left[\begin{array}{c}{a}_0\\ a_1\\ a_2\\ ⋮\\ a_n\end{array}\right]=\left[\begin{array}{c}{y}_0\\ y_1\\ y_2\\ ⋮\\ y_n\end{array}\right].$$

记系数矩阵为 $V$，即：

$$V=\left[\begin{array}{ccccc}1& x_0& x_0^2& \cdots & x_0^n\\ 1& x_1& x_1^2& \cdots & x_1^n\\ ⋮& ⋮& ⋮& \ddots & ⋮\\ 1& x_n& x_n^2& \cdots & x_n^n\end{array}\right].$$

该矩阵即为我们熟知的 范德蒙德矩阵（Vandermonde Matrix）。

---

3. 解的结构

该线性方程组有解的充分必要条件是系数矩阵行列式 $|V|$ 不为零，即 $$det(V)\ne 0$$
范德蒙德矩阵的行列式表示为：
$$\det (V)=\prod _{0\le i<j\le n}(x_j-x_i),$$

即有：

• 若对任意两个 $x_i$互不相同，则 $det(V)\ne 0$，方程组有唯一解。

显然，插值点之间互不相同，相互独立⇒该方程组有唯一解（得证）。

---

希望能够帮到迷途之中的你，知识有限，如有学术错误请及时指正，感谢大家的阅读

(^^)／▽ ▽＼(^^)