050 直角坐标系的三重积分 Triple Integrals in Rectangular Coordinates
三重积分
如果 是定义在空间封闭有界区域 上的函数,下面定义 在 上的积分。和之前类似,使用平行于坐标轴的平面将 分割成若干个小的立方体。
对完全在 内的立方体从 1 到 编号,第 个立方体三维是 ,体积是 。选择立方体内一个点 ,那么 随着 的三维越来越小,即 趋于零,分区的模 ,它是 的最大值,也趋于零。不过如何分区,如何选择 ,和的极限都是同一个值,那么 在 上可积。和之前一样,当 在 上连续且 由有限多的光滑曲面和有限多的光滑曲线连接组成,那么 是可积的。随着 , 趋于 ,和 趋于某个极限值。这个极限是 在 上的三重积分,写作 其中 是光滑的边界。
空间的体积
如果 是常量函数 1,那么 中的和简化为 随着 趋于零, 越来越小,小立方体越来越多, 被填充的也更满。因此, 的体积定义为三重积分
定义
空间中封闭有界区域 的体积是
积分顺序 的积分范围
使用三维版本的富比尼定理,通过三次单变量积分计算三重积分的值。和二重积分类似,通过几何方法来找每个积分的积分范围。求 的值,首先对 积分,接着对 积分,最后对 积分。计算积分范围的步骤是
- 画草图。给出区域 和在 平面上的投影 的草图。标记 的上下界(曲面)和 的上下界(曲线)。
- 的范围。直线 经过 上一点 ,垂直于 轴。随着 的增加, 在 进去 ,在 离开 。这就是 的积分范围。
- 的范围。直线 平行于 轴。随着 的增加, 在 处进入 ,在 离开 。这就是 的积分范围。
- 的范围。 范围会包含所有穿过 的平行于 轴直线。上图中 的范围是 。这就是 的积分范围。
因此积分是 如果积分顺序不同,寻找积分范围的过程是类似的。
这个过程隐含着 有上界和下界(曲面), 有上下界(曲线),不适用于复杂的有空洞的区域,不过有时这种情况可以分割成若干个更简单的区域求解。
例1 令 是球心位于原点半径为 5 的球, 是在球面下在平面 之上的区域。求函数 在区域 上的积分范围。
解:区域由 围成。
为了求解积分的范围,首先给出草图,如下图所示。
投影 是 平面上圆心位于原点的圆。从 上看,可以确定圆的半径是 4,如下图(a)所示。
如果在 上选取一个点 ,画一条垂直于 平面的直线,首先进入 的高度是 ,离开的高度是 。这就是 的积分范围。
为了计算 的范围,考虑 上的直线 ,其通过点 ,平行于 轴,如上图(b)所示。进入和离开 的值分别是 。这就是 的积分范围。
最终, 从左往右扫过 , 的值从 到 。这就是 的积分范围。
因此, 在 上的三重积分是 这个例子中, 有很好的对称性,简化了问题。如果没有对称性,方法是一样的,比如下面这个例子。
例2 求函数 在由点 四个点确定的四面体 上的积分范围。使用积分顺序是 。
解:区域 和在 平面上的投影 如下图所示。 的侧面平行于 平面,后面的面平行于 ,顶面是面 。
为了求 的范围,在 上找一点 ,考虑通过 且垂直于 平面的直线 。进入 的高度是 ,离开 的高度是 。
下面分析 的范围。现在考虑穿过 的直线 ,其也通过点 ,平行于 轴。这条线在上图中已经画出,为了清晰,如下图所示。进入和离开 的值分别是 。
最后,随着 扫过整个 , 从 增加到 。因此, 在 上的积分是
下面的例子展示了将 投影到其他平面时如何求解积分范围。
例3 接例 2,使用积分顺序 对函数 在 上求积分,计算四面体 的体积。再使用 求积分。
解:使用例 2 中得到的积分范围,四面体体积是 下面使用积分顺序 计算体积。求解积分范围的步骤大致是类似的。四面体 和之前一样,投影 位于 平面,如下图所示。
在 上找一点 ,通过该点且平行于 轴的直线 进入和离开 时的值分别是 。这就是 的积分范围。
在投影 上,直线 也通过点 且平行于 轴,进入 时有 ,离开 时有 。
随着 扫过 , 的变化范围是 到 。因此体积是
例4 求由曲面 和 围成的区域 的体积。
解:下面是草图。
曲面的交线是 ,即 ,是一个椭圆。因此 在 平面的投影 就是椭圆 。 的上下界分别是 。 的上下界分别是 。随着 扫过 , 的范围是 到 。
空间中函数的平均值
函数 在空间区域 上的平均值定义是 如果 ,那么 在 上的平均值就是 内的点到原点的平均距离。如果 是 处的温度,那么 在 上的平均值是平均温度。
例5 求函数 在由 和坐标平面围成的在第一象限的立方体 上的平均值。
解:下面是草图。
的体积是 8。 在立方体上的积分是 所以平均值是 1。
三重积分的属性
三重积分的属性类似于二重积分的属性。
如果 是 上的连续函数,那么有
其中 是任意常量。
3. 如果在 上有 ,那么 如果在 上有 ,那么
如果 $D$ 可以分成两个不相交的区域 $D_1,D_2$,那么 $$\iiint_Df(x,y)dA=\iiint_{D_1}f(x,y)dA+\iiint_{D_2}f(x,y)dA$$