积分
Riemann 和的极限,与微积分基本定理。
约 5 分钟
从一个问题开始
曲线 下方、 之间那块区域的面积是多少?我们会算矩形、三角形、圆,但这个图形不属于任何一类。
"面积"对不规则图形还没有定义。我们需要一个定义,让它对熟悉的图形给出熟悉的答案,对新图形给出唯一的数。
曲线 下方、 之间的面积是多少?它不是任何我们会算的图形。但我们可以把 切成 段,每段上用一个矩形代替:矩形面积之和 随 增大而趋于 。
"曲线下的面积"应该定义为矩形和的极限。而且极限值不应依赖于我们怎么切、在每段上取哪个点:只要切得足够细,结果都一样。
定义
设 在 上有界。取分割 ,记 ,。任取 ,和式 称为 Riemann 和。若存在数 ,使得对任意 存在 ,只要 ,无论 如何选取,都有 ,则称 在 上可积,记 。
这和极限定义是同一种句式:"想多准就能多准"。区别是这里的"接近"要对所有分割方式和取点方式一致成立。
若 在 上连续,则 可积。
闭区间上连续函数一致连续:对任意 存在 ,。当 时,每个小区间上 的最大值 与最小值 之差小于 ,所以上和减下和 任何 Riemann 和都夹在上和与下和之间,而加细分割时下和增、上和减,两者的公共极限就是 。
微积分基本定理
到此为止积分和导数毫无关系:一个是面积,一个是斜率。下面的定理是整个微积分的核心。
设 在 连续,。则 在 可导且 。
连续,故在 上有 (积分的单调性)。 时, 与 都趋于 (连续性),由夹逼定理得 。
面积函数的变化率就是被积函数的高度:面积增加得快慢,正比于此处曲线有多高。
若 在 上成立且 连续,则 。
令 。由第一部分 ,故 ,由中值定理的推论, 是常数。 给出常数为 ,所以 。
于是 :开头那个极限一秒钟算出。
是一个数;不定积分 是一族函数(原函数加常数)。两者由微积分基本定理连接,但那是需要证明的定理,不是记号上的约定。另外,定义中要求"无论 如何选取":只对某一种取点方式计算矩形和,不能证明可积。
应用
对 两边从 积到 : 这个形式是ODE 是什么里存在唯一性证明的出发点,也是 Picard 迭代和数值方法的出发点。
乘法法则 两边积分得 ;链式法则积分得换元公式 。每一条积分技巧都是一条求导法则倒过来。
是拉长的 S,代表 sum。定义里只有求和与极限。微积分基本定理才把它和导数连起来,而这个连接是需要证明的定理,不是记号上的巧合。