第五章 微分中值定理及其应用

本章包含微分中值定理及其应用相关的重要定理。

§1 微分中值定理

定义 极值

设函数 在 的某个邻域 中有定义。如果对一切 ,成立

则称 为 的一个极大值(或极小值), 称为 的一个极大值点(或极小值点)。极大值与极小值统称极值,极大值点与极小值点统称极值点。

例子:定义 极值 — 例子

定义 Taylor多项式

设函数 在 处有直到 阶的导数,则称

为 在 处的 次 Taylor 多项式。

例子:定义 Taylor多项式 — 例子

定义 Taylor公式与余项

设函数 在 处有直到 阶的导数,则

其中 是 次 Taylor 多项式, 称为余项。

Lagrange 余项:若 在 的某个邻域内有 阶导数,则

其中 介于 与 之间。

Peano 余项:若 在 处有 阶导数,则

例子:定义 Taylor公式与余项 — 例子

定义 凸函数

设函数 在区间 上有定义。如果对 中任意两点 和任意 ,成立

则称 为 上的下凸函数(或凸函数)。若不等号严格成立,则称 为严格下凸函数。类似可定义上凸函数。

例子:定义 凸函数 — 例子

定义 拐点

设函数 在 的某个邻域中连续。若 在 的两侧凸性相反(一侧下凸,另一侧上凸),则称点 为曲线 的拐点。

例子:定义 拐点 — 例子

定义 曲率

设曲线 在点 处二阶可导,则曲线在该点的曲率定义为

曲率的倒数 称为曲率半径。

例子:定义 曲率 — 例子

定理 Fermat引理

定理陈述:设 是 的一个极值点,且 在 处导数存在,则 。

证明:

不妨设 是极大值点(极小值点的情况考虑 即可)。则存在 ,当 时,。

第1步:考虑右导数。当 时,,所以:

取 ,得 。

第2步:考虑左导数。当 时,,所以:

(注意 ,不等号方向改变。)取 ,得 。

第3步:因为 存在,所以 。由第1步得 ,由第2步得 。

因此 。

证毕

例子:定理 Fermat引理 — 例子

定理 Rolle定理

定理陈述:设函数 在闭区间 上连续,在开区间 上可导,且 ,则至少存在一点 ,使得 。

证明:

核心想法: 在闭区间上连续必有最大值和最小值。如果最大值和最小值都在端点取到,那 是常数,处处导数为零;否则某个最值在内部取到,由Fermat引理,该点导数为零。

第1步:由最值定理, 在 上取到最大值 和最小值 。

第2步:若 ,则 是常数, 对所有 成立,任取 即可。

第3步:若 ,因为 ,所以 和 不可能同时在端点取到(否则 ,矛盾)。因此至少有一个最值在内部点 处取到。

第4步: 是 在 中的极值点,且 在 处可导。由Fermat引理,。

证毕

例子:定理 Rolle定理 — 例子

定理 Lagrange中值定理

定理陈述:设函数 在闭区间 上连续,在开区间 上可导,则至少存在一点 ,使得:

证明:

核心想法:构造一个辅助函数 ,使得 ,然后对 应用Rolle定理。 的几何意义是 的图像与连接端点的割线之间的”竖直距离”。

第1步:连接 和 的割线方程为:

第2步:构造辅助函数 。

这是 的图像与割线之间的竖直距离。

第3步:验证 :

第4步: 在 上连续( 连续,线性函数连续),在 上可导( 可导,线性函数可导),且 。

第5步:由Rolle定理,存在 使得 。

第6步:计算 :

令 ,即 。

证毕

几何意义:在 的图像上至少存在一点 ,该点的切线与连接两端点的割线平行。

例子:定理 Lagrange中值定理 — 例子

定理 导数为零的函数

定理陈述:若 在 上可导且有 ,则 在 上恒为常数。

证明:

任取 ,。

在 上连续(可导 连续),在 上可导。由Lagrange中值定理,存在 使得:

但 ,所以 ,即 。

由 的任意性, 在 上恒为常数。

证毕

例子:定理 导数为零的函数 — 例子

定理 一阶导数与单调性的关系

定理陈述:设函数 在区间 上可导,则 在 上单调增加的充分必要条件是:对于任意 有 。

证明:

必要性(单调增加 ):

设 单调增加。任取 ,当 时 ,所以:

取 ,由极限的保号性,。

充分性( 单调增加):

设 对所有 成立。任取 ,。

由Lagrange中值定理,存在 使得:

因为 且 ,所以 ,即 。

因此 单调增加。

证毕

推论:若 对所有 成立,则 严格单调增加。

推论的证明:同上,,所以 。

例子:定理 一阶导数与单调性的关系 — 例子

定理 二阶导数与凸性的关系

定理陈述:设函数 在区间 上二阶可导,则 在区间 上是下凸函数的充分必要条件是:对于任意 有 。

证明:

下凸函数的定义:对任意 和 ,。

等价定义:对任意 (),有 (差商递增)。

我们用差商递增的等价定义来证明。

必要性(下凸 ):

设 下凸,则差商递增。任取 ,对 :

取 ,左边 ,右边 。但这只给出等号。

更精确地:对 (都大于0),由差商递增:

这说明 关于 递增。因此:

取 ,得 。

充分性( 下凸):

设 对所有 。由定理5.1.5, 单调增加。

任取 ()。由Lagrange中值定理:

  • 存在 使得
  • 存在 使得

因为 且 单调增加,所以 ,即:

差商递增, 是下凸函数。

证毕

例子:定理 二阶导数与凸性的关系 — 例子

定理 极值点的二阶导数判定

定理陈述:设 在区间 上连续,。若 且 (或 ),则 是 的极小值点(或极大值点)。

证明:

只证 的情形( 的情形考虑 即可)。

第1步:由二阶导数定义:

因为 ,由极限的局部保号性,存在 (),当 时:

第2步:分析 的符号:

  • 当 (即 )时:
  • 当 (即 )时:

第3步:这意味着 在 左侧为负、右侧为正。即 在 左侧递减、右侧递增。因此 是极小值点。

更严格地:对任意 ,由Lagrange中值定理,存在 使得 。因为 且 ,所以 ,即 。

对任意 ,存在 使得 。因为 且 ,所以 ,即 。

综上, 在 中成立, 是极小值点。

证毕

例子:定理 极值点的二阶导数判定 — 例子

定理 Jensen不等式

定理陈述:若 为区间 上的下凸函数,则对于任意 和满足 的 ,成立:

证明:

用数学归纳法。

归纳基础():这就是下凸函数的定义。对 ,:

归纳假设:设Jensen不等式对 成立,即对任意 个点 和 ():

归纳步骤():设 ,,。

第1步:令 ()。因为 (否则其余 ,矛盾),所以 ,。

第2步:验证 :

第3步:将 拆分:

第4步:由 的Jensen不等式(归纳基础):

第5步:对 用归纳假设():

第6步:代入第4步:

归纳完成。Jensen不等式对一切 成立。

证毕

例子:定理 Jensen不等式 — 例子

定理 Cauchy中值定理

定理陈述:设 和 都在闭区间 上连续,在开区间 上可导,且对于任意 。则至少存在一点 ,使得:

证明:

核心想法:构造辅助函数,将Cauchy中值定理转化为Rolle定理。

第1步:先证 。若 ,由Rolle定理,存在 使得 ,与条件 矛盾。所以 ,分母有意义。

第2步:构造辅助函数:

第3步:验证 :

第4步: 在 上连续,在 上可导。由Rolle定理,存在 使得 。

第5步:计算 :

令 :

因为 ,两边除以 :

证毕

注意:Lagrange中值定理是Cauchy中值定理在 时的特例。

例子:定理 Cauchy中值定理 — 例子

§2 L’Hospital法则

定理 L’Hospital法则

定理陈述:设函数 和 在 上可导( 是某个正常数),且 。若此时有 (或 ),且 存在(或为 ),则:

证明:

我们只证 型的情形( 型的证明类似但更复杂,此处从略)。

设 ,( 为有限数)。

第1步:补充定义 ,。因为 和 ,所以 和 在 处右连续。

第2步:任给 。因为 ,存在 (),当 时:

第3步:对任意 ,在 上对 和 应用Cauchy中值定理。 和 在 上连续(补充定义后),在 上可导,。

所以存在 使得:

第4步:因为 :

第5步:因为 ,由第2步:

由 的任意性,。

证毕

注意:L’Hospital法则的核心是Cauchy中值定理——将 转化为 ,而 介于 和 之间,当 时 。

例子:定理 L’Hospital法则 — 例子

§3 Taylor公式

定理 带Peano余项的Taylor公式

定理陈述:设 在 处有 阶导数,则存在 的一个邻域,对于该邻域中的任一点 ,成立:

证明:

核心想法:令 (Taylor多项式),(余项)。要证 。

第1步:先验证 在 处的各阶导数。对 逐项求导:

代入 :(只有 的项不为零)。

因此 ,对 。

第2步:反复使用L’Hospital法则。令 ,则:

这是 型(,)。对分子分母分别对 求导:

仍是 型()。继续用L’Hospital法则,共 次:

第3步:最后一次用导数定义而非L’Hospital法则:

但 。

所以 。

因此 ,即 。

证毕

例子:定理 带Peano余项的Taylor公式 — 例子

定理 带Lagrange余项的Taylor公式

定理陈述:设 在 上具有 阶连续导数,且在 上有 阶导数。设 为一定点,则对于任意 ,成立:

证明:

核心想法:固定 ,构造一个辅助函数,对它反复使用Cauchy中值定理(或Rolle定理),最终得到余项的精确表达式。

第1步:固定 ,令 ( 是Taylor多项式),即:

我们要证 。

第2步:构造辅助函数 。

第3步:验证 有 个零点相关性质:

  • (因为 且 )
  • (由 的定义)
  • ,(因为 且 的前 阶导数在 处都为零)

第4步:反复用Rolle定理:

  • 存在 (或 )使得
  • 存在 使得
  • 存在 使得

第5步:计算 :

( 是 次多项式,其 阶导数为零; 的 阶导数为 。)

第6步:令 ():

代入第1步即得Lagrange余项。

证毕

例子:定理 带Lagrange余项的Taylor公式 — 例子

定理 插值多项式的余项定理

定理陈述:设 在 上具有 阶连续导数,在 上有 阶导数,则插值多项式有余项估计。

证明:

设 是满足 ()的插值多项式,其中 是 中 个互不相同的节点。

第1步:令 。显然 (),即 有 个零点。

第2步:固定 (),令 ,其中 。

即 。

第3步:构造 。

第4步: 有 个零点: 和 。

第5步:反复用Rolle定理 次,存在 使得 。

第6步: 是 次多项式,。 是 次多项式,。所以:

因此余项为:

证毕

例子:定理 插值多项式的余项定理 — 例子

定理 插值多项式存在惟一性

定理陈述:满足插值条件的插值多项式存在且惟一。

证明:

设给定 个互不相同的节点 和对应的函数值 。

存在性:

Lagrange插值公式直接给出了一个满足条件的 次多项式:

验证:当 时,只有 的项不为零(因为 当 ,而 使 的项为零),且该项的乘积为1,所以 。

惟一性:

设 和 都是满足 ()的 次多项式。

令 ,则 是次数不超过 的多项式,且 (),即 有 个不同的根。

但次数不超过 的多项式最多有 个根(除非恒为零)。所以 ,即 。

证毕

例子:定理 插值多项式存在惟一性 — 例子

§4 Taylor公式的应用

定理 Taylor多项式导数

定理陈述:设 在 的某个邻域有 阶导数存在,则它的 次Taylor多项式的导数恰为 的 次Taylor多项式。

证明:

设 在 处的 次Taylor多项式为:

第1步:对 逐项求导:

第2步:令 :

第3步:右端恰好是 在 处的 次Taylor多项式。

这是因为 ,所以 就是 的Taylor多项式的第 项。

证毕

例子:定理 Taylor多项式导数 — 例子

§5 函数的单调性与极值

定理 极值点判定定理

定理陈述:设函数 在 点的某一邻域中有定义,且 在 点连续。若 在 左右两侧变号,则 是极值点。

证明:

设存在 , 在 上可导( 处可能除外), 在 处连续。

情形1: 在 左侧为正、右侧为负。

  • 当 时 ,所以 在 上严格递增,(由连续性取极限)。
  • 当 时 ,所以 在 上严格递减,。

因此 在 中成立, 是极大值点。

情形2: 在 左侧为负、右侧为正。

  • 当 时 , 严格递减,。
  • 当 时 , 严格递增,。

因此 , 是极小值点。

证毕

例子:定理 极值点判定定理 — 例子

§6 函数作图

定理 曲率公式

定理陈述:设 在 中有二阶连续导数,则曲率公式为:

证明:

曲率的定义是 ,其中 是切线与 轴正方向的夹角, 是弧长。

第1步:切线的斜率 ,所以 。

第2步:对 求导:

第3步:弧长微分 。

第4步:由链式法则:

第5步:曲率取绝对值:

证毕

例子:定理 曲率公式 — 例子

相关链接

来源引用

  • [数学分析 陈纪修 第三版 上](raw/数学分析 陈纪修 第三版 上/full.md)