讲座
按维度分类积分定理
积分定理涉及几何对象 和场 。积分通过斯托克斯定理将它们配对,形式为 其中涉及 的边界 和 的外微分 。我们可以通过考察底层空间的维度 和对象 的维度 来对这些定理进行分类。在维度 中,有 个定理:
梯度与线积分
线积分基本定理是关于梯度 的定理。它告诉我们,如果 是从 到 的曲线,且 是一个函数(即一个 -形式),那么
定理 1. 。
在微积分中,我们将 -形式写为列向量场 。它实际上是一个 -形式 ,一个在每个点附着一个行向量的场。如果 -形式在 处求值,得到 ,即矩阵乘积。然后我们在区间 上积分该 -形式的拉回。正是从行向量到列向量的转换导致了点积 。对于闭合曲线,线积分为零。由此也得出积分是路径无关的。
旋度与线积分:格林定理的联系
格林定理告诉我们,如果 是一个由曲线 围成的区域,且 在曲线左侧,那么
定理 2. 。
在形式语言中, 是一个 -形式,且 是一个 -形式。我们将这个 -形式 写为 并将其视为标量函数,尽管这与 -形式(即标量函数)不同。如果在 中处处有 ,那么 是一个梯度场。
图 1. 线积分基本定理和格林定理。 曲面与线积分
斯托克斯定理告诉我们,如果 是一个具有边界 的曲面,且定向使得 在左侧, 是一个向量场,那么
定理 3. 。
在一般框架中,场 是一个 -形式,而 -形式 被写为列向量场 要理解通量积分,我们需要了解像 这样的双线性形式对向量对 、 的作用。对于 ,我们有 这是叉积 的第三个分量,其中 。在 上积分 等同于积分 的点积。斯托克斯定理意味着 的旋度的通量仅依赖于 的边界。特别地,通过闭合曲面的旋度通量为零,因为边界为空。
图 2. 斯托克斯定理和高斯定理。 高斯定理:源、汇与全局视角
高斯定理:如果曲面 包围空间中的立体 ,定向向外,且 是一个向量场,那么
定理 4. 。
高斯定理处理一个 -形式 但由于 -形式有三个分量,我们可以将其写为向量场 。我们计算得到 其中只有项 保留下来,我们再次将其与标量函数 关联。在 维立体上积分 -形式就是通常的三重积分。对于无散向量场 ,通过闭合曲面的通量为零。无散场也称为不可压缩或无源场。
三重困境:张量类型在三维中的碰撞
我们看到了为什么三维情况起初看起来令人困惑。我们有三个看起来非常不同的定理。这种混淆在科学中很常见:我们将实际上不同的东西放在同一个桶里:只有在 维中,-形式和 -形式才能被等同。实际上,混淆的更多:不仅 -形式和 -形式被等同,它们还被写为向量场,即 张量场。从张量微积分的角度来看,我们等同了三个空间 虽然我们仍然可以总是将向量场与 -形式等同,但在一般的非平坦空间中,这种等同将依赖于度量。在 中,-形式具有维度 ,不能再写为向量。但人们仍然这样做。电磁 是 中的一个 -形式,我们将其写为一对时间相关的向量场:电场 和磁场 。
希尔伯特空间调和:几何与场的融合
几何对象和场惊人地相似。在几何对象上,边界运算 满足 。在场中,导数运算 满足 。“几何对象”和“场”都带有定向: 运算 和 看起来不同,因为微积分处理的是光滑的东西,如曲线或曲面,导致广义函数。在量子微积分中,它们被加厚,并且 、 在没有极限的情况下定义。场和几何对象随后变得无法区分,成为希尔伯特空间中的元素。外微分 有一个伴随算子 ,即边界算子。这是一种量子场论,其中 产生而 湮灭一个“粒子”。 是一种“泡利不相容”。
我们可以进一步延伸:一个 -流形 是参数化 的像。雅可比矩阵 是一个对偶 -形式,即 个向量 到 的外积(可以想象为附着在 上的 个列向量)。如果我们取一个映射 并考察 ,我们可以将其视为一个 -形式 (可以想象为附着在 中每个点 上的 个行向量)。映射 定义了 的雅可比矩阵 ,而雅可比矩阵 是 的矩阵。柯西-比内公式表明, 通过 的通量是积分 如果 ,那么这是一个几何泛函。因此:几何对象 可以来自从空间 到空间 的映射,而场 可以来自从 到 的映射。作用积分 推广了波利亚科夫作用量 这是一个 和 对偶的情况,即 。
典型例题
例 1. 问题:计算向量场 沿路径 从 到 的线积分。
解:该场是一个梯度场 ,其中 。我们有 线积分基本定理给出
例 2. 问题:求向量场 沿心形线 的线积分,其中 从 到 。
解:我们使用格林定理。由于 ,线积分是二重积分 我们在极坐标中积分得到 结果为 。可以通过对称性注意到 来简化,因此积分等于 乘以心形线的面积 。
例3 问题: 计算向量场 沿连接点 、、、 的折线路径 的线积分。
解: 路径 围成一个曲面 ,参数化区域为 根据斯托克斯定理,该线积分等于旋度 穿过曲面 的通量。曲面 的法向量为 因此
例4 问题: 计算向量场 穿过矩形盒子 的边界 的通量。解: 根据高斯定理,该通量等于散度 在盒子上的三重积分: