课程笔记

10.3三重积分

定义

把 Ω\Omega 任意分成 nn 个小闭区域 Δv1,Δv2,…,Δvn\Delta v_1,\Delta v_2,\dots,\Delta v_n,记号 Δvi\Delta v_i 既表示第 ii 个小闭区域,也表示它的体积。在每个 Δvi\Delta v_i 内任取一点 (ξi,ηi,ζi)(\xi_i,\eta_i,\zeta_i),作和式

∑i=1nf(ξi,ηi,ζi)Δvi.\sum_{i=1}^{n}f(\xi_i,\eta_i,\zeta_i)\Delta v_i .

记 λ\lambda 为各小闭区域直径的最大值。若 λ→0\lambda\to0 时上述和式的极限存在,且极限值与 Ω\Omega 的划分方式、取点方式都无关,则称此极限为 f(x,y,z)f(x,y,z) 在空间闭区域 Ω\Omega 上的三重积分,记作

∭Ωf(x,y,z) dv=lim⁡λ→0∑i=1nf(ξi,ηi,ζi)Δvi.\iiint_\Omega f(x,y,z)\,\mathrm dv=\lim_{\lambda\to0}\sum_{i=1}^{n}f(\xi_i,\eta_i,\zeta_i)\Delta v_i .

其中 Ω\Omega 是积分区域,f(x,y,z)f(x,y,z) 是被积函数,dv\mathrm dv 是体积元素。

物理意义

若空间物体占有区域 Ω\Omega,体密度为 ρ(x,y,z)\rho(x,y,z),则物体的质量为

M=∭Ωρ(x,y,z) dv.M=\iiint_\Omega\rho(x,y,z)\,\mathrm dv .

当 f(x,y,z)≡1f(x,y,z)\equiv1 时,∭Ωdv\iiint_\Omega\mathrm dv 等于区域 Ω\Omega 的体积:

∭Ωdv=V.\iiint_\Omega\mathrm dv=V .

三重积分可用于计算空间区域的体积与变密度物体的质量。计算时先分析区域,再选适合的积分次序或坐标。

直角坐标计算

设 Ω\Omega 为有界空间区域,ff 在其上连续。以下公式要求所用投影与截面可积;切片不是单个区间时,可将区域分块。

直角坐标下 dv=dx dy dz\mathrm dv=\mathrm dx\,\mathrm dy\,\mathrm dz。化为三次积分时,按“先积几个变量”分成两种做法:先对一个变量积分、再对剩下两个变量积分的叫“先一后二”,反过来叫“先二后一”。选哪种,取决于区域形状和截面面积是否容易求。

投影法(先一后二)

把 Ω\Omega 投影到 xOyxOy 平面,得到投影区域 DxyD_{xy}。若对 DxyD_{xy} 内每一点 (x,y)(x,y),zz 的变化范围是

z1(x,y)≤z≤z2(x,y),z_1(x,y)\le z\le z_2(x,y),

则

∭Ωf(x,y,z) dv=∬Dxy[∫z1(x,y)z2(x,y)f(x,y,z) dz]dσ.\iiint_\Omega f(x,y,z)\,\mathrm dv=\iint_{D_{xy}}\left[\int_{z_1(x,y)}^{z_2(x,y)}f(x,y,z)\,\mathrm dz\right]\mathrm d\sigma .

内层是对 zz 的定积分,结果是 x,yx,y 的函数,再对 DxyD_{xy} 做二重积分。同样可以把 Ω\Omega 投影到 yOzyOz 或 zOxzOx 平面,此时内层分别先对 xx 或 yy 积分。

截面法(先二后一)

用平行于某一坐标平面的平面去截 Ω\Omega,得到一系列截面。例如用平行于 xOyxOy 平面的平面 z=z0z=z_0 截 Ω\Omega,得到截面区域 D(z)D(z);设 zz 的变化范围是 c1≤z≤c2c_1\le z\le c_2,则

∭Ωf(x,y,z) dv=∫c1c2[∬D(z)f(x,y,z) dσ]dz.\iiint_\Omega f(x,y,z)\,\mathrm dv=\int_{c_1}^{c_2}\left[\iint_{D(z)}f(x,y,z)\,\mathrm d\sigma\right]\mathrm dz .

截面法适合截面面积容易求出的情形:内层是对 x,yx,y 的二重积分,外层只对 zz 积分一次。

柱面坐标计算

设 ff 在有界空间区域 Ω\Omega 上连续。若区域不能用一组柱面坐标积分限表示,可以将其分块后分别计算。

柱面坐标是极坐标的推广,与直角坐标的关系为

x=rcos⁡θ,y=rsin⁡θ,z=z,x=r\cos\theta,\qquad y=r\sin\theta,\qquad z=z,

其中 r≥0r\ge0,0≤θ≤2π0\le\theta\le2\pi,−∞<z<+∞-\infty<z<+\infty。体积元素为

dv=r dr dθ dz.\mathrm dv=r\,\mathrm dr\,\mathrm d\theta\,\mathrm dz .

若 Ω\Omega 在柱面坐标下表示为

α≤θ≤β,r1(θ)≤r≤r2(θ),z1(r,θ)≤z≤z2(r,θ),\alpha\le\theta\le\beta,\qquad r_1(\theta)\le r\le r_2(\theta),\qquad z_1(r,\theta)\le z\le z_2(r,\theta),

则

∭Ωf(x,y,z) dv=∫αβ∫r1(θ)r2(θ)∫z1(r,θ)z2(r,θ)f(rcos⁡θ,rsin⁡θ,z) r dz dr dθ.\iiint_\Omega f(x,y,z)\,\mathrm dv =\int_\alpha^\beta\int_{r_1(\theta)}^{r_2(\theta)}\int_{z_1(r,\theta)}^{z_2(r,\theta)}f(r\cos\theta,r\sin\theta,z)\,r\,\mathrm dz\,\mathrm dr\,\mathrm d\theta .

适用场景:当 Ω\Omega 的侧面是圆柱面、锥面等旋转曲面,或被积函数含 x2+y2x^2+y^2 时,用柱面坐标通常比直角坐标省事。

球面坐标计算

设 ff 在有界空间区域 Ω\Omega 上连续。以下使用的积分限应覆盖区域一次;不能用一组积分限表示时,可以先分块。

球面坐标与直角坐标的关系为

x=rsin⁡φcos⁡θ,y=rsin⁡φsin⁡θ,z=rcos⁡φ,x=r\sin\varphi\cos\theta,\qquad y=r\sin\varphi\sin\theta,\qquad z=r\cos\varphi,

其中 r≥0r\ge0 是点到原点的距离,0≤φ≤π0\le\varphi\le\pi 是极角(与 zz 轴正向的夹角),0≤θ≤2π0\le\theta\le2\pi 是方位角(点在 xOyxOy 平面的投影与 xx 轴正向的有向角)。体积元素为

dv=r2sin⁡φ dr dφ dθ.\mathrm dv=r^2\sin\varphi\,\mathrm dr\,\mathrm d\varphi\,\mathrm d\theta .

若 Ω\Omega 在球面坐标下表示为

θ1≤θ≤θ2,φ1(θ)≤φ≤φ2(θ),r1(θ,φ)≤r≤r2(θ,φ),\theta_1\le\theta\le\theta_2,\qquad\varphi_1(\theta)\le\varphi\le\varphi_2(\theta),\qquad r_1(\theta,\varphi)\le r\le r_2(\theta,\varphi),

则

∭Ωf(x,y,z) dv=∫θ1θ2∫φ1(θ)φ2(θ)∫r1(θ,φ)r2(θ,φ)f(rsin⁡φcos⁡θ, rsin⁡φsin⁡θ, rcos⁡φ) r2sin⁡φ dr dφ dθ.\iiint_\Omega f(x,y,z)\,\mathrm dv =\int_{\theta_1}^{\theta_2}\int_{\varphi_1(\theta)}^{\varphi_2(\theta)}\int_{r_1(\theta,\varphi)}^{r_2(\theta,\varphi)} f(r\sin\varphi\cos\theta,\,r\sin\varphi\sin\theta,\,r\cos\varphi)\, r^2\sin\varphi\,\mathrm dr\,\mathrm d\varphi\,\mathrm d\theta .

上式把代入后的被积函数简记为 f(⋅)f(\cdot),即 ff 后面那一串球面坐标表达式;球体等特殊区域也沿用这个简写。

适用场景:当 Ω\Omega 是球体、半球、锥体等,或被积函数含 x2+y2+z2x^2+y^2+z^2 时,用球面坐标比较简便。

特别地,当 Ω\Omega 是以原点为球心、RR 为半径的球体时,

∭Ωf(x,y,z) dv=∫02π∫0π∫0Rf(⋅) r2sin⁡φ dr dφ dθ.\iiint_\Omega f(x,y,z)\,\mathrm dv =\int_0^{2\pi}\int_0^{\pi}\int_0^R f(\cdot)\,r^2\sin\varphi\,\mathrm dr\,\mathrm d\varphi\,\mathrm d\theta .

柱面坐标的 rr 表示点到 zz 轴的距离,球面坐标的 rr 表示点到原点的距离。两种变换的体积元素分别含 rr 和 r2sin⁡φr^2\sin\varphi;球面坐标中的 φ\varphi 从正 zz 轴起算。