Mathematical Analysis 24 Spring Final

含参量积分

含参量正常积分

含参量积分本质上就是一种偏积分, 一个二元函数的含参量积分就是把一个变量看作常数, 然后对另一个变量积分

设$f(x)$为定义在区域$G=\left\{(x,y)\mid c(x)\le y\le d(x)\right\}$上的二元函数, 其中$c(x),d(x)$是定义在$[a,b]$上的连续函数, 若对于$[a,b]$上的每一个点$x$, $f(x,y)$作为$y$的函数在$[c(x),d(x)]$上可积, 则其积分值可表示为

$$F(x)={\int }_{c(x)}^{d(x)}f(x,y)\mathrm{d}y,x\in [a,b]$$

这个$F(x)$被称为在$[a,b]$上含参量$x$的（正常）积分

含参量积分保持连续性, 也就是说如果上面的被积分函数$f(x,y)$连续, 那么其偏积分$F(x)$也是连续的

含参量积分保持可微性, 也就是说如果上面的被积分函数$f(x,y)$可微, 那么其偏积分$F(x)$也是可微的, 特别地, 我们可以给出$F(x)$的微分（因为是单元函数, 所以也就是导数）

$$\begin{array}{rl}F(x)& =H(x,c,d)={\int }_{c(x)}^{d(x)}f(x,y)\mathrm{d}y\\ ⟹F^{\prime }(x)& =\frac{\partial H}{\partial x}+\frac{\partial H}{\partial c}\frac{\mathrm{d}c}{\mathrm{d}x}+\frac{\partial H}{\partial d}\frac{\mathrm{d}d}{\mathrm{d}x}\end{array}$$

其中第一项中由于$x$不是积分变量, 所以可以直接求导

$$\frac{\partial H}{\partial x}={\int }_{c(x)}^{d(x)}{f}_x(x,y)\mathrm{d}y$$

对于第二项和第三项, 我们回忆变上限积分函数的导数

$$\frac{\mathrm{d}}{\mathrm{d}x}\left({\int }_{u(x)}^{v(x)}f(t)\mathrm{d}t\right)=\frac{\mathrm{d}}{\mathrm{d}x}\left(\mathcal{F}(v)-\mathcal{F}(u)\right)=\frac{\mathrm{d}\mathcal{F}}{\mathrm{d}v}\frac{\mathrm{d}v}{\mathrm{d}x}-\frac{\mathrm{d}\mathcal{F}}{\mathrm{d}u}\frac{\mathrm{d}u}{\mathrm{d}x}=f(v)v^{\prime }(x)-f(u)u^{\prime }(x)$$

其中$\mathcal{F}$是$f$的原函数, 于是我们有

$$\begin{array}{rl}\frac{\partial H}{\partial c}& =f(x,d(x))\cdot 0-f(x,c(x))\cdot 1=-f(x,c(x))\\ \frac{\partial H}{\partial d}& =f(x,d(x))\cdot 1-f(x,c(x))\cdot 0=f(x,d(x))\end{array}$$

故有

$$F^{\prime }(x)={\int }_{c(x)}^{d(x)}{f}_x(x,y)\mathrm{d}y-f(x,c(x))c^{\prime }(x)+f(x,d(x))d^{\prime }(x)$$

含参量积分也保持可积性, 且对于连续函数有

$${\int }_a^b\left[{\int }_c^{d}f(x,y)\mathrm{d}y\right]\mathrm{d}x={\int }_c^d\left[{\int }_a^{b}f(x,y)\mathrm{d}x\right]\mathrm{d}y$$

所以我们可以将其统一写成

$${\int }_c^d{\int }_a^{b}f(x,y)\mathrm{d}x\mathrm{d}y$$

这是计算二重积分的基础

利用保持可微性来简化计算

要求$\underset{\alpha \to 0}{\lim }{\int }_{\alpha }^{1-\alpha }\frac{\mathrm{d}x}{1+x^2+{\alpha }^2}$, 由于被积分函数连续, 所以

$$\text{原式}={\int }_0^1\frac{\mathrm{d}x}{1+x^2}=\frac{\pi }{4}$$

利用含参量积分可交换性来计算积分

求$I={\int }_0^1\frac{x^b-x^a}{\ln x}\mathrm{d}x$, 我们需要观察到被积函数$\frac{x^b-x^a}{\ln x}={\int }_a^b{x}^y\mathrm{d}y$, 从而

$$I={\int }_0^1{\int }_a^b{x}^y\mathrm{d}y\mathrm{d}x={\int }_a^b{\int }_0^1{x}^y\mathrm{d}x\mathrm{d}y={\int }_a^b\frac{\mathrm{d}y}{y+1}=\ln \frac{1+b}{1+a}$$

引入参量来计算积分

求$I={\int }_0^1\frac{\ln (1+x)}{1+x^2}\mathrm{d}x$, 则考虑含参量积分$\varphi (\alpha )={\int }_0^1\frac{\ln (1+\alpha x)}{1+x^2}\mathrm{d}x$, 则有

$${\varphi }^{\prime }(\alpha )={\int }_0^1\frac{x}{(1+x^2)(1+\alpha x)}\mathrm{d}x$$

这是一个有理函数积分, 我们通过待定系数法或者直接观察可以得到

$$\frac{x}{(1+x^2)(1+\alpha x)}=\frac{1}{1+{\alpha }^2}\left(\frac{x}{1+x^2}+\frac{\alpha }{1+x^2}-\frac{\alpha }{1+\alpha x}\right)$$

其中

$$\begin{array}{c}{\int }_0^1\frac{x}{1+x^2}\mathrm{d}x=\frac{1}{2}{\int }_0^1\frac{\mathrm{d}(1+x^2)}{1+x^2}=\frac{1}{2}\ln 2\\ {\int }_0^1\frac{\alpha }{1+x^2}\mathrm{d}x=\alpha \left(\arctan 1-\arctan 0\right)=\frac{\alpha \pi }{4}\\ {\int }_0^1\frac{\alpha }{1+\alpha x}\mathrm{d}x=\ln (1+\alpha )\end{array}$$

故有

$${\varphi }^{\prime }(x)=\frac{1}{1+{\alpha }^2}\left[\frac{1}{2}\ln 2+\frac{\alpha \pi }{4}-\ln (1+\alpha )\right]$$

其中第三项的积分正是我们需要的, 所以计算

$${\int }_0^1{\varphi }^{\prime }(\alpha )\mathrm{d}\alpha =\frac{\pi }{8}\ln 2+\frac{\pi }{8}\ln 2-\varphi (1)$$

且${\int }_0^1{\varphi }^{\prime }(\alpha )\mathrm{d}\alpha =\varphi (1)-\varphi (0)=\varphi (1)$, 故有$I=\varphi (1)=\frac{\pi }{8}\ln 2$

这里的主要思想是引入参数$\to$微分$\to$积分$\to$再积分:

1. 因为$\ln (\cdot )$这样的函数积分教我困难, 所以我们希望在其变量中引入参量, 方面我们之后微分后把它转化为有理函数积分
2. 在给被积函数引入参量后, 我们对其求导(微分), 把它变成形式更简单的有理函数；虽然实质上如果整个有理函数再积回去和原先的函数的积分难度是相当的, 但我们利用有理函数的性质我们可以方便地把原函数中容易积分的部分拆分出来, 使原函数的积分问题得到简化
3. 之后对这些拆出来的部分分别积分, 简单的部分可以直接求出, 困难的部分可以化成和原函数有关的形式
4. 最后我们对这些参量再次积分, 结合参量的边界条件, 就可以给出最后的答案

这种方法被称为Feynman积分法 另一个经典的题目是求$I={\int }_0^{\pi /2}\ln (a^2{\cos }^{2}x+b^2{\sin }^{2}x)\mathrm{d}x$, 这里面已经有两个参量, 我们把其中的$\alpha$当作参量, 然后求导有

$$\begin{array}{rl}{I}^{\prime }(a)& ={\int }_0^{\pi /2}\frac{2a{\cos }^{2}x}{a^2{\cos }^{2}x+b^2{\sin }^{2}x}\mathrm{d}x\\ & =2a{\int }_0^{\pi /2}\frac{\mathrm{d}(\tan x)}{(a^2+b^2{\tan }^{2}x)(1+{\tan }^{2}x)}\end{array}$$

这又是一个关于$\tan x$的有理函数积分, 其积分结果为$I^{\prime }(a)=\frac{\pi }{a+b}$, 我们再次积分

$$I(a)-I(C)={\int }_C^a\frac{\pi \mathrm{d}a}{a+b}=\pi \ln \frac{a+b}{C+b}$$

这里我们发现$C=b$时原积分$I(b)={\int }_0^{\pi /2}\ln (b^2)\mathrm{d}x=\pi \ln b$, 此时就有

$$I=\pi \ln \frac{a+b}{b+b}+\pi \ln b=\pi \ln \frac{a+b}{2}$$

含参量反常积分

若对$\forall x\in I$, 反常积分

$$\Phi (x)={\int }_c^{\infty }f(x,y)\mathrm{d}y$$

都收敛, 我们就称$\Phi (x)$为含参量$x$的反常积分

若对任给的$\epsilon >0$, 总存在一个与$x$无关的实数$N>c$使得当$M>N$时, 对一切$x\in I$都有

$$\left|{\int }_c^{M}f(x,y)\mathrm{d}y-\Phi (x)\right|<\epsilon$$

即

$$\left|{\int }_M^{\infty }f(x,y)\mathrm{d}y\right|<\epsilon$$

则称这个含参量反常积分在$I$上一致收敛于$\Phi (x)$

这就是把参量类比为函数项级数的自变量$x$, 积分上限类比为函数项级数的项数$n$, 其实就是把离散求和转化成了积分

由此, 我们也可以给出一致收敛的Cauchy准则 对任给的$\epsilon >0$, 总存在某一实数$M>c$使得当$A_1,A_2>M$时, 对一切$x\in I$都有

$$\left|{\int }_{A_1}^{A_2}f(x,y)\mathrm{d}y\right|<\epsilon$$

同样地, 也有等价条件

$$\underset{A\to \infty }{\lim }\underset{x\in I}{\sup }\left|\Phi (\infty )-\Phi (A)\right|=\underset{A\to \infty }{\lim }\underset{x\in I}{\sup }\left|{\int }_A^{\infty }f(x,y)\mathrm{d}y\right|=0$$

Cauchy准则的否定是, 存在${\epsilon }_0>0$, 对任意实数$M>c$, 总能找到$A_1,A_2>M$和某个数$x^{\ast }$满足

$$\left|{\int }_{A_1}^{A_2}f(x^{\ast },y)\mathrm{d}y\right|\ge {\epsilon }_0$$

若对任意$[a,b]\subset I$, 含参量反常积分在$[a,b]$上一致收敛, 则称该含参量反常积分在$I$上内闭一致收敛.

一个不一致收敛但是内闭一致收敛的例子是在$(0,+\infty )$上的含参量反常积分

$${\int }_0^{\infty }\frac{\sin xy}{y}\mathrm{d}y$$

这是因为在$x^{\ast }$靠近$0$的时候, 有

$${\int }_{A_1}^{A_2}\frac{\sin x^{\ast }y}{y}\mathrm{d}y=x^{\ast }{\int }_{A_1}^{A_2}\frac{\mathrm{d}y}{y}=x^{\ast }\ln \frac{A_2}{A_1}$$

可以取到大于$0$的数

大$M$判别法

设有函数$g(y)$使得

$$\left|f(x,y)\right|\le g(y),(x,y)\in I\times [c,+\infty )$$

则若${\int }_c^{\infty }g(y)\mathrm{d}y$收敛, 那么${\int }_c^{\infty }f(x,y)\mathrm{d}y$在$I$上一致收敛

Dirichlet 判别法

1. 对一切实数$N>c$, 含参量正常积分${\int }_c^{N}f(x,y)\mathrm{d}y$, 对参量$x$在$I$上一致有界, 也就是说存在正数$M$使得对一切$N>c,x\in I$都有

$$\left|{\int }_c^{N}f(x,y)\mathrm{d}y\right|<M$$

2. 对于每一个$x\in I$, 函数$g(x,y)$作为$y$的单调函数, 且当$y\to +\infty$时, 对参量$x$一致收敛于$0$

则含参量反常积分

$${\int }_c^{+\infty }f(x,y)g(x,y)\mathrm{d}y$$

在$I$上一致收敛

Abel 判别法

1. ${\int }_c^{\infty }f(x,y)\mathrm{d}y$在$I$上一致收敛
2. 对每一个$x\in I$, 函数$g(x,y)$是$y$的单调函数, 且对参量$x$在$I$上一致有界 则含参量反常积分

$${\int }_c^{+\infty }f(x,y)g(x,y)\mathrm{d}y$$

在$I$上一致收敛

总结

• 大M: 通过放缩把参量$x$干掉
• Abel: 一致收敛+单调一致有界
• Dirichlet: 一致有界 + 单调且在非参量趋于正无穷时一致收敛至$0$

含参量反常积分的判定实例

积分${\int }_0^{+\infty }\frac{\cos xy}{1+x^2}\mathrm{d}x$在$\mathbb{R}$上一致收敛, 这是因为

$${\int }_0^{+\infty }\frac{\cos xy}{1+x^2}\mathrm{d}x\le {\int }_0^{+\infty }\frac{\mathrm{d}x}{1+x^2}=\frac{\pi }{2}$$

积分${\int }_0^{+\infty }\exp (-xy)\frac{\sin x}{x}\mathrm{d}x$在$[0,+\infty )$上一致收敛, 这是因为反常积分${\int }_0^{+\infty }\frac{\sin x}{x}\mathrm{d}x$一致收敛（由Dirichlet判别法, $\sin x$是有界的且$\frac{1}{x}$单调趋于$0$）, 且$\exp (-xy)$在$y\text{t}\oplus \infty$对$\forall x\in [0,+\infty )$单调收敛至$0$, 故根据Abel判别法得证

注意这里不能通过${\int }_0^{+\infty }\exp (-xy)\sin x\mathrm{d}x\le {\int }_0^{+\infty }\exp (-xy)\mathrm{d}x$一致有界且$\frac{1}{x}$单调趋于$0$来证明, 这是因为当$y=0$时${\int }_0^{+\infty }\exp (-xy)\mathrm{d}x$是无界的

积分${\int }_1^{+\infty }\frac{y\sin xy}{1+y^2}\mathrm{d}y$在${\mathbb{R}}^{+}$上内闭一致收敛, 这是因为考虑任意区间$[a,b]\subset (0,+\infty )$, 对$\forall x\in [a,b]$, 有

$$\left|{\int }_a^b\sin xy\mathrm{d}y\right|=\left|-\frac{\cos xy}{x}\right|{|}_a^b\le \frac{2}{a}$$

故${\int }_1^{+\infty }\sin xy\mathrm{d}y$一致有界. 而$\frac{y}{1+y^2}$在$y\to +\infty$时单调趋于$0$, 故得证

同样的, 如果$x$能取到$0$, 这个含参量反常积分就不能一致收敛

含参量反常积分的计算

要求$J={\int }_0^{+\infty }\exp (-px)\frac{\sin bx-\sin ax}{x}\mathrm{d}x(p>0,b>a)$, 首先注意到

$$\frac{\sin bx-\sin ax}{x}={\int }_a^b\cos xy\mathrm{d}y$$

故$J={\int }_0^{+\infty }\exp (-px)\left({\int }_a^b\cos xy\mathrm{d}y\right)\mathrm{d}x={\int }_0^{+\infty }\mathrm{d}x{\int }_a^b\exp (-px)\cos xy\mathrm{d}y$, 这里我们希望调换积分顺序, 首先需要证明该反常积分一致收敛, 注意到$\left|\exp (-px)\cos xy\right|\le \exp (-px)$且反常积分${\int }_0^{+\infty }\exp (-px)\mathrm{d}x$是收敛的, 故由大M判别法整个反常积分收敛, 于是$J={\int }_a^b\mathrm{d}y{\int }_0^{+\infty }\exp (-px)\cos xy\mathrm{d}x=\arctan \frac{b}{p}-\arctan \frac{a}{p}$

要计算${\int }_0^{+\infty }\frac{\sin ax}{x}\mathrm{d}x$, 也可以引入参量$b=0$使得

$${\int }_0^{+\infty }\frac{\sin ax}{x}\mathrm{d}x={\int }_0^{+\infty }\frac{\sin ax-\sin bx}{x}\mathrm{d}x={\int }_0^{+\infty }\left({\int }_b^a\cos xy\mathrm{d}y\right)\mathrm{d}x$$

我们发现这里${\int }_0^{+\infty }\cos xy\mathrm{d}y$不收敛, 没法积分换序, 所以必须得参照上一问的方式引入函数$\exp (-px)$, 在上题中令$b=0$, 则有

$${\int }_0^{+\infty }\exp (-px)\frac{\sin ax}{x}\mathrm{d}x=\arctan \frac{a}{p}(p>0)$$

其中${\int }_0^{+\infty }\exp (-px)\sin ax\mathrm{d}x\le {\int }_0^{+\infty }\exp (-px)\mathrm{d}x$一致收敛且$\frac{1}{x}$单调趋于$0$, 所以整个积分一致收敛, 含参反常积分具有连续性, 且

$$\begin{array}{rl}{\int }_0^{+\infty }\frac{\sin ax}{x}\mathrm{d}x& ={\int }_0^{+\infty }\left(\underset{p\to 0}{\lim }\exp (-px)\frac{\sin ax}{x}\right)\mathrm{d}x=\underset{p\to 0}{\lim }\left({\int }_0^{+\infty }\exp (-px)\frac{\sin ax}{x}\mathrm{d}x\right)\\ & =\underset{p\to 0}{\lim }\left(\arctan \frac{a}{p}\right)(p>0)=\frac{\pi }{2}\mathrm{sgn}(a)\end{array}$$

计算$\varphi (r)={\int }_0^{+\infty }\exp (-x^2)\cos (rx)\mathrm{d}x$, 由于$\exp (-x^2)\cos (rx)\le \exp (-x^2)$且${\int }_0^{+\infty }\exp (-x^2)\mathrm{d}x=\frac{\sqrt{\pi }}{2}$一致收敛, 故可以采用Feynman判别法, 对参量求导

$${\varphi }^{\prime }(r)={\int }_0^{+\infty }-x\exp (-x^2)\sin (rx)\mathrm{d}x$$

由于

$$\begin{array}{ccc}\sin (rx)& \to & r\cos (rx)\\ -x\exp (-x^2)& \to & \frac{1}{2}\exp (-x^2)\end{array}$$

故可以展开为分部积分

$$\begin{array}{rl}{\varphi }^{\prime }(r)& =1\cdot \frac{1}{2}\sin (rx)\exp (-x^2){|}_0^{+\infty }+(-1)\cdot {\int }_0^{+\infty }\frac{r}{2}\cos (rx)\exp (-x^2)\mathrm{d}x\\ & =-\frac{r}{2}\varphi (r)\end{array}$$

于是$\frac{\mathrm{d}\varphi }{\varphi }=-\frac{r}{2}\mathrm{d}r⟹\varphi (r)=C\exp (-\frac{r^2}{4})$, 又注意到$C=\varphi (0)={\int }_0^{+\infty }\exp (-x^2)\mathrm{d}x=\frac{\sqrt{\pi }}{2}$, 于是$\varphi (r)=\frac{\sqrt{\pi }}{2}\exp (-\frac{r^2}{4})$

欧拉积分

定义$\Gamma$函数

$$\Gamma (s)={\int }_0^{+\infty }{x}^{s-1}{e}^{-x}\mathrm{d}x$$

$\Gamma (s)$在${\mathbb{R}}^{+}$上收敛, 规定其定义域为$s>0$

1. $\Gamma (s)$在$(0,+\infty )$上连续可导

$$\begin{array}{rl}{\Gamma }^{\prime }(s)& ={\int }_0^{+\infty }{x}^{s-1}{e}^{-x}\ln x\mathrm{d}x\\ {\Gamma }^{(n)}(s)& ={\int }_0^{+\infty }{x}^{s-1}(\ln x{)}^n\mathrm{d}x\end{array}$$

2. 满足递推公式

$$\Gamma (s+1)=s\Gamma (s)$$

特别地, 当$s=n\in {\mathbb{N}}^{\ast }$时, 有$\Gamma (n+1)=n!$

定义$B$函数

$$B(p,q)={\int }_0^1{x}^{p-1}(1-x{)}^{q-1}\mathrm{d}x$$

同样由函数的收敛性, 规定定义域为$p,q>0$

常见的其他形式 令$x={\cos }^2\varphi$, 就有

$$B(p,q)=2{\int }_0^{\pi /2}{\sin }^{2q-1}\varphi {\cos }^{2p-1}\varphi \mathrm{d}\varphi$$

令$x=\frac{y}{1+y}$, 就有

$$B(p,q)={\int }_0^{+\infty }\frac{y^{p-1}}{(1+y{)}^{p+q}}\mathrm{d}y$$

利用两个函数之间的关系

$$B(p,q)=\frac{\Gamma (p)\Gamma (q)}{\Gamma (p+q)}$$

容易得到

1. $B(p,q)$在${\mathbb{R}}^{+}\times {\mathbb{R}}^{+}$上连续
2. 对称性$B(p,q)=B(q,p)$
3. 递推公式

$$\begin{array}{rl}B(p,q)& =\frac{q-1}{p+q-1}B(p,q-1)\\ B(p,q)& =\frac{p-1}{p+q-1}B(p-1,q)\\ ⟹B(p,q)& =\frac{(p-1)(q-1)}{(p+q-1)(p+q-2)}\end{array}$$

计算$\Gamma (1/2)$, 考虑

$$B(a,1-a)=\frac{\Gamma (a)\Gamma (1-a)}{\Gamma (1)}=\Gamma (a)\Gamma (1-a)$$

即

$${\int }_0^{+\infty }\frac{y^{a-1}}{1+y}\mathrm{d}y=\Gamma (a)\Gamma (1-a)$$

取$a=\frac{1}{2}$就有

$$\Gamma (\frac{1}{2})=\sqrt{{\int }_0^{+\infty }\frac{x^{-1/2}}{1+x}\mathrm{d}x}=\sqrt{{\int }_0^{+\infty }\frac{2\mathrm{d}t}{(1+t^2)}}=\sqrt{\pi }$$

又因为

$$\Gamma (s)={\int }_0^{+\infty }{x}^{s-1}{e}^{-x}\mathrm{d}x=2{\int }_0^{+\infty }{t}^{2s-1}{e}^{-t^2}\mathrm{d}t$$

取$s=\frac{1}{2}$就有

$$\boxed{{\int }_0^{+\infty }{e}^{-x^2}\mathrm{d}x=\frac{\sqrt{\pi }}{2}}$$

计算Wallis积分, 回忆Wallis积分

$${\int }_0^{\pi /2}{\sin }^{n}x\mathrm{d}x=\{\begin{array}{ll}\frac{(n-1)!!}{n!!}\cdot \frac{\pi }{2}& ,\text{n为偶数}\\ \frac{(n-1)!!}{n!!}& ,\text{n为奇数}\end{array}$$

考虑

$$\begin{array}{rl}{\int }_0^{\pi /2}{\sin }^{2n+1}x\mathrm{d}x& ={\int }_0^{\pi /2}{\sin }^{2(n+1)-1}\varphi {\cos }^{2(1/2)-1}\varphi \mathrm{d}\varphi \\ & =\frac{1}{2}B(n+1,\frac{1}{2})=\frac{1}{2}\frac{\Gamma (n+1)\Gamma (\frac{1}{2})}{\Gamma (n+\frac{3}{2})}\\ & =\frac{1}{2}\frac{n!\sqrt{\pi }}{(n+\frac{1}{2})\Gamma (n+\frac{1}{2})}\\ & =\frac{1}{2}\frac{n!\sqrt{\pi }}{(n+\frac{1}{2})(n-\frac{1}{2})(n-\frac{3}{2})\cdots (\frac{1}{2})\sqrt{\pi }}\\ & =\frac{1}{2}\frac{n!\cdot 2^{n+1}}{(2n+1)!!}=\frac{(2n)!!}{(2n+1)!!}\end{array}$$

得到奇数的情况, 同理也可以计算出偶数的情况

曲线积分

第一型曲线积分

标量值函数$f(x,y)$在曲线$\ell$上的路径积分

$${\int }_{\ell }f(x,y)\mathrm{d}s$$

设光滑曲线$\ell$的参数方程为

$$\ell :\{\begin{array}{l}x=\varphi (t)\\ y=\psi (t)\end{array}t\in [\alpha ,\beta ]$$

且$f(x,y)$为定义在$\ell$上连续函数, 则有

$${\int }_{\ell }f(x,y)\mathrm{d}s={\int }_{\alpha }^{\beta }f(\varphi (t),\psi (t))\sqrt{{\varphi }^{\prime 2}(t)+{\psi }^{\prime 2}(t)}\mathrm{d}t$$

当曲线$\ell$可以用$y=\psi (x),x\in [a,b]$来表示且$\psi (t)$存在连续的导函数时, 上式简化为

$${\int }_{\ell }f(x,y)\mathrm{d}s={\int }_a^{b}f(x,\psi (x))\sqrt{1+{\psi }^{\prime 2}(x)}\mathrm{d}x$$

第二型曲线积分

即定义在有向曲线上的向量的积分

$${\int }_{\ell }\mathbf{F}\cdot \mathrm{d}\mathbf{s}={\int }_{\ell }{F}_x(x,y)\mathrm{d}x+F_y(x,y)\mathrm{d}y$$

可以通过点乘的定义来转化成第一型曲线积分

设光滑曲线$\ell$的参数方程为

$$\ell :\{\begin{array}{l}x=\varphi (t)\\ y=\psi (t)\end{array}t\in [\alpha ,\beta ]$$

且$\mathbf{F}(x,y)$为定义在$\ell$上的连续向量函数, 则有

$${\int }_{\ell }\mathbf{F}(x,y)\mathrm{d}\mathbf{s}={\int }_{\alpha }^{\beta }{F}_x(\varphi (t),\psi (t)){\varphi }^{\prime }(t)\mathrm{d}t+F_y(\varphi (t),\psi (t)){\psi }^{\prime }(t)\mathrm{d}t$$

利用对称性简化计算

计算${\int }_{\ell }{x}^2\mathrm{d}s$, 其中$\ell$为球面$x^2+y^2+z^2=a^2$被平面$x+y+z=0$所截得的圆周, 由对称性我们可知${\int }_{\ell }{x}^2\mathrm{d}s={\int }_{\ell }{y}^2\mathrm{d}s={\int }_{\ell }{z}^2\mathrm{d}s$, 且

$${\int }_{\ell }(x^2+y^2+z^2)\mathrm{d}s={\int }_{\ell }{a}^2\mathrm{d}s=a^2\cdot 2\pi a=2\pi a^3$$

故${\int }_{\ell }{x}^2\mathrm{d}s=\frac{2}{3}\pi a^3$

利用Stokes定理

计算$I={\oint }_{\ell }y\mathrm{d}x+z\mathrm{d}y+x\mathrm{d}z$, 其中$\ell$为$x^2+y^2+z^2=1$和$x+y+z=1$的交线, 设$\mathbf{u}=(y,z,x)$, 则

$$\nabla \times \mathbf{u}=\left|\begin{array}{ccc}\hat{\mathbf{x}}& \hat{\mathbf{y}}& \hat{\mathbf{z}}\\ {\partial }_x& {\partial }_y& {\partial }_z\\ y& z& x\end{array}\right|=-\hat{\mathbf{x}}-\hat{\mathbf{y}}-\hat{\mathbf{z}}$$

由Stokes定理, 有

$${\iint }_S(\nabla \times \mathbf{u})\cdot \mathrm{d}\mathbf{S}={\oint }_{\ell }\mathbf{u}\cdot \mathrm{d}\mathbf{s}$$

其中$\mathrm{d}\mathbf{S}=\frac{(1,1,1)}{\sqrt{3}}\mathrm{d}S$, 故$I={\iint }_S-\sqrt{3}\mathrm{d}S=-\sqrt{3}\pi {\left(\sqrt{\frac{2}{3}}\right)}^2=-\frac{2\sqrt{3}}{3}\pi$

重积分

二重积分

中值定理

若$f(x,y)$在有界闭区域$D$上连续, 则存在$(\xi ,\eta )\in D$使得

$${\iint }_{D}f(x,y)\mathrm{d}\sigma =f(\xi ,\eta )S_D$$

这里$S_D$是区域$D$的面积

计算例题

计算二重积分${\iint }_D\mathrm{d}\sigma$, 其中$D$为由直线$y=2x,x=2y,x+y=3$围成的三角形区域 可以解得三角形的三个顶点坐标为$(0,0),(2,1),(1,2)$, 则可以直接计算得到面积$S=\frac{1}{2}\left|(2,1)\times (1,2)\right|=\frac{3}{2}$

Green公式

若函数$P(x,y),Q(x,y)$在闭区域$D$上连续, 且有连续的一阶偏导数, 则有

$${\iint }_D\left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)\mathrm{d}\sigma ={\oint }_{L}P\mathrm{d}x+Q\mathrm{d}y$$

设$\mathbf{f}(x,y)=P(x,y)\hat{\mathbf{x}}+Q(x,y)\hat{\mathbf{y}}$, $\mathrm{d}\mathbf{s}=\hat{\mathbf{x}}\mathrm{d}x+\hat{\mathbf{y}}\mathrm{d}y$, $\nabla =\frac{\partial }{\partial x}\hat{\mathbf{x}}+\frac{\partial }{\partial y}\hat{\mathbf{y}}$,则有

$${\iint }_D(\nabla \times \mathbf{f})\mathrm{d}\sigma ={\oint }_L\mathbf{f}\cdot \mathrm{d}\mathbf{s}$$

称此为Green公式

四个等价条件

设$D$是单连通闭区域, 若函数$P(x,y),Q(x,y)$在$D$内连续, 且具有一阶连续偏导数, 则以下四个条件等价

1. 沿$D$内任一按段光滑封闭曲线$L$, 有

$${\oint }_{L}P\mathrm{d}x+Q\mathrm{d}y=0$$

2. 对$D$中任一按段光滑曲线$L$, 曲线积分

$${\int }_{L}P\mathrm{d}x+Q\mathrm{d}y$$

与路线无关, 只与$L$的起点和终点有关 3. $P\mathrm{d}x+Q\mathrm{d}y$是$D$内某一函数$u(x,y)$的全微分, 即在$D$内有

$$\mathrm{d}u=P\mathrm{d}x+Q\mathrm{d}y$$

4. 在$D$内处处成立

$$\frac{\partial P}{\partial y}=\frac{\partial Q}{\partial x}$$

总结一下, 就是

$$\boxed{\text{环路积分为0}⟺\text{积分和路径无关}⟺\text{每一点的旋度为0}⟺\mathbf{f}\cdot \mathrm{d}\mathbf{s}\text{是全微分}}$$

用来求原函数

如果$P,Q$满足上述四个条件中的任意一个（一般判定满足$\frac{\partial P}{\partial y}=\frac{\partial Q}{\partial x}$最为方便）, 则说明了二元函数在以固定的$A(x_0,y_0)$为起点, 可变的$B(x,y)$为终点的曲线$L$上有

$$\begin{array}{rl}u(x,y)& ={\int }_{L}P\mathrm{d}x+Q\mathrm{d}y={\int }_{A(x_0,y_0)}^{B(x,y)}P(s,t)\mathrm{d}s+Q(s,t)\mathrm{d}t\\ & ={\int }_{x_0}^{x}P(s,y_0)\mathrm{d}s+{\int }_{y_0}^{y}Q(s,t)\mathrm{d}t(x_0,y_0)\to (x,y_0)\to (x,y)\\ & ={\int }_{x_0}^{x}P(s,t)\mathrm{d}s+{\int }_{y_0}^{y}Q(x_0,t)\mathrm{d}t(x_0,y_0)\to (x_0,y)\to (x,y)\end{array}$$

两条不同的路径给出了不同的积分方式, 但是最终的积分结果总是具有性质

$$\mathrm{d}u=P\mathrm{d}x+Q\mathrm{d}y$$

也就是说, 我们利用上面的积分找到$P\mathrm{d}x+Q\mathrm{d}y$的一个原函数

计算例题

计算${\int }_{\ell }x\mathrm{d}y$, 其中$\ell$为半径为$r$的圆在第一象限的部分, 方向为顺时针. 我们考虑三段路径

$$L_1:\text{线段}(r,0)\to (0,0),L_2:\text{线段}(0,0)\to (0,r),L_3:\ell$$

和函数$\mathbf{f}=(0,x)$, 故由Green公式有（上面的顺时针路径导致了左边的负号）

$$-{\iint }_D\mathrm{d}S=0+0+{\int }_{\ell }x\mathrm{d}y⟹{\int }_{\ell }x\mathrm{d}y=-\frac{1}{4}\pi r^2$$

或者我们可以直接换元

$$x=r\cos \theta ,y=r\sin \theta ,(0\le \theta \le \frac{\pi }{2})$$

于是有

$${\int }_{\ell }x\mathrm{d}y={\int }_{\pi /2}^{0}r\cos \theta \cdot r\cos \theta \mathrm{d}\theta =\frac{r^2}{2}{\int }_{\pi /2}^0(1+\cos 2\theta )\mathrm{d}\theta =-\frac{1}{4}\pi r^2$$

Tip

使用Green公式时先画个图把路径的方向标出来（顺时针还是逆时针）, 然后根据方向来确定积分的上下限

计算$I={\oint }_{\ell }\frac{x\mathrm{d}y-y\mathrm{d}x}{x^2+y^2}$ , 其中$\ell$是不包含原点的任意封闭曲线. 设$\mathbf{f}=\left(-\frac{y}{x^2+y^2},\frac{x}{x^2+y^2}\right)$, 则

$$\begin{array}{rl}\nabla \times \mathbf{f}& =\frac{\partial }{\partial x}\left(\frac{x}{x^2+y^2}\right)-\frac{\partial }{\partial y}\left(-\frac{y}{x^2+y^2}\right)\\ & =\frac{(x^2+y^2)-x\cdot 2x+x^2+y^2-y\cdot 2y}{(x^2+y^2{)}^2}=0\end{array}$$

故$I=0$. 也可以利用换元法, 设$x=r\cos \theta ,y=r\sin \theta$, 则有

$$I={\oint }_{{\ell }^{\prime }}\frac{r\cos \theta \cdot r\cos \theta \mathrm{d}\theta -r\sin \theta (-r\sin \theta )\mathrm{d}\theta }{r^2}={\oint }_{{\ell }^{\prime }}\mathrm{d}\theta =0$$

计算抛物线$(x+y{)}^2=ax(a>0)$与$x$轴所围的面积, 则我们希望求${\iint }_{D}1\cdot \mathrm{d}S$, 需要找到一个函数$\mathbf{f}$使得$\nabla \times \mathbf{f}=1⟺\frac{\partial f_y}{\partial x}-\frac{\partial f_x}{\partial y}=1$, 故可令$\mathbf{f}=(y,0)$, 则此时有

$${\iint }_D\mathrm{d}S={\oint }_{\delta D}y\mathrm{d}x=0+{\int }_a^0(x-\sqrt{ax})\mathrm{d}x=\left(\frac{x^2}{2}-\frac{2}{3}\sqrt{a}{x}^{3/2}\right){|}_a^0=\frac{1}{6}{a}^2$$

用曲线积分求$(2x+\sin y)\mathrm{d}x+(x\cos y)\mathrm{d}y$的一个原函数, 考虑到

$$\frac{\partial }{\partial x}\left(x\cos y\right)-\frac{\partial }{\partial y}\left(2x+\sin y\right)=\cos y-\cos y=0$$

故我们使用积分, 选取参考点为$(0,0)$, 采取路径$(0,0)\to (0,y)\to (x,y)$

$$\begin{array}{rl}u(x,y)& ={\int }_0^{y}0\cdot \cos y\mathrm{d}y+{\int }_0^x(2x+\sin y)\mathrm{d}x=x^2+x\sin y\end{array}$$

Tip

路径积分求原函数, 先判断旋度是否为零, 再确定参考点, 最后确定积分路径

二重积分的变量代换

一般形式

利用Jacobian行列式

$${\iint }_{D}f(x,y)\mathrm{d}x\mathrm{d}y={\iint }_{\Delta }f(x(u,v),y(u,v))\left|J(u,v)\right|\mathrm{d}u\mathrm{d}v$$

其中

$$J(u,v)=\frac{\partial (x,y)}{\partial (u,v)}=\det \left(\begin{array}{cc}\frac{\partial x}{\partial u}& \frac{\partial x}{\partial v}\\ \frac{\partial y}{\partial u}& \frac{\partial y}{\partial v}\end{array}\right)\ne 0$$

这里从$\mathrm{d}x\mathrm{d}y\to \left|J(u,v)\right|\mathrm{d}u\mathrm{d}v$实际上代表着对应面积大小的拉伸量, 而由于二重积分不像曲线积分那样和路径的方向有关, 面积始终应当是正值, 所以这里的Jacobian行列式必须要加上绝对值

例如要求积分${\iint }_D\exp (\frac{x-y}{x+y})\mathrm{d}x\mathrm{d}y$, 其中$D$是$x=0,y=0,x+y=1$围成的区域, 那么我们可以作变换

$$T:(x,y)=\left[\frac{1}{2}(u+v),\frac{1}{2}(v-u)\right]$$

则有

$$J(u,v)=\left|\begin{array}{cc}\frac{1}{2}& \frac{1}{2}\\ -\frac{1}{2}& \frac{1}{2}\end{array}\right|=\frac{1}{2}\ne 0$$

而新的区域由$y=1,y=x,y=-x$围成, 有

$$\begin{array}{rl}{\iint }_D\exp (\frac{x-y}{x+y})\mathrm{d}x\mathrm{d}y& ={\iint }_{\Delta }\exp (\frac{u}{v})\frac{1}{2}\mathrm{d}u\mathrm{d}v=\frac{1}{2}{\int }_0^1\mathrm{d}v{\int }_{-v}^v\exp (\frac{u}{v})\mathrm{d}u\\ & =\frac{1}{2}{\int }_0^{1}v(e-\frac{1}{e})=\frac{1}{4}\left(1-\frac{1}{e}\right)\end{array}$$

又例如求抛物线$y^2=mx,y^2=nx$和直线$y=\alpha x,y=\beta x$所围区域$D$的面积, 其中0<m<n,$$\;0<\alpha<\beta, 则可以作变换

$$x=\frac{u}{v^2},y=\frac{u}{v}$$

则有在$uv$平面上$\Delta =[m,n]\times [\alpha ,\beta ]$, 且

$$J(u,v)=\left|\begin{array}{cc}\frac{1}{v^2}& -\frac{2u}{v^3}\\ \frac{1}{v}& -\frac{u}{v^2}\end{array}\right|=\frac{u}{v^4}>0$$

所以

$$\begin{array}{rl}\mu (D)& ={\iint }_D\mathrm{d}\sigma ={\iint }_{\Delta }\frac{u}{v^4}\mathrm{d}u\mathrm{d}v\\ & ={\int }_{\alpha }^{\beta }\frac{\mathrm{d}v}{v^4}\cdot {\int }_m^{n}u\mathrm{d}u=\frac{(n^2-m^2)({\beta }^3-{\alpha }^3)}{6{\alpha }^3{\beta }^3}\end{array}$$

极坐标形式

当积分区域是圆域或圆域的一部分时, 或者被积函数的形式为$f(x^2+y^2)$时, 则我们一般采用极坐标变换

$$T:(x,y)=(r\cos \theta ,r\sin \theta )$$

其对应的函数行列式为

$$J(r,\theta )=\left|\begin{array}{cc}\cos \theta & -r\sin \theta \\ \sin \theta & r\cos \theta \end{array}\right|=r$$

对应的积分变换就是

$${\iint }_{D}f(x,y)\mathrm{d}x\mathrm{d}y={\iint }_{\Delta }f(r\cos \theta ,r\sin \theta )r\mathrm{d}r\mathrm{d}\theta$$

但是对于极坐标（包括三维情况下的球坐标）, 我们可以直观地写出三个正交方向上的距离微元

$$\mathrm{d}{\ell }_r=\mathrm{d}r,\mathrm{d}{\ell }_{\theta }=r\mathrm{d}\theta ⟹\mathrm{d}x\mathrm{d}y=\mathrm{d}S=r\mathrm{d}r\mathrm{d}\theta$$

这就直接给出了积分变换的形式, 这里的变换也可以推广到

$$T:(x,y)=(ar\cos \theta ,br\sin \theta )$$

这相当于做了一个仿射变换, 也就有

$$\mathrm{d}x\mathrm{d}y=\mathrm{d}S=abr\mathrm{d}r\mathrm{d}\theta$$

例如计算$I={\iint }_D\frac{\mathrm{d}S}{\sqrt{1-x^2-y^2}}$, 其中$D:x^2+y^2\le 1$, 则设$x=r\cos \theta ,y=r\sin \theta$, 于是有

$$I={\iint }_{D^{\prime }}\frac{r\mathrm{d}r\mathrm{d}\theta }{\sqrt{1-r^2}}=2\pi {\int }_{1-0^2}^{1-1^2}\left(-\frac{1}{2}\right)\frac{\mathrm{d}\left(1-r^2\right)}{\sqrt{1-r^2}}=2\pi$$

再例如求球体$x^2+y^2+z^2\le R^2$被圆柱面$x^2+y^2=Rx$所割下部分的体积$V$, 这里我们有两种换元选择

1. $x=r\cos \theta ,y=r\sin \theta$, 好处是对$z\mathrm{d}S=2\sqrt{R^2-r^2}\cdot r\mathrm{d}r\mathrm{d}\theta$积分较为方便, 坏处是处理积分限比较麻烦
2. $x=\frac{R}{2}+\frac{r}{2}\cos \theta ,y=\frac{r}{2}\sin \theta$, 好处是容易处理边界, 坏处是$z\mathrm{d}S$长得非常难看 这里我们选取第一种方式, 考虑边界条件$x^2+y^2\le Rx⟹r\le R\cos \theta$, 我们设置积分限$-\frac{\pi }{2}\le \theta \le \frac{\pi }{2},0\le r\le R\cos \theta$, 这时候就有

$$\begin{array}{rl}V& ={\iint }_{D^{\prime }}2\sqrt{R^2-r^2}\cdot r\mathrm{d}r\mathrm{d}\theta ={\int }_{-\pi /2}^{\pi /2}{\int }_0^{R\cos \theta }\sqrt{R^2-r^2}\cdot 2r\mathrm{d}r\mathrm{d}\theta \\ & =-2{\int }_0^{\pi /2}{\int }_{R^2}^{R^2{\sin }^2\theta }\sqrt{R^2-r^2}\mathrm{d}\left(R^2-r^2\right)\mathrm{d}\theta \\ & =-\frac{4}{3}{\int }_0^{\pi /2}(R^3{\sin }^3\theta -R^3)\mathrm{d}\theta =\frac{2}{3}\pi R^3-\frac{4}{3}{R}^3{\int }_0^{\pi /2}{\sin }^3\theta \mathrm{d}\theta \\ & =\frac{2}{3}\pi R^3-\frac{4}{3}{R}^2\cdot \frac{2}{3\times 1}=\frac{4}{3}{R}^3\left(\frac{\pi }{2}-\frac{2}{3}\right)\end{array}$$

最后利用了Wallis积分

$$n\in \mathbb{N}⟹{\int }_0^{\pi /2}{\sin }^{n}x\mathrm{d}x=\{\begin{array}{ll}\frac{(n-1)!!}{n!!}\cdot \frac{\pi }{2}& ,\text{n为偶数}\\ \frac{(n-1)!!}{n!!}& ,\text{n为奇数}\end{array}$$

再如计算$I={\iint }_D\exp (-x^2-y^2)\mathrm{d}S$, 其中$D:x^2+y^2\le R^2$, 采用极坐标变换, 则有

$$\begin{array}{rl}I& ={\int }_0^{2\pi }{\int }_0^R\exp (-r^2)r\mathrm{d}r\mathrm{d}\theta \\ & =2\pi \cdot \left(-\frac{1}{2}\right){\int }_0^{-R^2}\exp (-r^2)\mathrm{d}(-r^2)=\pi \left[1-\exp (-R^2)\right]\end{array}$$

Tip

先写出合适的换元公式, 确定面积元的变换, 再确定积分的边界即积分变量的范围（注意要保证如$r$需要取到正值, 如果$\theta$和被积函数有关则尽可能一开始利用对称性将其转化为$[0,\frac{\pi }{2}]$, 否则之后的每一步都有可能需要讨论$\sin \theta ,\cos \theta$的正负）, 最后再积分. 含有三角函数的积分常用到Wallis积分结果

三重积分

只需要注意三种积分常见的变量替换有两种

柱坐标变换

考虑变换

$$T:\{\begin{array}{ll}x=r\cos \theta ,& 0\le r<+\infty \\ y=r\sin \theta ,& 0\le \theta \le 2\pi \\ z=z,& -\infty <z<+\infty \end{array}$$

其对应的函数行列式

$$J(r,\theta ,z)=\left|\begin{array}{ccc}\cos \theta & -r\sin \theta & 0\\ \sin \theta & r\cos \theta & 0\\ 0& 0& 1\end{array}\right|=r$$

故有换元公式

$${\iiint }_{V}f(x,y,z)\mathrm{d}x\mathrm{d}y\mathrm{d}z={\iiint }_{V^{\prime }}f(r\cos \theta ,r\sin \theta ,z)r\mathrm{d}r\mathrm{d}\theta \mathrm{d}z$$

球坐标变换

考虑变换

$$T:\{\begin{array}{ll}x=r\sin \varphi \cos \theta ,& 0\le r<+\infty \\ y=r\sin \varphi \sin \theta ,& 0\le \varphi \le \pi \\ z=r\cos \varphi ,& 0\le \theta \le 2\pi \end{array}$$

也就有

$$J(r,\varphi ,\theta )=\left|\begin{array}{ccc}\sin \varphi \cos \theta & r\cos \varphi \cos \theta & -r\sin \varphi \sin \theta \\ \sin \varphi \sin \theta & r\cos \varphi \sin \theta & r\sin \varphi \cos \theta \\ \cos \varphi & -r\sin \varphi & 0\end{array}\right|=r^2\sin \varphi$$

即有

$${\iiint }_{V}f(x,y,z)\mathrm{d}x\mathrm{d}y\mathrm{d}z={\iiint }_{V^{\prime }}f(r\sin \varphi \cos \theta ,r\sin \varphi \sin \theta ,r\cos \varphi )r^2\sin \varphi \mathrm{d}r\mathrm{d}\varphi \mathrm{d}\theta$$

也可以拓展至广义球坐标变换

$$T:\{\begin{array}{ll}x=ar\sin \varphi \cos \theta ,& 0\le r<+\infty \\ y=br\sin \varphi \sin \theta ,& 0\le \varphi \le \pi \\ z=cr\cos \varphi ,& 0\le \theta \le 2\pi \end{array}$$

相应地有

$$J(r,\varphi ,\theta )=abc{r}^2\sin \varphi$$

Tip

需要注意球坐标变换中引入了新变量$\varphi$, 其取值范围为$0\le \varphi \le \pi$, 故$\sin \varphi \ge 0$, $r^2\sin \varphi$一般不需要加上绝对值

计算$I={\iiint }_V(x^2+y^2+z)\mathrm{d}x\mathrm{d}y\mathrm{d}z$, 其中$V$是由$\{\begin{array}{l}z=y\\ x=0\end{array}$绕$z$轴旋转而成的曲面与$z=1$围成的区域 我们首先确定积分限, 积分区域是一个圆锥体区域, $x,y$的范围是$x^2+y^2\le 1$, 每一个$x-y$平面上的点对应的$z$的积分限为$\sqrt{x^2+y^2}\le z\le 1$, 我们采用柱坐标换元

$$\begin{array}{rl}I& ={\int }_0^{2\pi }{\int }_0^1{\int }_{\sqrt{x^2+y^2}=r}^1(r^2+z)\mathrm{d}z\cdot r\mathrm{d}r\mathrm{d}\theta \\ & =2\pi {\int }_0^1\left[r^2(1-r)+\frac{1}{2}(1-r^2)\right]r\mathrm{d}r\\ & =2\pi {\int }_0^1\left(-r^4+\frac{1}{2}{r}^3+\frac{1}{2}r\right)\mathrm{d}r\\ & =2\pi \left(-\frac{1}{5}+\frac{1}{8}+\frac{1}{4}\right)=\frac{7\pi }{20}\end{array}$$

Tip

不要漏了面积比例因子中那个额外的$r$

求$I={\iiint }_V\left(\frac{x^2}{a^2}+\frac{y^2}{b^2}+\frac{z^2}{c^2}\right)\mathrm{d}x\mathrm{d}y\mathrm{d}z$, 其中$V:\frac{x^2}{a^2}+\frac{y^2}{b^2}+\frac{z^2}{c^2}\le 1$, 则我们采用广义球坐标变换

$$x=ar\sin \varphi \cos \theta ,y=br\sin \varphi \sin \theta ,z=cr\cos \varphi ⟹\mathrm{d}V=abc{r}^2\sin \varphi \mathrm{d}r\mathrm{d}\varphi \mathrm{d}\theta$$

于是有

$$\begin{array}{rl}I& ={\int }_0^{2\pi }{\int }_0^{\pi }{\int }_0^1{r}^2\cdot abc{r}^2\sin \varphi \mathrm{d}r\mathrm{d}\varphi \mathrm{d}\theta \\ & =2\pi {\int }_0^{\pi }\frac{1}{5}abc\sin \varphi \mathrm{d}\varphi \\ & =\frac{4}{5}abc\pi \end{array}$$

Tip

不要漏乘$abc$

计算$I={\iiint }_V(x^2+y^2)\mathrm{d}x\mathrm{d}y\mathrm{d}z$, 其中$V$是曲面$2(x^2+y^2)=z$与$z=4$为界面的区域, 采用柱坐标变换

$$x=r\cos \theta ,y=r\sin \theta ⟹\mathrm{d}V=r\mathrm{d}r\mathrm{d}\theta \mathrm{d}z$$

其中 $2r^2\le z\le 4,0\le r\le \sqrt{2},0\le \theta \le 2\pi$, 故

$$\begin{array}{rl}I& ={\int }_0^{2\pi }{\int }_0^{\sqrt{2}}{\int }_{2r^2}^4{r}^2\cdot r\mathrm{d}z\mathrm{d}r\mathrm{d}\theta \\ & =2\pi {\int }_0^{\sqrt{2}}\left(r^3\cdot 4-r^3\cdot 2r^2\right)\mathrm{d}r\\ & =2\pi \left[(\sqrt{2}{)}^4-\frac{1}{3}(\sqrt{2}{)}^6\right]=\frac{8\pi }{3}\end{array}$$

计算由圆锥体$z\ge \sqrt{x^2+y^2}\cot \beta$和球体$x^2+y^2+(z-a{)}^2\le a^2$所确定的立体的体积$V$, 这里如果使用柱坐标变换, 就非常难以确定$z$的积分限, 我们需要对方程$r\cot \beta =a\pm \sqrt{a^2-r^2}$的根进行讨论, 而球坐标变换有以下两种设法

$$x=r\sin \varphi \cos \theta ,y=r\sin \varphi \sin \theta ,z=a+r\cos \varphi$$

和

$$x=r\sin \varphi \cos \theta ,y=r\sin \varphi \sin \theta ,z=r\cos \varphi$$

我们看到题目中球体的形式, 习惯于采用第一种设法, 但是这个时候的边界条件

$$z\ge \sqrt{x^2+y^2}\cot \beta ⟺a+r\cos \varphi \ge r\cot \beta$$

处理起来比较麻烦, 但是如果我们采用第二种设法, 我们会得到两个约束条件

$$z\ge \sqrt{x^2+y^2}\cot \beta ⟺r\cos \varphi \ge r\cot \beta ⟺0\le \varphi \le \arccos (\cot \beta )$$

和

$$x^2+y^2+(z-a{)}^2\le a^2⟺a^2-2ar\cos \varphi +a^2\le a^2⟺r\le 2a\cos \varphi$$

而$\theta$的约束条件仍然是$0\le \theta \le 2\pi$, 则此时有

$$\begin{array}{rl}V& ={\int }_0^{2\pi }{\int }_0^{\arccos (\cot \beta )}{\int }_0^{2a\cos \varphi }{r}^2\sin \varphi \mathrm{d}r\mathrm{d}\varphi \mathrm{d}\theta \\ & =\frac{16}{3}\pi a^3{\int }_0^{\arccos (\cot \beta )}{\cos }^3\varphi \sin \varphi \mathrm{d}\varphi \\ & =-\frac{16}{3}\pi a^3{\int }_1^{\cot \beta }{\cos }^3\varphi \mathrm{d}(\cos \varphi )\\ & =\frac{4}{3}\pi a^3\left(1-{\cot }^4\beta \right)\end{array}$$

Tip

不要忘记球坐标变换中$x^2+y^2+z^2=r^2$其中$r$是变量 选择合适的坐标变换, 不是题目中出现了$(z-a{)}^2$就一定要把$z$换成$a+\cdots$的形式 无论如何先画个图, 来更好地确定变量的约束条件

重积分的应用

曲面的面积

设函数$f(x,y)$在$D$上具有连续的一阶偏导数, 对于方程

$$z=f(x,y),(x,y)\in D$$

确定的曲面, 它的面积为

$$\Delta S={\iint }_D\sqrt{1+f_x^2(x,y)+f_y^2(x,y)}\mathrm{d}x\mathrm{d}y$$

或者写成

$$\Delta S={\iint }_D\frac{\mathrm{d}x\mathrm{d}y}{\left|\cos ⟨\mathbf{n},\hat{\mathbf{z}}⟩\right|}$$

质心的位置

对于某三维物体

$$\bar{x}=\frac{{\iiint }_{V}x\rho (x,y,z)\mathrm{d}V}{{\iiint }_V\rho (x,y,z)\mathrm{d}V},\bar{y}=\frac{{\iiint }_{V}y\rho (x,y,z)\mathrm{d}V}{{\iiint }_V\rho (x,y,z)\mathrm{d}V}$$

对于平面薄板

$$\bar{x}=\frac{{\iint }_{D}x\rho (x,y)\mathrm{d}\sigma }{{\iint }_D\rho (x,y)\mathrm{d}\sigma },\bar{y}=\frac{{\iint }_{D}y\rho (x,y)\mathrm{d}\sigma }{{\iint }_D\rho (x,y)\mathrm{d}\sigma }$$

形心公式

例如在对称的区域$D$（通常是球或者圆）上要计算

$${\iint }_D(x+3y)\mathrm{d}x\mathrm{d}y={\iint }_{D}x\mathrm{d}x\mathrm{d}y+3{\iint }_{D}y\mathrm{d}x\mathrm{d}y=\bar{x}{S}_D+3\bar{y}{S}_D$$

转动惯量

回顾力学定义

$$J_o={\iiint }_V{R}^2\mathrm{d}m=\iiint \Vert \overrightarrow{OR}{\Vert }^2\rho \mathrm{d}V$$

则有

$$\begin{array}{rl}{J}_x& ={\iiint }_V(y^2+z^2)\rho (x,y,z)\mathrm{d}V\\ J_y& ={\iiint }_V(x^2+z^2)\rho (x,y,z)\mathrm{d}V\\ J_z& ={\iiint }_V(x^2+y^2)\rho (x,y,z)\mathrm{d}V\\ J_{xy}& ={\iiint }_V(z^2)\rho (x,y,z)\mathrm{d}V\\ J_{yz}& ={\iiint }_V(x^2)\rho (x,y,z)\mathrm{d}V\\ J_{zx}& ={\iiint }_V(y^2)\rho (x,y,z)\mathrm{d}V\end{array}$$

求圆锥$z=\sqrt{x^2+y^2}$在圆柱体$x^2+y^2\le x$内那一部分的面积$S$, 我们求

$$\frac{\partial z}{\partial x}=\frac{x}{\sqrt{x^2+y^2}},\frac{\partial z}{\partial y}=\frac{y}{\sqrt{x^2+y^2}}$$

故$\sqrt{1+z_x^2+z_y^2}=\sqrt{2}$, 即$S=\sqrt{2}{\iint }_D\mathrm{d}x\mathrm{d}y$, 又考虑到

$$x^2+y^2\le x⟺{\left(x-\frac{1}{2}\right)}^2+y^2=\frac{1}{4}$$

故$S=\sqrt{2}\pi {\left(\frac{1}{2}\right)}^2=\frac{\sqrt{2}}{4}\pi$

曲面积分

第一型曲面积分

如下面的形式

$${\iint }_{S}f(x,y,z)\mathrm{d}S$$

取合适的坐标系, 利用曲面方程把$z$化成以$x,y$表达的函数, 就可以把第一型曲面积分化成二重积分

如果$S$由$z=z(x,y)$来表示, 则利用曲面面积的求法, 有

$${\iint }_{S}f(x,y,z)\mathrm{d}S={\iint }_{D}f(x,y,z(x,y))\sqrt{1+z_x^2+z_y^2}\mathrm{d}x\mathrm{d}y$$

更一般地, 我们设$S$上的每一个点$\mathbf{r}$都可以通过两个参数来决定, 即我们有$\mathbf{r}(s,t)$, 其中$(s,t)$在 某个区域$D$内, 那么

$${\iint }_{S}f\mathrm{d}S={\iint }_{D}f(\mathbf{r}(s,t))\Vert \frac{\partial \mathbf{r}}{\partial s}\times \frac{\partial \mathbf{r}}{\partial t}\Vert \mathrm{d}s\mathrm{d}t$$

其中$\Vert \cdot \Vert$表示欧式空间中的长度, 这是因为这里的面元$\mathrm{d}S$满足

$$\mathrm{d}S=\Vert \mathrm{d}{\mathbf{l}}_s\times \mathrm{d}{\mathbf{l}}_t\Vert =\Vert \frac{\partial \mathbf{r}(s,t)}{\partial s}\mathrm{d}s\times \frac{\partial \mathbf{r}(s,t)}{\partial t}\mathrm{d}t\Vert$$

计算${\iint }_S\frac{\mathrm{d}S}{z}$, 其中$S$是球面$x^2+y^2+z^2=a^2$被平面$z=h(0<h<a)$所截的顶部. 我们先写出$S$的方程

$$S:x^2+y^2+z^2=a^2,z\ge h$$

作一个球坐标换元

$$\{\begin{array}{l}x=r\sin \varphi \cos \theta \\ y=r\sin \varphi \sin \theta \\ z=r\cos \varphi \end{array}$$

需要满足约束

$$\{\begin{array}{l}{r}^2=a^2\\ r\cos \varphi \ge h\end{array}⟹\{\begin{array}{l}r=a\\ \cos \varphi \ge \frac{h}{a}\end{array}$$

这样就可以写出$S$的参数方程

$$S:\{\begin{array}{l}x=a\sin \varphi \cos \theta \\ y=a\sin \varphi \sin \theta \\ z=a\cos \varphi \end{array},0\le \varphi \le \arccos \frac{h}{a},0\le \theta \le 2\pi$$

此时的$\mathrm{d}S$为

$$\mathrm{d}S=\mathrm{d}{l}_{\varphi }\cdot \mathrm{d}{l}_{\theta }=a\sin \varphi \mathrm{d}\varphi \cdot a\mathrm{d}\theta =a^2\sin \varphi \mathrm{d}\varphi \mathrm{d}\theta$$

故原式为

$$\begin{array}{rl}{\iint }_S\frac{\mathrm{d}S}{z}& ={\int }_0^{2\pi }{\int }_0^{\arccos (h/a)}\frac{a^2\sin \varphi \mathrm{d}\varphi }{a\cos \varphi }\mathrm{d}\theta \\ & =2\pi a{\int }_0^{\arccos (h/a)}\tan \varphi \mathrm{d}\varphi \\ & =2\pi a\ln \left|\cos \varphi \right|{|}_0^{\arccos (h/a)}\\ & =2\pi a\ln \frac{a}{h}\end{array}$$

Tip

$\int \tan x\mathrm{d}x=\ln \left|\cos x\right|$

计算$I={\iint }_S(x^2+y^2+z^2)\mathrm{d}S$, 其中$S:x^2+y^2+z^2=2az$, 同样采用球坐标变换

$$S:\{\begin{array}{l}x=a\sin \varphi \cos \theta \\ y=a\sin \varphi \sin \theta \\ z=a+a\cos \varphi \end{array},0\le \varphi \le \pi ,0\le \theta \le 2\pi$$

且$\mathrm{d}S=a^2\sin \varphi \mathrm{d}\varphi \mathrm{d}\theta$ 故有

$$\begin{array}{rl}I& ={\int }_0^{2\pi }{\int }_0^{\pi }(2a^2+2a^2\cos \varphi )a^2\sin \varphi \mathrm{d}\varphi \mathrm{d}\theta \\ & =4\pi a^4{\int }_0^{\pi }(\sin \varphi +\sin \varphi \cos \varphi )\mathrm{d}\varphi \\ & =4\pi a^4\left(2+0\right)=8\pi a^4\end{array}$$

Tip

此题中如果用标准的球坐标变换形式, 则参数方程及其面元的形式将会十分难看. 所以如何选取球坐标变换的形式需要综合分析在某个变换下被积函数$f$本身和面元$\mathrm{d}S$的复杂程度（在计算多重积分时则是$S$的边界的复杂程度）

求均匀曲面$x^2+y^2+z^2=a^2,x\ge 0,y\ge 0,z\ge 0$的质心, 考虑球坐标

$$\{\begin{array}{l}x=a\sin \varphi \cos \theta \\ y=a\sin \varphi \sin \theta \\ z=a\cos \varphi \end{array},0\le \varphi ,\theta \le \frac{\pi }{2}$$

且$\mathrm{d}S=a^2\sin \varphi \mathrm{d}\varphi \mathrm{d}\theta$ 由于$x,y,z$对称, 所以我们只需要计算一个方向的质心位置

$$\begin{array}{rl}\Delta S\cdot \bar{z}& ={\int }_0^{\pi /2}{\int }_0^{\pi /2}a\cos \varphi \cdot a^2\sin \varphi \mathrm{d}\varphi \mathrm{d}\theta \\ & =\frac{a^3\pi }{2}{\int }_0^1\sin \varphi \mathrm{d}(\sin \varphi )=\frac{a^3\pi }{4}\end{array}$$

而$\Delta S=\frac{1}{8}\cdot 4\pi a^2$, 故$\bar{z}=\frac{a}{2}$

第二型曲面积分

对于向量值函数$\mathbf{f}(x,y,z)$定义第二型曲面积分

$${\iint }_S\mathbf{f}\cdot \mathrm{d}\mathbf{S}={\iint }_S\mathbf{f}\cdot \hat{\mathbf{n}}\mathrm{d}S={\iint }_S(f_x{\hat{n}}_x+f_y{\hat{n}}_y+f_z{\hat{n}}_z)\mathrm{d}S$$

写出分量后即可转换位第一型曲面积分来计算

我们有时候也把上面的式子写成

$$\begin{array}{rl}{\iint }_S\mathbf{f}\cdot \hat{\mathbf{n}}\mathrm{d}S& ={\iint }_S(f_x{\hat{n}}_x+f_y{\hat{n}}_y+f_z{\hat{n}}_z)\mathrm{d}S\\ & ={\iint }_S{f}_x\mathrm{d}y\mathrm{d}z+f_y\mathrm{d}z\mathrm{d}x+f_z\mathrm{d}x\mathrm{d}y\end{array}$$

设积分曲面可由方程$F(x,y,z)=0$来描述, 则由隐函数定理, 其上某点的法向量由隐函数$z=z(x,y)$确定

$$\mathbf{n}=(z_x(x_0,y_0),z_y(x_0,y_0),-1)\text{ or }\mathbf{n}=(-z_x(x_0,y_0),-z_y(x_0,y_0),1)$$

根据不同的正负规定, 可以得到

$$\hat{\mathbf{n}}=\pm \left(\frac{z_x}{\sqrt{1+z_x^2+z_y^2}},\frac{z_y}{\sqrt{1+z_x^2+z_y^2}},-\frac{1}{\sqrt{1+z_x^2+z_y^2}}\right)$$

或者我们采用更一般的形式, 如果光滑曲面$S$可以由参量方程给出

$$S:\{\begin{array}{l}x=x(u,v)\\ y=y(u,v)\\ z=z(u,v)\end{array}$$

则有对应的一个法向量

$$\left(\frac{\partial (y,z)}{\partial (u,v)},\frac{\partial (z,x)}{\partial (u,v)},\frac{\partial (x,y)}{\partial (u,v)}\right)$$

且它的大小恰好满足

$$\begin{array}{c}{\iint }_S{f}_x\mathrm{d}y\mathrm{d}z+f_y\mathrm{d}z\mathrm{d}x+f_z\mathrm{d}x\mathrm{d}y\\ =\pm \left[{\iint }_{S^{\prime }}{f}_x\frac{\partial (y,z)}{\partial (u,v)}\mathrm{d}u\mathrm{d}v+f_y\frac{\partial (y,z)}{\partial (u,v)}\mathrm{d}u\mathrm{d}v+f_z\frac{\partial (y,z)}{\partial (u,v)}\mathrm{d}u\mathrm{d}v\right]\end{array}$$

这里的正负号取决于法向量$\left(\frac{\partial (y,z)}{\partial (u,v)},\frac{\partial (z,x)}{\partial (u,v)},\frac{\partial (x,y)}{\partial (u,v)}\right)$是否在正向一侧

计算${\iint }_{S}xyz\mathrm{d}x\mathrm{d}y$, 其中$S:x^2+y^2+z^2=1,x\ge 0,y\ge 0$, 则曲面的法向量为

$$\begin{array}{r}\mathbf{n}=(x,y,z)⟹\hat{\mathbf{n}}=\frac{(x,y,z)}{\sqrt{x^2+y^2+z^2}}=(x,y,z)\end{array}$$

可以看出

$${\iint }_{S}xyz\mathrm{d}x\mathrm{d}y={\iint }_{S}xy{z}^2\mathrm{d}S$$

考虑球坐标

$$\{\begin{array}{l}x=\sin \varphi \cos \theta \\ y=\sin \varphi \sin \theta \\ z=\cos \varphi \end{array},0\le \varphi \le \pi ,0\le \theta \le \frac{\pi }{2}$$

则有$\mathrm{d}S=1^2\cdot \sin \varphi \mathrm{d}\varphi \mathrm{d}\theta$, 故

$$\begin{array}{rl}{\iint }_{S}xyz\mathrm{d}x\mathrm{d}y& ={\iint }_{S}xy{z}^2\mathrm{d}S\\ & ={\int }_0^{\pi /2}{\int }_0^{\pi }{\sin }^2\varphi {\cos }^2\varphi \sin \theta \cos \theta \cdot \sin \varphi \mathrm{d}\varphi \mathrm{d}\theta \\ & ={\int }_0^{\pi /2}\sin \theta \cos \theta \left[{\int }_{-1}^1(1-{\cos }^2\varphi ){\cos }^2\varphi \mathrm{d}(\cos \varphi )\right]\mathrm{d}\theta \\ & =\frac{4}{15}{\int }_0^1\sin \theta \mathrm{d}(\sin \theta )=\frac{2}{15}\end{array}$$

计算${\iint }_S{x}^3\mathrm{d}y\mathrm{d}z$, 其中$S:\frac{x^2}{a^2}+\frac{y^2}{b^2}+\frac{z^2}{c^2}=1,(z>0)$, 由于法向量较难计算, 我们直接作换元

$$\{\begin{array}{l}x=a\sin \varphi \cos \theta \\ y=b\sin \varphi \sin \theta \\ z=c\cos \varphi \end{array},0\le \varphi \le \frac{\pi }{2},0\le \theta \le 2\pi$$

则我们计算

$$\begin{array}{rl}\mathrm{d}y\mathrm{d}z& =\left|\begin{array}{cc}\frac{\partial y}{\partial \varphi }& \frac{\partial y}{\partial \theta }\\ \frac{\partial z}{\partial \varphi }& \frac{\partial z}{\partial \theta }\end{array}\right|\mathrm{d}\varphi \mathrm{d}\theta \\ & =\left|\begin{array}{cc}b\sin \theta \cos \varphi & b\sin \varphi \cos \theta \\ -c\sin \varphi & 0\end{array}\right|\mathrm{d}\varphi \mathrm{d}\theta \\ & =bc{\sin }^2\varphi \cos \theta \mathrm{d}\varphi \mathrm{d}\theta \end{array}$$

同理, 在一开始计算${\iint }_{S}xyz\mathrm{d}x\mathrm{d}y$, 其中$S:x^2+y^2+z^2=1,x\ge 0,y\ge 0$时, 我们也能这样直接计算

$$\{\begin{array}{l}x=\sin \varphi \cos \theta \\ y=\sin \varphi \sin \theta \\ z=\cos \varphi \end{array},0\le \varphi \le \pi ,0\le \theta \le \frac{\pi }{2}$$

于是

$$\mathrm{d}x\mathrm{d}y=\left|\begin{array}{cc}\cos \theta \cos \varphi & -\sin \varphi \sin \theta \\ \sin \theta \cos \varphi & \sin \varphi \cos \theta \end{array}\right|\mathrm{d}s\mathrm{d}t=\cos \varphi \sin \varphi \mathrm{d}s\mathrm{d}t$$

就和直接转化为${\hat{n}}_z\mathrm{d}S$的办法得到了一样的积分式子

• 计算${\iint }_S(2x+z)\mathrm{d}y\mathrm{d}z+z\mathrm{d}x\mathrm{d}y$, 其中$S:z=x^2+y^2,0\le z\le 1$, 我们依旧可以通般方法

$$\{\begin{array}{l}z=r^2\\ x=r\cos \theta \\ y=r\sin \theta \end{array},0\le r\le 1,0\le \theta \le 2\pi$$

则有

$$\begin{array}{c}\mathrm{d}y\mathrm{d}z=\left|\begin{array}{cc}\sin \theta & r\cos \theta \\ 2r& 0\end{array}\right|\mathrm{d}r\mathrm{d}\theta =-2r^2\cos \theta \mathrm{d}r\mathrm{d}\theta \\ \mathrm{d}x\mathrm{d}y=\left|\begin{array}{cc}\cos \theta & -r\sin \theta \\ \sin \theta & r\cos \theta \end{array}\right|\mathrm{d}r\mathrm{d}\theta =r\mathrm{d}r\mathrm{d}\theta \end{array}$$

故

$$\begin{array}{rl}{\iint }_S(2x+z)\mathrm{d}y\mathrm{d}z& =-{\int }_0^{2\pi }{\int }_0^1(2r\cos \theta +r^2)2r^2\cos \theta \mathrm{d}r\mathrm{d}\theta \\ & =-{\int }_0^{2\pi }\left(\cos \theta +\frac{2}{5}\right)\cos \theta \mathrm{d}\theta \\ & =-{\int }_0^{2\pi }{\cos }^2\theta \mathrm{d}\theta =-2\pi +4\times \frac{1}{2}\times \frac{\pi }{2}=-\pi \end{array}$$

和

$$\begin{array}{rl}{\iint }_{S}z\mathrm{d}x\mathrm{d}y& ={\int }_0^{2\pi }{\int }_0^1{r}^{2}r\mathrm{d}r\mathrm{d}\theta =2\pi \cdot \frac{1}{4}=\frac{\pi }{2}\end{array}$$

综上${\iint }_S(2x+z)\mathrm{d}y\mathrm{d}z+z\mathrm{d}x\mathrm{d}y=-\frac{\pi }{2}$

Gauss公式

$${\iiint }_V(\nabla \cdot \mathbf{F})\mathrm{d}V={\iint }_S(\mathbf{F}\cdot \hat{\mathbf{n}})\mathrm{d}S$$

计算${\iint }_{S}y(x-z)\mathrm{d}y\mathrm{d}z+x^2\mathrm{d}z\mathrm{d}x+(y^2+xz)\mathrm{d}x\mathrm{d}y$, 其中$S$表示由$x=y=z=0$,$x=y=z=a$六个平面所围立方体的表面

我们可以写出

$$\mathbf{F}=(yx-yz,x^2,y^2+xz)$$

故此时有

$$\begin{array}{rl}\text{原式}& ={\iiint }_V\left(y+0+z\right)\mathrm{d}V\\ & ={\int }_0^a{\int }_0^a{\int }_0^a(y+z)\mathrm{d}y\mathrm{d}z\mathrm{d}x\\ & =a{\int }_0^a\left(\frac{a^2}{2}+az\right)\mathrm{d}z\\ & =a\left(\frac{a^3}{2}+a\cdot \frac{a^2}{2}\right)=a^4\end{array}$$

Stokes公式

$${\iint }_{\Sigma }(\nabla \times \mathbf{F})\cdot \mathrm{d}\mathbf{\Sigma }={\int }_{\delta \Sigma }\mathbf{F}\cdot \mathrm{d}(\mathbf{\Gamma })$$

计算

$$I={\oint }_{\ell }(y^2-z^2)\mathrm{d}x+(z^2-x^2)\mathrm{d}y+(x^2-y^2)\mathrm{d}z$$

其中$\ell$是立方体$[0,a]\times [0,a]\times [0,a]$的表面和平面$x+y+z=\frac{3a}{2}$的交线

我们写出函数

$$\mathbf{F}=(y^2-z^2,z^2-x^2,x^2-y^2)$$

计算

$$\begin{array}{rl}\nabla \times \mathbf{F}& =\left|\begin{array}{ccc}\hat{\mathbf{x}}& \hat{\mathbf{y}}& \hat{\mathbf{z}}\\ \frac{\partial }{\partial x}& \frac{\partial }{\partial y}& \frac{\partial }{\partial z}\\ y^2-z^2& z^2-x^2& x^2-y^2\end{array}\right|\\ & =(-2y-2z)\hat{\mathbf{x}}+(-2z-2x)\hat{\mathbf{y}}+(-2x-2y)\hat{\mathbf{z}}\end{array}$$

而$\ell$所围成的面$\Sigma$的法向量为$\left(\frac{1}{\sqrt{3}},\frac{1}{\sqrt{3}},\frac{1}{\sqrt{3}}\right)$, 故

$$I=\frac{1}{\sqrt{3}}{\iint }_{\Sigma }(-4)(x+y+z)\mathrm{d}S=-\frac{4}{\sqrt{3}}\cdot \frac{3a}{2}\Delta \Sigma$$

而$\Sigma$为边长为$\frac{a}{\sqrt{2}}$的正六边形, 故$\Delta \Sigma =6\times \frac{\sqrt{3}}{4}\times {\left(\frac{a}{\sqrt{2}}\right)}^2=\frac{3}{4}\sqrt{3}{a}^2$, 即$I=-\frac{9}{2}{a}^2$