20. Riemann 可积函数的刻画, Newton–Leibniz 公式

我们现在可以对紧区间 上的 Riemann 可积函数做全面的刻画:

定理 20.1. 假设 () 是有界的闭区间, 是函数, 那么如下四条性质是等价的:

1)

;

2)

存在常数 , 对任意的 , 存在 , 使得对任意的 , 只要步长 , 就有

3)

是有界函数并且 ;

4)

是有界函数并且 .

当上面的任意一个条件成立时, 我们就有

证明. 1)2) 就是定理 19.1, 其中, 取为 .

2)3) 任意给定 , 按照定义, 存在 , 当 时, 对任意的 我们都有 . 我们选定一个 , 使得 .

我们令 , 可以任意选择. 根据 , 我们知道除了 之外, 上面的式子中每个值都是给定的, 这就证明了 上是有界的, 从而在 上有界.

现在令 , 按照定义, 存在 , 使得 . 这样定义的 很明显满足从而类似地, 我们有上面两个式子一起, 令 就给出了 .

3)4) 就是命题 19.3.

4)1) 根据上下极限的定义, 对任意的 , 存在两个阶梯函数 , 使得 , 并且从而, 我们令 , 我们自然有这说明 . 另外, 我们自然有这就证明定理中要求的积分的等式.

我们已经建立了比较完备的积分理论, 下面我们要发展一个最基本的工具来联系积分与微分并以此进行计算. 先引入原函数的概念: 假设 是定义在 上的函数 ( 可以是任意区间, 可以在任意赋范线性空间中取值) , 如果存在 上定义的函数 , 使得 可微分并且 , 我们就称 原函数. 假设 的一个原函数, 那么 的所有原函数的集合是 , 这是因为一个函数的导数恒为零当且仅当这个函数是常值函数.

命题 20.2. 对任意的 , 对任意的 , 我们定义 , 即 上的积分. 那么, 上的连续函数. 进一步, 如果 处是右连续的, 那么 的右导数存在并且等于 . 特别地, 当 时, 的原函数.

证明. 首先证明 . 假设 . 对任意的 , 对任意的 , 我们有从而, 处左连续. 类似地, 可以证明右连续性, 所以 处连续. 特别地, 这个证明表明 .

进一步假设 处右连续, 令 处的右极限, 即 . 按定义, 对任意的 , 存在 , 使得当 时, 我们有 . 据此, 我们计算由于 是任意选取的, 所以这表明, 处的右导数.

推论 20.3. 假设 , 那么 并且 (即 的原函数) .

定理 20.4 (微积分基本定理: Newton-Leibniz 公式). 假设 是有界闭区间, . 如果 有原函数 , 那么其中,

证明. 我们注意到, 如果 是连续函数, 上面命题的推论表明另外, , 所以 Newton-Leibniz 公式此时成立 (在 的时候) .

现在考虑一般情况: 我们要证明, 对任意的 , 都有此时, 由于 可能在某些点处不连续, 所以 未必可微分. 特别地, 我们未必有 . 实际上, 一个可微函数的导数未必是 Rieman 可积的: 比如说, 在区间 上定义的函数这个函数是可微的但是它的导数是无界的, 所以不是 Riemann 可积分的.

根据 是 Riemann 可积的, 我们可以选取 , 使得我们再选取分划 , 使得该分划与 两个阶梯函数相容. 按照定义, 在每个区间 上的限制是常值函数: 我们令

为了控制 , 我们自然考虑它较好的一个逼近: 在每个区间 上, 我们考虑函数 . 根据 Lagrange 中值定理, 存在 , 使得所以, 我们得到最终, 我们有, 我们就证明了微积分基本定理.

注记. Newton-Leibniz 公式最常用的形式是: , 我们有

给定一个函数 , 我们用 来表示它 (某个) 原函数, 我们注意到, 按照原函数的定义, 一个函数的原函数在差一个常数的意义下是才是良好定义的, 但是这种差别不是本质的, 没有必要纠结, 所以, 我们之后谈论原函数的时候, 总是随便取一个就好, 尽管这是从概念上而言不严格. 另外, 即便 是 Riemann 可积的, 它未必具有原函数, 这是因为如果 有原函数 , 那么 , 根据 Darboux 定理, 具有介值性, 而我们随便选取的阶梯函数大都不具有这个性质.

我们罗列几个基本的原函数: 还有几个稍微复杂但是也会见到的:

注记. 我们将会看到, 关于原函数的计算 (如果可以用初等函数表示的话) , 本质上是代数的变形, 所以, 我们需要记忆并熟练的运用以上几个例子.

这些例子的证明是平凡的, 我们只需要对原函数求导来验证它恰好给出了所求的函数即可. 利用 Newton-Leibniz 公式和上面的原函数, 我们可以计算很多积分了:

1)

单项式的积分:

2)

的第一个证明. 我们计算平面上半圆盘的面积 (我们期待它应该是 ) :

MathAnalysis N21P1.svg
这就是函数 下的面积, 其中, . 换而言之, 我们要计算如下的积分: 我们发现, 计算 的原函数并不简单 (至少不是一目了然) . 我们需要发展一点工具来计算原函数 (积分) 然后再来计算这个积分.

作为 Newton-Leibniz 公式应用, 我们现在来证明分部积分公式和变量替换公式.

命题 20.5 (分部积分公式). 假设 . 那么, 我们有

证明. 用 Newton-Leibniz 公式, 所以这自然等价于分部积分公式.

注记. 我们回忆一下所谓的 Abel 求和公式: 假设 是复数 (矩阵) 的序列, 那么其中我们用 表示数列 的部分和. 这和分部积分公式非常相似: 我们将 看成在 定义的函数, 那么, 如下的对应就可以把 Abel 求和公式看成分部积分. (我们下个学期会学习抽象的积分理论把这个对应说清楚)

命题 20.6 (变量替换公式). 假设 是两个有界闭紧区间之间的连续的单调递增的可微映射, 其中 , . , 那么对于 中任意的 , 都有

证明. 我们先假设 . 根据 , 我们知道上面两个积分的被积函数都是连续的, 所以都是 Riemann 可积的. 根据复合函数求导公式, 令 的一个原函数, 那么我们有所以利用 Newton-Leibniz 公式, 我们有另外, 由于 是连续的, 所以我们可以选取 从而, 命题得证.

注记. 注意到, 我们假设了 是递增的, 这是人为的原因的: 对于区间 , 最好的积分的符号应该是 . 然而, 由于传统的原因, 我们经常使用 , 这里, 我们已经默认了 的假设. 从这角度看, 不是一个太好的符号. 然而, 重新观察证明, 我们发现等式是永远成立的, 所以, 当 的时候, 我们需要将 解释为即可. 换而言之, 作为约定, 我们规定

作为换元积分公式的推论, 我们证明两个基本的命题. 尽管这两个命题的证明不值一提, 但是由于下面的平移和相似变换是 上最基本的对称性 (共形变换群) , 所以它们占有特殊的位置:

假设 , 我们定义函数 , 即函数 , 其中 是平移 . 此时, 我们有

假设 , , 我们定义函数 , 即函数 , 其中 是相似变化 . 此时, 我们有

注记 (符号的解释). 根据变量替换公式的形式, 我们倾向于将积分写成传统的形式: .

为了讲的更清楚, 我们回忆微分 (不是导数! ) 的定义. 给定一个两个区间之间的可微的映射 , 对于每个点 , 我们给它分配一个线性空间 ; 对于 , 我们给它分配一个线性空间 . 那么, 映射 处的微分定义为: 假设 , 我们选取一个特殊的 , 即恒同映射 . 我们就把这个映射记作 . 特别地, 此时 . 所以, 微分现在可以被写为比较上面两个映射, 我们知道, 作为 之间的映射, 我们可以把上面的映射写成忽略掉上面式子对点的依赖性, 我们就得到了所以, 如果我们用传统的积分记号, 换元积分公式就可以想象成用变元 代替 , 即 , 公式可以写成我们强调, 目前这种写法只是形式的记法, 到下个学期我们用正确的测度的观点或者微分形式的观点, 就可以完美地解释这种记号. 大家大可不必纠结你是否理解这个记法, 因为这目前是一个帮助记忆的方式, 仅此而已.

我们可以看一下如何利用分部积分和换元积分公式进行积分的计算. 在一定的意义上, 这已经不属于分析的范畴了 (不用取极限或者 语言) , 而算是组合或者是代数上的操作了:

例子. 我们先来完成关于圆的面积的计算:

1)

我们用如下的变量替换 , 即考虑 . 从而, 另外, 根据 的周期性, 我们知道 , 所以所以, 所以, 半径为 的圆盘的面积是 . 至此我们验证了 , 其中 是大家想象中的 .

2)

计算 . 我们将积分分为几块然后用换元积分公式: 请尤其注意第二、三项的换元积分, 因为这时候对应着之前 的情形.

3)

计算 . 这个积分的计算需要用到分部积分公式来除掉 :

4)

计算 . 在这个计算中, 我们将 换成 : 为了计算上面的积分, 我们首先声明 , 据此, 很明显, 上面的不定积分的计算是有难度的, 这样的技巧我们留到后面来谈. 我们给一个更透明的计算, 想法是注意到 的形式让我们联想到双曲三角函数, 我们做变量替换 , 从而其中, , . 通过解二次方程, 我们就可以确定 .