[note] 微积分 Part 8 曲面积分与公式集锦：Green，Gauss，Stokes

第一型曲面积分

直径

直径趋于零则面积一定趋于零
但面积趋于零，有可能出现长条的情况，不满足密度近似均匀和形体近似平面

定义

分（割极细，以至于密度和形体在面元内部均）匀（，随后求）和（，在这种切分下整体呈现出稳定的极限值）

性质（略）

线性性质，分片光滑的可累加性
（重要）奇偶性

计算

完全可以认为是第一类曲线积分的形式上的直接拓展。
$$\begin{gathered} \underset{\lambda \to 0}{\lim }\sum _{i=1}^{n}f(x,y,z)\Delta S_i \\ =\underset{\lambda \to 0}{\lim }\sum _{i=1}^{n}f(x,y,g(x,y))\sqrt{1+g_x^2(x_i,y_i)+g_y^2(x_i,y^i)}\mathrm{d}\sigma \\ =\underset{D}{\iint }f(x,y,g(x,y))\sqrt{1+g_x^2+g_y^2}\mathrm{d}\sigma \end{gathered}$$
最后一项是一个二重积分。

不难看出线面积分之间的关系。我们只是将一次一元积分转化成(二元的)二重积分

另外方向余弦可以利用参数方程进行表示，这种情况下法向量可以利用$r_u\times r_v$替换，从而知$\cos \gamma =\frac{C}{\sqrt{A^2+B^2+C^2}}$。随后我们会看到这为我们计算带来很大的便利性。
作变量代换：
$$\mathrm{d}S=\frac{\mathrm{d}\sigma }{|\cos \gamma |}=\frac{\sqrt{A^2+B^2+C^2}}{|C|}\mathrm{d}\sigma =\sqrt{EG-F^2}\mathrm{d}u\mathrm{d}v$$

其中$A,B,C$是$\overrightarrow{i},\overrightarrow{j},\overrightarrow{k}$的系数，分别为$\frac{D(y,z)}{D(u,v)},\frac{D(x,z)}{D(u,v)},\frac{D(x,y)}{D(u,v)}$ ，$|C|$和我们换元产生的中间结果相消了。

为什么会出现这样的几个Jacobi式呢？我们可以拿$\overrightarrow{i}$为例，垂直于$z$轴的变化是在平行于$xOy$的某个面中，我们只有$x,y$两个变量，对它们进行变换，利用叉积$\mathrm{d}x\mathrm{d}y=|(x_1-x_0)(y_3-y_0)-(x_3-x_0)(y_1-y_0)|\approx |\frac{\partial x}{\partial \xi }\frac{\partial y}{\partial \eta }-\frac{\partial x}{\partial \eta }\frac{\partial y}{\partial \xi }|\mathrm{d}\xi \mathrm{d}\eta =|J_3|\mathrm{d}\xi \mathrm{d}\eta$，类似可得其他两个Jacobi式。
方向余弦是在这个2to3映射空间中定义的，每个维度上都有一定的转化尺度，用Jacobi式衡量。方向余弦的大小不仅有几何意义，还可以反映某个转化尺度的大小。
某个几何面上的微元除以方向余弦，就可以表示成这个几何面和S曲面的关系，我们还可以进一步利用这个几何面和映射虚面上微元$\mathrm{d}u\mathrm{d}v$的关系，可知这个大根式即可转化为虚面上的。

简要总结：S，xOz，xOy，yOz都是几何面。我们需要利用Jacobi式衡量的，都与换元的转换尺度有关。

第二型曲面积分

双侧曲面

返回起始点时法向量指向始终不变

性质

• 有向性（重要）所以慎用奇偶性
• 线性性质
• 分片曲面同向可加性

计算（重要）

转化成仅有常数+几何意义可解的问题是少见但有效的。
通常用坐标法求解。代入转化为二重积分。
一般转化方法：$\underset{\Sigma }{\iint }R(x,y,z)\mathrm{d}x\mathrm{d}y=\underset{D}{\iint }R[x,y,z(x,y)]\mathrm{d}x\mathrm{d}y$
公式总结如下
$$\begin{gathered} \underset{S}{\iint }\overrightarrow{F}\cdot \overrightarrow{n}\mathrm{d}S \\ \underset{D}{\iint }P\mathrm{d}y\mathrm{d}z+Q\mathrm{d}z\mathrm{d}x+R\mathrm{d}x\mathrm{d}y \\ \pm \underset{D}{\iint }P(-f_x)+Q(-f_y)+R\mathrm{d}\sigma ...(\mathrm{d}x\mathrm{d}y) \\ \pm \underset{D}{\iint }\overrightarrow{F}(u,v)\frac{r_u\times r_v}{|r_u\times r_v|}\sqrt{EG-F^2}\mathrm{d}u\mathrm{d}v \end{gathered}$$
其中$\left|r_u\times r_v\right|=\sqrt{EG-F^2}$

这里的$r_u,r_v$，$r$是一个二维$(u,v)$映射到$(x,y,z)$的三维曲面的两个偏导数。分别都是一个切向量。他们的叉乘方向与法向量相同。单位化之后即得$\overrightarrow{n}$

总结：两型面和重积分的关系

$$\underset{\Sigma }{\iint }R(x,y,z)\mathrm{d}x\mathrm{d}y=\underset{D_{xy}}{\iint }R[x,y,z(x,y)]\mathrm{d}x\mathrm{d}y$$
从而二型曲面积分可以有如下的转化：
$$\begin{gathered} \underset{\Sigma }{\iint }\overrightarrow{F}\cdot \mathrm{d}\overrightarrow{S}=\underset{\Sigma }{\iint }\overrightarrow{F}\cdot \overrightarrow{n}\mathrm{d}S \\ =\underset{\Sigma }{\iint }(P\cos \alpha +Q\cos \beta +R\cos \gamma )\mathrm{d}S \\ =\underset{D}{\iint }P\mathrm{d}y\mathrm{d}z+Q\mathrm{d}z\mathrm{d}x+R\mathrm{d}x\mathrm{d}y \end{gathered}$$
二型曲面积分可以通过投影的方式转化成三个一型面相加。

经过方向余弦代入，我们的结论也可以写成：
$$\begin{gathered} \underset{\Sigma }{\iint }(P\cos \alpha +Q\cos \beta +R\cos \gamma ) \\ =\underset{D}{\iint }\left(P(-f_x)+Q(-f_y)+R\right)\mathrm{d}x\mathrm{d}y \end{gathered}$$
这个统一区域的形式，看起来会好用很多！

几何意义其实不用考虑过多，在某些程度上说，这是一个由于偏导数连续引起的代数结果。几何意义可可以理解成是法向量的朝向的转换。

这样我们就建立了一二型面之间的关系

Gauss公式和Stokes公式

Gauss公式

建立二型面和三重积分的关系
物理意义：散度（由于法向量朝外从而对应-Q）
<整个曲面的散度之和叫做通量，对比Gauss定理的一般形式和积分形式>

各种“散度”

N-L公式(0D-1D)
$${\int }_a^{b}f(x)\mathrm{d}x=F(x){|}_a^b$$
平面场散度(1D-2D)
$$\underset{L^{+}}{\oint }\overrightarrow{\mathbf{F}}\cdot \overrightarrow{\mathbf{n}}\mathrm{d}\ell =\underset{D}{\iint }\left(\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}\right)\mathrm{d}x\mathrm{d}y$$
Gauss公式(2D-3D)
$$\underset{S^{+}}{\iint }(P,Q,R)\cdot \overrightarrow{\mathbf{n}}\mathrm{d}S=\underset{\Omega }{\iiint }\left(\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}+\frac{\partial R}{\partial z}\right)\mathrm{d}V$$
其实Green公式和Stokes公式也可以有类似的观点。

Stokes公式

是Green公式的高维形式。
$$\underset{L^{+}}{\oint }P\mathrm{d}x+Q\mathrm{d}y+R\mathrm{d}z=\underset{S^{+}}{\iint }\left(\frac{\partial R}{\partial y}-\frac{\partial Q}{\partial z}\right)\mathrm{d}y\mathrm{d}z+\left(\frac{\partial P}{\partial z}-\frac{\partial R}{\partial x}\right)\mathrm{d}z\mathrm{d}x+\left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right)\mathrm{d}x\mathrm{d}y$$
轮换，借助三阶行列式记忆。证明见北大P116，D124

外微分与统一

一阶外微分

从普通的微分和全微分——到
外微分-恰当微分

统一公式（重要）

$${\int }_{\partial \Omega }\omega ={\int }_{\Omega }\mathrm{d}\omega$$

外微分的计算（掌握即可）

$$\mathrm{d}\omega (\overrightarrow{x_i})=\sum _{i=1}^n\sum _{j=1}^n\frac{\partial f_i}{\partial x_j}\mathrm{d}{x}_i$$