三重积分与三维坐标

空间中的累积

对适当有界立体 $E$ 上的连续密度 $\rho$，质量为 $M=\iiint_E\rho\,dV$。密度恒为一时，积分是体积。只要上下限确实描述 $E$，且符合标准连续性和正则性假设，Fubini 定理容许用累次积分逐次切割立体。

例题

四面体

令 $E=\{x,y,z\ge0:x+y+z\le1\}$。上下限 $0\le x\le1$、$0\le y\le1-x$、$0\le z\le1-x-y$ 给出

$$\operatorname{Vol}(E)=\int_0^1\int_0^{1-x}\int_0^{1-x-y}1\,dz\,dy\,dx=\frac16.$$

内层上限来自平面 $z=1-x-y$；把 $E$ 投影到 $xy$ 平面便得到三角形的外层上下限。

柱坐标与球坐标

定义

坐标惯例及体积元素

柱坐标采用 $x=r\cos\theta$、$y=r\sin\theta$、$z=z$，其中 $r\ge0$，$dV=r\,dr\,d\theta\,dz$。本节的球坐标采用

$$x=\rho\sin\phi\cos\theta,\quad y=\rho\sin\phi\sin\theta,\quad z=\rho\cos\phi,$$

其中 $\rho\ge0$、$0\le\phi\le\pi$ 为由正 $z$ 轴量起的角，$\theta$ 为方位角。体积元素是 $dV=\rho^2\sin\phi\,d\rho\,d\phi\,d\theta$。其他资料可能交换两个角的名称；使用公式前要先检查定义。

证明

球坐标因子为何是 $\rho^2\sin\phi$

将位置向量分别对 $\rho,\phi,\theta$ 微分。在 $0\le\phi\le\pi$ 时，三个导数的纯量三重积绝对值为 $\rho^2\sin\phi$。再由三维变数替换定理得体积元素；在标准立体积分中，坐标轴及原点的坐标奇异性可忽略。

例题

球内、锥面以上

设 $E$ 在球 $x^2+y^2+z^2\le4$ 内且在锥面 $z=\sqrt{x^2+y^2}$ 以上。球坐标范围是 $0\le\rho\le2$、$0\le\phi\le\pi/4$、$0\le\theta\le2\pi$。故

$$\operatorname{Vol}(E)=\int_0^{2\pi}\int_0^{\pi/4}\int_0^2\rho^2\sin\phi\,d\rho\,d\phi\,d\theta =\frac{16\pi}{3}\left(1-\frac{\sqrt2}{2}\right).$$

锥面固定角度，球面固定半径。这些几何观察先于积分决定上下限。

例题

柱坐标的圆柱壳

对立体 $x^2+y^2\le1$、$0\le z\le2-x^2-y^2$，取 $0\le r\le1$、$0\le\theta\le2\pi$、$0\le z\le2-r^2$：

$$\operatorname{Vol}(E)=\int_0^{2\pi}\int_0^1\int_0^{2-r^2}r\,dz\,dr\,d\theta=\frac{3\pi}{2}.$$

选择坐标

直角坐标适合平面围成的立体；柱坐标适合围绕一轴有圆形截面的立体；球坐标适合以原点为中心的球和锥。上下限与被积函数都要变换，并加入雅可比因子。角度须恰好覆盖所需立体一次，可忽略的坐标接缝除外。若被积函数变号，三重积分是带符号的累积量；几何体积则用被积函数 $1$。

练习

1. 求长方体 $0\le x\le2$、$0\le y\le3$、$0\le z\le4$ 的体积。
2. 用柱坐标求圆柱 $x^2+y^2\le4$、$0\le z\le5$ 的体积。
3. 用球坐标求球 $x^2+y^2+z^2\le R^2$ 的体积。
4. 依本节球坐标惯例，重写 $x^2+y^2+z^2$ 及 $z$。

详解

1. 对长方体积分 $1$，得 $2\cdot3\cdot4=24$。
2. $\int_0^{2\pi}\int_0^2\int_0^5r\,dz\,dr\,d\theta=20\pi$。
3. 对 $R\ge0$，$\int_0^{2\pi}\int_0^\pi\int_0^R\rho^2\sin\phi\,d\rho\,d\phi\,d\theta=4\pi R^3/3$。
4. 分别为 $\rho^2$ 及 $\rho\cos\phi$。

总结

三重积分把密度按体积累加。选择符合立体形状的坐标，将每个边界及被积函数写成新坐标，并加入适当体积因子。