自在学

我们与你共同进步

  • 分类课程
  • 文章
  • 工作台
  • 订阅

  • 关于我们
  • 隐私政策
  • 使用条款

探索

  • 分类课程
  • 文章
  • 工作台
  • 订阅

网站信息

  • 关于我们
  • 隐私政策
  • 使用条款

加入社区

自在学学习社区微信二维码

微信扫码,交流学习

株洲市自在学教育科技有限公司© 2025 - 2026 版权所有

© 2025 - 2026 株洲市自在学教育科技有限公司 版权所有

湘公网安备43020302000292号|湘ICP备2025148919号-1
分类课程工作台文章订阅
分类课程工作台文章价格

多变量微积分 I

  1. 01多变量微积分研究什么
  2. 02三维坐标、向量与空间几何
  3. 03曲面、二次曲面与坐标变换初识
  4. 04向量值函数与空间曲线
  5. 05多变量函数、定义域、图像与等值线
  6. 06多变量极限与连续
  7. 07偏导数:沿坐标方向看变化
  8. 08切平面、线性近似与全微分
  9. 09多变量链式法则与隐函数求导
  10. 10方向导数与梯度
  11. 11多变量极值与优化
  12. 12约束优化与拉格朗日乘子
  13. 13二重积分:从小矩形累加到曲面下体积
  14. 14一般区域上的二重积分与积分次序
  15. 15极坐标中的二重积分
  16. 16三重积分:空间区域中的累积
  17. 17柱坐标、球坐标与空间坐标变换
  18. 18变量替换与 Jacobian
  19. 19向量场:空间中每一点都有方向
  20. 20线积分:沿路径累加标量和向量
  21. 21保守场、势函数与路径无关
  22. 22Green 定理:平面区域的边界与内部
  23. 23曲面参数化与曲面积分
  24. 24散度、旋度与三维向量场
  25. 25Stokes 定理与 Divergence Theorem
正在加载课程章节内容
课程数学多变量微积分 I三重积分:空间区域中的累积

三重积分:把一整个空间里的量加起来

上一章我们把平面区域切成极小的扇形片,用二重积分累加面积、质量和函数值。现在空间多出一个方向,老画面就不够用了:如果房间里每一点都有自己的温度,温度不是只铺在地板上,也不是悬在某一张曲面上,而是充满了整个房间。我们不能再靠“底面积乘曲面高度”描述它。

三重积分补上的正是这个缺口。它把空间实体切成许多很小的盒子,先算每个小盒子携带了多少量,再把所有小盒子加起来。二重积分里的小片面积 ΔA\Delta AΔA,到这里升级成小体积 ΔV\Delta VΔV;“先切小、再求和、最后取极限”的办法没有变。

三重积分把空间区域切成许多小体积并累加

每个小盒子的贡献约等于“取样点处的函数值乘小盒子体积”。网格越细,这个近似越贴近真实累积。


从二维小片到三维小盒子

先从最规整的长方体区域开始:

B=[a,b]×[c,d]×[e,h].B=[a,b]\times[c,d]\times[e,h].B=[a,b]×[c,d]×[e,h].

沿 xxx、yyy、zzz 三个方向分别切分,空间里就会出现许多小长方体。第 (i,j,k)(i,j,k)(i,j,k) 个小长方体的体积是

ΔVijk=Δxi Δyj Δzk.\Delta V_{ijk}=\Delta x_i\,\Delta y_j\,\Delta z_k.ΔVijk​=Δxi​Δyj​Δzk​.

在这个小长方体里选一个取样点 Pijk∗=(xijk∗,yijk∗,zijk∗)P_{ijk}^*=(x_{ijk}^*,y_{ijk}^*,z_{ijk}^*)Pijk∗​=(xijk∗​,yijk∗​,zijk∗​)。只要盒子足够小,连续函数 fff 在盒子里的变化就很有限,于是这一小块的累积量可以近似写成

f(Pijk∗) ΔVijk.f(P_{ijk}^*)\,\Delta V_{ijk}.f(Pijk∗​)ΔVijk​.

把所有小块的贡献加起来,得到三重黎曼和:

∑i∑j∑kf(Pijk∗) ΔVijk.\sum_i\sum_j\sum_k f(P_{ijk}^*)\,\Delta V_{ijk}.i∑​j∑​k∑​f(Pijk∗​)ΔVijk​.

继续细分,让网格中最长的小盒子对角线趋近于 000。如果这些和趋近于同一个数,而且不依赖我们怎样选取样点,这个极限就是三重积分:

∭Bf(x,y,z) dV=lim⁡∥P∥→0∑i∑j∑kf(Pijk∗) ΔVijk.\iiint_B f(x,y,z)\,dV = \lim_{\lVert P\rVert\to 0} \sum_i\sum_j\sum_k f(P_{ijk}^*)\,\Delta V_{ijk}.∭B​f(x,y,z)dV=∥P∥→0lim​i∑​j∑​k∑​f(Pijk∗​)ΔVijk​.

这里用网格最大直径 ∥P∥\lVert P\rVert∥P∥ 控制“每个方向都在变细”。只要求小盒子体积趋于 000 还不够,因为盒子可能在两个方向上很薄,却在第三个方向上仍然很长。

对于弯曲区域 EEE,边界附近的小盒子不会恰好贴合实体。处理办法仍然是不断细分:边界处没有贴合的薄层会越来越薄,最后不影响极限。于是我们把一般空间区域上的积分写成

∭Ef(x,y,z) dV.\iiint_E f(x,y,z)\,dV.∭E​f(x,y,z)dV.

三重积分先回答的是“累加了多少”,不自动等于体积。被积函数恒为 111 时,每个小盒子的贡献就是 ΔV\Delta VΔV,积分才等于体积;被积函数是质量密度时,每个小盒子的贡献近似是质量;被积函数是温度时,积分的单位是“温度乘体积”,还要除以总体积才得到平均温度。

三重积分保留了普通积分熟悉的运算规则。比如

∭E(af+bg) dV=a∭Ef dV+b∭Eg dV.\iiint_E(af+bg)\,dV = a\iiint_E f\,dV+b\iiint_E g\,dV.∭E​(af+bg)dV=a∭E​fdV+b∭E​gdV.

如果 E1E_1E1​ 与 E2E_2E2​ 的内部不重叠,而且它们拼成 EEE,那么

∭Ef dV=∭E1f dV+∭E2f dV.\iiint_E f\,dV = \iiint_{E_1}f\,dV+\iiint_{E_2}f\,dV.∭E​fdV=∭E1​​fdV+∭E2​​fdV.

后面遇到必须拆区域的换序题,靠的就是这条可加性。

在交互图里把三个方向的分割数调大,可以看到 ΔV\Delta VΔV 变小、盒子数量增多。对非常数密度使用右端点取样时,近似值会逐步靠近精确质量;这正是“有限求和走向积分”的过程。


三次一元积分:先走线,再铺面,最后叠成实体

定义告诉我们三重积分是什么,却不适合每道题都从极限算起。真正计算时,我们把三个方向的累加拆成三次一元积分。

若 fff 在长方体 B=[a,b]×[c,d]×[e,h]B=[a,b]\times[c,d]\times[e,h]B=[a,b]×[c,d]×[e,h] 上连续,那么

∭Bf(x,y,z) dV=∫ab∫cd∫ehf(x,y,z) dz dy dx.\iiint_B f(x,y,z)\,dV = \int_a^b\int_c^d\int_e^h f(x,y,z)\,dz\,dy\,dx.∭B​f(x,y,z)dV=∫ab​∫cd​∫eh​f(x,y,z)dzdydx.

这个式子要从右向左读。

  • 最内层先对 zzz 积分。此时 x,yx,yx,y 固定,我们沿一条平行于 zzz 轴的线段累加。
  • 中间层再对 yyy 积分。它把许多线段并成一张切片。
  • 最外层最后对 xxx 积分。它把切片一张张叠起来,填满整个实体。

这就是把三重求和排成“盒子组成线、线组成面、面组成实体”的顺序。把多重积分化成累次积分的保证通常称为 Fubini 定理。

盒状区域上的三重积分可以按一个变量、再一个变量的顺序计算

盒子的三个坐标范围彼此独立,所以六种积分次序都能直接使用。右边的微分最先计算。

对于盒状区域,只要函数满足常见的连续条件,下面六种顺序都可以:

dx dy dz,dx dz dy,dy dx dz,dy dz dx,dz dx dy,dz dy dx.dx\,dy\,dz,\quad dx\,dz\,dy,\quad dy\,dx\,dz,\quad dy\,dz\,dx,\quad dz\,dx\,dy,\quad dz\,dy\,dx.dxdydz,dxdzdy,dydxdz,dydzdx,dzdxdy,dzdydx.

盒子的上下限都是常数,换顺序很轻松。在常见的连续或可积条件下,一般实体的积分值也不会因为顺序改变,但上下限必须重新分析;那才是三重积分真正费脑子的地方。

例题:盒子里的线性场量

计算

∭B(x+2y+3z) dV,B=[0,2]×[1,3]×[0,1].\iiint_B(x+2y+3z)\,dV, \qquad B=[0,2]\times[1,3]\times[0,1].∭B​(x+2y+3z)dV,B=[0,2]×[1,3]×[0,1].

三个变量各自在固定区间内变化,可以直接采用 dz dy dxdz\,dy\,dxdzdydx:

∫02∫13∫01(x+2y+3z) dz dy dx.\int_0^2\int_1^3\int_0^1 (x+2y+3z)\,dz\,dy\,dx.∫02​∫13​∫01​(x+2y+3z)dzdydx.

内层只让 zzz 变化,把 x,yx,yx,y 当常数:

∫01(x+2y+3z) dz=x+2y+32.\int_0^1(x+2y+3z)\,dz =x+2y+\frac{3}{2}.∫01​(x+2y+3z)dz=x+2y+23​.

接着固定 xxx,对 yyy 累加:

∫13(x+2y+32)dy=2x+11.\int_1^3\left(x+2y+\frac{3}{2}\right)dy =2x+11.∫13​(x+2y+23​)dy=2x+11.

最后对 xxx 积分:

∫02(2x+11) dx=26.\int_0^2(2x+11)\,dx=26.∫02​(2x+11)dx=26.

因此原三重积分等于 262626。它是场量在盒子里的总累积,不是盒子的体积;盒子的体积其实是 2×2×1=42\times2\times1=42×2×1=4。

算完内层积分后,结果里不应该再出现内层变量。算完中间层后,只应剩下最外层变量。这个简单检查能很快发现漏代上下限或积分变量看错的问题。


一般实体:先找影子,再找穿过实体的线段

一般实体的三个坐标范围互相牵制,不能再把上下限都写成常数。最稳的办法是先选最内层变量,再把实体投影到与这个方向垂直的坐标平面上。

假设我们打算先对 zzz 积分。把实体沿 zzz 方向压到 xyxyxy 平面,得到投影区域 DxyD_{xy}Dxy​。对投影里的每个点 (x,y)(x,y)(x,y),竖直线从下表面 z=u1(x,y)z=u_1(x,y)z=u1​(x,y) 进入实体,从上表面 z=u2(x,y)z=u_2(x,y)z=u2​(x,y) 离开,于是

E={(x,y,z):(x,y)∈Dxy,u1(x,y)≤z≤u2(x,y)},E=\left\{(x,y,z):(x,y)\in D_{xy},\quad u_1(x,y)\le z\le u_2(x,y)\right\},E={(x,y,z):(x,y)∈Dxy​,u1​(x,y)≤z≤u2​(x,y)},

并且

∭Ef dV=∬Dxy[∫u1(x,y)u2(x,y)f(x,y,z) dz]dA.\iiint_E f\,dV = \iint_{D_{xy}} \left[ \int_{u_1(x,y)}^{u_2(x,y)}f(x,y,z)\,dz \right]dA.∭E​fdV=∬Dxy​​[∫u1​(x,y)u2​(x,y)​f(x,y,z)dz]dA.

如果投影又能写成

a≤x≤b,p(x)≤y≤q(x),a\le x\le b, \qquad p(x)\le y\le q(x),a≤x≤b,p(x)≤y≤q(x),

完整的累次积分就是

∫ab∫p(x)q(x)∫u1(x,y)u2(x,y)f(x,y,z) dz dy dx.\int_a^b\int_{p(x)}^{q(x)} \int_{u_1(x,y)}^{u_2(x,y)} f(x,y,z)\,dz\,dy\,dx.∫ab​∫p(x)q(x)​∫u1​(x,y)u2​(x,y)​f(x,y,z)dzdydx.

换最内层方向,方法完全一样:

∭Ef dV=∬Dyz[∫w1(y,z)w2(y,z)f(x,y,z) dx]dAyz,\iiint_E f\,dV = \iint_{D_{yz}} \left[ \int_{w_1(y,z)}^{w_2(y,z)}f(x,y,z)\,dx \right]dA_{yz},∭E​fdV=∬Dyz​​[∫w1​(y,z)w2​(y,z)​f(x,y,z)dx]dAyz​,

或者

∭Ef dV=∬Dxz[∫v1(x,z)v2(x,z)f(x,y,z) dy]dAxz.\iiint_E f\,dV = \iint_{D_{xz}} \left[ \int_{v_1(x,z)}^{v_2(x,z)}f(x,y,z)\,dy \right]dA_{xz}.∭E​fdV=∬Dxz​​[∫v1​(x,z)v2​(x,z)​f(x,y,z)dy]dAxz​.

所以,“先看哪个投影”并不是固定规则,而是由最内层微分决定:先积 dzdzdz 看 xyxyxy 投影,先积 dxdxdx 看 yzyzyz 投影,先积 dydydy 看 xzxzxz 投影。

第一卦限四面体 x+y+z≤4 向 xy 平面的投影,以及竖直线段的下界 z=0 和上界 z=4-x-y

固定投影点 (x,y)(x,y)(x,y) 后,沿 zzz 方向从底面 z=0z=0z=0 走到斜面 z=4−x−yz=4-x-yz=4−x−y,这两个端点就是最内层积分的上下限。

这个交互图使用第一卦限内的四面体 x+y+z≤4x+y+z\le4x+y+z≤4。拖动投影点时,竖直线段的上端会随 4−x−y4-x-y4−x−y 改变;切换到 yzyzyz 投影后,同一个实体会改由 xxx 方向的线段填充。

例题:第一卦限内平面下方的累积

设 EEE 是第一卦限内、平面

2x+3y+z=62x+3y+z=62x+3y+z=6

下方的实体。计算

∭E2x dV.\iiint_E2x\,dV.∭E​2xdV.

先决定让 zzz 做最内层变量。第一卦限给出下界 z=0z=0z=0,平面方程解出上界:

0≤z≤6−2x−3y.0\le z\le6-2x-3y.0≤z≤6−2x−3y.

要让这条竖直线段有非负长度,必须满足 2x+3y≤62x+3y\le62x+3y≤6。这正是实体在 xyxyxy 平面上的三角形投影。用先 yyy 后 xxx 的条带描述它:

0≤x≤3,0≤y≤2−23x.0\le x\le3, \qquad 0\le y\le2-\frac{2}{3}x.0≤x≤3,0≤y≤2−32​x.

把“投影加竖直线段”翻译成积分:

∭E2x dV=∫03∫02−23x∫06−2x−3y2x dz dy dx.\iiint_E2x\,dV = \int_0^3\int_0^{2-\frac23x} \int_0^{6-2x-3y}2x\,dz\,dy\,dx.∭E​2xdV=∫03​∫02−32​x​∫06−2x−3y​2xdzdydx.

内层积分只是 2x2x2x 乘竖直线段长度:

∫06−2x−3y2x dz=2x(6−2x−3y).\int_0^{6-2x-3y}2x\,dz =2x(6-2x-3y).∫06−2x−3y​2xdz=2x(6−2x−3y).

继续完成外两层:

∫03∫02−23x2x(6−2x−3y) dy dx=9.\int_0^3\int_0^{2-\frac23x} 2x(6-2x-3y)\,dy\,dx=9.∫03​∫02−32​x​2x(6−2x−3y)dydx=9.

因此原积分等于 999。

投影只是实体的“影子”,不是实体本身。DxyD_{xy}Dxy​ 只告诉我们哪些 (x,y)(x,y)(x,y) 会被用到;每个投影点上方的 zzz 从哪里走到哪里,还要由下表面和上表面另外给出。


换积分次序:重画路径,不是移动三个字母

看一个次序为 dz dy dxdz\,dy\,dxdzdydx 的一般积分:

∫ab∫p(x)q(x)∫u1(x,y)u2(x,y)f(x,y,z) dz dy dx.\int_a^b\int_{p(x)}^{q(x)} \int_{u_1(x,y)}^{u_2(x,y)} f(x,y,z)\,dz\,dy\,dx.∫ab​∫p(x)q(x)​∫u1​(x,y)u2​(x,y)​f(x,y,z)dzdydx.

三个层次的依赖关系很严格:最外层 xxx 的上下限只能是常数;中间层 yyy 的上下限可以依赖 xxx;最内层 zzz 的上下限可以依赖 x,yx,yx,y。一般地,每一层的上下限可以含它外面的变量,却不能含它自己,也不能依赖尚未固定的内层变量。

同一四面体分别投影到 xy、yz、xz 平面,并沿 z、x、y 方向设置最内层积分

最内层是 dzdzdz、dxdxdx、dydydy 时,分别看 xyxyxy、yzyzyz、xzxzxz 投影;彩色箭头表示固定投影点后穿过实体的方向。

例如第一卦限四面体

E={(x,y,z):x≥0, y≥0, z≥0, x+y+z≤4}E=\left\{(x,y,z):x\ge0,\ y\ge0,\ z\ge0,\ x+y+z\le4\right\}E={(x,y,z):x≥0, y≥0, z≥0, x+y+z≤4}

按 dz dy dxdz\,dy\,dxdzdydx 可以写成

∫04∫04−x∫04−x−yf(x,y,z) dz dy dx.\int_0^4\int_0^{4-x}\int_0^{4-x-y} f(x,y,z)\,dz\,dy\,dx.∫04​∫04−x​∫04−x−y​f(x,y,z)dzdydx.

如果要改成 dx dz dydx\,dz\,dydxdzdy,最内层变成 xxx,就把实体压到 yzyzyz 平面。影子满足 y≥0y\ge0y≥0、z≥0z\ge0z≥0、y+z≤4y+z\le4y+z≤4;固定 (y,z)(y,z)(y,z) 后,平行于 xxx 轴的线段满足 0≤x≤4−y−z0\le x\le4-y-z0≤x≤4−y−z。因此同一个积分变成

∫04∫04−y∫04−y−zf(x,y,z) dx dz dy.\int_0^4\int_0^{4-y}\int_0^{4-y-z} f(x,y,z)\,dx\,dz\,dy.∫04​∫04−y​∫04−y−z​f(x,y,z)dxdzdy.

换序时可以按下面的顺序做:先把原积分翻译成空间不等式,再选新的最内层方向,接着画相应投影,最后沿新的切片方向读出上下限。直接擦掉 dx,dy,dzdx,dy,dzdx,dy,dz 再重新排列,几乎一定会把原区域改坏。

为什么有时必须拆成两个积分

一个实体在旧方向上可能每条线只穿过一次,换个方向后,边界的“入口公式”却会在途中改变。这时不能用一套上下限硬写到底,只能把投影拆开。

考虑实体

E={(x,y,z):−1≤x≤2,x2≤y≤x+2,0≤z≤1}.E=\left\{(x,y,z):-1\le x\le2,\quad x^2\le y\le x+2,\quad0\le z\le1\right\}.E={(x,y,z):−1≤x≤2,x2≤y≤x+2,0≤z≤1}.

原次序 dz dy dxdz\,dy\,dxdzdydx 很直接:

∫−12∫x2x+2∫01f(x,y,z) dz dy dx.\int_{-1}^{2}\int_{x^2}^{x+2}\int_0^1 f(x,y,z)\,dz\,dy\,dx.∫−12​∫x2x+2​∫01​f(x,y,z)dzdydx.

现在保持 zzz 最内层,但交换 x,yx,yx,y。投影边界 y=x2y=x^2y=x2 给出

−y≤x≤y,-\sqrt y\le x\le\sqrt y,−y​≤x≤y​,

而 y=x+2y=x+2y=x+2 给出 x=y−2x=y-2x=y−2。新的左边界是 −y-\sqrt y−y​ 与 y−2y-2y−2 中较大的一个;两者在 y=1y=1y=1 时交换角色。因此必须拆成

∫01∫−yy∫01f dz dx dy+∫14∫y−2y∫01f dz dx dy.\int_0^1\int_{-\sqrt y}^{\sqrt y}\int_0^1 f\,dz\,dx\,dy + \int_1^4\int_{y-2}^{\sqrt y}\int_0^1 f\,dz\,dx\,dy.∫01​∫−y​y​​∫01​fdzdxdy+∫14​∫y−2y​​∫01​fdzdxdy.

取 f=1f=1f=1 可以顺手检查区域体积:

V=∫012y dy+∫14(y−y+2) dy=92.V = \int_0^1 2\sqrt y\,dy + \int_1^4(\sqrt y-y+2)\,dy = \frac{9}{2}.V=∫01​2y​dy+∫14​(y​−y+2)dy=29​.

“要不要拆域”只看一件事:在选定的切片方向上,入口或出口能不能用同一条公式覆盖整个投影。如果公式中途换了,或者一条线会穿过两个分离的区段,就在发生变化的位置拆开。


截面法:有时不必把三层都展开

三重积分的累次计算可以停在中间。固定 zzz 后,如果我们已经知道横截面 EzE_zEz​ 的面积

A(z)=∬Ez1 dA,A(z)=\iint_{E_z}1\,dA,A(z)=∬Ez​​1dA,

那么整个实体的体积就是

V=∫mnA(z) dz.V=\int_m^n A(z)\,dz.V=∫mn​A(z)dz.

空间实体可以看成一张张横截面沿高度方向累加

固定高度得到一张截面;先算截面面积,再沿高度累加,仍然是三重积分的“面组成体”过程。

以半径为 RRR 的球体为例。高度固定为 zzz 时,截面满足

x2+y2≤R2−z2,x^2+y^2\le R^2-z^2,x2+y2≤R2−z2,

所以它是半径 R2−z2\sqrt{R^2-z^2}R2−z2​ 的圆,面积为

A(z)=π(R2−z2).A(z)=\pi(R^2-z^2).A(z)=π(R2−z2).

从南端 z=−Rz=-Rz=−R 叠到北端 z=Rz=Rz=R:

V=∫−RRπ(R2−z2) dz=43πR3.V = \int_{-R}^{R}\pi(R^2-z^2)\,dz = \frac{4}{3}\pi R^3.V=∫−RR​π(R2−z2)dz=34​πR3.

这里不是“跳过了三重积分”,而是提前认出了内层二重积分的几何意义。能直接看出截面面积时,使用它往往比硬算两个根号积分更清楚。


体积、质量、平均值与质心

三重积分真正有用的地方,是同一套小盒子累加法可以处理很多空间量。差别只在于每个小盒子要乘什么函数。

体积

每个小盒子只贡献自身的体积,所以

V(E)=∭E1 dV.V(E)=\iiint_E1\,dV.V(E)=∭E​1dV.

质量

若 μ(x,y,z)\mu(x,y,z)μ(x,y,z) 是质量密度,那么小盒子的质量近似为 μ dV\mu\,dVμdV,总质量是

M=∭Eμ(x,y,z) dV.M=\iiint_E\mu(x,y,z)\,dV.M=∭E​μ(x,y,z)dV.

平均值

若 fff 是温度、浓度或其他标量场,它在实体上的体积平均值是

favg=1V(E)∭Ef(x,y,z) dV.f_{\mathrm{avg}} = \frac{1}{V(E)}\iiint_Ef(x,y,z)\,dV.favg​=V(E)1​∭E​f(x,y,z)dV.

这就是加权平均的连续版本:每个位置的权重是它附近的小体积。比如单位立方体上的 f=x+y+zf=x+y+zf=x+y+z,三个坐标的平均值都是 1/21/21/2,因此

favg=12+12+12=32.f_{\mathrm{avg}}=\frac12+\frac12+\frac12=\frac32.favg​=21​+21​+21​=23​.

质心

质心是按质量加权后的平均位置。先计算三个一阶矩:

Myz=∭Exμ dV,Mxz=∭Eyμ dV,Mxy=∭Ezμ dV.M_{yz}=\iiint_E x\mu\,dV, \qquad M_{xz}=\iiint_E y\mu\,dV, \qquad M_{xy}=\iiint_E z\mu\,dV.Myz​=∭E​xμdV,Mxz​=∭E​yμdV,Mxy​=∭E​zμdV.

再除以总质量:

xˉ=MyzM,yˉ=MxzM,zˉ=MxyM.\bar x=\frac{M_{yz}}{M}, \qquad \bar y=\frac{M_{xz}}{M}, \qquad \bar z=\frac{M_{xy}}{M}.xˉ=MMyz​​,yˉ​=MMxz​​,zˉ=MMxy​​.

密度不均匀时质心会偏向高密度区域

几何中心只看形状,质心还看密度。哪一侧更重,质心就会向哪一侧移动。

交互图中的长方体密度为 1+ax+bz1+ax+bz1+ax+bz。分别增大 aaa 与 bbb,可以看到质心沿 xxx 与 zzz 方向移动;因为密度与 yyy 无关,yˉ\bar yyˉ​ 一直留在中线上。

例题:密度只向一个方向增加

长方体

E=[0,1]×[0,2]×[0,1]E=[0,1]\times[0,2]\times[0,1]E=[0,1]×[0,2]×[0,1]

的密度为

μ(x,y,z)=1+x.\mu(x,y,z)=1+x.μ(x,y,z)=1+x.

求质量和质心。

先算总质量。密度只依赖 xxx,但仍要把三个方向全部累加:

M=∫01∫02∫01(1+x) dz dy dx=3.M = \int_0^1\int_0^2\int_0^1(1+x)\,dz\,dy\,dx =3.M=∫01​∫02​∫01​(1+x)dzdydx=3.

xxx 坐标的一阶矩为

Myz=∭Ex(1+x) dV=2∫01(x+x2) dx=53.M_{yz} = \iiint_E x(1+x)\,dV = 2\int_0^1(x+x^2)\,dx = \frac53.Myz​=∭E​x(1+x)dV=2∫01​(x+x2)dx=35​.

因此

xˉ=5/33=59.\bar x=\frac{5/3}{3}=\frac59.xˉ=35/3​=95​.

密度不随 yyy 变化,而且区域关于 y=1y=1y=1 对称,所以 yˉ=1\bar y=1yˉ​=1。同理,密度不随 zzz 变化,区域关于 z=1/2z=1/2z=1/2 对称,所以

zˉ=12.\bar z=\frac12.zˉ=21​.

质心为

(59,1,12).\left(\frac59,1,\frac12\right).(95​,1,21​).

几何中心的 xxx 坐标是 1/21/21/2。因为右侧密度更大,xˉ=5/9\bar x=5/9xˉ=5/9 稍微向右偏,方向与结果一致。

对称性能省掉很多积分,但先要同时检查“区域”和“密度”。区域关于某个中面对称还不够;如果密度在镜像两侧不同,质心仍然会偏离这个中面。


从极坐标走向柱坐标和球坐标

到目前为止,我们一直用直角坐标的小盒子

dV=dx dy dz.dV=dx\,dy\,dz.dV=dxdydz.

但上一章已经看到,圆形底面用直角网格会制造根号边界,极坐标却能把圆盘写成简单的 rrr 与 θ\thetaθ 范围。把极坐标小片沿 zzz 方向加一层厚度 dzdzdz,就得到柱坐标体积微元:

dV=r dr dθ⏟极坐标底面积 dz=r dr dθ dz.dV = \underbrace{r\,dr\,d\theta}_{\text{极坐标底面积}} \,dz = r\,dr\,d\theta\,dz.dV=极坐标底面积rdrdθ​​dz=rdrdθdz.

例如圆锥

0≤z≤1,x2+y2≤(1−z)20\le z\le1, \qquad x^2+y^2\le(1-z)^20≤z≤1,x2+y2≤(1−z)2

在柱坐标中只是

0≤θ≤2π,0≤z≤1,0≤r≤1−z.0\le\theta\le2\pi, \qquad 0\le z\le1, \qquad 0\le r\le1-z.0≤θ≤2π,0≤z≤1,0≤r≤1−z.

于是体积为

V=∫01∫02π∫01−zr dr dθ dz=π3.V = \int_0^1\int_0^{2\pi}\int_0^{1-z} r\,dr\,d\theta\,dz = \frac{\pi}{3}.V=∫01​∫02π​∫01−z​rdrdθdz=3π​.

球体则提示我们再换一套语言。球坐标用到原点的距离 ρ\rhoρ、从正 zzz 轴量下来的极角 ϕ\phiϕ,以及绕 zzz 轴的方位角 θ\thetaθ:

x=ρsin⁡ϕcos⁡θ,y=ρsin⁡ϕsin⁡θ,z=ρcos⁡ϕ.x=\rho\sin\phi\cos\theta, \qquad y=\rho\sin\phi\sin\theta, \qquad z=\rho\cos\phi.x=ρsinϕcosθ,y=ρsinϕsinθ,z=ρcosϕ.

它的小体积不是 dρ dϕ dθd\rho\,d\phi\,d\thetadρdϕdθ,而是

dV=ρ2sin⁡ϕ dρ dϕ dθ.dV=\rho^2\sin\phi\,d\rho\,d\phi\,d\theta.dV=ρ2sinϕdρdϕdθ.

同一个半径为 RRR 的球体,刚才用水平截面算出了体积;用球坐标则写成

V=∫02π∫0π∫0Rρ2sin⁡ϕ dρ dϕ dθ=43πR3.V = \int_0^{2\pi}\int_0^{\pi}\int_0^R \rho^2\sin\phi\,d\rho\,d\phi\,d\theta = \frac43\pi R^3.V=∫02π​∫0π​∫0R​ρ2sinϕdρdϕdθ=34​πR3.

这两种算法没有谁更“高级”。截面简单时就用截面;边界围绕 zzz 轴组织时考虑柱坐标;边界由同心球面和圆锥面组织时考虑球坐标。下一章会专门解释这两套坐标的范围、体积因子和定限方法。

球坐标的径向变量常写成 ρ\rhoρ,质量密度也常写成 ρ\rhoρ。同一道题里不要让一个符号承担两个角色。本教程在两者同时出现时用 μ\muμ 表示质量密度,用 ρ\rhoρ 表示球坐标半径。


常见误区

把三重积分一律叫作体积

只有

∭E1 dV\iiint_E1\,dV∭E​1dV

才直接给出 EEE 的体积。若被积函数是 fff,积分的单位是“fff 的单位乘体积单位”。先检查单位,往往能发现自己少除了体积,或错误地把质量当成密度。

把投影区域当成完整实体

DxyD_{xy}Dxy​ 只决定外两层变量。最内层的 zzz 还要从下表面走到上表面。漏掉这段高度,相当于只写了二维影子,没有把实体填起来。

让某一层的上下限含有它自己

写 dzdzdz 这一层时,zzz 已经是正在变化的变量,上下限不能再含 zzz。例如

∫04−zf(x,y,z) dz\int_0^{4-z}f(x,y,z)\,dz∫04−z​f(x,y,z)dz

不是一个合法的定限描述。上界可以含外层已固定的 x,yx,yx,y,却不能含当前的 zzz。

换序时只移动微分

微分顺序一变,穿过实体的线段方向和投影平面也会改变。除盒状区域等少数特殊情形外,上下限通常都要重写,而且有时必须拆域。

换坐标后忘记体积因子

柱坐标要带 rrr,球坐标要带 ρ2sin⁡ϕ\rho^2\sin\phiρ2sinϕ。这些因子记录坐标网格在空间里的实际拉伸,漏掉后连单位体积都会算错。


做题时的一条稳妥路线

先说清楚积分对象。是求体积、质量、平均值、质心,还是某个场量的总累积?这一步决定被积函数是什么,也决定结果应有的单位。

把空间区域写成不等式,并画出关键边界。至少标出坐标平面、交线和截距;只盯着三维方程,很容易漏掉实体真正占据的那一侧。

选择最内层变量,沿这个方向想象一条针穿过实体。针的入口和出口给出最内层上下限,实体在垂直坐标平面上的影子给出外两层范围。

检查每层依赖关系。最内层限可以含两个外层变量,中间层限只能含最外层变量,最外层限应是常数;如果边界公式中途改变,就拆分区域。

再比较坐标系。圆柱、圆锥或绕轴对称的区域优先试柱坐标;球面和从原点张开的圆锥面优先试球坐标。换坐标时同时改函数、区域和体积微元。

计算后用正负、单位、对称性和数量级复核。体积与正密度质量不能为负,质心通常应落在实体的凸包内,密度更大的一侧应对质心有更强拉动。


练习

练习 1

计算

∭Bxyz dV,B=[0,2]×[0,1]×[1,3].\iiint_B xyz\,dV, \qquad B=[0,2]\times[0,1]\times[1,3].∭B​xyzdV,B=[0,2]×[0,1]×[1,3].

区域是盒子,而且被积函数能分成三个单变量因子,所以

∭Bxyz dV=(∫02x dx)(∫01y dy)(∫13z dz).\iiint_B xyz\,dV = \left(\int_0^2x\,dx\right) \left(\int_0^1y\,dy\right) \left(\int_1^3z\,dz\right).∭B​xyzdV=(∫02​xdx)(∫01​ydy)(∫13​zdz).

三个积分依次为 222、1/21/21/2、444,因此

∭Bxyz dV=2⋅12⋅4=4.\iiint_B xyz\,dV=2\cdot\frac12\cdot4=4.∭B​xyzdV=2⋅21​⋅4=4.

练习 2

设 EEE 位于曲面 z=3+x−yz=3+x-yz=3+x−y 下方、xyxyxy 平面上方,投影区域为矩形 0≤x≤20\le x\le20≤x≤2、0≤y≤10\le y\le10≤y≤1。写出计算体积的三重积分,并求体积。

固定 (x,y)(x,y)(x,y) 后,竖直线段满足

0≤z≤3+x−y.0\le z\le3+x-y.0≤z≤3+x−y.

因此

V=∫02∫01∫03+x−y1 dz dy dx.V = \int_0^2\int_0^1\int_0^{3+x-y} 1\,dz\,dy\,dx.V=∫02​∫01​∫03+x−y​1dzdydx.

先对 zzz 积分,得到高度 3+x−y3+x-y3+x−y:

V=∫02∫01(3+x−y) dy dx=7.V = \int_0^2\int_0^1(3+x-y)\,dy\,dx =7.V=∫02​∫01​(3+x−y)dydx=7.

练习 3

设 EEE 是第一卦限内平面 x+y+z=1x+y+z=1x+y+z=1 下方的四面体。用 dz dy dxdz\,dy\,dxdzdydx 写出 ∭Ef dV\iiint_Ef\,dV∭E​fdV,并求 EEE 的体积。

投影到 xyxyxy 平面后有

0≤x≤1,0≤y≤1−x.0\le x\le1, \qquad 0\le y\le1-x.0≤x≤1,0≤y≤1−x.

固定 (x,y)(x,y)(x,y) 后,zzz 从坐标平面走到斜面:

0≤z≤1−x−y.0\le z\le1-x-y.0≤z≤1−x−y.

所以

∭Ef dV=∫01∫01−x∫01−x−yf(x,y,z) dz dy dx.\iiint_Ef\,dV = \int_0^1\int_0^{1-x}\int_0^{1-x-y} f(x,y,z)\,dz\,dy\,dx.∭E​fdV=∫01​∫01−x​∫01−x−y​f(x,y,z)dzdydx.

取 f=1f=1f=1:

V=∫01∫01−x(1−x−y) dy dx=16.V = \int_0^1\int_0^{1-x}(1-x-y)\,dy\,dx = \frac16.V=∫01​∫01−x​(1−x−y)dydx=61​.

练习 4

把积分

∫04∫04−x∫04−x−yf(x,y,z) dz dy dx\int_0^4\int_0^{4-x}\int_0^{4-x-y} f(x,y,z)\,dz\,dy\,dx∫04​∫04−x​∫04−x−y​f(x,y,z)dzdydx

改写成最内层先对 xxx 积分、次序为 dx dz dydx\,dz\,dydxdzdy 的形式。

原区域是第一卦限内的四面体 x+y+z≤4x+y+z\le4x+y+z≤4。改为最内层对 xxx 积分后,先看 yzyzyz 投影:

0≤y≤4,0≤z≤4−y.0\le y\le4, \qquad 0\le z\le4-y.0≤y≤4,0≤z≤4−y.

固定 (y,z)(y,z)(y,z) 后,xxx 满足

0≤x≤4−y−z.0\le x\le4-y-z.0≤x≤4−y−z.

因此

∫04∫04−y∫04−y−zf(x,y,z) dx dz dy.\int_0^4\int_0^{4-y}\int_0^{4-y-z} f(x,y,z)\,dx\,dz\,dy.∫04​∫04−y​∫04−y−z​f(x,y,z)dxdzdy.

练习 5

实体的原积分为

∫−12∫x2x+2∫011 dz dy dx.\int_{-1}^{2}\int_{x^2}^{x+2}\int_0^1 1\,dz\,dy\,dx.∫−12​∫x2x+2​∫01​1dzdydx.

把它改写为 dz dx dydz\,dx\,dydzdxdy,并计算体积。

在 xyxyxy 投影中,边界是 y=x2y=x^2y=x2 与 y=x+2y=x+2y=x+2。横向观察时,上界始终是 x=yx=\sqrt yx=y​,左边界在 y=1y=1y=1 处从 x=−yx=-\sqrt yx=−y​ 换成 x=y−2x=y-2x=y−2,所以必须拆成

∫01∫−yy∫011 dz dx dy+∫14∫y−2y∫011 dz dx dy.\int_0^1\int_{-\sqrt y}^{\sqrt y}\int_0^1 1\,dz\,dx\,dy + \int_1^4\int_{y-2}^{\sqrt y}\int_0^1 1\,dz\,dx\,dy.∫01​∫−y​y​​∫01​1dzdxdy+∫14​∫y−2y​​∫01​1dzdxdy.

体积为

∫012y dy+∫14(y−y+2) dy=43+196=92.\int_0^1 2\sqrt y\,dy + \int_1^4(\sqrt y-y+2)\,dy = \frac43+\frac{19}{6} = \frac92.∫01​2y​dy+∫14​(y​−y+2)dy=34​+619​=29​.

练习 6

单位立方体 0≤x,y,z≤10\le x,y,z\le10≤x,y,z≤1 的密度为 μ(x,y,z)=2+z\mu(x,y,z)=2+zμ(x,y,z)=2+z。求质量和质心。

质量为

M=∫01∫01∫01(2+z) dz dy dx=52.M = \int_0^1\int_0^1\int_0^1(2+z)\,dz\,dy\,dx = \frac52.M=∫01​∫01​∫01​(2+z)dzdydx=25​.

区域与密度都关于 x=1/2x=1/2x=1/2、y=1/2y=1/2y=1/2 对称,因此

xˉ=12,yˉ=12.\bar x=\frac12, \qquad \bar y=\frac12.xˉ=21​,yˉ​=21​.

zzz 坐标的一阶矩为

Mxy=∫01z(2+z) dz=1+13=43.M_{xy} = \int_0^1 z(2+z)\,dz = 1+\frac13 = \frac43.Mxy​=∫01​z(2+z)dz=1+31​=34​.

所以

zˉ=4/35/2=815.\bar z = \frac{4/3}{5/2} = \frac{8}{15}.zˉ=5/24/3​=158​.

质心是

(12,12,815).\left(\frac12,\frac12,\frac{8}{15}\right).(21​,21​,158​).

练习 7

求函数

f(x,y,z)=x2+y2+z2f(x,y,z)=x^2+y^2+z^2f(x,y,z)=x2+y2+z2

在单位球体 x2+y2+z2≤1x^2+y^2+z^2\le1x2+y2+z2≤1 上的平均值。

在球坐标中,f=ρ2f=\rho^2f=ρ2,体积微元为 ρ2sin⁡ϕ dρ dϕ dθ\rho^2\sin\phi\,d\rho\,d\phi\,d\thetaρ2sinϕdρdϕdθ。函数总累积是

∭Ef dV=∫02π∫0π∫01ρ4sin⁡ϕ dρ dϕ dθ=4π5.\iiint_Ef\,dV = \int_0^{2\pi}\int_0^\pi\int_0^1 \rho^4\sin\phi\,d\rho\,d\phi\,d\theta = \frac{4\pi}{5}.∭E​fdV=∫02π​∫0π​∫01​ρ4sinϕdρdϕdθ=54π​.

单位球体体积为 4π/34\pi/34π/3,所以

favg=4π/54π/3=35.f_{\mathrm{avg}} = \frac{4\pi/5}{4\pi/3} = \frac35.favg​=4π/34π/5​=53​.

练习 8

用柱坐标求圆锥

0≤z≤2,x2+y2≤(1−z2)20\le z\le2, \qquad x^2+y^2\le\left(1-\frac z2\right)^20≤z≤2,x2+y2≤(1−2z​)2

的体积。

固定高度 zzz 后,圆锥截面半径为 1−z/21-z/21−z/2。柱坐标范围是

0≤θ≤2π,0≤z≤2,0≤r≤1−z2.0\le\theta\le2\pi, \qquad 0\le z\le2, \qquad 0\le r\le1-\frac z2.0≤θ≤2π,0≤z≤2,0≤r≤1−2z​.

因此

V=∫02∫02π∫01−z/2r dr dθ dz.V = \int_0^2\int_0^{2\pi}\int_0^{1-z/2} r\,dr\,d\theta\,dz.V=∫02​∫02π​∫01−z/2​rdrdθdz.

先积分 rrr 与 θ\thetaθ,得到截面面积:

V=π∫02(1−z2)2dz=2π3.V = \pi\int_0^2\left(1-\frac z2\right)^2dz = \frac{2\pi}{3}.V=π∫02​(1−2z​)2dz=32π​.

这也等于 13×\frac13\times31​× 底面积 π×\pi\timesπ× 高 222。

上一章极坐标中的二重积分下一章柱坐标、球坐标与空间坐标变换