曲线与曲面积分

曲线积分

第一型曲线积分

第一型曲线积分的定义

假设$f:U\to \mathbb{R}$，其中$U\in {\mathbb{R}}^3$，以及$U$中的一条曲线$\Gamma$以及其关于弧长的参数化$\hat{\mathbf{r}}:s\mapsto \hat{\mathbf{r}}(s)$，即一个特殊的参数化：当$s$取从曲线起点开始的弧长时，$\hat{\mathbf{r}}(s)$刚好为曲线上与起点之间弧长为$s$的点坐标，其中$s\in [0,l]$，$l$是曲线的弧长。那么定义第一型曲面积分为：
$${\int }_{\Gamma }fds:={\int }_0^{l}f(\hat{\mathbf{r}}(s))ds$$

第一型曲线积分的计算

给定$\Gamma$的任意一个光滑参数化$\mathbf{r}:[a,b]\to \Gamma ,t\mapsto \mathbf{r}(t)$，设
$$S(t)={\int }_a^t||{\mathbf{r}}^{\prime }(t)||dt$$
由弧微分知识可知这代表$\Gamma$上点$\mathbf{r}(a),\mathbf{r}(t)$之间的弧长，由变上限积分的求导法则可知$S^{\prime }(t)=||{\mathbf{r}}^{\prime }(t)||$。由换元积分法可知
$${\int }_{\Gamma }fds={\int }_0^{l}f(\hat{\mathbf{r}}(s))ds={\int }_a^{b}f(\mathbf{r}(t))dS(t)={\int }_a^{b}f(\mathbf{r}(t))S^{\prime }(t)dt={\int }_a^{b}f(\mathbf{r}(t))||{\mathbf{r}}^{\prime }(t)||dt$$
从而将第一型曲线积分化成了定积分。

第二型曲线积分

第二型曲线积分的定义

假设$\mathbf{F}:U\to {\mathbb{R}}^3$，其中$U\in {\mathbb{R}}^3$，以及$U$中的一条可定向曲线$\Gamma$。给定$\Gamma$的一个定向，根据这个方向定义一个$\Gamma$上的单位切向量场$\mathbf{T}:\Gamma \to {\mathbb{R}}^3$，从而定义第二型曲线积分
$${\int }_{\Gamma }\mathbf{F}\cdot d\mathbf{s}:={\int }_{\Gamma }\mathbf{F}\cdot \mathbf{T}ds$$
设$\mathbf{F}=(F_x,F_y,F_z),\mathbf{T}=(T_x,T_y,T_z)$，有
$${\int }_{\Gamma }\mathbf{F}\cdot \mathbf{T}ds={\int }_{\Gamma }(F_x{T}_x+F_y{T}_y+F_z{T}_z)ds={\int }_{\Gamma }{F}_x(T_{x}ds)+F_y(T_{y}ds)+F_z(T_{z}ds)={\int }_{\Gamma }{F}_{x}dx+F_{y}dy+F_{z}dz$$
其中$d\mathbf{s}=(dx,dy,dz)$，从而得到第二型曲线积分分量形式。

第二型曲线积分的计算

给定$\Gamma$的任意一个光滑参数化$\mathbf{r}:[a,b]\to \Gamma ,t\mapsto \mathbf{r}(t)$，注意到${\mathbf{r}}^{\prime }$也指定了曲线的一个定向，不妨假设$\mathbf{T}$与${\mathbf{r}}^{\prime }$指定相同的定向（否则只需加一个负号），从而有
$$\mathbf{T}(\mathbf{r}(t))=\frac{{\mathbf{r}}^{\prime }(t)}{||{\mathbf{r}}^{\prime }(t)||}$$
从而
$${\int }_{\Gamma }\mathbf{F}\cdot d\mathbf{s}:={\int }_{\Gamma }\mathbf{F}\cdot \mathbf{T}ds={\int }_a^b(\mathbf{F}\cdot \mathbf{T})(\mathbf{r}(t))||{\mathbf{r}}^{\prime }(t)||dt={\int }_a^b\mathbf{F}(\mathbf{r}(t))\cdot {\mathbf{r}}^{\prime }(t)dt$$
因此把第二型曲线积分转化为定积分。

进一步，对于第二型曲线积分的分量形式，可以视为曲线在三个坐标轴上投影曲线的三个第二型曲线积分的和，此时原曲线的定向也给定了一个投影曲线的定向。例如（假设曲线的定向与$(x^{\prime },y^{\prime },z^{\prime })$相同）
$${\int }_{\Gamma }{F}_{x}dx={\int }_a^b{F}_x(\mathbf{r}(t))dx(t)$$
根据换元积分公式，假定$x^{\prime }\ne 0$，根据隐函数存在定理可以利用$x$进行参数化，那么有
$${\int }_a^b{F}_x(\mathbf{r}(t))dx(t)={\int }_{x(a)}^{x(b)}{F}_x(x,y(x),z(x))dx$$
注意到$x$不一定可以参数化整条曲线，但是可以通过将曲线分成若干段，在每一段中利用$x$进行参数化，从而转化为关于变量$x$的定积分。对$y,z$有类似的讨论。

例如，对图中定向曲线进行第二型曲线积分，其在$x$轴投影部分的积分计算时可以分为两段（红蓝两段），红段积分下限小于上限，蓝段积分上限小于下限，这里就体现出第二型曲线积分的方向性。假设$F_x$在红蓝两端上对应点取值相同，那么积分值将为0。

曲面积分

第一型曲面积分

第一型曲面积分的定义

假设$f:U\to \mathbb{R}$，其中$U\in {\mathbb{R}}^3$，以及$U$中的一张曲面$\Sigma$以及其正则参数化$\mathbf{r}:D\to \Sigma ,(u,v)\mapsto \mathbf{r}(u,v),D\in {\mathbb{R}}^2$。考虑$D$中一条光滑曲线$(u(t),v(t))$，对应于$\Sigma$上的曲线$\mathbf{r}(u(t),v(t))$，设$u(t_0)=u_0,v(t_0)=v_0$，求$\Sigma$上这条曲线在$\mathbf{r}(u_0,v_0)$的切向量$\mathbf{T}$，显然
$$\mathbf{T}=\frac{\partial }{\partial u}\mathbf{r}(u_0,v_0)\cdot u^{\prime }(t_0)+\frac{\partial }{\partial v}\mathbf{r}(u_0,v_0)\cdot v^{\prime }(t_0)\in span(\frac{\partial }{\partial u}\mathbf{r}(u_0,v_0),\frac{\partial }{\partial v}\mathbf{r}(u_0,v_0))$$
其中$\frac{\partial }{\partial u}\mathbf{r}=(\frac{\partial }{\partial u}{r}_x,\frac{\partial }{\partial u}{r}_y,\frac{\partial }{\partial u}{r}_z)$，对于$v$是类似的。

注意到
$$span(\frac{\partial }{\partial u}\mathbf{r}(u_0,v_0),\frac{\partial }{\partial v}\mathbf{r}(u_0,v_0))$$
与所选取的曲线无关，这恰好是所有经过该点的光滑曲线的切向量张成的空间。考虑$\Sigma$在该点的面积元素$dA(\mathbf{r}(u_0,v_0))=||\frac{\partial }{\partial u}\mathbf{r}(u_0,v_0)\times \frac{\partial }{\partial v}\mathbf{r}(u_0,v_0)||dudv$

则定义第一型曲面积分
$${\iint }_{\Sigma }fd\sigma :={\iint }_{D}f(\mathbf{r}(u,v))||\frac{\partial }{\partial u}\mathbf{r}\times \frac{\partial }{\partial v}\mathbf{r}|{|}_{(u,v)}dudv$$

第一型曲面积分的计算

定义中给出了计算方式，即转化为二重积分计算。

第二型曲面积分

第二型曲面积分的定义

假设$\mathbf{F}:U\to {\mathbb{R}}^3$，其中$U\in {\mathbb{R}}^3$，以及$U$中的一条双侧曲面$\Sigma$。给定$\Sigma$的一个定侧，根据这个方向定义一个$\Sigma$上的单位切向量场$\mathbf{N}:\Sigma \to {\mathbb{R}}^3$，从而定义第二型曲面积分
$${\iint }_{\Sigma }\mathbf{F}\cdot d\mathbf{\sigma }:={\iint }_{\Sigma }\mathbf{F}\cdot \mathbf{N}d\sigma$$
设$\mathbf{F}=(F_x,F_y,F_z),\mathbf{N}=(N_x,N_y,N_z)$，有
$${\iint }_{\Sigma }\mathbf{F}\cdot \mathbf{N}d\sigma ={\iint }_{\Sigma }(F_x{N}_x+F_y{N}_y+F_z{N}_z)d\sigma ={\iint }_{\Sigma }{F}_x(N_{x}d\sigma )+F_y(N_{y}d\sigma )+F_z(N_{z}d\sigma )={\iint }_{\Sigma }{F}_{x}dydz+F_{y}dzdx+F_{z}dxdy$$
其中$d\mathbf{\sigma }=(dydz,dzdx,dxdy)$，从而得到第二型曲面积分分量形式。

第二型曲面积分的计算

给定$\Sigma$的任意一个光滑参数化$\mathbf{r}:D\to \Sigma ,(u,v)\mapsto \mathbf{r}(u,v),D\in {\mathbb{R}}^2$，注意到$\frac{\partial }{\partial u}\mathbf{r}\times \frac{\partial }{\partial v}\mathbf{r}$也指定了曲线的一个定向，不妨假设$\mathbf{N}$与$\frac{\partial }{\partial u}\mathbf{r}\times \frac{\partial }{\partial v}\mathbf{r}$指定相同的定向（否则只需加一个负号），从而有
$$\mathbf{N}(\mathbf{r}(u,v))=\frac{\frac{\partial }{\partial u}\mathbf{r}(u,v)\times \frac{\partial }{\partial v}\mathbf{r}(u,v)}{||\frac{\partial }{\partial u}\mathbf{r}(u_0,v_0)\times \frac{\partial }{\partial v}\mathbf{r}(u_0,v_0)||}$$
从而
$${\iint }_{\Sigma }\mathbf{F}\cdot d\mathbf{\sigma }:={\iint }_D(\mathbf{F}\cdot \mathbf{N})(\mathbf{r}(u,v))||\frac{\partial }{\partial u}\mathbf{r}(u,v)\times \frac{\partial }{\partial v}\mathbf{r}(u,v)||dudv={\iint }_D\mathbf{F}(\mathbf{r}(u,v))(\frac{\partial }{\partial u}\mathbf{r}(u,v)\times \frac{\partial }{\partial v}\mathbf{r}(u,v))dudv$$
因此把第二型曲面积分转化为二重积分。

进一步，对于第二型曲面积分的分量形式，可以视为曲面在三个坐标平面上投影曲线的三个第二型曲面积分的和，此时原曲面的定向也给定了一个投影曲面的定向。例如（假设曲面的定向与$\frac{\partial }{\partial u}\mathbf{r}(u,v)\times \frac{\partial }{\partial v}\mathbf{r}(u,v)$相同）
$${\iint }_{\Sigma }{F}_{z}dxdy={\iint }_D{F}_z(\mathbf{r}(u,v))dx(u,v)dy(u,v)$$
根据换元积分公式，假定$\nabla x,\nabla y\ne 0$，根据隐函数存在定理可以利用$(x,y)$进行参数化，那么有
$${\iint }_D{F}_z(\mathbf{r}(u,v))dx(u,v)dy(u,v)={\iint }_{D_{xy}}{F}_z(x,y,z(x,y))dxdy$$
其中$D_{xy}$是$D$在$xOy$平面的有向投影（即如果曲面定侧的法向量与$dx\times dy$即$z$轴正向单位向量$\mathbf{k}$夹锐角）。注意到$(x,y)$不一定可以参数化整条曲面，但是可以通过将曲面分成若干片，在每一片中利用$(x,y)$进行参数化，从而转化为关于变量$(x,y)$的二重积分。对$(y,z),(z,x)$有类似的讨论。

例如，对图中红（$xOy$平面上方）蓝($xOy$平面下方)曲面（取外侧）在$xOy$平面上投影的第二型曲面积分，则将曲面分为红、蓝两片，再计算红色部分的积分时应取对应二重积分值的正值，计算蓝色部分时应取对应二重积分值的负值。假设$F_x$在红蓝两面上对应点取值相同，那么整体的积分值为0。