泰勒展开中的Lagrange余项和Peano余项

发表于： 2025-03-13

在泰勒展开中，余项的形式决定了展开式的精度和适用范围。拉格朗日余项（Lagrange Remainder）和皮亚诺余项（Peano Remainder）是两种最常见的余项类型，它们的核心区别在于对误差的描述方式和无穷小性的要求。本文将通过表达式、性质、对比和例子详细分析两者的异同。

title: “泰勒展开中的Lagrange余项和Peano余项” description: keywords: “泰勒展开中的Lagrange余项和Peano余项” date: 2025-03-13T12:04:13+08:00 lastmod: 2025-03-13T12:04:13+08:00 categories:

科研笔记

2. 皮亚诺余项（Peano Remainder）

表达式

对于 $ n $ 阶泰勒展开，皮亚诺余项的形式为： $$ R_n(x) = o\left((x - x_0)^n\right) \quad \text{当} \ x \to x_0 $$ 符号 $ o(…) $ 表示余项是比 $ (x - x_0)^n $ 更高阶的无穷小。

性质

余项的无穷小性：
强制要求余项满足： $$ \lim_{x \to x_0} \frac{R_n(x)}{(x - x_0)^n} = 0 $$ 即余项必须比展开式的最后一项 $ (x - x_0)^n $ 更快趋近于零。
误差描述：
仅提供定性描述，强调余项的高阶无穷小性质，不涉及具体数值估计。
导数要求：
仅需函数 $ y(x) $ 在 $ x_0 $ 处存在 **$ n $ 阶导数**，无需更高阶导数连续。

例子

以 $ y(x) = e^x $ 在 $ x_0 = 0 $ 处的二阶泰勒展开为例： $$ e^x = 1 + x + \frac{x^2}{2} + o(x^2) \quad (x \to 0) $$ 余项 $ o(x^2) $ 仅表明当 $x \to 0$ 时，余项比 $ x^2 $ 更快趋近于零，但不提供具体表达式。

科研笔记

结论

拉格朗日余项：
- 适用于需要定量误差估计的场景（如工程计算）。
- 余项的无穷小性依赖于高阶导数的有界性，当 $x \to x_0$ 且导数有界时，余项趋于零。
皮亚诺余项：
- 适用于理论分析，强调函数在局部的高阶逼近性质。
- 强制余项为高阶无穷小，无需具体计算高阶导数的值。

两种余项的共同点是当 $x \to x_0$ 时，余项均趋于零，但皮亚诺余项对无穷小性的要求更严格，且不依赖高阶导数的连续性。