曲线积分与曲面积分

Tabula Contentorum

  1. 1. 标量场上的线积分(第一类曲线积分)
    1. 1.1. 第一类曲线积分的定义
    2. 1.2. 第一类曲线积分的代数性质
    3. 1.3. 当积分路径由参数方程给出,直接计算第一类曲线积分的方法
  2. 2. 向量场上的线积分(第二类曲线积分)
    1. 2.1. 第二类曲线积分的定义
    2. 2.2. 第二类曲线积分的代数性质
    3. 2.3. 当积分路径由参数方程给出,直接计算第二类曲线积分的方法
    4. 2.4. 格林公式
    5. 2.5. 平面上第二类曲线积分的路径无关性
    6. 2.6. 空间中第二类曲线积分的路径无关性
    7. 2.7. 应用:使用格林公式计算平面参数曲线围成的面积
  3. 3. 标量场上的面积分(第一类曲面积分)
    1. 3.1. 第一类曲面积分的代数性质
    2. 3.2. 如果积分曲面由直角坐标方程给出,直接计算第一类曲面积分的方法
  4. 4. 向量场上的面积分(第二类曲面积分)
    1. 4.1. 第二类曲面积分的定义
    2. 4.2. 第二类曲面积分的代数性质
    3. 4.3. 如果积分曲面由直角坐标方程给出,直接计算第二类曲面积分的方法
    4. 4.4. 高斯公式
    5. 4.5. 斯托克斯公式

标量场上的线积分第一类曲线积分

第一类曲线积分的定义

$C$ 是平面上以 $A, B$ 为端点的一条光滑曲线$f(x, y)$ 是定义在曲线 $C$ 上的有界函数

在曲线上任意取点 $A = M_0, M_1, M_2, \cdots, M_n = B$将曲线 $C$分成 $n$记作 $\Delta s_1, \Delta s_2, \cdots, \Delta s_n$

$(\xi_i, \eta_i)$$\Delta s_i$ 上的任意一点$f(\xi_i, \eta_i)$$(\xi_i, \eta_i)$ 处的函数值

$\lambda = \max \{ \Delta s_1, \Delta s_2, \cdots, \Delta s_n \}$则以下的和式的极限称为函数 $f(x, y)$ 沿曲线 $C$$A$$B$ 的第一类曲线积分如果极限存在

$$\int_C f(x, y) ds = \lim_{\lambda \to 0} \sum_{i=1}^{n} f(\xi_i, \eta_i) \Delta s_i $$

第一类曲线积分的代数性质

第一类曲线积分具有和单积分相同的代数性质即线性性路径可加性和优势积分性质第一类曲线积分也满足积分中值定理

此外第一类曲线积分不强调曲线的方向$\displaystyle \int_C f(x, y) ds = \int_{-C} f(x, y) ds$

当积分路径由参数方程给出直接计算第一类曲线积分的方法

当曲线 $C$ 由参数方程 $\begin{cases} x = \varphi(t) \\ y = \psi(t) \end{cases}$ 给出时

可以证明弧长的增量 $\Delta s = \sqrt{(\varphi'(t))^2 + (\psi'(t))^2} \Delta t + o(\Delta t)$

从而 $ds = \sqrt{(\varphi'(t))^2 + (\psi'(t))^2} dt$

那么

$\displaystyle \int_C f(x, y) ds = \int_{t_1}^{t_2} f \Big(\varphi(t), \psi(t) \Big) \sqrt{(\varphi'(t))^2 + (\psi'(t))^2} dt$

其中$t_1, t_2$ 是参数 $t$ 的取值范围从小到大

向量场上的线积分第二类曲线积分

第二类曲线积分的定义

$C$ 是平面上以 $A, B$ 为端点的一条光滑曲线并指定从 $A$$B$ 的曲线方向

在曲线 $C$ 上取一点 $M(x, y)$

$M$ 处的向量场为 $\mathbf{F}(M) = \begin{bmatrix} P(x, y) \\ Q(x, y) \end{bmatrix}$

$\mathbf{e}_c(M)$ 是曲线 $C$ 在点 $M$ 处的单位切向量$\mathbf{e}_c(M) = \begin{bmatrix} \cos \alpha \\ \cos \beta \end{bmatrix}$其中 $\alpha$$\beta$ 是曲线 $C$ 在点 $M$ 处的切线与 $x$$y$ 轴正方向的夹角

那么向量场 $\mathbf{F}(M)$ 沿曲线 $C$$A$$B$ 的第二类曲线积分被定义为以下的第一类曲线积分

$$\begin{array}{rl} \displaystyle \int_C \mathbf{F}(M) \cdot \mathbf{e}_c(M) ds &= \displaystyle \int_C \left( P \cos \alpha + Q \cos \beta \right) ds \\ &= \displaystyle \int_C P dx + Q dy \end{array} $$

$\mathbf{e}_c(M) ds$ 记作有向线元 $d\mathbf{s}$第二类曲线积分可以写成 $\displaystyle \int_C \mathbf{F} \cdot d\mathbf{s}$

第二类曲线积分的代数性质

第一类曲线积分具有和单积分相同的代数性质即线性性路径可加性和优势积分性质第二类曲线积分也满足积分中值定理

第二类曲线积分强调曲线的方向$\displaystyle \int_C \mathbf{F} \cdot d\mathbf{s} = -\int_{-C} \mathbf{F} \cdot d\mathbf{s}$

当积分路径由参数方程给出直接计算第二类曲线积分的方法

设曲线 $C$ 由参数方程 $\begin{cases} x = \varphi(t) \\ y = \psi(t) \end{cases}$ 给出曲线两端点分别为 $A(\varphi(t_1), \psi(t_1))$$B(\varphi(t_2), \psi(t_2))$那么

$$\begin{array}{rl} \displaystyle \int_C P \boxed{dx} + Q \boxed{dy} &= \displaystyle \int_{t_1}^{t_2} P \Big(\varphi(t), \psi(t) \Big) \boxed{\varphi'(t) dt} + \int_{t_1}^{t_2} Q \Big(\varphi(t), \psi(t) \Big) \boxed{\psi'(t) dt} \\ &= \displaystyle \int_{t_1}^{t_2} \left[ P \Big(\varphi(t), \psi(t) \Big) \varphi'(t) + Q \Big(\varphi(t), \psi(t) \Big) \psi'(t) \right] dt \end{array} $$

证明分别证明 $\displaystyle \int_C P dx = \int_{t_1}^{t_2} P \Big(\varphi(t), \psi(t) \Big) \varphi'(t) dt$$\displaystyle \int_C Q dy = \int_{t_1}^{t_2} Q \Big(\varphi(t), \psi(t) \Big) \psi'(t) dt$使用一元定积分的定义和拉格朗日中值定理需要对 $t_1, t_2$ 大小关系进行讨论但会得到相同的结果具体证明此处从略

格林公式

设闭区域 $D$ 由分段光滑的简单曲线 $C$ 围成函数 $P(x, y)$$Q(x, y)$$D$ 上具有一阶连续偏导数则有

$$\iint_D \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) dA = \oint_{C^+} P dx + Q dy $$

其中$C^+$$D$ 的正向边界曲线

正向边界是指当观察者沿着曲线 $C$ 的方向区域 $D$ 始终在左侧格林公式的情况是曲线积分取曲线 $C$ 逆时针方向

光滑曲线是指曲线 $C$ 在其上的每一点都有切线并且切线方向连续变化$x'(t)$$y'(t)$ 存在且连续并且不同时为 $0$

分段光滑曲线是指曲线 $C$ 由有限条光滑曲线组成不要求连接处的切线方向一致

简单曲线是指曲线 $C$ 除了端点处不与自身相交

平面上第二类曲线积分的路径无关性

在单连通区域 $D$可以证明以下四个命题等价

  1. 向量场 $\mathbf{F} = \begin{bmatrix} P(x, y) \\ Q(x, y) \end{bmatrix}$ 是保守场$\displaystyle P dx + Q dy$ 是某个函数的全微分
  2. $\begin{vmatrix} \displaystyle \frac{\partial}{\partial x} & \displaystyle \frac{\partial}{\partial y} \\ P & Q \end{vmatrix} = 0$$\displaystyle \frac{\partial Q}{\partial x} = \frac{\partial P}{\partial y}$
  3. 沿 $D$ 内任意逐段光滑闭曲线 $C$$\displaystyle \oint_C \mathbf{F} \cdot d\mathbf{s} = 0$
  4. 沿 $D$ 内任意逐段光滑的曲线 $L_{AB}$$\displaystyle \int_{L_{AB}} \mathbf{F} \cdot d\mathbf{s}$ 与路径无关只与起点 $A$ 和终点 $B$ 有关

提出线积分的基本定理如果向量场 $\mathbf{F} = \begin{bmatrix} P(x, y) \\ Q(x, y) \end{bmatrix}$ 是保守场即存在标量场 $f(x, y)$使得 $\nabla f = \mathbf{F}$设曲线 $C$ 由点 $A$ 到点 $B$那么

$$\begin{array}{rl} \displaystyle \int_C \mathbf{F} \cdot d\mathbf{s} &= \displaystyle \int_C P dx + Q dy \\ &= \displaystyle \int_C \nabla f \cdot d\mathbf{s} & \text{(if this equal holds)} \\ &= \displaystyle f(B) - f(A) \end{array} $$

空间中第二类曲线积分的路径无关性

有关平面上第二类曲线积分的路径无关性的结论可以直接推广到空间中的情况

在单连通区域 $\Omega$以下四个命题等价

  1. 向量场 $\mathbf{F} = \begin{bmatrix} P(x, y, z) \\ Q(x, y, z) \\ R(x, y, z) \end{bmatrix}$ 是保守场即存在标量场 $f(x, y, z)$使得 $\nabla f = \mathbf{F}$
  2. 向量场 $\mathbf{F} = \begin{bmatrix} P(x, y, z) \\ Q(x, y, z) \\ R(x, y, z) \end{bmatrix}$ 的旋度为零$\nabla \times \mathbf{F} = \mathbf{0}$
  3. 沿 $\Omega$ 内沿任意逐段光滑闭曲线 $C$$\displaystyle \oint_C \mathbf{F} \cdot d\mathbf{s} = 0$
  4. 沿 $\Omega$ 内任意逐段光滑的曲线 $L_{AB}$$\displaystyle \int_{L_{AB}} \mathbf{F} \cdot d\mathbf{s}$ 与路径无关只与起点 $A$ 和终点 $B$ 有关

应用使用格林公式计算平面参数曲线围成的面积

由格林公式 $\displaystyle \iint_D \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) dA = \oint_C P dx + Q dy$只需要构造一组合适的 $P$$Q$使得 $\displaystyle \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} = 1$即可计算曲线围成的面积

我们选取 $\begin{cases} P = 0 \\ Q = x \end{cases}$$\displaystyle \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} = 1$即满足条件

或者选取 $\begin{cases} P = -y \\ Q = 0 \end{cases}$同样满足条件

从而$\displaystyle A = \oint_C x dy = -\oint_C y dx = \frac{1}{2} \oint_C (x dy - y dx)$

具体选取何种形式取决于计算的方便程度

标量场上的面积分第一类曲面积分

$S$ 是空间内的一块光滑曲面$f(x, y, z)$ 是定义在曲面 $S$ 上的有界函数

用曲线网将 $S$ 任意分为 $n$ 个小面元记作 $\Delta S_1, \Delta S_2, \cdots, \Delta S_n$

$(\xi_i, \eta_i, \zeta_i)$$\Delta S_i$ 上的任意一点$f(\xi_i, \eta_i, \zeta_i)$$(\xi_i, \eta_i, \zeta_i)$ 处的函数值

$\lambda = \max \{ \Delta S_1, \Delta S_2, \cdots, \Delta S_n \}$则以下的和式的极限称为函数 $f(x, y, z)$ 沿曲面 $S$ 的第一类曲面积分如果极限存在

$$\int_S f(x, y, z) dS = \lim_{\lambda \to 0} \sum_{i=1}^{n} f(\xi_i, \eta_i, \zeta_i) \Delta S_i $$

第一类曲面积分的代数性质

第一类曲面积分具有和单积分相同的代数性质即线性性积分区域可加性和优势积分性质第一类曲面积分也满足积分中值定理

第一类曲面积分不强调曲面的定向$\displaystyle \int_S f(x, y, z) dS = \int_{-S} f(x, y, z) dS$

如果积分曲面由直角坐标方程给出直接计算第一类曲面积分的方法

设曲面 $S$ 由方程 $F(x, y, z) = 0$ 给出我们尝试将曲面投影到 $xOy$ 平面上对曲面积分进行计算

苏德矿 微积分第 10.4.2 节图 9.48图 9.49

如图所示$d\sigma = |\cos \gamma| dS$

而曲面上任意一点 $(x, y, z)$$\displaystyle \cos \gamma = \frac{\mathbf{n} \cdot \mathbf{k}}{|\mathbf{n}| |\mathbf{k}|}$

$\mathbf{n} = \nabla F = \begin{bmatrix} F'_x \\ F'_y \\ F'_z \end{bmatrix}$$\mathbf{k} = \begin{bmatrix} 0 \\ 0 \\ 1 \end{bmatrix}$从而

$$\begin{array}{rl} \displaystyle dS &= \displaystyle \frac{1}{|\cos \gamma|} d\sigma \\ &= \displaystyle \frac{\sqrt{(F'_x)^2 + (F'_y)^2 + (F'_z)^2}}{|F'_z|} d\sigma \\ &= \displaystyle \frac{\sqrt{(F'_x)^2 + (F'_y)^2 + (F'_z)^2}}{|F'_z|} dxdy \end{array} $$

从而

$$\int_S f(x, y, z) dS = \iint_D f(x, y, z) \frac{\sqrt{(F'_x)^2 + (F'_y)^2 + (F'_z)^2}}{|F'_z|} dxdy $$

特别地如果曲面 $S$$z = z(x, y)$ 给出那么 $F'_z = 1$从而

$$\int_S f(x, y, z) dS = \iint_D f(x, y, z(x, y)) \sqrt{1 + (z'_x)^2 + (z'_y)^2} dxdy $$

向量场上的面积分第二类曲面积分

第二类曲面积分的定义

$S$ 是空间内的一块光滑曲面并指定曲面 $S$ 的定向

在曲面 $S$ 上取一点 $M(x, y, z)$

$M$ 处的向量场为 $\mathbf{F}(M) = \begin{bmatrix} P(x, y, z) \\ Q(x, y, z) \\ R(x, y, z) \end{bmatrix}$

$\mathbf{n}_c(M)$ 是曲面 $S$ 在点 $M$ 处的单位法向量$\mathbf{n}_c(M) = \begin{bmatrix} \cos \alpha \\ \cos \beta \\ \cos \gamma \end{bmatrix}$其中 $\alpha$$\beta$$\gamma$ 是曲面 $S$ 在点 $M$ 处的法线与 $x$$y$$z$ 轴正方向的夹角

那么向量场 $\mathbf{F}(M)$ 对定向曲面 $S$ 的第二类曲面积分被定义为以下的第一类曲面积分

$$\begin{array}{rl} \displaystyle \iint_S \mathbf{F}(M) \cdot \mathbf{n}_c(M) dS &= \displaystyle \iint_S \left( P \cos \alpha + Q \cos \beta + R \cos \gamma \right) dS \\ &:= \displaystyle \iint_S P dy dz + Q dz dx + R dx dy \end{array} $$

$\mathbf{n}_c(M) dS$ 记作有向面元 $d\mathbf{S}$第二类曲面积分可以写成 $\displaystyle \iint_S \mathbf{F} \cdot d\mathbf{S}$

$d\mathbf{S}$ 在三个坐标面上的投影为 $\begin{cases}\mathbf{i} \cdot d\mathbf{S} = \cos \alpha dS = dy dz \\ \mathbf{j} \cdot d\mathbf{S} = \cos \beta dS = dz dx \\ \mathbf{k} \cdot d\mathbf{S} = \cos \gamma dS = dx dy \end{cases}$

采用这里的 $dy dz$$dz dx$$dx dy$ 作为面积微元的记法时需要注意此处是考虑方向的$dz dx = -dx dy$

第二类曲面积分的代数性质

第二类曲面积分具有和单积分相同的代数性质即线性性积分区域可加性和优势积分性质第二类曲面积分也满足积分中值定理

第二类曲面积分强调曲面的方向$\displaystyle \iint_S \mathbf{F} \cdot d\mathbf{S} = -\iint_{-S} \mathbf{F} \cdot d\mathbf{S}$

如果积分曲面由直角坐标方程给出直接计算第二类曲面积分的方法

根据定义

$$\iint_S \mathbf{F} \cdot d\mathbf{S} = \iint_S P dy dz + Q dz dx + R dx dy $$

我们考虑其中一项 $\displaystyle \iint_S R dx dy$ 的计算

将曲面 $S$ 投影到 $xOy$ 平面上得到投影区域 $D_{xy}$

在这个积分区域 $D$ 上的面积元 $d\sigma$$dS$ 之间的关系是 $d\sigma = dS |\cos \gamma|$

$$\begin{array}{rl} dx dy &= dS \cos \gamma \\ &= \displaystyle d\sigma \frac{\cos \gamma}{|\cos \gamma|} \\ &= \displaystyle \text{sgn}(\frac{\pi}{2} - \gamma) d\sigma \end{array} $$

从而

$$\iint_S R(x, y, z) dx dy = \pm \iint_{D_{xy}} R\Big(x, y, z(x, y)\Big) d\sigma $$

其中$\pm$ 取决于曲面定向 $\mathbf{n}$$z$ 轴正方向的投影的方向若投影为正方向则取正号否则取负号

高斯公式

设空间区域 $V$ 由分片光滑的闭曲面 $S$ 围成函数 $P(x, y, z)$$Q(x, y, z)$$R(x, y, z)$$V$ 上具有一阶连续偏导数则有

$$\iiint_V \left( \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z} \right) dV = \oiint_{S^+} P dy dz + Q dz dx + R dx dy $$

其中$S^+$$V$ 的外侧曲面

定义 $\displaystyle \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z}$$\mathbf{F} = \begin{bmatrix} P(x, y, z) \\ Q(x, y, z) \\ R(x, y, z) \end{bmatrix}$ 的散度记作 $\nabla \cdot \mathbf{F}$那么高斯公式可以写成

$$\iiint_V \nabla \cdot \mathbf{F} dV = \oiint_{S^+} \mathbf{F} \cdot d\mathbf{S} $$

散度的物理意义是某一点的场强的流出量与流入量之差

斯托克斯公式

设分片光滑的闭曲面 $S$ 的边界曲线 $C$ 为分段光滑曲线函数 $P(x, y, z)$$Q(x, y, z)$$R(x, y, z)$$V$ 上具有一阶连续偏导数则有

$$\iint_S \left( \frac{\partial R}{\partial y} - \frac{\partial Q}{\partial z} \right) dy dz + \left( \frac{\partial P}{\partial z} - \frac{\partial R}{\partial x} \right) dz dx + \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) dx dy = \oint_C P dx + Q dy + R dz $$

其中$S$ 的定向与曲线 $C$ 的方向满足右手法则

其行列式形式为

$$\iint_S \begin{vmatrix} dy dz & dz dx & dx dy \\ \displaystyle \frac{\partial}{\partial x} & \displaystyle \frac{\partial}{\partial y} & \displaystyle \frac{\partial}{\partial z} \\ P & Q & R \end{vmatrix} = \oint_C P dx + Q dy + R dz $$

定义 $\begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\ \displaystyle \frac{\partial}{\partial x} & \displaystyle \frac{\partial}{\partial y} & \displaystyle \frac{\partial}{\partial z} \\ P & Q & R \end{vmatrix}$$\mathbf{F} = \begin{bmatrix} P(x, y, z) \\ Q(x, y, z) \\ R(x, y, z) \end{bmatrix}$ 的旋度记作 $\nabla \times \mathbf{F}$那么斯托克斯公式可以写成

$$\iint_S \nabla \times \mathbf{F} \cdot d\mathbf{S} = \oint_C \mathbf{F} \cdot d\mathbf{s} $$