在数学中,泰勒公式(英语:Taylor'sFormula)是一个用函数在某点的信息描述其附近取值的公式。这个公式来自于微积分的泰勒定理(Taylor's theorem),泰勒定理描述了一个可微函数,如果函数足够光滑的话,在已知函数在某一点的各阶导数值的情况之下,泰勒公式可以用这些导数值做系数构建一个多项式来近似函数在这一点的邻域中的值,这个多项式称为泰勒多项式(Taylor polynomial)。泰勒公式还给出了余项即这个多项式和实际的函数值之间的偏差。
泰勒公式得名于英国数学家布鲁克·泰勒。他在1712年的一封信里首次叙述了这个公式,尽管1671年詹姆斯·格里高雷已经发现了它的特例。拉格朗日在1797年之前,最先提出了带有余项的现在形式的泰勒定理。
泰勒公式是一种重要的数学工具,广泛应用于不同学科和领域中。通过使用泰勒公式,我们可以近似描述和分析物理、工程、经济和计算机系统等过程和现象,从而实现对它们的预测、优化和控制。泰勒公式对于我们深入了解自然界和人类社会有着重要的作用,也有助于我们在实践中应用和创新相关技术和方法。
定义
如果给定了在点x0具有所有前n阶导数的函数f(x),我们称多项式:
为函数f(x)在点x0的n阶泰勒多项式。4
历史发展
泰勒公式是高等数学中的一个非常重要的内容,它将一些复杂的函数逼近近似地表示为简单的多项式函数,泰勒公式这种化繁为简的功能,使得它成为分析和研究许多数学问题的有力工具3。
18世纪早期英国牛顿学派最优秀的代表人物之一的数学家泰勒(Brook Taylor),其主要著作是1715年出版的《正的和反的增量方法》,书中陈述了他于1712年7月给他的老师梅钦(John Machin)信中提出的著名公式——泰勒公式。1717年,泰勒用泰勒公式求解了数值方程。泰勒公式是从格雷戈里——牛顿插值公式发展而来,它是用函数在某点的信息描述其附近取值的公式。如果函数足够光滑,在已知函数某一点各阶导数的前提下,泰勒公式可以利用这些导数值作为系数构建一个多项式来近似该函数在这一点的邻域中的值。1772年,拉格朗日强调了泰勒公式的重要性,称其为微分学基本定理,但是泰勒定理的证明中并没有考虑级数的收敛性,这个工作直到19世纪20年代,才由柯西完成。泰勒定理开创了有限差分理论,使任何单变量函数都可以展开成幂级数。因此,人们称泰勒为有限差分理论的奠基者3。
泰勒公式是数学分析中重要的内容,也是研究函数极限和估计误差等方面不可或缺的数学工具,泰勒公式集中体现了微积分“逼近法”的精髓,在近似计算上有独特的优势。利用泰勒公式可以将非线性问题化为线性问题,且具有很高的精确度,因此其在微积分的各个方面都有重要的应用。泰勒公式可以应用于求极限、判断函数极值、求高阶导数在某点的数值、判断广义积分收敛性、近似计算、不等式证明等方面3。
余项
余项定义
我们将多项式与函数
之间的偏差:
称为泰勒公式的n阶余项。4
例子
佩亚诺余项
设是以
为一个端点的闭区间。如果函数
在点
有全部前n阶导数,则:4
拉格朗日余项
如果函数 f 和它的前 n 阶导数在[x0,x]上连续,并且 f 在(x0,x)有 n+1 阶导数,则存在,使得:4
柯西余项
如果函数 f 和它的前 n 阶导数在[x0,x]上连续,并且 f 在(x0,x)有 n+1 阶导数,则存在,使得:4
积分型余项
如果函数 f 和它的前 n+1 阶导数在[x0,x]上连续,则:4
证明
佩亚诺余项
因为泰勒多项式是根据它的函数 f 在点x0的全部前 n 阶导数分别相等的条件构造出来的,所以
。于是,可以用以下引理证明佩亚诺余项:
引理1:设是以
为一个端点的闭区间。如果函数
在点x0有全部前n阶导数,并且
,则当
时,
。
我们用数学归纳法进行证明。
当 n=1 时,结论得自函数在点x0可微的定义,即:
又因为
, 所以有:
假设结论对于阶数已经得到证明,我们来证明它对于阶数
也成立。
我们预先指出,因为:
所以的存在要求函数
在 E 上 的一个邻域中有定义。在需要时缩小闭区间 E ,可以预先认为函数
在以
为一个端点的闭区间 E 上有定义。因为
,所以函数
在 E 上有导数
, 并且根据条件,我们有:
因此,根据归纳假设,
再利用拉格朗日中值定理,得到:
其中,即
,而当
时,
。于是,当
时,同时有
,并且
。又因为
这就验证了
于是,我们用归纳原理证明了引理1. 从而证明了佩亚诺余项公式。4
积分型余项
根据牛顿-莱布尼兹法则,我们有:4其中4
来源: 百度百科
内容资源由项目单位提供