三重積分與三維坐標

空間中的累積

對適當有界立體 $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$。

總結

三重積分把密度按體積累加。選擇符合立體形狀的坐標，將每個邊界及被積函數寫成新坐標，並加入適當體積因子。