数学分析 重积分(第21章)1 二重积分,格林公式,曲线积分与路线无关性,三重积分

一.二重积分
1.平面图形的面积
(1)定义:

(2)可求面积的充要条件:

定理21.1:平面有界图形$P$可求面积的充要条件是:对$\forall \epsilon >0$,总存在直线网$T$,使得$$S_P(T)-s_P(T)<\epsilon (2)$$

注:①证明方法类似于定积分中下和与上和相关性质的证明
推论:平面有界图形$P$的面积为0的充要条件是:其外面积${\bar{I}}_P=0$,即对$\forall \epsilon >0$.存在直线网$T$,使得$$S_P(T)<\epsilon$$或对$\forall \epsilon >0,P$总能被有限个面积总和小于$\epsilon$的小矩形所覆盖

(3)边界的面积:

定理21.2:平面有界图形$P$可求面积的充要条件是:$P$的边界$K$的面积为0

定理21.3:若曲线$K$为定义在$[a,b]$上的连续函数$f(x)$的图像,则曲线$K$的面积为0


推论1:参数方程$x=\phi (t),y=\psi (t)(t\in [\alpha ,\beta ])$所表示的光滑曲线$K$的面积为0

推论2:由平面上分段光滑曲线所围成的有界闭区域是可求面积的

2.二重积分的定义及存在性
(1)分割,细度,积分和:


(2)二重积分的定义:



(3)二重积分的存在性:

定理21.4:$f(x,y)$在有界,可求面积的区域$D$上可积的充要条件是:$$\underset{||T||\to 0}{\lim }S(T)=\underset{||T||\to 0}{\lim }s(T)$$

定理21.5:$f(x,y)$在有界,可求面积的区域$D$上可积的充要条件是:对$\forall \epsilon >0$,存在$D$的某个分割$T$,使得$S(T)-s(T)<\epsilon$

定理21.6:有界闭区域$D$上的连续函数必可积

定理21.7:设$f(x,y)$在有界闭区域$D$上有界,且其不连续点集$E$是零面积集,则$f(x,y)$在$D$上可积

3.二重积分的性质:

①若$f(x,y)$在区域$D$上可积,$k$为常数,则$kf(x,y)$在$D$上也可积,且$${\iint }_{D}kf(x,y)d\sigma =k{\iint }_{D}f(x,y)d\sigma$$

②若$f(x,y),g(x,y)$在区域$D$上可积,则$f(x,y)\pm g(x,y)$在$D$上也可积,且$${\iint }_D[f(x,y)\pm g(x,y)]d\sigma ={\iint }_{D}f(x,y)d\sigma \pm {\iint }_{D}g(x,y)d\sigma$$

③若$f(x,y)$在区域$D_1,D_2$上可积,且$D_1,D_2$无公共内点,则$f(x,y)$在$D_1\cup D_2$上也可积,且$${\iint }_{D_1\cup D_2}f(x,y)d\sigma ={\iint }_{D_1}f(x,y)d\sigma +{\iint }_{D_2}f(x,y)d\sigma$$

④若$f(x,y),g(x,y)$在区域$D$上可积,且$$f(x,y)\le g(x,y)((x,y)\in D)$$则$${\iint }_{D}f(x,y)d\sigma \le {\iint }_{D}g(x,y)d\sigma$$

⑤若$f(x,y)$在区域$D$上可积,则$|f(x,y)|$在$D$上也可积,且$$|{\iint }_{D}f(x,y)d\sigma |\le {\iint }_D|f(x,y)|d\sigma$$

⑥若$f(x,y)$在区域$D$上可积,且$$m\le f(x,y)\le M((x,y)\in D)$$则$$m{S}_D\le {\iint }_{D}f(x,y)d\sigma \le M{S}_d$$这里$S_D$是积分区域$D$的面积

⑦(中值定理)若$f(x,y)$在有界闭区域$D$上连续,则$\exists (\xi ,\eta )S_D$这里$S_D$是积分区域$D$的面积

4.直角坐标系下二重积分的计算
(1)矩形区域上二重积分的计算:

定理21.8:设$f(x,y)$在矩形区域$D=[a,b]\times [c,d]$上可积,且对$\forall x\in [a,b]$,积分${\int }_c^{d}f(x,y)dy$存在,则累次积分$${\int }_a^{b}dx{\int }_c^{d}f(x,y)dy$$也存在,且$${\iint }_{D}f(x,y)d\sigma ={\int }_a^{b}dx{\int }_c^{d}f(x,y)dy(1)$$

定理21.9:设$f(x,y)$在矩形区域$D=[a,b]\times [c,d]$上可积,且对$\forall y\in [c,d]$,积分${\int }_a^{b}f(x,y)dx$存在,则累次积分$${\int }_c^{d}dy{\int }_a^{b}f(x,y)dx$$也存在,且$${\iint }_{D}f(x,y)d\sigma ={\int }_c^{d}dy{\int }_a^{b}f(x,y)dx$$

特别地,当$f(x,y)$在矩形区域$D=[a,b]\times [c,d]$上连续时,有$${\iint }_{D}f(x,y)d\sigma ={\int }_a^{b}dx{\int }_c^{d}f(x,y)dy={\int }_c^{d}dy{\int }_a^{b}f(x,y)dx$$

(2)一般区域上二重积分的计算:

定理21.10:若$f(x,y)$在如(4)式所示的$x$型区域$D$上连续,其中$y_1(x),y_2(x)$在$[a,b]$上连续,则$${\iint }_{D}f(x,y)d\sigma ={\int }_a^{b}dx{\int }_{y_1(x)}^{y_2(x)}f(x,y)dy$$即二重积分可化为先对$y$后对$x$的累次积分


同理,若$D$为如(4)式所示的$y$型区域,其中$x_1(y),x_2(y)$在$[c,d]$上连续,则$${\iint }_{D}f(x,y)d\sigma ={\int }_c^{d}dy{\int }_{x_1(y)}^{x_2(y)}f(x,y)dx$$即二重积分可化为先对$x$后对$y$的累次积分

5.变量变换
(1)变量变换公式:

引理:设变换$T:x=x(u,v),y=y(u,v)$将$uv$平面上由按段光滑的封闭曲线所围成的闭区域$\Delta$一对一地映成$xy$平面上的闭区域$D$,函数$x(u,v),y(u,v)$在$\Delta$内分别具有1阶连续偏导数且它们的函数行列式$$J(u,v)=\frac{\partial (x,y)}{\partial (u,v)}\ne 0((u,v)\in \Delta )$$则区域$D$的面积$$\mu (D)={\iint }_{\Delta }|J(u,v)|dudv(5)$$



定理21.13:设$f(x,y)$在有界闭区域$D$上可积,设变换$T:x=x(u,v),y=y(u,v)$将$uv$平面上由按段光滑的封闭曲线所围成的闭区域$\Delta$一对一地映成$xy$平面上的闭区域$D$,函数$x(u,v),y(u,v)$在$\Delta$内分别具有1阶连续偏导数且它们的函数行列式$$J(u,v)=\frac{\partial (x,y)}{\partial (u,v)}\ne 0((u,v)\in \Delta )$$则$${\iint }_{D}f(x,y)dxdy={\iint }_{\Delta }f(x(u,v),y(u,v))|J(u,v)|dudv$$

(2)极坐标下二重积分的计算:

定理21.14:设$f(x,y)$满足定理21.13的条件,且在极坐标变换(8)下,$xy$平面上的有界闭区域$D$与$r\theta$平面上的区域$\Delta$对应,则成立$${\iint }_{D}f(x,y)dxdy={\iint }_{\Delta }f(rcos\theta ,rsin\theta )rdrd\theta (9)$$

将二重积分在极坐标系下化为累次积分:

二.格林公式·曲线积分与路线无关性
1.二重积分与第二型曲线积分间的联系

(1)边界曲线的正方向:



(2)格林公式(Green Formula):

定理21.11:若函数$P(x,y),Q(x,y)$在闭区域$D$上连续,且有连续的1阶偏导数,则有$${\iint }_D(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y})d\sigma ={\oint }_{L}Pdx+Qdy(1)$$这里$L$为区域$D$的边界曲线,分段光滑,并取正方向;公式(1)称为格林公式




格林公式揭示了沿闭曲线的积分和二重积分之间的联系,为便于记忆,格林公式(1)也可写成下述形式$${\iint }_D\left|\begin{array}{cc}\frac{\partial }{\partial x}& \frac{\partial }{\partial y}\\ P& Q\end{array}\right|d\sigma ={\oint }_{L}Pdx+Qdy$$应用格林公式可简化某些曲线积分的计算

2.曲线积分与路线的无关性
(1)单连通与复连通:


(2)曲线积分在什么条件下和路径无关:

定理21.12:设$D$是单连通闭区域,若函数$P(x,y),Q(x,y)$在$D$内连续,且具有1阶连续偏导数,则以下4个条件等价:
①沿$D$内任一按段光滑封闭曲线$L$,有$${\oint }_{L}Pdx+Qdy$$
②对$D$内任一按段光滑曲线$L$,曲线积分$${\int }_{L}Pdx+Qdy$$与路线无关,只与$L$的起点与终点有关
③$Pdx+Qdy$是$D$内某函数$u(x,y)$的全微分,即在$D$内有$$du=Pdx+Qdy$$
④在$D$内处处有下式成立$$\frac{\partial P}{\partial y}=\frac{\partial Q}{\partial x}$$

关于条件[$D$是单连通区域]:

(3)$Pdx+Qdy$的原函数:


三.三重积分
1.概念与性质:

注:①可仿照定义平面图形可求面积的方法建立空间立体可求体积的概念,今后总是假定$V$的边界由光滑曲面组成,以保证积分区域是可求体积的

2.将三重积分化为累次积分
(1)先一后二法:

定理21.15:若函数$f(x,y,z)$在长方体$V=[a,b]\times [c,d]\times [e,h]$上的三重积分存在,且对$\forall (x,y)\in D=[a,b]\times [c,d],g(x,y)={\int }_e^{h}f(x,y,z)dz$都存在,则积分${\iint }_{D}g(x,y)dxdy$也存在,且$${\iiint }_{V}f(x,y,z)dxdydz={\iint }_{D}dxdy{\int }_e^{h}f(x,y,z)dz$$

推论1:若 V = { ( x , y , z )   ∣   ( x , y ) ∈ D , z 1 ( x , y ) ≤ z ≤ z 2 ( x , y ) } ⊂ [ a , b ] × [ c , d ] × [ e , h ] V=\{(x,y,z)\,|\,(x,y)∈D,z_1(x,y)≤z≤z_2(x,y)\}\sub[a,b]×[c,d]×[e,h] V={(x,y,z)∣(x,y)∈D,z1​(x,y)≤z≤z2​(x,y)}⊂[a,b]×[c,d]×[e,h],其中$D$为$V$在$Oxy$平面上的投影,$z_1(x,y),z_2(x,y)$是$D$上的连续函数,函数$f(x,y,z)$在$V$上的三重积分存在,且对$\forall (x,y)\in D$,$$G(x,y)={\int }_{z_1(x,y)}^{z_2(x,y)}f(x,y,z)dz$$也存在,则积分$${\iint }_{D}G(x,y)dxdy$$存在,且$$\begin{gathered} {\iiint }_{V}f(x,y,z)dxdydz={\iint }_{D}G(x,y)dxdy \\ ={\iint }_{D}dxdy{\int }_{z_1(x,y)}^{z_2(x,y)}f(x,y,z)dz(3) \end{gathered}$$(见图21-21)

(2)先二后一法:

定理21.16:若函数$f(x,y,z)$在长方体$V=[a,b]\times [c,d]\times [e,h]$上的三重积分存在,且对$\forall z\in [e,h]$,二重积分$$I(z)={\iint }_{D}f(x,y,z)dxdy$$存在,其中$D=[a,b]\times [c,d]$,则积分$${\int }_e^{h}dz{\iint }_{D}f(x,y,z)dxdy$$也存在,且$${\iiint }_{V}f(x,y,z)dxdydz={\int }_e^{h}dz{\iint }_{D}f(x,y,z)dxdy$$
推论1:若$V\subset [a,b]\times [c,d]\times [e,h]$,函数$f(x,y,z)$在$V$上的三重积分存在,且对$\forall z\in [e,h]$,二重积分$$\phi (z)={\iint }_{D_z}f(x,y,z)dxdy$$存在,其中$D_z$是截面 { ( x , y )   ∣   ( x , y , z ) ∈ V } \{(x,y)\,|\,(x,y,z)∈V\} {(x,y)∣(x,y,z)∈V},则积分$${\int }_e^h\phi (z)dz$$也存在,且$${\iiint }_{V}f(x,y,z)dxdydz={\int }_e^h\phi (z)dz={\int }_e^{h}dz{\iint }_{D_z}f(x,y,z)dxdy$$(见图21-33)

3.三重积分换元法


(1)柱面坐标变换:


(2)球坐标变换: