泰勒定理

泰勒定理[编辑]

对于一般的函数,泰勒公式的系数的选择依赖于函数在一点的各阶导数值。这个想法的原由可以由微分的定义开始。微分是函数在一点附近的最佳线性近似:

f(a + h) = f(a) + f^{\prime}(a)h + o(h),其中o(h) 是比h 高阶的无穷小

也就是说f(a + h) \approx f(a) + f^{\prime}(a)h ,或f(x) \approx f(a) + f^{\prime}(a)(x - a)

注意到f(x) 和f(a)+f^{\prime}(a)(x - a) 在a 处的零阶导数和一阶导数都相同。对足够光滑的函数,如果一个多项式在a 处的前n 次导数值都与函数在a 处的前n 次导数值重合,那么这个多项式应该能很好地近似描述函数在a 附近的情况。以下定理说明这是正确的:

定理

设 n 是一个正整数。如果定义在一个包含 a 的区间上的函数 f 在 a 点处 n+1 次可导,那么对于这个区间上的任意 x,都有:

其中的多项式称为函数在a 处的泰勒展开式,剩余的R_n(x) 是泰勒公式的余项,是(x - a)^n 的高阶无穷小。

R_n(x) 的表达形式有若干种,分别以不同的数学家命名。

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

 f(x) = f(a) + \frac{f'(a)}{1!}(x - a) + \frac{f^{(2)}(a)}{2!}(x - a)^2 + \cdots + \frac{f^{(n)}(a)}{n!}(x - a)^n + o[(x - a)^{n}]

也就是说,当x 无限趋近a 时,余项R_n(x) 将会是(x - a)^{n} 的高阶无穷小,或者说多项式和函数的误差将远小于(x - a)^{n}[3]。这个结论可以由下面更强的结论推出。

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

 f(x) = f(a) + \frac{f'(a)}{1!}(x - a) + \frac{f^{(2)}(a)}{2!}(x - a)^2 + \cdots + \frac{f^{(n)}(a)}{n!}(x - a)^n + \frac{ f^{(n+1)}(\theta) }{(n + 1)!}(x - a)^{(n+1)}

R_n(x) = \frac{ f^{(n+1)}(\theta) }{(n + 1)!}(x - a)^{(n+1)},其中\theta \in (a, x)[4]

带有积分型余项的泰勒公式可以看做微积分基本定理的推广[5]

  R_n(x) = \int_a^x \frac{f^{(n+1)} (t)}{n!} (x - t)^n \, dt,

余项估计[编辑]

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

 f(x) = f(a) + \frac{f'(a)}{1!}(x - a) + \frac{f^{(2)}(a)}{2!}(x - a)^2 + \cdots + \frac{f^{(n)}(a)}{n!}(x - a)^n + R_n(x),

其中|R_n(x)| \le M_n \frac{r^{n+1}}{(n+1)!}。这个上界估计对区间(a − ra + r) 里的任意x 都成立,是一个一致估计

如果当n 趋向于无穷大时,还有M_n \frac{r^{n+1}}{(n+1)!} \rightarrow 0,那么可以推出 R_n(x) \rightarrow 0f 是区间(a − ra + r) 上解析函数f 在区间(a − ra + r) 上任一点的值都等于在这一点的泰勒展开式的极限

多元泰勒公式[编辑]

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

对所有x\in \mathbf{B}(a, r)
f(x)=\sum_{|\alpha|=0}^n\frac{1}{\alpha!}\frac{\partial^\alpha f(a)}{\partial x^\alpha}(x-a)^\alpha+\sum_{|\alpha|=n+1}R_{\alpha}(x)(x-a)^\alpha

其中的 α 是多重指标

其中的余项也满足不等式:

对所有满足 |α| = n + 1 的 α,|R_{\alpha}(x)|\le\sup_{y\in\bar{B} }\left|\frac{1}{\alpha!}\frac{\partial^\alpha f(y)}{\partial x^\alpha}\right|

参阅[编辑]

posted on 2014-07-24 17:08  alexanderkun  阅读(3618)  评论(0编辑  收藏  举报

导航