1. 引言
泰勒(Taylor)中值定理建立了自变量增量、函数值增量与函数高阶导数之间的关系,是微分理论研究函数的复杂分析性质的一个重要工具,在微分学中占有十分重要的地位。通过对泰勒中值定理进行结构分析和解读,开拓学生思路,为掌握泰勒公式及其应用提供帮助。
2. 泰勒中值定理及其结构分析
定理1 [1] 如果函数
在
处具有
阶导数,那么存在
的一个邻域,对于该邻域内的任一
,有
(*)
其中
。
(*)式中
,
称为
在
点的
阶泰勒多项式;
称为
在
点的泰勒展开式的Peano型余项。故(*)式也称为
在
点的带Peano型余项的泰勒公式。
结构分析 1) 从定理的条件和结论看,(*)式中余项
为无穷小量结构,即用泰勒
多项式近似表达函数时,误差是
的高阶无穷小,因此
距离
越近,精度越高,因此,(*)式一般是在
条件下才使用,也称(*)式为局部展开式;2) 正是由于在
条件下才使用,(*)式主要用于极限计算;3) (*)式表明,任何满足条件的函数都可以展开成以泰勒多项式为主体结构的形式,而多项式结构是最简单的函数结构,因此,函数的泰勒展开不仅实现了化繁为简,而且,还可以借助多项式实现不同函数的形式统一,建立各种不同函数的联系,体现了定理的形式统一的应用思想;4) (*)式的结构还有一个特点,含有同一个点处的各阶导数的信息,这为定理的使用提供了线索,即题目条件中如果给出了同一个点处的信息,应该考虑使用泰勒公式。
定理2 [1] 如果函数
在
的某个邻域
内具有
阶的导数,那么对任一
,有
(**)
其中
(
)称为拉格朗日余项,(**)式也称为
的带拉格朗日余项的泰勒公式。
结构分析 1) 从定理的条件和结论看,(**)式中余项
,对所有的
成立,不要求在
这一条件,因此,(**)式也称为
在
上的整体泰勒公式;2) 正因如此,此定理常用于研究
在整个区间上的性质;3) 由于公式中涉及到函数的各阶导数,因此,公式也建立了函数及其各阶导数间的联系,这种联系为函数中间导数的估计(利用函数及其高阶导数估计中间阶数的导数)提供了研究工具;4) 在拉格朗日余项中,由于涉及到介值点
,因此,(**)式也视为中值定理的推广或一般形式,可用于处理涉及高阶导函数的介值问题。
3. 泰勒公式的应用分析
3.1. 极限计算
(*)式的典型应用是用于求解由不同函数经过复合和四则运算形成的复杂函数的极限问题,这类极限利用泰勒公式,将不同的函数统一化成多项式的形式,实现了不同函数的形式统一,进而使极限的求解成为可能。
例1 [2] 计算
结构分析 结构特点:所求函数极限的结构属于型极限问题,且涉及三类基本初等函数——幂函数、三角函数和指数函数,需要进行形式统一的同类化处理;类比已知:泰勒公式可以将各种结构的函数展开为多项式,达到各种不同结构的形式统一,因此,可以利用泰勒公式计算极限.具体方法设计:应用泰勒公式时,重点是展开到几阶导数,体现在题目中,是展开到x的几次幂,可以通过不同因子间的类比确定参照标准。本题,分母的幂因子最简单,又由于
时
,因此分母
等价于
,根据形式统一原则,分子中的两个因子只需展到
的Peano型余项即可。
解 由
,得
,又有
,得
,所以
抽象总结 应用泰勒公式求极限时的重点是展开到x的几次幂,必须在题目结构中寻找并确定对比标准,确定展开到第几项。
3.2. 中间导数估计
(**)式的典型应用是用于函数的中间导数估计,这种估计理论在现代分析学理论中具有非常重要的作用。下面,通过例子说明中间导数估计。
例2 [3] 已知函数
三阶可导,且存在
使得
,
,证明:
也有界。
结构分析 题型结构:若将函数本身视为函数的零阶导数,题目的条件是已知函数的零阶导数和三阶导数的界,估计一阶导数和二阶导数的界,这类题型称为中间导数的估计;思路确立:中间导数估计是泰勒公式作用的典型特征,因此,确定使用泰勒公式进行证明;方法设计:利用泰勒公式,需要解决的首要问题是展开点的选择,由于需要对任意点的导数进行估计,因此,必须选择任意点为展开点;难点是在估计一阶导数时,需要甩掉二阶导数的影响,估计二阶导数时,需要甩掉一阶导数的影响,必须通过选取关联点建立联系,达到消去的目的,可以通过下面的证明过程进行强化理解。
证明 将函数在任意点
处展开,则
,
其中
在
和
之间。
(先估计
,此时,必须消去
的影响,可以通过选取适当的、相互关联的
,得到两个不同的展开式,也可视为关于
、
的方程组,通过求解方程组达到目的)。
对任意的实数
,分别取
,则
,
,
(从上述两个表达式中可以看出,在估计某个中间导数时,如何消去另一个中间导数的影响)。将两式相减得
,
因而,
。
任取
,如取
,可得
,因而,一阶导数的有界。
还可以选择适当的
,得到最佳的界。事实上,设
,可以计算它在
处达到最小值,因而,还有
,这是该方法下最好的界。
类似,将两式相加,得
,
因而,
。
取
即得
。
同样,可以得到更好的界为
。
3.3. 高阶导数中值估计
在(**)式中,余项中含有高阶导数的中值项
,因此,通常可以利用(**)式进行高阶导数中值估计。
例3 设函数
在[0,1]二阶可导,
,
,证明:存在
,使得
。
结构分析 题型为高阶导数的中值估计;类比已知,涉及中值点问题的已知理论有微分中值定理和泰勒公式,微分中值定理只涉及一阶导数的中值问题,当然,可以多次利用微分中值定理或对低阶导函数利用微分中值定理得到高阶导函数的中值信息,这是一个研究思路;更直接的思路是利用泰勒公式直接得到高阶导函数的中值信息;因此,本题的研究思路是利用泰勒公式证明;方法设计:首先解决展开点的确定问题,类比题目条件结构,由于不涉及一阶导数的信息,这是确定展开点的重要线索,即选择展开点使得此点的一阶导数值为0,这是一类特殊点,需要在特殊点中选择,如区间端点以及题目中含有特殊信息的点,如极值点;由于中值点即和展开点有关,也和自变量的位置有关,因此,确定展开点后,剩下的工作就是确定对应的自变量的取点,使得对应的中值点满足要求。
证明 由条件可知,最小值一定在内部达到,不妨设
,使得
,因而
。在此点展开,得
,
其中
在
和
之间。
下面,确定
,使得对应的
满足要求;显然,这样的点也是特殊点,我们应该在特殊点类(区间端点、条件中含有特殊信息的点)中寻找。
取
,则存在
,使得
故,
。
此时还不能得到结论,除非
。还有一个条件没有使用,为此,再利用剩下的条件试一下。
取
,则存在
,使得
故,
。
类似,只有当
时结论成立,与前面的分析比较,发现至少有一个条件成立,因而,总能保证结论成立。
因而,
。
抽象总结 高阶导数的中值估计是一类较难的题目,难点有两个:展开点的确定和中值点的确定,必须通过筛选特殊点信息来解决这些难点。
例4 设
在
上二阶可导,
,证明:存在
,使得
。
结构分析 题型是高阶导数的中值估计;思路:利用泰勒公式;方法设计:由于要求展开与一阶导数无关,条件中有两个对应点,需要得到两个展开式,需要挖掘特殊点的信息。
证明:将
在
点展开,则
,
其中,
位于
与
之间。
与要证明的结论作比较,必须去掉与
有关的项,可以通过选定特殊的
达到这一目的,显然,这样的
必须与
、
有关,满足这样条件的点有3个:
,
和
,简单验证表明,代入这3个点不能直接得到结论,事实上,还有一个同等的条件没有利用,因此,考虑端点
处的展开,则
,
其中,
位于
与
之间。
由于将两个端点有机联系在一起且产生
项的点是中点
,因此,将
代入两个展开式,得
,
,
其中
,相减得,
,
故,
,
记
,则
4. 简单小结
从上面几个应用举例中可以初步体会泰勒公式的重要作用,也可以感受到应用的难度,当然,泰勒公式的应用还不止于此,还有更多方面的应用,因此,必须深刻掌握泰勒公式的应用思想,核心思想就是特殊点的信息挖掘。