第十一章: 多元函数的积分
在单变量积分中,我们通过定积分研究了一个变量在区间上的累积问题,例如曲线下的面积、物体的位移等。然而,现实世界中的许多问题涉及多个变量的相互作用,例如:三维空间中不均匀物体的质量(质量密度随位置变化),平面区域上的温度分布平均值等。这些问题要求我们将积分的概念从一维推广到高维空间。重积分(Multiple Integrals)正是解决这类问题的核心工具。本章将系统学习二重积分(Double Integrals)与三重积分(Triple Integrals)的定义、计算方法及其应用。
11.1 二重积分
跟单变量积分一样, 二重积分的本质仍然是“分割-近似-求和”的极限过程.
11.1.1 二重积分的概念
我们要计算曲线 y = f(x) 在区间 [a, b] 下的面积,可以通过以下步骤实现: 将区间 [a, b] 等分为 N 个子区间,每个子区间的宽度为 \displaystyle\Delta x = \frac{b-a}{N}。通过分割得到 N 个窄矩形(小柱体),每个矩形的左端点或右端点记为 x_i(例如 x_i = a + i\Delta x).每个窄矩形的面积可近似为底边长度 \Delta x 乘以高度 f(x_i),即第 i 个矩形的面积为 \Delta x \cdot f(x_i).将所有窄矩形的面积相加,得到总面积 S_N 的近似值: \displaystyle S_N = \sum_{i=1}^N \Delta x \cdot f(x_i) 当 N \to \infty(即子区间宽度 \Delta x \to 0)时,近似值 S_N 趋近于精确面积 S: \displaystyle S = \lim_{N \to \infty} S_N = \lim_{\Delta x \to 0} S_N 最终,面积 S 可表示为定积分: S = \int_{a}^{b} f(x) \, \mathrm{d}x
如图所示,对于定义在平面区域 D 上的函数 z = f(x,y),若要计算其对应的体积或物理量(如质量、电荷量等),其思想是单变量积分在二维空间的自然推广.首先将积分区域 D 分割为 N 个面积微元 \Delta A,每个微元可近似视为一个小矩形区域,并选取其代表点 (x_i, y_i)(例如取中心点或顶点坐标).每个微元的体积可近似为底面积 \Delta A 乘以高度 f(x_i, y_i),即 \Delta A \cdot f(x_i, y_i).将所有微元的贡献叠加,得到近似总体积: \displaystyle V_N = \sum_{i=1}^N \Delta A \cdot f(x_i, y_i) 当分割无限细化(即 N \to \infty,且每个微元面积 \Delta A \to 0)时,近似值趋于精确值: \displaystyle V = \lim_{N \to \infty} V_N = \lim_{\Delta A \to 0}V_N 这一极限过程即为二重积分的定义,可表示为: V = \iint_{D} f(x,y) \, \mathrm{d}A 其中 D 是积分区域,f(x,y) 为被积函数,\mathrm{d}A 为面积元(直角坐标系中通常写作 \mathrm{d}x\mathrm{d}y).
如何计算? [图略,待补充] \displaystyle M=\sum_{i=1}^N \rho (x_i,y_i)\mathrm{d}A_i=\iint_D \rho(x,y)\mathrm{d}A
11.1.2 二重积分的计算
下面两图对应本节的 例1 与 例2,两者的被积函数都是抛物面 z = 1 - x^2 - y^2,唯一区别在于积分区域 D:
- 左图(例1) D = [0,1]\times[0,1] 是单位正方形。抛物面在 x^2+y^2 < 1 处取正值(绿色),在靠近角点 (1,1) 的区域取负值(红色). 因此 \displaystyle\iint_D (1-x^2-y^2)\,dA = \tfrac{1}{3} 代表的是带符号的体积:绿色部分算作正贡献、红色部分算作负贡献,两者相抵后的净值.
- 右图(例2) D 是第一象限的单位圆盘 \{x^2+y^2\le 1, x,y\ge 0\},恰好是抛物面保持非负的最大区域. 此时 \displaystyle\iint_D (1-x^2-y^2)\,dA = \tfrac{\pi}{8} 就是纯粹的体积:以四分之一圆盘为底、以抛物面为顶盖所围成的立体的体积.
对比两图可以看到:相同的被积函数配合不同的积分区域,几何意义会从“抵消后的净体积”变为“完整的立体体积”——这正是选择合适的 D(以及合适的坐标系)在重积分计算中的关键作用.
已知 f(x,y) = 1 - x^2 - y^2,D = \{(x,y) \mid 0 \leq x \leq 1,\ 0 \leq y \leq 1\},计算
\iint_D f(x,y)\,\mathrm{d}A.
矩形区域上,将二重积分化为累次积分,先对 x 积分(内层),再对 y 积分(外层)。
\iint_D f(x,y)\,\mathrm{d}A = \int_0^1\!\int_0^1 (1-x^2-y^2)\,\mathrm{d}x\,\mathrm{d}y.
内层积分(对 x):
\int_0^1(1-x^2-y^2)\,\mathrm{d}x = \left[x - \frac{x^3}{3} - y^2 x\right]_0^1 = \frac{2}{3} - y^2.
外层积分(对 y):
\int_0^1\left(\frac{2}{3} - y^2\right)\mathrm{d}y = \left[\frac{2}{3}y - \frac{y^3}{3}\right]_0^1 = \frac{2}{3} - \frac{1}{3} = \frac{1}{3}.
两种积分顺序结果相同(可验证先对 y 后对 x 同样得 \dfrac{1}{3})。
已知 f(x,y) = 1-x^2-y^2,D = \{(x,y) \mid x^2+y^2 \leq 1,\ x > 0,\ y > 0\},计算
\iint_D f(x,y)\,\mathrm{d}A.
在第一象限单位圆域上,将二重积分化为累次积分:y 的范围从 0 到 \sqrt{1-x^2},内层积分化简后外层用三角换元 x = \sin\theta 求解。
\iint_D f(x,y)\,\mathrm{d}A = \int_0^1\!\left[\int_0^{\sqrt{1-x^2}}(1-x^2-y^2)\,\mathrm{d}y\right]\mathrm{d}x.
内层积分(对 y):
\int_0^{\sqrt{1-x^2}}(1-x^2-y^2)\,\mathrm{d}y = \left[y - x^2 y - \frac{y^3}{3}\right]_0^{\sqrt{1-x^2}} = \frac{2}{3}(1-x^2)^{3/2}.
外层积分(对 x),令 x = \sin\theta,\mathrm{d}x = \cos\theta\,\mathrm{d}\theta:
\int_0^1 \frac{2}{3}(1-x^2)^{3/2}\,\mathrm{d}x = \frac{2}{3}\int_0^{\pi/2}\cos^4\theta\,\mathrm{d}\theta = \frac{2}{3} \cdot \frac{3\pi}{16} = \frac{\pi}{8}.
(其中 \displaystyle\int_0^{\pi/2}\cos^4\theta\,\mathrm{d}\theta = \frac{3\pi}{16} 由降幂公式得到。)
计算 \displaystyle\iint_{D} xy\,\mathrm{d}x\,\mathrm{d}y,其中积分区域 D 由直线 y = 1、x = 2 及 y = x 围成。
先画出区域 D:三角形,顶点为 (1,1),(2,1),(2,2)。选取以 x 为外积分变量时,y 从 1 到 x;以 y 为外变量时,x 从 y 到 2。
解法一:先对 y 后对 x
\iint_D xy\,\mathrm{d}x\,\mathrm{d}y = \int_1^2\!\left[\int_1^x xy\,\mathrm{d}y\right]\mathrm{d}x = \int_1^2\left[\frac{xy^2}{2}\right]_1^x\mathrm{d}x = \int_1^2\left(\frac{x^3}{2} - \frac{x}{2}\right)\mathrm{d}x = \left[\frac{x^4}{8} - \frac{x^2}{4}\right]_1^2 = \frac{9}{8}.
解法二:先对 x 后对 y
\iint_D xy\,\mathrm{d}x\,\mathrm{d}y = \int_1^2\!\left[\int_y^2 xy\,\mathrm{d}x\right]\mathrm{d}y = \int_1^2\left[\frac{x^2 y}{2}\right]_y^2\mathrm{d}y = \int_1^2\left(2y - \frac{y^3}{2}\right)\mathrm{d}y = \left[y^2 - \frac{y^4}{8}\right]_1^2 = \frac{9}{8}.
两种顺序结果一致。
可直接交换积分顺序验证结果相同,适合练习区域描述的两种表达方式。
同解法一、二,见上。
计算 \displaystyle\iint_{D} y\sqrt{1+x^2-y^2}\,\mathrm{d}\sigma,其中 D 由直线 y = x、x = -1 及 y = 1 围成的闭区域。
选取先对 y(从 x 到 1)后对 x(从 -1 到 1)的积分顺序,内层积分对 y 用凑微分法:y\,\mathrm{d}y = -\dfrac{1}{2}\mathrm{d}(1+x^2-y^2)。
\iint_D y\sqrt{1+x^2-y^2}\,\mathrm{d}x\,\mathrm{d}y = \int_{-1}^1\!\mathrm{d}x\int_x^1 y\sqrt{1+x^2-y^2}\,\mathrm{d}y.
内层积分(对 y): 令 u = 1+x^2-y^2,则 \mathrm{d}u = -2y\,\mathrm{d}y:
\int_x^1 y\sqrt{1+x^2-y^2}\,\mathrm{d}y = \left[-\frac{1}{3}(1+x^2-y^2)^{3/2}\right]_x^1 = \frac{1}{3}|x|^3 - \frac{1}{3}\cdot 0 = \frac{1}{3}|x|^3.
(当 y = 1:1+x^2-1 = x^2,(x^2)^{3/2} = |x|^3;当 y=x:1+x^2-x^2 = 1,(1)^{3/2}=1。)
\int_x^1 y\sqrt{1+x^2-y^2}\,\mathrm{d}y = \frac{1}{3}(1 - |x|^3).
外层积分(对 x,利用偶函数对称):
\int_{-1}^1 \frac{1}{3}(1-|x|^3)\,\mathrm{d}x = \frac{2}{3}\int_0^1(1-x^3)\,\mathrm{d}x = \frac{2}{3}\left[x - \frac{x^4}{4}\right]_0^1 = \frac{2}{3} \cdot \frac{3}{4} = \frac{1}{2}.
已知 f(x,y)=1-x^2-y^2,D= \{(x,y)\mid x^2+y^2\leq 1,\,x\geq 0,\,y\geq 0\},计算
\iint_D f(x,y)\,\mathrm{d}A.
区域 D 是单位圆盘在第一象限的部分,天然适合用极坐标。令 x=r\cos\theta,y=r\sin\theta,则面积元变为 \mathrm{d}A=r\,\mathrm{d}r\,\mathrm{d}\theta,积分区域变为 0\leq\theta\leq\dfrac{\pi}{2},0\leq r\leq 1。
由于面积元 \mathrm{d}A=\mathrm{d}x\mathrm{d}y=r\,\mathrm{d}r\,\mathrm{d}\theta,令 x=r\cos\theta,y=r\sin\theta,积分化为
\begin{aligned} \iint_D (1-x^2-y^2)\,\mathrm{d}x\mathrm{d}y &= \iint_D (1-r^2)\,r\,\mathrm{d}r\,\mathrm{d}\theta \\ &= \int_0^{\frac{\pi}{2}}\left[\int_0^1(1-r^2)r\,\mathrm{d}r\right]\mathrm{d}\theta \\ &= \frac{\pi}{2}\left[\frac{r^2}{2}-\frac{r^4}{4}\right]_0^1 \\ &= \frac{\pi}{2}\cdot\frac{1}{4} = \frac{\pi}{8}. \end{aligned}
11.2 多变量积分的换元法
考虑坐标变换 \begin{cases} u = u(x,y) \\ v = v(x,y) \end{cases},其全微分形式可表示为: \begin{cases} \mathrm{d}u = \frac{\partial u}{\partial x}\mathrm{d}x + \frac{\partial u}{\partial y}\mathrm{d}y \\ \mathrm{d}v = \frac{\partial v}{\partial x}\mathrm{d}x + \frac{\partial v}{\partial y}\mathrm{d}y \end{cases} 该微分系统可写成矩阵形式: \begin{bmatrix} \mathrm{d}u \\ \mathrm{d}v \end{bmatrix} = \begin{bmatrix} \frac{\partial u}{\partial x} & \frac{\partial u}{\partial y} \\ \frac{\partial v}{\partial x} & \frac{\partial v}{\partial y} \end{bmatrix} \begin{bmatrix} \mathrm{d}x \\ \mathrm{d}y \end{bmatrix} [图略,待补充] \mathrm{d}u\mathrm{d}v = J = \frac{\partial (u,v)}{\partial (x,y)} = \begin{vmatrix} \frac{\partial u}{\partial x} & \frac{\partial u}{\partial y}\\ \frac{\partial v}{\partial x} & \frac{\partial v}{\partial y} \end{vmatrix}\mathrm{d}x\mathrm{d}y = \left|\frac{\partial u}{\partial x}\frac{\partial v}{\partial y}-\frac{\partial u}{\partial y}\frac{\partial v}{\partial x}\right|\mathrm{d}x\mathrm{d}y
图:线性变换 \varphi(u,v) = (1.2u + 0.6v,\; 0.4u + 1.3v) 把 (u,v)-平面的单位正方形网格映射为 (x,y)-平面的平行四边形网格. 每个小格的面积都被放大为原来的 |J| = 1.32 倍. 两个彩色向量是像 \partial\varphi/\partial u、\partial\varphi/\partial v,它们正是所得平行四边形的两条边.
在坐标变换 (x,y) \leftrightarrow
(u,v)
中,雅可比行列式不仅描述面积元的缩放比例,更揭示了双向变换的对称性。由基本关系:
\mathrm{d}u\mathrm{d}v=\left|J\right|\mathrm{d}x\mathrm{d}y=\left|\frac{\partial
(u,v)}{\partial (x,y)}\right|\mathrm{d}x\mathrm{d}y
通过反函数定理,可得逆变换关系:
\mathrm{d}x\mathrm{d}y=\left|\frac{\partial (x,y)}{\partial
(u,v)}\right|\mathrm{d}u\mathrm{d}v
这建立了双向变换的精确对应:雅可比行列式互为倒数,即:
\left| \frac{\partial (x,y)}{\partial (u,v)} \right| = \left|
\frac{\partial (u,v)}{\partial (x,y)} \right|^{-1}
经典示例:极坐标变换
对极坐标变换 \begin{cases} x = \rho
\cos\theta \\ y = \rho \sin\theta
\end{cases},其雅可比矩阵为:
J(\rho ,\theta)=\frac{\partial (x,y)}{\partial (\rho ,\theta)}=
\begin{vmatrix}
\frac{\partial x}{\partial \rho } & \frac{\partial x}{\partial
\theta}\\
\frac{\partial y}{\partial \rho } & \frac{\partial y}{\partial
\theta}
\end{vmatrix}=
\begin{vmatrix}
\cos\theta & -\rho \sin\theta\\
\sin\theta & \rho \cos\theta
\end{vmatrix} = \rho
因此面积元变换为:
\mathrm{d}x\mathrm{d}y = \left|\rho\right|
\mathrm{d}\rho\mathrm{d}\theta = \rho
\mathrm{d}\rho\mathrm{d}\theta
矩阵互逆性的几何诠释
变换矩阵的互逆性直接体现在坐标系转换中:
\begin{bmatrix}
\frac{\partial x}{\partial u} & \frac{\partial x}{\partial v}
\\
\frac{\partial y}{\partial u} & \frac{\partial y}{\partial v}
\end{bmatrix}
\quad\text{与}\quad
\begin{bmatrix}
\frac{\partial u}{\partial x} & \frac{\partial u}{\partial y}
\\
\frac{\partial v}{\partial x} & \frac{\partial v}{\partial y}
\end{bmatrix}
这两个雅可比矩阵的乘积为单位矩阵,其行列式乘积为1。例如当
J_{uv} = 5 时,逆变换的行列式为
\displaystyle\frac{1}{5},此时:
\mathrm{d}x\mathrm{d}y = \frac{1}{5} \mathrm{d}u\mathrm{d}v
这种精确的倒数关系确保了积分在不同坐标系下计算结果的一致性,是多重积分变量替换定理的核心数学基础。
图:极坐标变换 (r,\theta)\mapsto (r\cos\theta,\, r\sin\theta). 左侧 (r,\theta)-矩形 [0,1]\times[0,\pi/2] 被等分为 5\times 6 个同样大小的小矩形;右侧映射为四分之一圆盘的极坐标网格. 每个”小矩形”的面积是 dr\,d\theta;其像的面积约为 r\,dr\,d\theta,因此靠近 r=0 的格子变得很小,靠近 r=1 的格子最大——这正是雅可比行列式 |J| = r 的几何含义.
计算广义积分
\int_{-\infty}^{+\infty}e^{-x^2}\,\mathrm{d}x.
令 I=\int_{-\infty}^{+\infty}e^{-x^2}\,\mathrm{d}x,则 I^2 可以写成关于 x,y 的二重积分,再换成极坐标计算。
令 \displaystyle I=\int_{-\infty}^{+\infty}e^{-x^2}\,\mathrm{d}x,则
I^2=\int_{-\infty}^{+\infty}\int_{-\infty}^{+\infty}e^{-(x^2+y^2)}\,\mathrm{d}x\,\mathrm{d}y.
令 x=r\cos\theta,y=r\sin\theta,则
\begin{aligned} I^2 &=\int_0^{2\pi}\int_0^{+\infty}e^{-r^2}r\,\mathrm{d}r\,\mathrm{d}\theta \\ &=\int_0^{2\pi}\mathrm{d}\theta\cdot\frac{1}{2}\int_0^{+\infty}e^{-r^2}\,\mathrm{d}(r^2) \\ &=\frac{1}{2}\int_0^{2\pi}\left[-e^{-r^2}\right]_0^{+\infty}\mathrm{d}\theta \\ &= \frac{1}{2}\cdot 2\pi\cdot 1 = \pi. \end{aligned}
故 \displaystyle\int_{-\infty}^{+\infty}e^{-x^2}\,\mathrm{d}x = \sqrt{\pi}.
11.3 重积分的应用
对于分布在平面区域 D 上的物体(如薄片),若其密度函数为 \rho(x,y),则总质量可通过二重积分计算: M = \iint_D \rho(x,y) \, \mathrm{d}\sigma 其中 \mathrm{d}\sigma 表示面积元(即直角坐标系中的 \mathrm{d}x\mathrm{d}y).当密度均匀时(\rho 为常数),总质量退化为密度与面积的乘积 M = \rho \cdot A,其中 \displaystyle A = \iint_D \mathrm{d}\sigma 为区域 D 的面积.
质心
质心是物体质量分布的加权平均位置.对于离散质点系,质心坐标 (\bar{x}, \bar{y}) 定义为: \displaystyle \bar{x} = \frac{\sum_{i=1}^n m_i x_i}{\sum_{i=1}^n m_i}, \quad \bar{y} = \frac{\sum_{i=1}^n m_i y_i}{\sum_{i=1}^n m_i} 将其推广到连续情形,则质心坐标通过二重积分表达。当密度函数为 \mu(x,y) 时: \displaystyle \bar{x} = \frac{\iint_D x \mu(x,y) \, \mathrm{d}\sigma}{\iint_D \mu(x,y) \, \mathrm{d}\sigma}, \quad \bar{y} = \frac{\iint_D y \mu(x,y) \, \mathrm{d}\sigma}{\iint_D \mu(x,y) \, \mathrm{d}\sigma}
如图所示,求
I = \iint_D r^2(\rho,\theta)\,\rho\,\mathrm{d}\rho\,\mathrm{d}\theta,
其中积分区域 D 由极坐标曲线 \rho = 2\cos\theta(\theta \in [-\pi/2, \pi/2])围成。
区域 D 为 0 \leq \rho \leq 2\cos\theta,-\pi/2 \leq \theta \leq \pi/2。这里 r^2 = \rho^2(题中 r(\rho,\theta)=\rho),先对 \rho 积分再对 \theta 积分,利用 \cos^4\theta 的降幂公式。
I = \int_{-\pi/2}^{\pi/2}\!\int_0^{2\cos\theta} \rho^3\,\mathrm{d}\rho\,\mathrm{d}\theta = \int_{-\pi/2}^{\pi/2}\left[\frac{\rho^4}{4}\right]_0^{2\cos\theta}\mathrm{d}\theta = \int_{-\pi/2}^{\pi/2} 4\cos^4\theta\,\mathrm{d}\theta.
利用偶函数对称:
I = 8\int_0^{\pi/2}\cos^4\theta\,\mathrm{d}\theta = 8 \cdot \frac{3\pi}{16} = \frac{3\pi}{2}.
(其中 \displaystyle\int_0^{\pi/2}\cos^4\theta\,\mathrm{d}\theta = \frac{3\pi}{16}。)
如图所示,求
I = \iint_D (1 + \rho^2 - 2\rho\cos\theta)\,\rho\,\mathrm{d}\rho\,\mathrm{d}\theta,
其中积分区域 D 由极坐标曲线 \rho = 2\cos\theta 围成。
区域为 0 \leq \rho \leq 2\cos\theta,-\pi/2 \leq \theta \leq \pi/2;展开被积函数后逐项积分。
I = \int_{-\pi/2}^{\pi/2}\!\int_0^{2\cos\theta}(1+\rho^2-2\rho\cos\theta)\,\rho\,\mathrm{d}\rho\,\mathrm{d}\theta = \frac{\pi}{2}.
注意 D 是以 (1,0) 为圆心、半径为 1 的圆盘(直角坐标下 (x-1)^2+y^2=1),利用直角坐标的对称性直接计算:
I = \int_0^{2\pi}\!\int_0^1 \rho^2 \cdot \rho\,\mathrm{d}\rho\,\mathrm{d}\theta.
I = \int_0^{2\pi}\!\int_0^1 \rho^3\,\mathrm{d}\rho\,\mathrm{d}\theta = 2\pi \cdot \frac{1}{4} = \frac{\pi}{2}.
对于平面区域 D 上的质量分布,若密度函数为 \mu(x,y),则系统对某点 (x_0, y_0) 的转动惯量为: I(x_0, y_0) = \iint_D \mu(x,y) \left[ (x-x_0)^2 + (y-y_0)^2 \right] \mathrm{d}x\mathrm{d}y 此式可视为质量元 \mu(x,y)\mathrm{d}x\mathrm{d}y 到参考点距离平方的加权积分.特别地,当参考点为原点时,转动惯量简化为: I = \iint_D \mu(x,y) r^2(x,y) \mathrm{d}x\mathrm{d}y \quad (r^2 = x^2 + y^2)
质心的极值特性:
质心具有重要物理性质:它是使系统转动惯量取极小值的位置.为证明这一点,对
I(x_0, y_0) 分别关于 x_0, y_0 求偏导并令其为零:
\frac{\partial I}{\partial x_0} = \iint_D 2\mu(x,y)(x_0 -
x)\mathrm{d}x\mathrm{d}y = 0 \\
\frac{\partial I}{\partial y_0} = \iint_D 2\mu(x,y)(y_0 -
y)\mathrm{d}x\mathrm{d}y = 0
由此可得方程组:
x_0 \iint_D \mu\mathrm{d}x\mathrm{d}y = \iint_D \mu
x\mathrm{d}x\mathrm{d}y \\
y_0 \iint_D \mu\mathrm{d}x\mathrm{d}y = \iint_D \mu
y\mathrm{d}x\mathrm{d}y
最终解得质心坐标为:
\displaystyle x_0 = \frac{\iint_D \mu
x\mathrm{d}x\mathrm{d}y}{\iint_D \mu\mathrm{d}x\mathrm{d}y}, \quad
y_0 = \frac{\iint_D \mu y\mathrm{d}x\mathrm{d}y}{\iint_D
\mu\mathrm{d}x\mathrm{d}y}
这与离散质点系的质心公式一致:
\displaystyle \begin{cases}
x_0 = \frac{\sum m_i x_i}{\sum m_i} & \text{(质量加权平均)}
\\
y_0 = \frac{\sum m_i y_i}{\sum m_i} & \text{(质量加权平均)}
\end{cases}
平行轴定理揭示了物体绕不同轴转动惯量之间的关系:绕任意轴的转动惯量等于绕质心轴的转动惯量加上总质量与该轴到质心距离平方的乘积。其数学推导可通过二重积分展开:
设质心坐标为 (x_c, y_c),绕点 (x_0, y_0) 的转动惯量为: \begin{aligned} I(x_0,y_0) &= \iint_D \mu \left[ (x-x_0)^2 + (y-y_0)^2 \right] \mathrm{d}x\mathrm{d}y \\ &= \iint_D \mu \left[ (x-x_c + x_c - x_0)^2 + (y-y_c + y_c - y_0)^2 \right] \mathrm{d}x\mathrm{d}y \end{aligned}
展开平方项并重组积分: \begin{aligned} &= \underbrace{\iint_D \mu \left[ (x-x_c)^2 + (y-y_c)^2 \right] \mathrm{d}x\mathrm{d}y}_{I_c \ (\text{绕质心的转动惯量})} \\ &\quad + \underbrace{\iint_D \mu \left[ (x_c - x_0)^2 + (y_c - y_0)^2 \right] \mathrm{d}x\mathrm{d}y}_{M r^2 \ (\text{总质量} \times \text{距离平方})} \\ &\quad + 2(x_c - x_0)\underbrace{\iint_D \mu (x - x_c) \mathrm{d}x\mathrm{d}y}_{0 \ (\text{质心定义})} \\ &\quad + 2(y_c - y_0)\underbrace{\iint_D \mu (y - y_c) \mathrm{d}x\mathrm{d}y}_{0 \ (\text{质心定义})} \end{aligned}
关键消去项:根据质心坐标的定义 \displaystyle x_c = \frac{1}{M}\iint_D \mu x \mathrm{d}x\mathrm{d}y,交叉项中的积分 \displaystyle\iint_D \mu(x - x_c)\mathrm{d}x\mathrm{d}y 和 \displaystyle\iint_D \mu(y - y_c)\mathrm{d}x\mathrm{d}y 必然为零。最终得到简洁形式: I(x_0, y_0) = I_c + M r^2 其中 r = \sqrt{(x_c - x_0)^2 + (y_c - y_0)^2} 为两轴间距离,\displaystyle M = \iint_D \mu \mathrm{d}x\mathrm{d}y 为总质量.
求球体 x^2 + y^2 + z^2 \leq 4a^2 被圆柱面 x^2 + y^2 = 2ax(a > 0)截得的含在圆柱面内的立体体积。
利用对称性,体积为上半部分的 4 倍:V = 4\iint_D \sqrt{4a^2-x^2-y^2}\,\mathrm{d}x\,\mathrm{d}y,其中 D 为圆柱截面在 xy 平面的投影。换极坐标:x^2+y^2=2ax 变为 \rho = 2a\cos\theta,内层对 \rho 积分用凑微分。
利用上下对称性:
V = 4\iint_D \sqrt{4a^2-x^2-y^2}\,\mathrm{d}x\,\mathrm{d}y,
其中 D: x^2+y^2 \leq 2ax,即极坐标下 0 \leq \rho \leq 2a\cos\theta,-\pi/2 \leq \theta \leq \pi/2。
V = 4\int_0^{\pi/2}\!\int_0^{2a\cos\theta}\sqrt{4a^2-\rho^2}\,\rho\,\mathrm{d}\rho\,\mathrm{d}\theta.
内层积分(令 u = 4a^2-\rho^2):
\int_0^{2a\cos\theta}\sqrt{4a^2-\rho^2}\,\rho\,\mathrm{d}\rho = \left[-\frac{1}{3}(4a^2-\rho^2)^{3/2}\right]_0^{2a\cos\theta} = \frac{8a^3}{3}(1 - \sin^3\theta).
外层积分:
V = 4\int_0^{\pi/2}\frac{8a^3}{3}(1-\sin^3\theta)\,\mathrm{d}\theta = \frac{32a^3}{3}\left[\frac{\pi}{2} - \frac{2}{3}\right] = \frac{32a^3}{3}\left(\frac{\pi}{2}-\frac{2}{3}\right).
已知椭圆 \dfrac{x^2}{a^2}+\dfrac{y^2}{b^2}=1,求椭圆的面积 \displaystyle\iint_D\mathrm{d}x\,\mathrm{d}y。
直接将椭圆区域展开为累次积分,内层对 y 积分,外层利用三角换元 x = a\sin\theta。
\iint_D\mathrm{d}x\,\mathrm{d}y = 4\int_0^a\int_0^{b\sqrt{1-x^2/a^2}}\mathrm{d}y\,\mathrm{d}x = 4\int_0^a b\sqrt{1-\frac{x^2}{a^2}}\,\mathrm{d}x.
令 x = a\sin\theta,\mathrm{d}x = a\cos\theta\,\mathrm{d}\theta:
= 4\int_0^{\pi/2} b\cos\theta \cdot a\cos\theta\,\mathrm{d}\theta = 4ab\int_0^{\pi/2}\frac{1+\cos 2\theta}{2}\,\mathrm{d}\theta = \pi ab.
用换元 x = au,y = bv 将椭圆变为单位圆,再乘以雅可比行列式 ab。
令 x = au,y = bv,则 \mathrm{d}x\,\mathrm{d}y = ab\,\mathrm{d}u\,\mathrm{d}v,椭圆变为单位圆 u^2+v^2\leq 1:
\iint_D\mathrm{d}x\,\mathrm{d}y = ab\iint_{u^2+v^2\leq 1}\mathrm{d}u\,\mathrm{d}v = ab \cdot \pi = \pi ab.
已知变量替换 u = 3x - 2y,v = x + y,求雅可比行列式 \dfrac{\partial(u,v)}{\partial(x,y)},并建立面积元素的关系式。
直接计算 2\times 2 雅可比行列式(偏导数矩阵的行列式)。
J = \frac{\partial(u,v)}{\partial(x,y)} = \begin{vmatrix} \dfrac{\partial u}{\partial x} & \dfrac{\partial u}{\partial y} \\[6pt] \dfrac{\partial v}{\partial x} & \dfrac{\partial v}{\partial y} \end{vmatrix} = \begin{vmatrix} 3 & -2 \\ 1 & 1 \end{vmatrix} = 3 \cdot 1 - (-2) \cdot 1 = 5.
因此面积元素关系为
\mathrm{d}u\,\mathrm{d}v = 5\,\mathrm{d}x\,\mathrm{d}y,
即
\iint_D \mathrm{d}x\,\mathrm{d}y = \iint_{D'} \frac{1}{5}\,\mathrm{d}u\,\mathrm{d}v,
其中 D' 是 D 在 (u,v) 坐标下对应的区域。
11.4 三重积分
计算三重积分 \displaystyle\iiint_\Omega x\,\mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z,其中 \Omega 由平面 x + 2y + z = 1 与三个坐标平面(x=0,y=0,z=0)围成。
先对 z(从 0 到 1-x-2y),再对 y(从 0 到 \frac{1-z}{2} 或 \frac{1-x}{2}),最后对 x 积分。
\iiint_\Omega x\,\mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z = \int_0^1\!\mathrm{d}z\int_0^{\frac{1-z}{2}}\!\mathrm{d}y\int_0^{1-2y-z} x\,\mathrm{d}x.
内层(对 x):
\int_0^{1-2y-z} x\,\mathrm{d}x = \frac{(1-2y-z)^2}{2}.
中层(对 y):
\int_0^{\frac{1-z}{2}} \frac{(1-2y-z)^2}{2}\,\mathrm{d}y = \frac{1}{12}(1-z)^3.
外层(对 z):
\int_0^1 \frac{(1-z)^3}{12}\,\mathrm{d}z = \frac{1}{12}\left[-\frac{(1-z)^4}{4}\right]_0^1 = \frac{1}{48}.
改变积分顺序,先对 z(从 0 到 1-x-2y),再对 y(从 0 到 \frac{1-x}{2}),最后对 x(从 0 到 1)。
\iiint_\Omega x\,\mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z = \int_0^1 x\,\mathrm{d}x\int_0^{\frac{1-x}{2}}(1-x-2y)\,\mathrm{d}y = \int_0^1 \frac{x(1-x)^2}{4}\,\mathrm{d}x = \frac{1}{48}.
利用柱面坐标计算三重积分
\iiint_\Omega z\,\mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z,
其中 \Omega 是由曲面 z = x^2+y^2 与平面 z = 4 围成的闭区域。
在柱面坐标 x = \rho\cos\theta,y = \rho\sin\theta,z = z 下,体积元 \mathrm{d}V = \rho\,\mathrm{d}\rho\,\mathrm{d}\theta\,\mathrm{d}z;区域变为 0\leq\rho\leq\sqrt{z},0\leq\theta\leq 2\pi,0\leq z\leq 4(先对 \rho 和 \theta,再对 z)。
令 x = \rho\cos\theta,y = \rho\sin\theta,则 \mathrm{d}V = \rho\,\mathrm{d}\rho\,\mathrm{d}\theta\,\mathrm{d}z。
区域在柱面坐标下:0 \leq \theta \leq 2\pi,0 \leq z \leq 4,0 \leq \rho \leq \sqrt{z}。
\iiint_\Omega z\,\mathrm{d}x\,\mathrm{d}y\,\mathrm{d}z = \int_0^4\!\mathrm{d}z\int_0^{2\pi}\!\mathrm{d}\theta\int_0^{\sqrt{z}} z\rho\,\mathrm{d}\rho = \int_0^4\!\mathrm{d}z\int_0^{2\pi}\frac{z^2}{2}\,\mathrm{d}\theta = \int_0^4 \pi z^2\,\mathrm{d}z = \pi\left[\frac{z^3}{3}\right]_0^4 = \frac{64\pi}{3}.