第 16 章:Taylor 公式与余项¶
一阶可导把函数压缩成“函数值 + 斜率 × 增量 + 更小的误差”。如果继续知道二阶、三阶乃至 更高阶导数,能否逐层补充弯曲信息?答案是有限阶 Taylor 多项式。不过,一个多项式写得 像原函数,不等于我们已经说明了误差。本章真正的主角是余项。
本章共4个核心单元,7学时(理论4.5,应用2.5)。
- 高阶局部信息怎样形成 Peano 展开? (理论 1.25,应用 0.50)
- Lagrange 余项怎样给出可计算误差界? (理论 1.50,应用 0.25)
- Cauchy 余项揭示了怎样的证明结构? (理论 1.50,应用 0.25)
- 怎样把 Taylor 多项式变成可信的近似工具? (理论 0.25,应用 1.50)
本章证明阶梯¶
\[
\text{Peano 的局部渐近}
\longrightarrow
\text{Lagrange 的可计算误差界}
\longrightarrow
\text{Cauchy 的中值结构}
\longrightarrow
\text{可信数值近似}.
\]
- Peano 余项回答“当 \(x\to a\) 时,误差比 \((x-a)^n\) 小到什么程度”;
- Lagrange 余项回答“在指定点上,怎样用导数界算出误差上限”;
- Cauchy 余项揭示另一种中值结构,并帮助比较不同余项的条件与用途;
- 最后一单元把误差预算、Horner 求值和有限差分组成一条可执行路线。
依赖与边界¶
本章使用第 13 章的局部线性化和小 \(o\) 记号、第 14 章的高阶导数,以及第 15 章的 Rolle、Lagrange、Cauchy 中值定理。
有限阶 Taylor 公式不等于无穷 Taylor 级数。即使每个固定阶数都有余项,也不能在没有 统一控制时直接让阶数趋于无穷。凸性、优化与 Newton 方法进入第 17 章;本章在完成有限 阶近似和可信误差解释后停止。