重积分、面积分、体积分（简明微积分）

贡献者： addis

本文存在未完成的内容。

预备知识　定积分

1. 面积分

　　 面积分也叫二重积分，可以看做一元函数定积分的一种拓展。从几何上来理解，如果一元函数的定积分是计算一定区间内被积函数曲线与坐标轴之间的面积，那么二重积分就是计算一定二维区域内被积函数曲面与坐标轴平面之间的体积（式 1 ）。

图 1：

f (x, y)

曲面下的体积

　　对一元函数的定积分，我们需要指定积分的下限和上限，那么对于面积分，我们需要指定 $x$ - $y$ 平面上的一块定积分的区域 $S$ 。例如式 1 表示的面积分的区域就是一个正方形。与一元函数的情况相同，我们把积分区域划分成许多小长方形，每个小长方形的面积为 $Δ x_{i} Δ y_{j}$ 。把二重积分对应的体积用一个个柱体来近似，每个柱体的体积为 $Δ x_{i} Δ y_{j} f (x_{i}, y_{i})$ 其中 $(x_{i}, y_{i})$ 是长方形中任意一点。当这些小长方形趋近无穷小时，就得到了精确的体积。用双重极限表示为

\begin{matrix} (1) & V = lim_{\begin{matrix} Δ x_{i} \to 0 \\ Δ y_{j} \to 0 \end{matrix}} \sum_{i, j} f (x_{i}, y_{j}) Δ x_{i} Δ y_{j} . \end{matrix}

用积分符号可以把上式简记为

\begin{matrix} (2) & V = \iint_{S} f (x, y) d x d y, \end{matrix}

注意积分区域

S

可以是任何形状的。我们通过一个例子来说明具体如何计算面积分

例 1　抛物线下的体积

　　二元函数 $f (x, y) = x^{2} + y^{2}$ ，可以在直角坐标系 $x y z$ 代表一个抛物面。现在我们指定一个二维区域，是由 $y_{1} (x) = - x$ ， $y_{2} (x) = x$ 以及 $x = 1$ 所围成的三角形。现在我们以这个三角形为底取一个无限高的三棱柱，求三棱柱被 $f (x, y)$ 截去的有限部分的体积 $V$ 。

　　那如何计算这个积分呢？我们可以先计算任意 $x$ 处的横截面积 $S (x)$ 。这个横截面与曲面相交的曲线方程为 $f (x, y)$ （把 $x$ 看做常数， $y$ 看做变量），横截面积为

\begin{matrix} (3) & S (x) = \int_{y_{1} (x)}^{y_{2} (x)} f (x, y) d y = \frac{1}{3} [y_{2}^{3} (x) - y_{1}^{3} (x)] + x^{2} [y_{2} (x) - y_{1} (x)] = \frac{8}{3} x^{3} . \end{matrix}

现在根据一元函数定积分的定义，体积等于横截面积

S (x)

在

x

方向的定积分

\begin{matrix} (4) & V = lim_{Δ x_{i} \to 0} \sum_{i} S (x_{i}) Δ x_{i} = \int_{0}^{1} S (x) d x = \frac{2}{3} (1^{4} - 0^{4}) = \frac{2}{3} . \end{matrix}

要从定义上证明这种方法可行，我们可以把式 1 写成

\begin{matrix} (5) & V = lim_{Δ x_{i} \to 0} \sum_{i} [lim_{Δ y_{j} \to 0} \sum_{j} f (x_{i}, y_{j}) Δ y_{j}] Δ x_{i} . \end{matrix}

可见中括号内的极限就是定积分式 3 ，外面的极限就是定积分式 4 。把上式记为一条积分式就是

\begin{matrix} (6) & V = \int_{0}^{1} [\int_{y_{1} (x)}^{y_{2} (x)} f (x, y) d y] d x . \end{matrix}

另一种等效的书写方法是，把

\int d x, \int d y

看成像

d / d x, d / d y

一样的整体算符，写在被积函数前面，使公式看起来更为简洁

\begin{matrix} (7) & V = \int_{0}^{1} d x \int_{y_{1} (x)}^{y_{2} (x)} d y f (x, y) . \end{matrix}

　　总结起来，要在直角坐标系中计算二重积分，就先选取一个变量 $y$ （也可以是 $x$ ）进行定积分，积分的上下限分别是二重积分区域 $S$ 的两条边界线 $y_{1} (x)$ 和 $y_{2} (x)$ 。积分的结果中只含有 $x$ ，这时再对 $x$ 进行定积分即可。

2. 体积分

　　 体积分也叫三重积分，类比面积分不难理解其概念

例 2　不均匀物体的质量

　　一个几何体由 $x = 0, y = 0, z = 0$ 三个平面和 $x + y + z = 1$ 平面包围而成，其密度为 $f (x, y, z) = x + y + z$ ，求几何体的总质量 $M$ 。

　　用定积分的思想，我们可以延三个方向把几何体划分成许多小块 $(i, j, k)$ ，每个小块的长宽高分别为 $Δ x_{i}, Δ y_{j}, Δ z_{k}$ 。 $x_{i}, y_{j}, z_{k}$ 分别为区间 $Δ x_{i}, Δ y_{j}, Δ z_{k}$ 中的任意一点。物体的总质量可以用极限表示为

\begin{matrix} (8) & V = lim_{\begin{matrix} Δ x_{i} \to 0 \\ Δ y_{j} \to 0 \\ Δ z_{k} \to 0 \end{matrix}} \sum_{i, j, k} f (x_{i}, y_{j}, z_{k}) Δ x_{i} Δ y_{j} Δ z_{k} . \end{matrix}

用三重积分可以把这个三重极限表示为

\begin{matrix} (9) & V = ∭_{V} f (x, y, z) d x d y d z, \end{matrix}

其中

V

表示几何体所占的空间。我们先把密度函数

f (x, y, z)

沿

z

方向积分得到 “面密度”

σ (x, y)

（可以想象把几何体在

z

方向压成一个薄板后所具有的面密度关于

x, y

的函数），积分上下限分别为

z_{2} (x, y) = 1 - x - y

和

z_{1} (x, y) = 0

\begin{matrix} (10) & \begin{aligned} σ (x, y) & = \int_{0}^{1 - x - y} (x + y + z) d z \\ = (x + y) [z_{2} (x, y) - z_{1} (x, y)] + \frac{1}{2} [z_{2}^{2} (x, y) - z_{1}^{2} (x, y)] \\ = (x + y) (1 - x - y) + \frac{1}{2} (1 - x - y)^{2} \\ = \frac{1}{2} (1 - x^{2} - y^{2}) - x y . \end{aligned} \end{matrix}

再沿

y

方向积分得到 “线密度”

λ (x)

（可以想象把薄板沿

y

方向压缩成一条线后所具有的线密度关于

x

的函数），积分的上下限分别为

y_{2} (x) = 1 - x

和

y_{1} (x) = 0

\begin{matrix} (11) & \begin{aligned} λ (x) & = \int_{0}^{1 - x} σ (x, y) d y \\ = \frac{1}{2} (1 - x^{2}) (1 - x) - \frac{1}{6} (1 - x)^{3} - \frac{1}{2} x (1 - x)^{2} \\ = \frac{x^{3}}{6} - \frac{x}{2} + \frac{1}{3}, \end{aligned} \end{matrix}

最后把线密度从

1

和

0

积分得到总质量

\begin{matrix} (12) & \begin{aligned} M & = \int_{0}^{1} λ (x) d x = {[\frac{1}{24} x^{4} - \frac{1}{4} x^{2} + \frac{1}{3} x]}_{0}^{1} = \frac{1}{8} . \end{aligned} \end{matrix}

与二重积分类似，要从定义上来证明这种算法可行，就把式 8 改写成

\begin{matrix} (13) & M = lim_{Δ x_{i} \to 0} \sum_{i} [lim_{Δ y_{j} \to 0} \sum_{j} (lim_{Δ z_{k} \to 0} \sum_{k} f (x_{i}, y_{j}, z_{k}) Δ z_{k}) Δ y_{j}] Δ x_{i} . \end{matrix}

　　可见从内到外的三个极限分别为三个变量的一元定积分，即

\begin{matrix} (14) & M = \int_{0}^{1} d x \int_{0}^{1 - x} d y \int_{0}^{1 - x - y} d z f (x, y, z) . \end{matrix}

　　在柱坐标和球坐标下，函数 $f (x, y, z)$ 变为 $f (r, θ, z)$ 和 $f (r, θ, ϕ)$ ，而体积元 $d x d y d z$ 变为 $r d r d θ d z$ 式 8 和 $r^{2} \sin θ d r d θ d ϕ$ 式 9 .故三重积分式 9 在柱坐标和球坐标下分别表示为

\begin{matrix} (15) & ∭_{V} f (r, θ, z) r d r d θ d z & ∭_{V} f (r, θ, ϕ) r^{2} \sin θ d r d θ d ϕ . \end{matrix}

未完成：链接一下柱坐标，球坐标系中的面积分

重积分、面积分、体积分（简明微积分）

1. 面积分

例 1 抛物线下的体积

2. 体积分

例 2 不均匀物体的质量

例 1　抛物线下的体积

例 2　不均匀物体的质量