数学分析(二十一)-重积分5-三重积分2：化三重积分为累次积分【∭ᵥf(x,y,z)dxdydz=∬dxdy∫f(x,y,z)dz】

定理 21.15

若函数 $f(x,y,z)$ 在长方体$V=[a,b]\times [c,d]\times [e,h]$ 上的三重积分存在, 且对任意$(x,y)\in D=[a,b]\times [c,d],g(x,y)={\int }_e^{h}f(x,y,z)\mathrm{d}z$存在, 则积分 ${\iint }_{D}g(x,y)\mathrm{d}x\mathrm{d}y$也存在,且

$$\begin{array}{r}{\iiint }_{V}f(x,y,z)\mathrm{d}x\mathrm{d}y\mathrm{d}z={\iint }_D\mathrm{d}x\mathrm{d}y{\int }_e^{h}f(x,y,z)\mathrm{d}z(1)\end{array}$$

证
用平行于坐标平面的平面作分割 $T$, 它把 $V$ 分成有限多个小长方体

$$V_{ijk}=\left[x_{i-1},x_i\right]\times \left[y_{j-1},y_j\right]\times \left[z_{k-1},z_k\right].$$

设 $M_{ijk},m_{ijk}$ 分别是 $f(x,y,z)$ 在 $V_{ijk}$上的上确界和下确界. 对任意

$$\begin{array}{c}\left({\xi }_i,{\eta }_j\right)\in \left[x_{i-1},x_i\right]\times \left[y_{j-1},y_j\right],\\ m_{ijk}\Delta z_k⩽{\int }_{z_{k-1}}^{z_k}f\left({\xi }_i,{\eta }_j,z\right)\mathrm{d}z⩽M_{ijk}\Delta z_k.\end{array}$$

现按下标 $k$ 相加, 有

$$\sum _k{\int }_{i_{i-1}}^{z_k}f\left({\xi }_i,{\eta }_j,z\right)\mathrm{d}z={\int }_i^{h}f\left({\xi }_i,{\eta }_j,z\right)\mathrm{d}z=g\left({\xi }_i,{\eta }_j\right)$$

以及

$$\sum _{i,j,k}{m}_{ijk}\Delta x_i\Delta y_j\Delta z_k⩽\sum _{i,j}g\left({\xi }_i,{\eta }_j\right)\Delta x_i\Delta y_j⩽\sum _{i,j,k}{M}_{ijk}\Delta x_i\Delta y_j\Delta z_k.(2)$$

上述不等式两边是分割 $T$ 的下和与上和. 由 $f(x,y,z)$ 在 $V$ 上可积, 当$\Vert T\Vert \to 0$ 时,下和与上和具有相同的极限, 所以由 (2) 式得$g(x,y)$ 关于 $D$ 对应 $T$ 的直线网格分割的下和与上和具有相同的极限. 由定理 21.4 有 $g(x,y)$ 在 $D$ 上可积, 且

$${\iint }_{D}g(x,y)\mathrm{d}x\mathrm{d}y={\iiint }_{V}f(x,y,z)\mathrm{d}x\mathrm{d}y\mathrm{d}z.$$

推论

若$V=$