一組离散数据點在一個外延的插值。曲線中實際已知数据點是紅色的；連接它們的藍色曲線即為插值。 在数学 的数值分析 领域中，內插 ，或稱插值 （英語：Interpolation ），是一種通过已知的、离散 的数据 點，在範圍內推求新數據點的过程或方法。求解科学 和工程 的问题時，通常有許多數據點藉由采样 、实验 等方法获得，这些数据可能代表了有限個數值函數，其中自變量的值。而根据这些数据，我们往往希望得到一个连续 的函数 （也就是曲线 ）；或者更密集的离散方程 与已知数据互相吻合，这个过程叫做拟合 。
與插值密切相關的另一個問題是通過簡單函數逼近複雜函數。假設給定函數的公式是已知的，但是太複雜以至於不能有效地進行評估。來自原始函數的一些已知數據點，或許會使用較簡單的函數來產生插值。當然，若使用一個簡單的函數來估計原始數據點時，通常會出現插值誤差 ；然而，取決於該問題领域和所使用的插值方法，以簡單函數推得的插值數據，可能會比所導致的精度 損失更大。
內插是曲线必须通过已知点的拟合。参见拟合 条目。
例如，已知数据：
x
1
=
1
{\displaystyle x_{1}=1}
y
1
=
2
{\displaystyle y_{1}=2}
x
2
=
2
{\displaystyle x_{2}=2}
y
2
=
3
{\displaystyle y_{2}=3}
x
3
=
4
{\displaystyle x_{3}=4}
y
3
=
6
{\displaystyle y_{3}=6}
求：
当
x
=
3
{\displaystyle x=3}
给定
n
{\displaystyle n}
节点 ）
(
x
k
,
y
k
)
{\displaystyle (x_{k},y_{k})}
k
=
1
,
2
,
.
.
.
,
n
{\displaystyle k=1,2,...,n}
x
,
(
x
≠
x
k
,
k
=
1
,
2
,
.
.
.
n
)
{\displaystyle x,(x\neq x_{k},k=1,2,...n)}
x
{\displaystyle x}
y
{\displaystyle y}
f
(
x
)
{\displaystyle f(x)}
[
a
,
b
]
{\displaystyle [a,b]}
x
1
,
x
2
,
x
3
.
.
.
x
n
{\displaystyle x_{1},x_{2},x_{3}...x_{n}}
[
a
,
b
]
{\displaystyle [a,b]}
G
{\displaystyle G}
G
{\displaystyle G}
g
(
x
)
{\displaystyle g(x)}
g
(
x
i
)
=
f
(
x
i
)
,
k
=
1
,
2
,
.
.
.
n
{\displaystyle g(x_{i})=f(x_{i}),k=1,2,...n}
则称
g
(
x
)
{\displaystyle g(x)}
f
(
x
)
{\displaystyle f(x)}
x
1
,
x
2
,
x
3
.
.
.
x
n
{\displaystyle x_{1},x_{2},x_{3}...x_{n}}
G
{\displaystyle G}
舉例假設我們有這樣如下列一個表，它給出了某個未知函數
f
{\displaystyle f}
表中數據點在x-y平面上的繪圖。
x
{\displaystyle x}
f
(
x
)
{\displaystyle f(x)}
0
0
1
0
.
8415
2
0
.
9093
3
0
.
1411
4
−0
.
7568
5
−0
.
9589
6
−0
.
2794
插值提供了估算中間點函數的方法，如
x
=
2.5
{\displaystyle x=2.5}
有許多不同的插值方法，其中一些在下面描述。 在選擇適當的算法時需要考慮的一些問題是：方法有多準確？ 它的計算成本有多高？ 插值有多平滑？ 需要多少數據點？
片段常數(或稱為最近鄰)插值 最簡單的插值方法是找到最近的數據值，並分配相同的值。這種方法又稱為最近鄰插值。在簡單的問題中，不太可能使用這種方法，因為線性插值（見下一小節）幾乎一樣容易，但在高維度的多變量插值中，這可能是衡量速度和簡單性的有利選擇。
以線性插值疊加數據的繪圖 考慮上面估計 f (2.5) 的例子。由於 2.5 在 2 和 3 之間，所以在 f (2) = 0.9093 和 f (3) = 0.1411 之間，取中間的 f (2.5) 是合理的，得到 0.5252。
一般來說，線性插值採用兩個數據點，例如 (x a y a x b y b
則線性插值的公式為
y
=
y
a
+
(
y
b
−
y
a
)
x
−
x
a
x
b
−
x
a
在 點
(
x
,
y
)
{\displaystyle y=y_{a}+\left(y_{b}-y_{a}\right){\frac {x-x_{a}}{x_{b}-x_{a}}}{\text{ 在 點 }}\left(x,y\right)}
y
−
y
a
y
b
−
y
a
=
x
−
x
a
x
b
−
x
a
{\displaystyle {\frac {y-y_{a}}{y_{b}-y_{a}}}={\frac {x-x_{a}}{x_{b}-x_{a}}}}
y
−
y
a
x
−
x
a
=
y
b
−
y
a
x
b
−
x
a
{\displaystyle {\frac {y-y_{a}}{x-x_{a}}}={\frac {y_{b}-y_{a}}{x_{b}-x_{a}}}}
(
x
a
,
y
a
)
{\displaystyle (x_{a},y_{a})}
(
x
,
y
)
{\displaystyle (x,y)}
(
x
a
,
y
a
)
{\displaystyle (x_{a},y_{a})}
(
x
b
,
y
b
)
{\displaystyle (x_{b},y_{b})}
x k 可微分的 。
以下誤差估計顯示線性插值不是很精確。用 g 表示我們要插入的函數，假設 x 位於 x a x b g 是連續可微的。那麼線性插值的誤差是
|
f
(
x
)
−
g
(
x
)
|
≤
C
(
x
b
−
x
a
)
2
where
C
=
1
8
max
r
∈
[
x
a
,
x
b
]
|
g
″
(
r
)
|
.
{\displaystyle |f(x)-g(x)|\leq C(x_{b}-x_{a})^{2}\quad {\text{where}}\quad C={\frac {1}{8}}\max _{r\in [x_{a},x_{b}]}|g''(r)|.}
換言之，誤差與數據點之間的距離的平方成正比。包括多項式插值和样條插值（見下一小節）在內的其他一些方法中的誤差與數據點之間距離的較高冪成正比。這些方法也產生更平滑的插值。
对数据使用多项式插值得到的图像 多項式 插值是線性插值的推廣。線性插值是一個線性函數 。我們現在用一個更高階的多項式代替這個插值。
再考慮一下上面給出的問題。以下的六次多項式經歷了所有七個點：
f
(
x
)
=
−
0.0001521
x
6
−
0.003130
x
5
+
0.07321
x
4
−
0.3577
x
3
+
0.2255
x
2
+
0.9038
x
.
{\displaystyle f(x)=-0.0001521x^{6}-0.003130x^{5}+0.07321x^{4}-0.3577x^{3}+0.2255x^{2}+0.9038x.}
代入 x = 2.5，我們發現 f (2.5) = 0.5965。
一般情況下，如果我們有 n 個數據點，那麼在所有的數據點中只有一個最多 n-1 次多項式。插值誤差與數據點與冪次 n 之間的距離成正比。此外，插值是一個多項式，因此是無限可微的。所以我們看到多項式插值克服了線性插值的大部分問題。但是，多項式插值也有一些缺點。與線性內插相比，計算內插多項式的成本是昂貴的（參見計算複雜度 ）。此外，多項式插值可能會出現振盪偽像，特別是在端點（見龍格現象 ）。
與線性插值不同，多項式插值可以估計樣本範圍之外的局部最大值和最小值。例如，上面的插值在 x ≈ 1.566 處有一個局部最大值，f (x ) ≈ 1.003，在 x ≈ 4.708 處有一個局部最小值，f (x ) ≈ −1.003。然而，這些最大值和最小值可能會超出函數的理論範圍 - 例如，一個總是正的函數可能有一個負值的插值，因此它的逆值包含假垂直漸近線 。
更一般地說，所得曲線的形狀，特別是對於獨立變量的非常高或低的值，可能與常識相反，即與已經產生數據點的實驗系統已知的情況相反。通過使用樣條插值或限制對切比雪夫多项式 的注意可以減少這些缺點。
对数据使用样条插值得到的图像 線性插值對每個區間 [x k x k+1 樣條曲線 。
例如，三次样条 是分片段立方，兩次連續可微。 此外，它的二階導數在終點為零。 在上表中插入點的三次樣條函數由下式給出
f
(
x
)
=
{
−
0.1522
x
3
+
0.9937
x
,
if
x
∈
[
0
,
1
]
,
−
0.01258
x
3
−
0.4189
x
2
+
1.4126
x
−
0.1396
,
if
x
∈
[
1
,
2
]
,
0.1403
x
3
−
1.3359
x
2
+
3.2467
x
−
1.3623
,
if
x
∈
[
2
,
3
]
,
0.1579
x
3
−
1.4945
x
2
+
3.7225
x
−
1.8381
,
if
x
∈
[
3
,
4
]
,
0.05375
x
3
−
0.2450
x
2
−
1.2756
x
+
4.8259
,
if
x
∈
[
4
,
5
]
,
−
0.1871
x
3
+
3.3673
x
2
−
19.3370
x
+
34.9282
,
if
x
∈
[
5
,
6
]
.
{\displaystyle f(x)={\begin{cases}-0.1522x^{3}+0.9937x,&{\text{if }}x\in [0,1],\\-0.01258x^{3}-0.4189x^{2}+1.4126x-0.1396,&{\text{if }}x\in [1,2],\\0.1403x^{3}-1.3359x^{2}+3.2467x-1.3623,&{\text{if }}x\in [2,3],\\0.1579x^{3}-1.4945x^{2}+3.7225x-1.8381,&{\text{if }}x\in [3,4],\\0.05375x^{3}-0.2450x^{2}-1.2756x+4.8259,&{\text{if }}x\in [4,5],\\-0.1871x^{3}+3.3673x^{2}-19.3370x+34.9282,&{\text{if }}x\in [5,6].\end{cases}}}
在這種情況下，我們得到 f (2.5) = 0.5972。
與多項式插值的方法相比較，樣條跟多項式一樣，其插值誤差會小於線性插值，而且插值更平滑；使用樣條會比使用高階多項式更容易評估。 它也不會受到龍格現象的影響。
其他形式的插值可以通過選擇不同的插值類來構造。 例如，有理插值是使用Padé逼近的有理函數插值，而三角插值是使用傅里叶级数 的三角多項式插值。 另一種可能是使用小波。
如果數據點的數量是無限的，則可以使用Whittaker-Shannon插值公式。
有時候，我們不僅知道我們想插入的函數的值，而且也知道它的導數。 這導致Hermite插值問題。
當每個數據點本身就是一個函數時，將插值問題看作是每個數據點之間的局部對流問題是有用的。 這個想法導致了運輸理論中使用的位移插值問題。
在数字信号处理领域，插值 是指使用各种数字滤波器（例如带限脉冲信号）提高数字信号（例如语音信号）的采样率（即升采样 ）。在升采样的过程中，原始信号的谐波成分需要在不产生高于原始信号奈奎斯特频率 （原始信号采样率的一半）的混叠谐波的情况下保留。Rabiner和Crochiere的书Multirate Digital Signal Processing 对此进行了讨论。[ 1]
術語外推 用於找到已知數據點範圍之外的數據點。
在曲線擬合問題中，插值必須準確穿過數據點的約束被放寬。 只需要盡可能接近數據點（在一些其他限制內）。 這需要參數化潛在的插值並且有一些測量誤差的方法。 在最簡單的情況下，這導致最小二乘法 逼近。
近似理論研究如何從某個預定的類別的另一個函數找到給定函數的最佳逼近，以及這個近似值有多好。 這明顯產生了內插函數可以近似未知函數的界限。
本章内容参考了《数学手册 》[ 2]
![{\displaystyle [a,b]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)
![{\displaystyle |f(x)-g(x)|\leq C(x_{b}-x_{a})^{2}\quad {\text{where}}\quad C={\frac {1}{8}}\max _{r\in [x_{a},x_{b}]}|g''(r)|.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15e835bf7d5d64ca8fef6bd55cfd937460b4752e)
![{\displaystyle f(x)={\begin{cases}-0.1522x^{3}+0.9937x,&{\text{if }}x\in [0,1],\\-0.01258x^{3}-0.4189x^{2}+1.4126x-0.1396,&{\text{if }}x\in [1,2],\\0.1403x^{3}-1.3359x^{2}+3.2467x-1.3623,&{\text{if }}x\in [2,3],\\0.1579x^{3}-1.4945x^{2}+3.7225x-1.8381,&{\text{if }}x\in [3,4],\\0.05375x^{3}-0.2450x^{2}-1.2756x+4.8259,&{\text{if }}x\in [4,5],\\-0.1871x^{3}+3.3673x^{2}-19.3370x+34.9282,&{\text{if }}x\in [5,6].\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cd654c9f03b663dc277263ec988f010e0d934e1)
