设 是定义在 上的函数;并假设对每个整数 , 存在且当 时 。设 为区间上某一点,并选取某个固定的正整数 。然后考虑 在 处的泰勒公式,其中公式的多项式部分有多于 项,比如有 项。特别地,当我们使用柯西余项时,考虑这给 带来什么:
其中 。此时右端和式的所有项都是非负的;因此 大于或等于其中任何一项。特别地,
这对任意 都成立。
现在考虑函数 。由于 的导数也是 的导数,它们在 上都是非负的。因此我们可以在 (1) 中用 代替 ,得到
即这最后一个不等式对任意 都成立;特别地,它对 成立,其中 与 (1) 中的相同。于是它变为
这对区间上的任意点 都成立。
现在设 为区间上的某一点,考虑 在 处的泰勒展开,其中 也在该区间内。 项之后的柯西余项的绝对值为
其中 位于 与 之间。根据 (3),它小于或等于
当 时,随着 变大,这将趋于 。如果 ,则 。如果 ,并且 ,则 。因此我们知道,只要 ,余项就趋于零。让我们总结一下已证明的结果,这就是伯恩斯坦收敛定理。
设 满足:对所有满足 的 ,有 。设 ,并设 为区间上满足 的一点。那么泰勒级数
收敛于 。
例如,这个定理告诉我们, 在任意一点处展开的泰勒级数对所有的 都收敛于 。如果我们作一些观察,这个结果可以推广到更大一类函数。首先假设存在某个数 ,使得只要 ,就有 。如果 ,则由伯恩斯坦定理, 的泰勒级数收敛于 。如果 ,令
则 ,因为两个因子都小于或等于零。同样地, 。因此 的泰勒级数收敛于 。如前所述, 的泰勒级数收敛于 ()。由于构造泰勒级数是一种线性运算, 的泰勒级数就是 的泰勒级数加上 倍的 的泰勒级数;这两者的余项都趋于零,因此 的余项作为这些余项之和也趋于零。于是我们看到,如果 的所有导数都有下界,则 的泰勒级数收敛于 。
接下来假设当 ( 为某个固定的数)时,对 有 。那么令 为下列各数中最小者
在上则对所有 有 ,并且如上所述,我们看到 的泰勒级数收敛于 。由于 的泰勒级数中的各项是 的泰勒级数中各项的相反数,我们可以用 来证明:只要所有 都有上界, 的泰勒级数就收敛于 ,特别地,若所有 时也是如此。
现在设 ;换句话说, 的各阶导数符号交替变化。设 。则 ,并且若 ,令 。那么
即只要 ,对所有 都有 。于是根据伯恩斯坦定理我们知道,只要 ,即 , 在 处的泰勒级数就收敛于 。 在 处的泰勒级数为:
现在令 。那么只要 ,即 ,取极限便得
但这正是 的泰勒级数。注意在这种情形下,只要 比 到 的距离更接近 ,级数就收敛于 ;而在原定理中,只要 比 到 的距离更接近 ,级数就收敛于 。另请注意,与前面一样,只需从某个 开始符号交替即可。
我们将应用最后这个观察来研究函数 ,其中 , 为任意数。那么
最终有
于是 对所有 都与 符号相反,因为 ; 与 符号相反;并且当 时 的符号交替变化。因此,如果 是任意小的正数且 ,那么只要 , 在 处的泰勒级数就收敛于 。如果 ,那么我们确信对某个正数 有 。因此只要 ,级数就收敛于 。
现在让我们稍微改变一下记号,写 。然后我们将 按 的幂展开。(这里 。)于是
其意义是:只要 ,即 ,级数就收敛于 。这就是所谓的二项式级数,其系数
被称为二项式系数。注意,如果 是正整数,则从某一项起所有系数都为 ,此时我们得到通常的二项式定理。
注:在早期对泰勒级数的研究中,人们常常简单地假设:只要级数趋于某种极限,级数就趋于该函数。考虑函数
便可知这是错误的。此时 ,于是在 处的泰勒级数只是一个全为 0 的级数,其极限为 0。然而,这个函数除在 处外从不为 0。
习题
习题 1.
- 应用伯恩斯坦定理证明: 和 在任意 处的泰勒级数对所有的 都收敛于相应的函数。
习题 2.
- 应用该定理证明: 在 处的泰勒级数当 时收敛于 。
习题 3.
- 在二项式级数中取 ,估计 精确到四位小数。
习题 4.
- 取 来估计 。由于这也是 ,求 精确到五位的估计值。