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

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

§1 微分中值定理

定义5.1.1 极值

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

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

例子:定义5.1.1 极值 — 例子

定义5.3.1 Taylor多项式

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

处的 次 Taylor 多项式

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

定义5.3.2 Taylor公式与余项

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

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

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

其中 介于 之间。

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

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

定义5.4.1 凸函数

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

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

例子:定义5.4.1 凸函数 — 例子

定义5.5.1 拐点

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

例子:定义5.5.1 拐点 — 例子

定义5.6.1 曲率

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

曲率的倒数 称为曲率半径

例子:定义5.6.1 曲率 — 例子

定理5.1.1 Fermat引理

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

证明

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

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

,得

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

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

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

因此

证毕


例子:定理5.1.1 Fermat引理 — 例子

定理5.1.2 Rolle定理

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

证明

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

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

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

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

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

证毕


例子:定理5.1.2 Rolle定理 — 例子

定理5.1.3 Lagrange中值定理

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

证明

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

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

第2步:构造辅助函数

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

第3步:验证

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

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

第6步:计算

,即

证毕

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


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

定理5.1.4 导数为零的函数

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

证明

任取

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

,所以 ,即

的任意性, 上恒为常数。

证毕


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

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

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

证明

必要性(单调增加 ):

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

,由极限的保号性,

充分性 单调增加):

对所有 成立。任取

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

因为 ,所以 ,即

因此 单调增加。

证毕

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

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


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

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

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

证明

下凸函数的定义:对任意

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

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

必要性(下凸 ):

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

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

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

这说明 关于 递增。因此:

,得

充分性 下凸):

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

任取 )。由Lagrange中值定理:

  • 存在 使得
  • 存在 使得

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

差商递增, 是下凸函数。

证毕


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

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

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

证明

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

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

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

第2步:分析 的符号:

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

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

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

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

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

证毕


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

定理5.1.8 Jensen不等式

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

证明

用数学归纳法。

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

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

归纳步骤):设

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

第2步:验证

第3步:将 拆分:

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

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

第6步:代入第4步:

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

证毕


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

定理5.1.9 Cauchy中值定理

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

证明

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

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

第2步:构造辅助函数:

第3步:验证

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

第5步:计算

因为 ,两边除以

证毕

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


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

§2 L’Hospital法则

定理5.2.1 L’Hospital法则

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

证明

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

为有限数)。

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

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

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

所以存在 使得:

第4步:因为

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

的任意性,

证毕

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


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

§3 Taylor公式

定理5.3.1 带Peano余项的Taylor公式

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

证明

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

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

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

因此 ,对

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

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

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

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

所以

因此 ,即

证毕


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

定理5.3.2 带Lagrange余项的Taylor公式

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

证明

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

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

我们要证

第2步:构造辅助函数

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

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

第4步:反复用Rolle定理:

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

第5步:计算

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

第6步:令 ):

代入第1步即得Lagrange余项。

证毕


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

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

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

证明

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

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

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

第3步:构造

第4步 个零点:

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

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

因此余项为:

证毕


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

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

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

证明

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

存在性

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

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

惟一性

都是满足 )的 次多项式。

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

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

证毕


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

§4 Taylor公式的应用

定理5.4.1 Taylor多项式导数

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

证明

处的 次Taylor多项式为:

第1步:对 逐项求导:

第2步:令

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

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

证毕


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

§5 函数的单调性与极值

定理5.5.1 极值点判定定理

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

证明

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

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

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

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

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

  • 严格递减,
  • 严格递增,

因此 是极小值点。

证毕


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

§6 函数作图

定理5.6.1 曲率公式

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

证明

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

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

第2步:对 求导:

第3步:弧长微分

第4步:由链式法则:

第5步:曲率取绝对值:

证毕


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

相关链接

来源引用

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