重积分知识点整理

二重积分的概念与性质

二重积分的概念

定义：

  设$f(x,y)$是有界闭区域$D$上的有界函数。将$D$任意分成$n$个小闭区域$\Delta {\sigma }_1$，$\Delta {\sigma }_2$，···，$\Delta {\sigma }_n$，仍用这些符号表示它们的面积。在$\Delta {\sigma }_i$上任取一点$({\xi }_i,{\eta }_i)$，作乘积$f({\xi }_i,{\eta }_i)\Delta {\sigma }_i(i=1,2,\cdot \cdot \cdot ,n)$，并作和$$S_n=\sum _{i=1}^{n}f({\xi }_i,{\eta }_i)\Delta {\sigma }_i$$
记 λ = max ⁡ 1 ≤ i ≤ n { Δ σ i \lambda=\mathop{\max}\limits_{1\le i\le n}\{\Delta\sigma_i λ=1≤i≤nmax​{Δσi​的直径$\}$($\Delta {\sigma }_i$的直径指的是其上最远两点间的距离)，如果极限$$\underset{\lambda \to 0}{\lim }\sum _{i=1}^{n}f({\xi }_i,{\eta }_i)\Delta {\sigma }_i$$的存在与$D$的分法和$({\xi }_i,{\eta }_i)$的取法无关，则称函数$f(x,y)$在闭区域$D$上可积，称此极限为$f(x,y)$在闭区域$D$上的二重积分，记为$\underset{D}{\iint }f(x,y)d\sigma$，即$$\underset{D}{\iint }f(x,y)d\sigma =\underset{\lambda \to 0}{\lim }\sum _{i=1}^{n}f({\xi }_i,{\eta }_i)\Delta {\sigma }_i$$，称$f(x,y)$为被积函数，$f(x,y)d\sigma$为被积表达式，$d\sigma$为面积微元，$x$，$y$为积分变量，$D$为积分区域，$S_n$为积分和。
关于二重积分的存在性，我们不加证明的使用：若函数$f(x,y)$在有界闭区域$D$上连续，则$f(x,y)$在$D$上的二重积分存在。【注意$f$的连续性是二重积分存在的一个充分条件而不是必要条件】

二重积分的性质

性质1（线性性质）

1. 若$f(x,y)$和$g(x,y)$在$D$上可积，则$f(x,y)\pm g(x,y)$在$D$上可积，且$$\underset{D}{\iint }\left[f(x,y)\pm g(x,y)\right]d\sigma =\underset{D}{\iint }f(x,y)d\sigma \pm \underset{D}{\iint }g(x,y)d\sigma$$
2. 若$f(x,y)$在$D$上可积，则$kf(x,y)$在$D$上可积，且$$\underset{D}{\iint }kf(x,y)d\sigma =k\underset{D}{\iint }f(x,y)d\sigma$$

性质2（对积分区域的可加性）

设$f(x,y)$在$D$上可积。若将$D$分为两个区域$D_1$和$D_2$，则$$\underset{D}{\iint }f(x,y)d\sigma =\underset{D_1}{\iint }f(x,y)d\sigma +\underset{D_2}{\iint }f(x,y)d\sigma$$

性质3

设在有界闭区域$D$上恒有$f(x,y)\equiv 1$，则$$\underset{D}{\iint }1d\sigma =\underset{D}{\iint }d\sigma =S_D$$

性质4

若$f(x,y)$在$D$上可积，且$f(x,y)\ge 0$，则$$\underset{D}{\iint }f(x,y)d\sigma \ge 0$$

推论（比较性质）

若$f(x,y)$和$g(x,y)$在$D$上可积，且$f(x,y)\le g(x,y)$，则$$\underset{D}{\iint }f(x,y)d\sigma \le \underset{D}{\iint }g(x,y)d\sigma$$

性质 5

若$f(x,y)$在$D$上可积，则$|f(x,y)|$在$D$上可积，且有$$\left|\underset{D}{\iint }f(x,y)d\sigma \right|\le \underset{D}{\iint }|f(x,y)|d\sigma$$

性质 6（估值性质）

设$f(x,y)$在$D$上可积，且$M$，$m$分别为$f(x,y)$在$D$上的最大值和最小值，则$$m{S}_D\le \underset{D}{\iint }f(x,y)d\sigma \le M{S}_D$$

性质 7（中值定理）

设$f(x,y)$在闭区域$D$上连续，则至少存在一点$(\xi ,\eta )\in D$，使得$$\underset{D}{\iint }f(x,y)d\sigma =f(\xi ,\eta )S_D$$称为二重积分中值公式。将上式改写为$$f(\xi ,\eta )=\frac{1}{S_D}\underset{D}{\iint }f(x,y)d\sigma$$称为$f(x,y)$在$D$上的平均值公式，称KaTeX parse error: Undefined control sequence: \si at position 3: f(\̲s̲i̲,\eta)为$f(x,y)$在$D$上的平均值。

二重积分的对称性

设以下二重积分均存在

1. 若积分区域$D$关于$y$轴对称，$D_1$为$D$在$y$轴以右的部分，则$$\underset{D}{\iint }f(x,y)d\sigma =\{\begin{array}{rcl}2\underset{D_1}{\iint }f(x,y)d\sigma & & 当f(-x,y)=f(x,y)\\ 0& & 当f(-x,y)=-f(x,y)\end{array}$$
2. 若积分区域$D$关于$x$轴对称，$D_1$为$D$在$x$轴以上的部分，则$$\underset{D}{\iint }f(x,y)d\sigma =\{\begin{array}{rcl}2\underset{D_1}{\iint }f(x,y)d\sigma & & 当f(x,-y)=f(x,y)\\ 0& & 当f(x,-y)=-f(x,y)\end{array}$$
3. 若积分区域$D$具有轮换对称性，即$x$，$y$互换，$D$不变（即$D$关于直线$y=x$对称），则$$\underset{D}{\iint }f(x,y)d\sigma =\underset{D}{\iint }f(y,x)d\sigma =\frac{1}{2}\left[\underset{D}{\iint }f(x,y)d\sigma +\underset{D}{\iint }f(y,x)d\sigma \right]$$

二重积分的计算

利用直角坐标系计算二重积分

富比尼定理（Fubini）定理

$x-$型区域上二重积分化为“先$y$，后$x$”的二次积分：

  设$f(x,y)$在区域$D$：$y_1(x)\le y\le y_2(x)$，$a\le x\le b$上的二重积分存在，且对每个$x\in [a,b]$，积分${\int }_{y_1(x)}^{y_2(x)}f(x,y)dy$都存在，则$$\underset{D}{\iint }f(x,y)dxdy={\int }_a^b\left[{\int }_{y_1(x)}^{y_2(x)}f(x,y)dy\right]dx\triangleq {\int }_a^{b}dx{\int }_{y_1(x)}^{y_{2}x}f(x,y)dy$$

$y-$型区域上二重积分化为“先$x$，后$y$”的二次积分：

  设$f(x,y)$在区域$D$：$x_1(y)\le y\le x_2(y)$，$c\le y\le d$上的二重积分存在，且对每个$y\in [c,d]$，积分${\int }_{x_1(y)}^{x_2(y)}f(x,y)dx$都存在，则$$\underset{D}{\iint }f(x,y)dxdy={\int }_c^d\left[{\int }_{x_1(y)}^{x_2(y)}f(x,y)dx\right]dy\triangleq {\int }_a^{b}dy{\int }_{y_1(x)}^{y_{2}x}f(x,y)dx$$

利用极坐标计算二重积分

直角坐标系下二重积分与极坐标系下二重积分的转化公式：$$\underset{D}{\iint }f(x,y)dxdy=\underset{D^{\prime }}{\iint }f(r\cos \theta ,r\sin \theta )rdrd\theta$$

三重积分的概念与性质

定义：

  设函数$f(x,y,z)$在空间有界闭区域$\Omega$上有界，将$\Omega$任意分成$n$个小闭区域$\Delta V_1$,$\Delta V_2$,···,$\Delta V_n$（并用它们表示对应的体积）。在每个小闭区域$\Delta V_i$上任取一点$({\xi }_i,{\eta }_i,{\zeta }_i)$，作和式$$\sum _{i=0}^{n}f({\xi }_i,{\eta }_i)\Delta {\sigma }_i$$如果当各小闭区域直径中的最大值$\lambda$趋于0时，这个和式的极限的存在与对$\Omega$分法及点$({\xi }_i,{\eta }_i,{\zeta }_i)$的取法无关，则称函数$f(x,y,z)$在$\Omega$上可积，称此极限为函数$f(x,y,z)$在区域$\Omega$上的三重积分，记为$$\underset{\Omega }{\iiint }f(x,y,z)dV$$即$$\underset{\Omega }{\iiint }f(x,y,z)dV=\underset{\lambda \to 0}{\lim }\sum _{i=1}^{n}f({\xi }_i,{\eta }_i,{\zeta }_i)\Delta V_i$$称式中$f(x,y,z)$为被积函数，$f(x,y,z)dV$为被积表达式，$dV$为体积微元，$x$，$y$，$z$为积分变量，$\Omega$为积分区域。
如果在空间直角坐标系中用平行于坐标面的平面族来划分$\Omega$，则区域$\Omega$内部的体积微元$dV=dxdydz$,所以三重积分在空间直角坐标系中通常又可记为$$\underset{\Omega }{\iiint }f(x,y,z)dxdydz$$但仍应将$dxdydz$理解为体积元素$dV$ 。
三重积分有着于二重积分完全类似的存在性、基本性质和对称性。

利用柱面坐标系计算三重积分

定义 柱坐标：

  空间一点$P$的柱坐标是由有序三元数组$(r,\theta ,z)$表示的，其中

1. $r$与$\theta$是$P$在$xy$平面上投影点的极坐标
2. $z$是直角坐标系的竖坐标

直角坐标$(x,y,z)$和极坐标$(r,\theta ,z)$的关系等式

$x=r\cos \theta$，$y=r\sin \theta$,$z=z$,
$r^2=x^2+y^2$，$\tan \theta =\frac{y}{x}$
如果直角坐标系下的三重积分区域化为
$${\Omega }^{\prime }:z_1(r\cos \theta ,r\sin \theta )\le z\le z_2(r\cos \theta ,r\sin \theta )$$
$$D^{\prime }:\{\begin{array}{ll}{r}_1(\theta )\le r\le r_2(\theta )& \\ \alpha \le \theta \le \beta & \end{array}$$
化为三次积分公式
$$\underset{\Omega }{\iiint }f(x,y,z)dxdydz={\int }_{\alpha }^{\beta }d\theta {\int }_{r_1(\theta )}^{r_2(\theta )}rdr{\int }_{z_1(r\cos \theta ,r\sin \theta )}^{z_2(r\cos \theta ,r\sin \theta )}f(r\cos \theta ,r\sin \theta ,z)dz$$

利用球面坐标系计算三重积分

定义 球坐标

  空间一点$P$的球坐标由有序三元数组$(\rho ,\phi ,\theta )$表示，其中

1. $\rho$为点$P$到原点的距离
2. $\phi$为$\overrightarrow{OP}$ 与$z$轴正向所成角$(0\le \phi \le \pi )$
3. $\theta$为柱坐标中的角
   不同的教材中$\rho$会用$r$表示，请注意区分

球坐标与直角坐标和柱坐标的关系式：

$r=\rho \sin \phi$，$x=r\cos \theta =\rho \sin \phi \cos \theta$
$z=\rho \cos \phi$，$y=r\sin \theta =\rho \sin \phi \sin \theta$
$\rho =\sqrt{x^2+y^2+z^2}=\sqrt{r^2+z^2}$
在直角坐标系下表示的三重积分化为球面坐标系下的三重积分：
$$\underset{\Omega }{\iiint }f(x,y,z)dV=\underset{{\Omega }^{\prime }}{\iiint }f(r\sin \phi ,r\sin \phi ,r\cos \phi )r^{2}dr\sin \phi drd\phi d\theta$$
${\Omega }^{\prime }$是$\Omega$在球坐标不等式组描述下的空间区域。