泰勒定理(含拉格朗日余数)
的泰勒级数函数在各种应用中都非常有用,同时,它是纯数学的基础,特别是在(复)函数理论中。回想一下,如果 是无穷可微的 的泰勒级数 在 根据定义
这个表达式(以及它的巨大效用)来自于它是在该点附近的最佳多项式近似(在任何给定的程度内) .为 和 很容易计算所有的 并证明泰勒级数是收敛的 (通过比值检验),但并不明显它应该收敛于 .毕竟,导数在 只依赖于非常接近的函数值 .你为什么要期望它知道远处函数的值呢?
泰勒级数收敛于函数本身是一个重要的事实。大多数微积分课本都会用到泰勒定理(带拉格朗日余数),并且可能会提到它是对<一个href="//www.parkandroid.com/wiki/mean-value-theorem/" class="wiki_link" title="" target="_blank">均值定理.泰勒定理的证明可能很短,但并不是很有启发性。幸运的是,一个很自然的推导只基于<一个href="//www.parkandroid.com/wiki/fundamental-theorem-of-calculus/" class="wiki_link" title="" target="_blank">微积分基本定理(以及一点多变量视角)是大多数函数所需要的。
源自FTC
我们从微积分基本定理(FTC)开始,它应该是最自然的形式:
这个表达式自然需要这样做 是可微的 即。 存在 和 是连续的 和 -我们说 是连续可微的在短 或 你可以允许 有一些跳跃不连续,但我们很快就会看到更多的可微性会出现,而不是更少。为了明确起见,想象一下 大于 和 变量是从哪里运行的 来 .
此外,如果 是连续可微的 我们说 是两次连续可微的,或 我们可以向联邦贸易委员会申请 关于反转 :
把这个代入表达式for ,我们有
再玩这个游戏,如果 是连续可微的 即。 我们可以写
所以现在
这显然概括如下:
如果 是 乘以连续可微的 在一个包含 ,然后
在哪里
被称为剩余部分.
<!-- end-theorem -->
从某种意义上说,我们已经推送了很多关于价值的信息 切中要害 可能的话,剩下的就是一个“看起来很复杂”的术语。
验证它 , , .
我们有
注意,如果有 在区间内 ,我们可以很容易地推断出所谓的拉格朗日误差界它足以满足大多数应用(例如泰勒级数的收敛性;见下文)。实际的拉格朗日(或其他)余数似乎是一个可以忽略的“更深”的结果。
(拉格朗日误差界)
如果,另外, 的边界是 在区间内 ,即 对所有 ,然后
其余的
其余的 如上所述是累次积分,或者<一个href="//www.parkandroid.com/wiki/multiple-integral/" class="wiki_link" title="多重积分" target="_blank">多重积分一个>在多变量微积分中会遇到的。这可能是泰勒定理很少被这样教授的原因。
为 ,余数
是一个“二重积分”,在这个积分中,被积函数可以同时依赖于两个变量 和 .在本题中,被积函数只依赖于 ,所以如果我们对 变量。的确,我们可以这样做(有一点帮助)<一个href="//www.parkandroid.com/wiki/fubinis-theorem/" class="wiki_link" title="Fubini定理" target="_blank">Fubini定理一个>):
注意,积分的极限被改变以保持两个变量的相对位置,即 .实际上,积分应该看成是在直角三角形上 -平面,计算表面下的(有符号的)体积 .这直观地表明,交换积分顺序不应该影响最终结果。
对于的一般情况 ,积分区域为 -维“单纯形”定义为 ,然后再进行积分 与 固定 产生一个直角的体积 单纯形”。也就是说,
这被称为积分形式剩下的。
在相同条件下,
根据“实”中值定理,这个积分可以用在某一点上得到的“中值”来代替 ,乘以长度 .这样我们就得到了余数柯西形式:
(柯西)
最后,得到拉格朗日形式,我们只需要看看原件 -折积分,并应用多变量版本的“实”中值定理:一个有界上的多重积分,连接区域等于它的“平均值”,通过被积函数的连续性在域中的某一点获得,乘以积分区域的“体积”。(我们可以通过一个简单的应用来证明<一个href="//www.parkandroid.com/wiki/extreme-value-theorem/" class="wiki_link" title="极值定理" target="_blank">极值定理一个>和<一个href="//www.parkandroid.com/wiki/intermediate-value-theorem/" class="wiki_link" title="中间值定理" target="_blank">中间值定理一个>)。因此我们有
(拉格朗日)
请注意,它几乎肯定是不同的 从柯西余数中得到的,在这两种情况下,我们都不知道确切的位置 没有关于函数的更多信息吗 .拉格朗日余数很容易记住因为它和泰勒级数的下一项是相同的表达式,除了 是在这个点上被评估的吗 而不是at .
我们也可以通过积分一些而不是全部得到其他形式的余数 变量,并将中值定理应用于其余变量。仔细分析一下,你会发现
为 ,
这很接近,但不完全相同,Roche-Schlömilch式的余式。
还应该提到,积分形式通常是由的连续应用推导出来的<一个href="//www.parkandroid.com/wiki/integration-by-parts/" class="wiki_link" title="分部积分法" target="_blank">分部积分法一个>,这样就避免了提到多重积分。然而,它可以被认为是相同的证明(直到同伦,在某种意义上)因为分部积分,本质上是说,一个人可以计算一个特定的面积通过对 变量或除以 变量。
泰勒级数的收敛性
除了给出用泰勒级数的前几项近似一个函数的误差估计外,泰勒定理(带拉格朗日余数)提供了证明整个泰勒级数收敛的关键成分完全到它应该表示的函数。有几个例子是合适的。
是无限可微的 所有的导数 是四种可能性之一,即 和 .因此,在任何形式的 上面,我们可以简单地定界 通过 ,所以(比如用拉格朗日形式)
对于任何固定的 和 .因此,的泰勒级数 ,以任何一点为中心 ,确实趋同于 对所有 .<!-- end-example -->
现在很自然地把这种论证应用到尽可能多的函数上,最好是有一些一般的定理来描述哪些函数,用一个简单的准则或检验,它的泰勒级数总是收敛于正确的函数无论它收敛在哪里。这个定理更配得上泰勒定理的名字(在某种意义上的关于泰勒级数的定理,而不是把它归因于布鲁克·泰勒)。不幸的是,存在的自然标准 在间隔时间是不够的。著名的(反)例子是
所有的导数 存在并等于 ,所以它的泰勒级数以 ,或任何 不收敛于 为 .这个看似无辜的功能的存在是非常重要的,因为它产生了丰富的储层光滑的功能 可以有任何所需的支持(通常称为凹凸函数在光滑流形的研究中,和测试函数在理论中<一个href="//www.parkandroid.com/wiki/distributions/" class="wiki_link" title="分布" target="_blank">分布一个>).
但是,就泰勒级数而言,这些光滑函数是不好的。以泰勒级数总是收敛于自身这一性质为特征的“好”函数被称为(真正的)分析,有时表示为 暗示它比存在更强大 .“解释”为什么的最好方法是 上面不是解析的,而是通过进入复域:即使两边沿着实轴平滑地“缝合”在一起(在原点),也不可能将其作为(单一)延伸到复平面。<一个href="//www.parkandroid.com/wiki/holomorphic-function/" class="wiki_link" title="全纯函数" target="_blank">全纯函数一个>,即使邻域是0也不行。其实,行为的 对于小型复合体 是极其狂野的(参见皮卡德关于本质奇点的定理)。以下定理在微积分中很少提及,因为它被认为是实变量课程的“范围之外”的解析性的自然准则,它绕过了泰勒定理和估计余数的困难。
如果 一个(实值或复值)函数是否在开区间上 ,它扩展到(即与)全纯函数一致 在一个复杂的域 的开放连接子集 包含 的泰勒级数 在任何时候 收敛于 在它收敛的地方 也就是说, 是分析 而且,收敛半径最大 这样 允许在包含开盘的域上的全纯扩展 .<!-- end-theorem -->
我们遇到的绝大多数函数——包括所有初等函数和它们的不定积分,以及(合理的)常微分方程的更一般的解——都满足这个标准,因此是解析的。有关复域上解析函数的更多信息,请参阅wiki<一个href="//www.parkandroid.com/wiki/analytical-continuation/" class="wiki_link" title="解析延拓" target="_blank">解析延拓一个>.
放松状态
泰勒定理(拉格朗日余数)中的条件可以放宽一点,这样 不再被假定为连续的(上面的推导失效),而仅仅存在于开区间上 .中值定理也是一样,它本来是指
条件是 是连续的,但是(稍微)一般化,所以 不再是连续的,而仅仅是存在的,左边的积分被 .人们可能有理由怀疑,这样的功能是否存在。唉,他们确实如此。最经典的例子是
的 存在于 但是这里不是连续的。不连续是如此糟糕以至于它不是(黎曼)可积的。
更强的均值定理找到了一个完全不同的证明——最终依赖于实数的性质——事实上,它是证明微积分基本定理本身的一个重要组成部分。泰勒定理(带拉格朗日余数)的更强版本,在大多数书中都可以找到,是直接从中值定理证明的。托马斯·塔克(Thomas Tucker)的著作很好地论证了这不是最好的教育学方法<一个target="_blank" rel="nofollow" href="https://www.maa.org/sites/default/files/pdf/mathdl/AMM/00029890.di991820.99p0715d.pdf">重新思考微积分中的严谨性:中值定理的作用一个>.有关更有启发性的说明,请参阅<一个target="_blank" rel="nofollow" href="https://gowers.wordpress.com/2014/02/11/taylors-theorem-with-the-lagrange-form-of-the-remainder/">Timothy Gowers的博客文章一个>.
还应注意,余数的积分形式的条件同样可以放宽,以便 不再是连续的,但是 是绝对连续,这意味着 几乎存在于任何地方并且是可积的(勒贝格) .从某种意义上说,这是微积分基本定理和分部积分最一般的情况。