两类格林公式以及高斯公式、斯托克斯公式
微积分基本定理,即牛顿-莱布尼茨公式,是整个分析的源头:
函数在整个区间上的累积变化(内部微分),等于它在边界点上的值之差(边界信息)。
牛顿-莱布尼茨最初是在直线段(一维区间 )上陈述的。一个自然的问题是:如果路径不是直线,而是一条任意曲线 ,结论还成立吗?
答案是:只要被积的是梯度场,就仍然只和起点、终点有关,与路径是直是曲完全无关。
设 (即 是某个标量势函数 的梯度,称为保守场),则沿任意从 到 的曲线 的第二类线积分:
路径无关性:无论 是直线、折线还是任意弯曲的弧,积分值只由端点 决定。这正是牛顿-莱布尼茨"端点值之差"在高维的直接推广。
若 不是梯度场(例如实例 3 中的 ,其旋度非零),则 ,积分依赖路径。这引出一个核心判据:
在单连通区域内,** 是梯度场(保守) 积分与路径无关 **。
旋度是否为零,正是"能否像牛顿-莱布尼茨那样只看端点"的分水岭。
高维积分沿着曲线或曲面进行,根据被积对象是"标量"还是"向量",各分为两类。
考虑位于原点的点质量,其二维截面的引力场为
方向处处指向原点。
这说明:散度衡量的是"源/汇"的强度,非零只在有质量(奇点)的地方。
设速度场 ,表示物体从原点均匀向外膨胀。
设二维场 :方向处处沿 轴正方向,但大小随 线性增长。
引入 Nabla(梯度)算子:
把它当成"向量"与场运算,散度与旋度就自然浮现:
当 与自身组合时,顺序与转置至很重要。
作用于标量场 : ,结果是标量。这是标准的拉普拉斯算子,用全新的符号 (或 )表示,以区别于下面的矩阵形式。
它作用于标量场
拉普拉斯只是 Hessian 的迹(对角线之和),丢掉了剪切/交叉信息——这正是必须区分两者的原因。
回到主线:牛顿-莱布尼茨的"内部微分 = 边界积分"在高维的四种推广。它们把区域内部的微分运算与边界上的积分一一对应。
| | | |||
| | 旋度公式 | |||
| | 散度公式 | |||
| | 散度公式 | |||
| 旋度公式 |
这里可能存在一些常见的困惑,下面逐一厘清。
无论是线积分还是面积分,第一类积分都是标量积分。
线积分中的第二类积分只有环量积分(切向积分),不存在"通量积分"的说法。通量是面积分的概念。
面积分中的第二类积分只有通量积分,不存在"面内切向积分"的概念。
区域的内部微分性质,完全决定了其边界上的整体积分行为。