§10.2 定积分的性质
本节只列出最重要的两个积分中值定理, 介绍一般书中不放在正文中的两个基本性质, 并讨论第一中值定理的中值 的取值范围. 此外还介绍对积分求极限的几个重要例题. 关于积分中值定理的应用将在 小节作专题介绍.
设 , , 在 上不变号, 则存在 , 使
如果 , 且在 上不变号, 则存在 , 使
特别是, 如果 , 则存在 , 使 .
与微分中值定理 (见 §) 作比较, 自然会提出一个问题: 在 中的 能否改进为 ? 答案是肯定的. 证明见后面的例题 .
设 , 在 上单调,则存在 , 使
特别是, 如果 在 上单调增加且 , 则存在 , 使
如果 在 上单调减少且 , 则存在 , 使
积分第二中值定理有几种形式. 上述形式的证明可在很多教科书中找到, 例如 上册第九章第 节. 证明中一般需用 变换 (见本书下册 和 的第一章). 但在实际应用中往往不需要这么强的形式. 本书中只在 “ , 在 上可微且 (或 ), ” 的条件下作出证明, 这时只需用积分第一中值定理 (见例题 ), 中值的取值范围也可改进为 .
-
举例说明: 在积分第一中值定理中 的保号性条件不满足时, 定理的结论可以不成立.
-
举例说明: 在积分第二中值定理中 不是单调函数时, 定理的结论可以不成立.
下面一个例题的结果是定积分的一个基本性质。它对于连续的被积函数是平凡的。对于一般的可积函数则可以用积分定义中介点集的任意性得到。
设 , 且 , 则有子区间 和 , 使在区间 上成立 .
证法1
从积分定义可知, 存在 的一个分划 ,使得对从属于 的任何介点集 ,成立
记 并对于上面的和式取下确界, 就得到
显然在和式中至少有一项大于 . 设这一项是第 项, 则就可取 , .
证法2
用反证法. 若结论不成立, 则 (由对偶法则) 对于每个 和每个子区间 , 存在 , 满足 . 在 的 和式中对于任何分划都取满足这个要求的介点集, 这样就得到 . 由于 是任意的, 因此只能得到 , 与条件矛盾.
若在教科书中有上、下和的 理论, 则上题的证明可更为简单.
在上一个例题的基础上就可以解决关于积分第一中值定理 (命题 ) 中的中值取值范围问题.
如果 , 且在 上不变号,则有 使得成立等式
而且一定存在 ,使得 .
证明
在此没有必要重复积分第一中值定理的经典证明过程, 下面只讨论一个问题: 能否在开区间 内取到中值 .
下列三种情况是平凡的, 不需要多讨论.
(1) 如果积分 , 则从积分第一中值定理可见 左边也等于 , 于是 可任取, 结论已成立.
(2) 如果 在 上的最小值和最大值相等, 即有 , 则 为常值函数, 因此 也可任取.
(3) 如果 , 且在等式 中的 , 则从连续函数的介值性可知存在 使得 .
要讨论的只是以上三种情况之外的问题. 不妨设 在区间 上非负, 且有 . 又设 , 且不妨只讨论情况 .
从例题 知道存在子区间 和 ,使得在 上有
又由于 和 在 上均非负,因此从等式 得到
可见上式最右边的积分等于 . 由于 , 这只能导致在 上成立
因此在 中任取一点作为中值 即可.
关于这个问题的讨论有许多文献, 可以参考 . 在 中指出, 若 的连续性条件改为只是可积, 则结论不成立. 而在 中则证明: 如果 既可积又有原函数, 则仍有 (这将作为本章的第一组参考题 ).
下一例题的结论与例题 具有某种互补性, 也是可积函数的一个基本性质. 从方法上看则需要用实数系的基本定理 (参见第三章).
设在区间 上处处大于 的函数 , 则有
证明
用反证法. 这时易知 在 上的定积分非负. 如果有 , 则可如下导致矛盾.
首先, 为在记号上不引起混淆, 将例题 的部分结论用文字概述如下:
若某定积分大于 ,则其被积函数必在积分区间的某子区间上大于 .
对于 , 在反证法的前提 下, 函数 在 上的定积分为 . 用 就可以得到
,使得 . 这时 在 上的积分仍然是 .
以下应用实数系的闭区间套定理 (见 §).
令 .对于 ,改记 中的 为 .在 上 的积分为 .对于 用 得到的 记为 .如此归纳地用 ,就得到闭区间套 ,使得对每个 ,在区间 上成立不等式
根据闭区间套定理, 在 中存在属于每个闭区间 的点 , 也就是说对每个 成立
于是只能是 , 但这与假设条件中 在 上处处大于 相矛盾.
如 小节开始所说, 上面的例题 和 均可从 定理 (命题 ) 推得. 读者可以一试. 但“杀鸡可不用牛刀”, 因此我们只从积分定义出发给出它们的证明. 例题 也可从第一组参考题 推出.
定积分是一个数. 如果其中的被积函数带有参数, 则就会得到数列或函数, 从而就会出现对积分求极限的问题 (也称为在积分号下求极限的问题). 这一小节主要考虑离散参数情况.
设有一列函数 , , 又在 上处处有极限 , 而且极限函数 , 这时经常会问下列等式是否成立:
这就是两种极限运算是否可以交换顺序的问题.
“不幸”的是, 对于问题 的答案是“不一定”. 例如, 设
则对一切 , 有
但容易验证
这说明在对积分求极限 (也称为在积分号下求极限) 时, 不能随意将求极限运算与求积分运算交换顺序. 对于这种交换极限顺序问题的一般性讨论, 需要函数项级数和多元微积分的知识, 将在本书下册的 § 和 小节中介绍. 下面将通过一个典型例题, 说明如何利用定积分的性质和一些技巧来解决一些较简单的问题.
证明:
由于本题的积分是定积分的重要结果 (见例题 ), 因此可将本题变为普通的数列极限问题, 而且还可以引用 小节的练习题 . 但这种方法过分地依赖于定积分计算, 积不出怎么办? 所以我们下面要介绍新的方法.
证明
分析 首先是从几何上作观察. 在图 中作出了 时的函数 的几何图像.

从图中可以看出, 由于 , 因此对每个 , 当 与 充分接近时, 函数值 一定接近 . 另一方面, 对于固定的 值, 只要 小于 , 则当 增加时函数值 就很快趋于 . 这就是下面的“分而治之”方法的几何背景.
按照数列极限的 定义写出证明.
对于给定的 , 不妨设 , 可以将积分分拆如下 (参看图):
由 , 可见 . 从而对上述 , 使 时, 成立
因此 时,就有 .
注1 利用上、下极限工具(见 §),还可将证明写得简洁一些. 在 的不等式中直接令 ,就得到
利用 的任意性, 可见上、下极限相等且为 .
注2 在分拆积分时可以采取动态方法, 例如在 中按照区间
拆成两个积分, 然后分别证明它们 (作为数列) 当 时的极限都是 . 读者可以一试.
注3 本题的常见错误如下:
由积分第一中值定理, ,使得
不难看出一定有 成立, 因此得到
错误分析 错误在于 不是常数, 而是随着 的变化而变化的, 应该记为 . 当 时, 不难证明有 , 因此 是 型的不定式. 回忆数列极限的内容, 我们知道, 从一个数列 的每一项满足 是得不出 的 (试举例).
下一题是例题 在积分学中的推广.
设非负函数 , 证明:
证明
分析 设 . 由于 时等式显然成立, 因此只要考虑 . 利用熟知的极限 , 可见若存在区间 , 使在这个区间上有
那么由
问题便解决了. 但 是函数 的最大值, 因此一般来说 不可能成立. 现在我们退而求其次, 对 , 将 中的 改为 则不难实现. 下面就是将这个证法写出来而已.
如果 , 则所证等式显然成立. 否则, 设 , 则 .
对 , 使得
于是有
对于不等式
利用上、下极限工具就得到
从 的任意性可见上、下极限相等且等于 .
对含有参数的积分求极限的例题很多. 下面的 引理是研究 (傅里叶) 级数的基本工具, 其证明在一般教科书中都可找到.
设 ,则
这个结论可以推广为
设 , 以 为周期且在 上可积,则
其证明留作为本章的第二组参考题 . 需要指出, 以上两个结果对于 (第十二章中的) 广义可积函数 也是成立的, 但这时要求 还是绝对可积的.
-
设 , 且对满足条件 的每个函数 , 都有 , 证明: .
-
设非负函数 ,且 ,若有多项式 使 ,证明: .
-
设 , 且对 上的每个可积偶函数 都有 , 证明: 是 上的奇函数.
-
计算极限
-
分析例题 的条件和证明过程, 试写出它的可能推广, 并作出证明.
(这是一道开放题, 要求设计出一定的条件, 使 成立.)
-
已知 , ,且满足 ,计算极限 .
-
设 ,证明: .
-
设 , 计算:
(1) (2)
-
设正数列 满足 计算极限
-
设 , , 计算极限 .
书籍模块索引
数学分析 · 章节内联关系图谱
核心知识枢纽章节
被全书其他章节引用频次最高的基石章节:
图谱交互提示
- 视角放大/缩小:使用左下角工具栏 +/- 或鼠标滚轮;
- 大书防混淆:顶部选择“按篇章/大章聚合”或“聚焦当前章”;
- 视图平移与拖拽:拖动画布或节点;双击节点直达原文。