49. 子流形上的积分计算, 散度定理与 Green 公式

一个积分的计算

我们首先一起计算一个积分: , 其中 上面由曲线 所围成的区域.

MathAnalysis N2002.svg

这显然是某个函数 的图像下的部分 (与 轴所围) , 其中 . 所以, 我们可以尝试用 Fubini 公式: 当然, 我们可能需要强行决定 具体的表达式.

所以, 我们很自然地想研究 之间的 (隐函数) 关系: 这个只需要用 来表达 , 然后带入 的表达式即可. 利用这个表达式, 一种计算积分的方式就是把 换元成 , 从而对 积分. 当然, 这个操作启发我们可以用 Fubini 公式先对 积分, 这样再用 来描述函数的图像就会简单很多.

还有一种看法是用参数曲线来描述积分我们将这个积分写的形式化一些: 其中 就是我们要找的函数图像, , 所以我们可以取 (注意到这个函数的选取比较随意) . 此时, 我们可以用曲线的参数表达, 因为我们通过 的替换已经假设这个点生活在 的图像上. 所以代入参数化, 我们得到这样, 就得到了一个 维的积分, 所以可以进行计算了.

如果我们坚持不用具体的参数表达式来写, 我们实际上就是用了如下简单的计算:

这些计算实际上已经隐藏在 Stokes 公式之中, 我们把 看作是 , 并且这恰好就是在 Stokes 公式的证明中所出现的步骤. 此时, 的下边界对积分没有贡献, 因为 , 这个边界落在向 轴投影的奇异点集中.

上述的讨论还建议我们实际上可以用 Stokes 公式来计算, 想法是直接把积分化到边界上, 从而用曲线上的积分计算: 我们可以参考后面的散度定理.

注记. 上周的 Stokes 公式的证明是值得研究的, 核心的想法是把边界上的积分分解为一些函数图像上的积分, 为了搞清楚证明, 假设 的标准球面, 然后就这个例子把证明的每一步搞清楚是很有帮助的.

我们先澄清一些出现在各种数学或物理教材文献中的各种积分的记号. 我们总是假设 是给定的一个区域 (很多场合下, 它是一个有界带边的光滑区域) .

假设 是子流形, 给定函数 , 人们通常把子流形上的积分 (如果可积的话) 称作是第一型子流形积分. 当 时 (通常 ) , 这个积分被称作是第一型曲线积分; 当 时 (通常 ) , 这个积分被称作是第一型曲面积分. 这种分类可能不是很有意思, 更多是沿用了历史上的名称.

第二型曲线积分

现在假设 是区域 上的光滑向量场.

我们首先定义第二型曲线积分. 假设 是一个 维子流形, 我们它可以用光滑的参数化来表示. 我们定义向量场 上的第二型曲线积分在上面的表达式中, 左边我们认为是形式的记号, 右边 表示的是向量的内积. 有时候 (从微分流形的观点看更自然, 我们或许在下个学期会严格地定义一般流形上对微分形式的积分) , 人们把这个积分也写成: 用测度的观点来写 (或者用第一型曲线积分来写) , 我们有也就是说, 被积函数是 的单位切向量的内积.

所以, 单独地研究第二型曲线积分并没有太大的意义, 因为这就是在曲线上做积分, 然而, 这些表达式在物理学里有着它们特殊的含义, 我们会在某些例子中展现, 同学们在今后其他场合遇到第二型曲线积分只要来查一下这部分笔记把它翻译成第一型积分即可.

另外, 假设 是闭曲线, 即 , 我们还把这个积分写成其中, 积分号上的圈表明这个曲线是一个 “圈” (封闭) , 我们把它还称作是 沿曲线 环路积分, 物理上把它称作是 沿曲线 环量.

第二型 (超) 曲面积分

现在 是有界带边光滑区域, 上的光滑向量场, 上的单位外法向量. 我们定义物理学上, 我们把上面的量称作是 穿过 通量, 目前我们可以简单地从字面上直观认为这个积分是 从里向外有多少 “流” 通过了 (我们后面会定义精确地定义它的含义) .

通常, 我们研究的区域在 中, 此时, 我们也把上面的积分写成其中, 两个积分符号代表着 的维数是 .

另外, 由于 是闭曲面, 我们还把这个积分写成其中, 积分号上的圈表明曲面是封闭的.

另外, 文献中还有另一种表达式代表的也是第二型曲面积分 () 的情形, 它的表达式是其中 (或者 ) 上的光滑函数. 这个积分应该按照下面的方式解读: 上的向量场, 那么

同样地, 从微分流形的观点看这些记号更有意义, 但是这绝对不会影响我们学习积分, 所以我们完全没有必要去记住这些记号 (只需要记住在哪里查找即可) .

上向量场的运算

我们在 上固定直角坐标系 . 对于 上的光滑向量场我们定义 旋度 是在反对称矩阵中取值的映射 (这实际上是一个 -形式) 其中特别地, 在 时, 由于 只有三个分量, 我们将 的旋度用 中的向量场表示 (正确的定义需要用到 Hodge -算子) , 记作

时, 由于 只有一个分量, 我们将 的旋度用 中的函数表示, 记作

我们还定义向量场 散度为: 这是一个函数.

散度和旋度的几何意义很难从它们的定义读出, 我们需要 Stokes 公式的帮助来能正确理解这两个概念. 但在此之前, 我们先罗列出它们满足的一些代数性质, 这将为后来的众多计算提供莫大的方便:

引理 49.1. 我们在 用直角坐标系. 假设 上的光滑向量场, 上实值光滑函数, 我们用下面经典的记号: (其中, 被称作是 Laplace 算子) 那么, 我们有

这些等式的证明可以通过直接计算得到, 我们把它们留作作业.

Stokes 公式的应用

我们首先给出 Stokes 公式的散度定理形式:

定理 49.2 (散度定理). 给定有界光滑带边区域 , 我们用 表示 的单位外法向量, 的子流形测度. 那么, 对任意 的向量场 , 我们有

证明. 证明几乎是平凡的: 假设 , 那么, 根据 Stokes 公式, 对任意的 , 我们有 求和我们就得到了公式.

注记. 如果我们令 , 其中除了第 个位置之外, 的其余分量都为 , 那么, 散度定理就给出了 Stokes 公式, 这说明这两个公式是等价的.

时, 散度定理或者 Stokes 公式被称作是 Green 公式, 它经常以第二型曲线积分的形式出现:

推论 49.3 (Green 公式). 如果 是有界光滑带边区域, 那么对任意的 上的光滑 () , 我们有

注记. 上面的公式隐含地用到了 是有限个闭曲线的并, 我们不打算在这里展开这一点.

证明. 我们只需要把上述公式翻译成我们熟悉的形式. 我们对 局部上进行参数化我们利用 上的特点: 如果 的外法向量, 那么, 我们总是可以选取参数化 (或者 ) , 使得 的方向恰好是 逆时针转动 , 即
MathAnalysis N2001.svg
上的向量场, 那么另外, 根据散度定理, 我们有对比上下的式子, 我们就得到了结论.

时, 散度定理或者 Stokes 公式被称作是 Gauss–Ostrogradsky 公式,

推论 49.4 (Gauss–Ostrogradsky). 如果 是有界光滑带边区域, 那么对任意的 上的光滑 () , , 我们有

为了给出散度定理的几何/物理解释, 我们需要研究和向量场相关的几何. 我们要利用上学期第二十五课讲的关于常微分方程解的存在唯一性定理 (Cauchy–Lipschitz) :

定理 49.5 (Cauchy–Lipschitz). 给定完备的赋范线性空间 (通常我们假设 ) , 是开集, 是开区间, 是给定的连续函数 (映射) . 假设存在 , 对任意的 , 映射-Lipschitz 映射, 即对任意的 , 有如下估计那么, 对任意的 (初始值) , 存在 (可能依赖于 ) , 存在唯一的映射 , 满足如下的常微分方程:

现在考虑更广的一个场合: 给定子流形 上的一个光滑的向量场 (在大部分的应用中, 就足够了) . 按照定义, 对每个 , . 给定 , 我们想找一条通过 曲线使得这样的曲线当然存在, 因为这就是切向量的定义. 然而我们还想要求在该曲线其他点处, 曲线的切向量恰好是 在这点处的值.

用常微分方程的语言来讲, 我们要找如下方程的一个解: 根据 Cauchy–Lipschitz 定理, 存在 , 使得对于 , 上述方程有解. 我们这里假设上述的解对一切 都可以定义 (其参考下学期的常微分方程课的进一步讨论) . 我们首先注意到 的像是落在 上的: 局部上, 我们可以假设 的零点所定义的, 其中 , 所以, 为了说明 , 只要说明对每个 , 即可. 当 时, 我们有 求导数, 我们就有最后一个等号是因为 , 所以, 我们可以选一条落在 上的曲线来计算这个方向导数, 它自然是 .

现在假设 固定, 在变化, 也就是上面方程的初始值在变化, 那么, 我们就得到了映射其中, 的定义如下: 考虑满足如下条件的方程的唯一的解我们就令 .

直观上来说, 就是 沿着 流了 这么长的时间所到达的点 (至少物理学家们都采用这样的说法) , 我们通常把 被称作是 通过 点的流线. 很明显, 我们有这是单位映射.

另外, 利用常微分方程的解的存在唯一性定理, 任意的 , 我们有证明很简单: 对任意的 , 假设 是固定的. 我们考虑考虑两条曲线: 利用链式法则, 对每个 , 我们有并且当 时, 我们有 , 解的存在唯一性定理, 我们就证明了所要的性质. 特别地, 我们知道所以, 到自身的双射. 根据下个学期要学习的常微分方程理论 (对初值的光滑依赖性) , 我们还可以证明 都是微分同胚.

我们现在给出散度的几何/物理解释: 衡量了 的所对应的 时的体积变化率.

引理 49.6. 给定 上的光滑向量场 , 假设 是上述所构造的流, 那么,

证明. 根据 Newton–Leibniz 公式以及 的定义, 对任意的 , 我们有从而 (Lebesgue 控制收敛保证了积分与求导数可交换) , 我们上个学期已经做过关于行列式导数的计算. 所以, 我们有

特别地, 用积分的形式来写, 我们有根据换元积分公式, 我们有所以, 衡量了 局部上体积的变化. 特别地, 如果 , 那么 是保持体积的 (保持了 Lebesgue 测度) .

用积分的语言来写, 我们有所以散度的积分是 的体积在 作用下瞬时的变化率.

如果我们给定一个区域 , 它是不动的, 那么根据 Stokes 公式, 我们有上面左边代表瞬间有多少面积 (质量) 流入了 , 右边可以解释为 ( 是内法向量, 指向区域的内部) 通过这个边界瞬间进入了多少面积 (质量) .