梯度   变率   微积分   PDE     维度    测度   通量   高维    物性   可达   伪随机    局部密度   度量空间

局部互作的扩散传播最终形成宏观世界中的复杂现象，边界差异亦能体现整体效应，由此，整体与局部可互为表达。

                        ——————功能分异（割）之拓扑不变

0. 引子

牛顿-莱布尼茨是“微积分基本定理”，格林/高斯/斯托克斯是它的高维化身。它们都说明要知道整体边界行为，只需知道内部局部变化密度；反之，内部局部变化的总和必然表现为边界差异。微分与积分互逆。外微分统一了梯度、旋度、散度。

1. 边界与整体：边界是整体的“代数影子”

边界算子 $\partial$ 满足 ${\partial }^2=0$：边界没有边界。外微分 $d$ 也满足 $d^2=0$。这不是巧合，而是对偶。

把整体 $M$ 剖分成许多小胞腔。对每个小胞腔用斯托克斯定理，然后求和。内部公共边界会出现两次，方向相反，彼此抵消；最后只剩下最外层的边界 $\partial M$。所以：

$$整体内部变化的总和=边界上的净差异$$

一维时，内部点 $x_i$ 的 $f(x_i)$ 一正一负抵消，只剩 $f(b)-f(a)$。二维时，小方格内部边的环量抵消，只剩外边界环量。三维时，小体积内部面的通量抵消，只剩外表面通量。

因此，边界不是外在于整体的“壳”，而是整体经过代数边缘操作后留下的净边缘。这里定向至关重要。没有定向，符号不定，内部相消就不成立。

2. 局部密度与整体：dω 是局部源，积分是整体量

$d\omega$ 是局部密度。它逐点定义，但只有积分才给出整体意义。

• 牛顿—莱布尼茨：$f^{\prime }$ 是变化率密度，积分得端点差。

• 格林：$Q_x-P_y$ 是环量密度，积分得边界环量。

• 高斯：$\nabla \cdot F$ 是源密度，积分得边界通量。

• 斯托克斯：$\nabla \times F\cdot n$ 是涡量密度，积分得边界环量。

所以斯托克斯定理说的是：

$$局部密度的整体积分=边界上的整体量$$

局部可以很复杂，但边界只记录总源、总涡、总变化。这正是“局部到整体”的桥梁。

3. 内部变化与边界差异：内部无源，则边界无净效应

若 $d\omega =0$，则

∫∂Mω=∫Mdω=0∫_∂M​ω=∫_M​dω=0

内部处处无变化，边界上就没有净差异。若边界有净通量、净环量或端点差，内部必有源。

这像一本账。内部交易可以很频繁，但相邻账户互相抵消；只有外部边界上的净额才是总账。高斯公式说体积内总源等于边界净通量；斯托克斯公式说曲面内总涡量等于边界环量；牛顿—莱布尼茨说区间内总变化率等于端点差。它们都是守恒律的微分—积分表达。

4. 外微分：统一梯度、旋度、散度

外微分 $d$ 把 $k$-形式变成 $(k+1)$-形式：

在欧氏空间中，它依次对应：

• $d$ 作用在函数上：梯度；

• $d$ 作用在 1-形式上：旋度；

• $d$ 作用在 2-形式上：散度。

而 $d^2=0$ 对应：

$$\nabla \times (\nabla f)=0,\nabla \cdot (\nabla \times F)=0$$

同时，${\partial }^2=0$ 对应“边界无边界”。于是 $d$ 与 $\partial$ 成为对偶算子。若定义配对

⟨C,ω⟩=∫Cω⟨C,ω⟩=∫_C​ω

则斯托克斯定理可写为

$$⟨\partial C,\omega ⟩=⟨C,d\omega ⟩$$

即：$d$ 是 $\partial$ 的伴随。这是同调与上同调的对偶，也是斯托克斯定理最深刻的代数本质。

外微分不依赖度量，只依赖微分结构和定向。经典格林、高斯、斯托克斯公式用向量场、点积、叉积表达，依赖欧氏度量；而广义斯托克斯定理揭示：它们本质上是同一个外微分恒等式。

5. 拓扑见地：闭形式、恰当形式与洞

若 $d\omega =0$，称 $\omega$ 为闭形式。若 $\omega =d\eta$，称 $\omega$ 为恰当形式。斯托克斯给出：

∫∂Sω=∫Sdω∫_∂S​ω=∫_S​dω

所以恰当形式在边界上积分为零；闭形式在边界上的周期为零。但如果闭链不是边界，比如围绕一个洞的闭曲线，闭形式可以有非零周期。这就是 de Rham 上同调：

​                                                        

它用外微分探测流形的洞。边界与整体的关系，不仅在带边流形中成立，还在拓扑障碍中显现。

结论

四公式的统一性在于：

边界是整体的代数边缘；外微分是局部变化的普遍语言；局部密度通过积分成为整体边界量；内部变化在相邻胞腔边界相消，只在整体边界留下净差异。牛顿—莱布尼茨是 0 维边界，格林与斯托克斯是 1 维边界，高斯是 2 维边界。它们共同表达微积分基本定理的终极形态：局部变化积分成整体边界差异，微分与积分、局部与整体、内部与边界、分析与拓扑，在此统一。

支持单位：