泰勒公式

泰勒公式

泰勒公式的初衷是用多项式来近似表示函数在某点周围的情况。比如说，指数函数 e^(x) 在 x=0 的附近可以用以下多项式来近似地表示： （公式略）

称为指数函数在0处的 n 阶泰勒展开公式。这个公式只对 0 附近的 x 有用， x 离 0 越远，这个公式就越不准确。实际函数值和多项式的偏差称为泰勒公式的余项。 （公式略）

泰勒定理

对于一般的函数，泰勒公式的系数的选择依赖于函数在一点的各阶导数值。这个想法的原由可以由微分的定义开始。微分是函数在一点附近的最佳线性近似： f(a+h)=f(a)+f^(′)(a)h+o(h)，其中 o(h) 是比h 高阶的无穷小。

也就是说 f(a+h)≈ f(a)+f^(′)(a)h，或 f(x)≈ f(a)+f^(′)(a)(x-a)。

注意到 f(x) 和 f(a)+f^(′)(a)(x-a) 在a 处的零阶导数和一阶导数都相同。对足够光滑的函数，如果一个多项式在a 处的前n 次导数值都与函数在a 处的前n 次导数值重合，那么这个多项式应该能很好地近似描述函数在a 附近的情况。以下定理说明这是正确的： Rₙ(x) 的表达形式有若干种，分别以不同的数学家命名。

带有皮亚诺型余项的泰勒公式说明了多项式和函数的接近程度：

也就是说，当x 无限趋近a 时，余项 Rₙ(x) 将会是 (x-a)ⁿ 的高阶无穷小，或者说多项式和函数的误差将远小于 (x-a)ⁿ。这个结论可以由下面更强的结论推出。

带有拉格朗日型余项的泰勒公式可以视为拉格朗日微分中值定理的推广：

即 （公式略），其中 ξ 是介于 a 和 x 之间的某个值。

带有积分型余项的泰勒公式可以看做微积分基本定理的推广： （公式略）

余项估计

拉格朗日型余项或积分型余项可以帮助估计泰勒展开式和函数在一定区间之内的误差。设函数在区间[a − r, a + r] 上n 次连续可微并且在区间(a − r, a + r) 上n + 1 次可导。如果存在正实数Mn 使得区间(a − r, a + r) 里的任意x 都有 |f⁽ⁿ⁺¹⁾(x)|≤ Mₙ，那么：

其中 （公式略）。这个上界估计对区间(a − r, a + r) 里的任意x 都成立，是一个一致估计。

如果当n 趋向于无穷大时，还有 （公式略），那么可以推出 Rₙ(x)→ 0，f 是区间(a − r, a + r) 上解析函数。f 在区间(a − r, a + r) 上任一点的值都等于在这一点的泰勒展开式的极限。

多元泰勒公式

对于多元函数，也有类似的泰勒公式。设B(a, r) 是欧几里得空间RN 中的开球，ƒ 是定义在B(a, r) 的闭包（即闭球）上的实值函数，并在每一点都存在所有的n+1 次偏导数。这时的泰勒公式为：

对所有 x∈ B (a,r)， （公式略）

其中的 α 是多重指标，即 |α |=α ₁+α ₂+...+α ₙ, α !=α ₁!· α ₂!·...· α ₙ!。

若 x=(x₁,x₂,...,xₙ),则记: x^(α)=x₁^α ₁x₂^α ₂...xₙ^α ₙ, （公式略）.

• 其中的余项也满足不等式：
• 对所有满足 |α| = n + 1 的 α， （公式略）
• 特别地，多元形式的泰勒公式可表示为： （公式略）

其中 （公式略）.

在应用上述公式时，特别重要的是展开式的前三项，即： （公式略）.

运用雅可比矩阵与海森矩阵，则上式可表示为： （公式略）

其中 Jf(a) 为雅可比矩阵， Hf(a) 为海森矩阵.