我们在《马同学图解微积分(上)》中介绍一元函数的积分学时,先是介绍了曲边梯形,如下图所示。
由直线 、 、 及曲边 所围成的曲边梯形
然后介绍了曲边梯形的面积可以通过黎曼和来逼近,如下图所示,从而引入了定积分的定义。
通过黎曼和来逼近曲边梯形类似的,也让我们从曲顶柱体的定义、体积计算开始,从而来引入多元函数的积分。
1 曲顶柱体的定义
定义 . 如下描述的立体叫做曲顶柱体,
- 它的底是 面上的闭区域 为简便起见,本单元之后除特别说明外,都假定平面闭区域、空间闭区域是有界的,且平面闭区域的面积有限、空间闭区域的体积有限
- 它的侧面是以 的边界曲线为准线而母线平行于 轴的柱面
- 它的顶是曲面 ,这里 且在 上连续
比如下图所示的就是一个曲顶柱体。
2 曲顶柱体的体积
曲顶柱体的体积 可以这样计算,先把闭区域 均分成 个闭区域,记作:
观察其中的第 个小闭区域 ,如下图左侧所示。以该小闭区域 的边界曲线为准线作母线平行于 轴的柱面,可得一个小的曲顶柱体,如下图右侧所示,显然该小曲顶柱体是大曲顶柱体的一部分。
由于顶面 是连续的,因此上述小曲顶柱体的顶面起伏不大,所以可在小闭区域 上任意选择一点作为 点,比如像下图左侧一样选择 的中心点作为 点。以小闭区域 为底、 为高作一平顶柱体,去近似上述的小曲顶柱体,如下图右侧所示。容易算出该平顶柱体的体积 小闭区域 的面积也用 来表示。
按照上述方法,作出所有以小闭区域为底、小闭区域中心点的函数值为高的小平顶柱体,就可以近似整个曲顶柱体,如下图所示。此时所有小平顶柱体的体积和为 。
将闭区域 均分成更多的小闭区域,即不断增加 ,这些小平顶柱体对曲顶柱体的近似效果越好,如下图所示。
所以可定义当 时,这些小平顶柱体的体积和就是曲顶柱体的体积 ,即:
上一节介绍了曲顶柱体的体积定义为 ,其更严格形式要由本节将要介绍的二重积分给出。
3 二重积分的定义
定义 . 设 是有界闭区域 上的有界函数,将闭区域 任意分成 个小闭区域:
其中 表示第 个小闭区域,也表示它的面积,在每个 上任取一点 ,可作出如下和:
规定所有 的直径某 的直径指的是该小闭区域上任意两点间距离的最大者中的最大值为 ,如果当 时,无论如何划分闭区域 ,无论怎样选取 ,上述和的极限总是存在,那么称此极限为函数 在闭区域 上的二重积分(Double integral),记作 ,即:
其中 称为被积函数, 称为被积表达式, 称为面积元素, 与 称为积分变量, 称为积分区域, 称为积分和。
上述二重积分的定义简单来说就是,当满足下列两个要求时,
- 将闭区域 任意分成 个小闭区域,需要保证 时有
- 任意选择 点,需要保证 点在小闭区域 上
若下列极限存在,就称此极限为函数 在闭区域 上的二重积分 ,即:
这么说还是比较抽象,下面通过再次讨论曲顶柱体的体积定义来理解一下上述二重积分的定义。
3.1 时有
先解释下其中的“ 时有 ”。上一节给出曲顶柱体的体积定义时,将方形闭区域 进行了均分,每个 都是同样的小正方形。因此在这里所有 的最大直径 就是其中某个 的对角线,如下图左侧所示。随着 增大, 随之缩小, 也随之缩小,如下图右侧所示。容易理解,这种划分方式可以保证 时有 。
除了上述的平均划分方式之外,根据二重积分的定义,我们还需要考虑所有可以保证 时有 的划分,比如下图的所示的两种不规则划分。
而如下图所示,虽然 在不断增大,但由于其中红色的格子始终保持不变,所以并没有 ,这样的划分是不满足要求的。
增大, 没有趋于
3.2 在 上任取一点
再解释下其中的“任意选择 点,需要保证 点在小闭区域 上”。除了像上一节那样选择 的中心点作为 点外,我们还需要考虑所有在小闭区域 上的点都可以选为 点,比如下图中的两种选取方式。
3.3 曲顶柱体体积的严格定义
综上,考虑到任意划分、任意选取 点,之前给出曲顶柱体的体积定义 需要修正为:
直观来说就是,任意划分、任意选取 点,最终构成的这些小平顶柱体也是可以近似曲顶柱体的,如下图所示。
这里有一点需要解释,根据曲顶柱体的定义可知其顶面函数 在闭区域 上连续,可以证明,在这个条件下函数 在闭区域 上的二重积分必定存在类似于《马同学图解微积分·上》中学习过可积的充分条件。所以不用考虑任意划分、任意选取 点,只考虑均分、选择 的中心点作为 点的情况就可以了,所以定义曲顶柱体的体积为 也是正确的。
3.4 非矩形的闭区域
上面对闭区域 进行图示时都是用的矩形,实际上也是存在非矩形闭区域 的,如下图所示。二重积分的定义在非矩形闭区域 上也是适用的,这里不再赘述。
以上内容选自《马同学图解数学》课程,欢迎加入学习!