2026-07-28 · 边界为何记得内部

0. 导读与元结构 (Orientation & Meta-structure)

起点问题。 一元微积分有微积分基本定理，平面上有 Green 定理，三维中又有经典 Stokes 定理与散度定理。若把它们分别记成四张公式表，坐标、法向量和符号会遮住同一个机制：对一个量先做“微分”，再在内部积分，等于把原来的量限制到边界后积分。

今天是 2026-W31 的 weekly roaming issue：从多元微积分跨入微分几何，再落到拓扑。它不续接前一条 Fourier—theta micro-arc，而是一个长度为 1 的漫游节点。

对象与量词分三层：

1. 对每个点 $p$，在线性空间 $T_{p}M$ 上取交替多线性函数；
2. 让这些点态对象随 $p$ 光滑变化，得到微分形式；
3. 在定向流形及其边界上积分，并比较 $d$ 与边界算子。

前置知识是多元微积分、线性代数中的行列式与基本的光滑映射。主导 proof engines 是：坐标中的微积分基本定理、边界适配的半空间模型、单位分解 (partition of unity) 的局部到整体拼接。去向则是 de Rham 上同调、辛几何、曲率形式与规范理论。

1. 核心概念、定理与谱系 (Concept, Theorem & Lineage)

1.1 从“被积函数”到可拉回的对象

设 $M$ 是光滑 $n$ 维流形，$0\le k\le n$。一个光滑 $k$-形式 (differential $k$-form) $\omega$ 的类型是：

$$\mathrm{\forall }p\in M,{\omega }_p\in {\mathrm{\Lambda }}^k(T_p^{\ast }M),$$

并且在每张坐标图 $(U;x^1,\dots ,x^n)$ 中，都存在光滑函数 $a_I\in C^{\mathrm{\infty }}(U)$，使

$$\omega {|}_U=\sum _{|I|=k}{a}_{I}d{x}^{i_1}\wedge \cdots \wedge d{x}^{i_k}.$$

因此 ${\omega }_p$ 接受 $k$ 个切向量并给出实数，而且交换两个输入会改变符号。楔积 (wedge product) 记录定向体积的交替性；拉回 (pullback) 则使形式能沿光滑映射搬运，这正是普通体积分表达式在换坐标时不自然、而形式积分自然的原因。

外微分 (exterior derivative) 是映射

$$d:{\mathrm{\Omega }}^k(M)⟶{\mathrm{\Omega }}^{k+1}(M),$$

其坐标公式为

$$d\omega =\sum _{|I|=k}\sum _{j=1}^n\frac{\partial a_I}{\partial x^j}d{x}^j\wedge d{x}^I.$$

它满足两个决定性恒等式：

$$d^2=0,d(F^{\ast }\omega )=F^{\ast }(d\omega ).$$

前者来自混合偏导的对称性与楔积的反对称性相消；后者保证整个理论与坐标选择相容。

1.2 主定理：广义 Stokes 定理

定理（generalized Stokes theorem）。 设 $n\ge 1$，$M$ 是带边界的、定向的光滑 $n$ 维流形，$\iota :\partial M\hookrightarrow M$ 是包含映射。对每个紧支撑的光滑 $(n-1)$-形式

$$\omega \in {\mathrm{\Omega }}_c^{n-1}(M),$$

都有

$$\boxed{{\displaystyle {\int }_{M}d\omega ={\int }_{\partial M}{\iota }^{\ast }\omega .}}$$

边界使用“外向优先”定向：对每个 $p\in \partial M$，任取外向横截向量 $\nu \in T_{p}M$（选定辅助 Riemannian 度量时可取外法向）；若 $\nu$ 后接 $(v_1,\dots ,v_{n-1})$ 在 $T_{p}M$ 中为正向基，则 $(v_1,\dots ,v_{n-1})$ 在 $T_p\partial M$ 中为正向基。若 $M$ 紧致，紧支撑条件自动成立。

证明架构，而非一句“由 Stokes”。

1. 局部半空间。 在边界适配坐标中，$M$ 局部等同于半空间。把 $\omega$ 展开成坐标形式后，$d\omega$ 的各项是偏导数。沿切向坐标从 $-\mathrm{\infty }$ 到 $+\mathrm{\infty }$ 积分时，紧支撑使端点项为零；沿法向坐标积分时，一元微积分基本定理留下恰好位于边界的项。外法向优先约定给出正确符号。

2. 局部化。 取从属于边界适配坐标图覆盖的单位分解 $({\rho }_i{)}_i$。紧支撑保证真正贡献的局部项只有有限个，并且

   $$\sum _{i}d({\rho }_i\omega )=d\left(\sum _i{\rho }_i\omega \right)=d\omega .$$

3. 整体化。 对每个 ${\rho }_i\omega$ 使用局部半空间公式，再求和；内部图没有边界贡献，边界图的贡献拼成 ${\int }_{\partial M}{\iota }^{\ast }\omega$。

这也解释了为什么定向、边界定向与紧支撑不是装饰性的条件：它们分别负责积分的符号、边界项的符号以及“无穷远处没有漏项”。

1.3 四个经典公式其实是一条公式

• $n=1$、$\omega =f$ 时，$df=f^{\prime }(x)dx$，得到微积分基本定理。

• 在平面中取 $\omega =Pdx+Qdy$，则

  $$d\omega =(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y})dx\wedge dy,$$

  这就是 Green 定理。

• 三维经典 Stokes 定理是把一形式的 $d$ 解释为 curl 后的通量。

• 若 $\mathrm{vol}$ 是体积形式、$X$ 是向量场，取 $\omega ={\iota }_X\mathrm{vol}$，则 $d\omega =(\mathrm{div}X)\mathrm{vol}$，得到散度定理。

1.4 现代延伸：闭、恰当与 de Rham 上同调

若 $d\omega =0$，称 $\omega$ 为闭形式 (closed form)；若存在 $\eta \in {\mathrm{\Omega }}^{k-1}(M)$ 使 $\omega =d\eta$，称其为恰当形式 (exact form)。由 $d^2=0$，恰当必闭。Poincare 引理说明：对每个 $k>0$ 的闭 $k$-形式、每个点 $p$，都存在邻域 $U\ni p$，使 $\omega {|}_U$ 恰当；但整体逆命题可能失败。

令

$$Z^k(M)=\ker (d:{\mathrm{\Omega }}^k\to {\mathrm{\Omega }}^{k+1}),B^k(M)=\mathrm{im}(d:{\mathrm{\Omega }}^{k-1}\to {\mathrm{\Omega }}^k).$$

de Rham 上同调定义为

$$H_{\mathrm{dR}}^k(M)=Z^k(M)/B^k(M).$$

它精确记录“闭但不能整体写成微分”的缺口。MIT 讲义进一步从 good cover 的交叠组合构造 Cech 上同调，并与 de Rham 上同调比较：局部微分方程的可解性由 Poincare 引理保障，不能整体拼合的剩余量则成为拓扑信息。

Georges de Rham 的论文 Sur l'analysis situs des variétés à $n$ dimensions 发表于 1931 年，是这条历史谱系的原始文献节点。这里使用的是现代教材记号 $Z^k/B^k$，不把后来的表述方式倒写成原文逐字记法。

2. 固定模板习题 (Template Exercise)

题目。 设 $C$ 是正向单位圆 $x^2+y^2=1$。计算

$${\oint }_C(-y^{3}dx+x^{3}dy).$$

模板识别。 题目给出闭曲线上的平面一形式 $Pdx+Qdy$，而曲线围成的区域简单、$P,Q$ 在邻域内有连续偏导。这是“环流积分 $\to$ Green 定理 $\to$ 面积分”的标准模板；先核验定向和正则性，不要立即参数化硬算。

分级提示。

1. 识别 $P=-y^3$、$Q=x^3$，写出 $Q_x-P_y$。
2. 应得到只依赖 $x^2+y^2$ 的表达式，因此圆盘上适合使用极坐标。
3. 换元时不要漏掉面积元 $dxdy=rdrd\theta$。

3. 大家之言 (Mathematician in Their Own Words)

组合数学家 Gil Kalai 在 2026 年 7 月 23 日的博客短记 Various News Items 中，回顾自己在 Columbia University 面向学生所作的离散几何讲座。他写道：

“I spoke about some old problems and results in discrete geometry and reflected on how our understanding of them has evolved over the years.”

“我谈了一些离散几何中的老问题与旧结果，并反思了我们对它们的理解如何随岁月演化。”

这句话的数学含义不在“旧题重讲”，而在理解的组织方式会变化。Green、Gauss 与经典 Stokes 的公式并没有因微分形式而变真；新的语言揭示了它们共享的边界算子，并把“闭而非恰当”的失败转化为可计算的拓扑对象。好的抽象不是删去例子，而是让原本分散的例子互相解释。

4. 反例与边界 (Counterexample & Boundary)

4.1 闭不必整体恰当：穿孔平面的角形式

令 $U={\mathbb{R}}^2\setminus \{(0,0)\}$，在 $U$ 上定义

$$\alpha =\frac{-ydx+xdy}{x^2+y^2}.$$

逐项核验：写 $A=-y/(x^2+y^2)$、$B=x/(x^2+y^2)$，则

$$\frac{\partial B}{\partial x}=\frac{y^2-x^2}{(x^2+y^2{)}^2}=\frac{\partial A}{\partial y},$$

所以

$$d\alpha =(B_x-A_y)dx\wedge dy=0.$$

因此 $\alpha$ 是闭一形式。可是对单位圆 $\gamma (t)=(\cos t,\sin t)$，$0\le t\le 2\pi$，有

$${\gamma }^{\ast }\alpha =dt,{\oint }_{\gamma }\alpha =2\pi .$$

若存在全局光滑函数 $f:U\to \mathbb{R}$ 使 $\alpha =df$，则任意闭路上的积分都应为零，与 $2\pi$ 矛盾。故 $\alpha$ 闭但不恰当；它的非零周期探测到了原点处的孔洞。Poincare 引理没有失效：在每个足够小、不绕原点的邻域中，$\alpha$ 仍可写成某个角度分支的微分。失效的是从局部原函数拼出全局单值原函数。

4.2 去掉紧支撑，会出现“无穷远边界”

把 $M=\mathbb{R}$ 看成无边界一维流形，取零形式 $f(x)=\arctan x$。它不紧支撑，但 $df=dx/(1+x^2)$ 可积，而且

$${\int }_{\mathbb{R}}df={\int }_{-\mathrm{\infty }}^{\mathrm{\infty }}\frac{dx}{1+x^2}=\pi ,{\int }_{\partial \mathbb{R}}f=0.$$

差额正是 $\underset{x\to +\mathrm{\infty }}{lim}f(x)-\underset{x\to -\mathrm{\infty }}{lim}f(x)$。所以非紧流形上的紧支撑条件是在排除无穷远处的隐藏边界项。

5. 今日一问与数学地图 (Question & Map)

设 $M$ 是连通光滑流形，$\omega \in {\mathrm{\Omega }}^1(M)$ 是闭一形式，并假设对每条分段光滑闭路 $\gamma$ 都有

$${\oint }_{\gamma }\omega =0.$$

能否构造全局光滑函数 $f:M\to \mathbb{R}$ 使 $df=\omega$？请分别说明：

1. 为什么构造与路径选择无关；
2. 为什么所得函数不仅有定义，而且是光滑的；
3. 反方向“恰当 $\Rightarrow$ 所有周期为零”用了什么最基本的定理。

方向提示。 固定基点 $p_0$，尝试令 $f(p)$ 等于从 $p_0$ 到 $p$ 的路径积分；把两条路径首尾拼接成闭路。光滑性不要靠直觉，可在坐标小邻域中调用 Poincare 引理。

数学地图。

$$\text{多元微积分}⟶\text{交替形式与楔积}⟶(d,d^2=0)⟶\text{广义 Stokes}⟶\text{闭/恰当与周期}⟶H_{\mathrm{dR}}^k(M).$$

从这里向几何侧可进入辛形式与曲率形式，向拓扑侧可进入同调、上同调及其配对，向物理侧可进入 Maxwell 方程和 gauge field。今天真正值得保留的问题是：一个完全局部定义的算子 $d$，为何能通过积分读出整体的孔洞？

附录 A：习题完整解答 (Full Solution)

展开完整解答

可复用模板：闭曲线环流经 Green 定理转为区域上的标量旋度积分。

令 $D=\{(x,y):x^2+y^2\le 1\}$，则 $C=\partial D$ 按正向定向。函数 $P(x,y)=-y^3$ 与 $Q(x,y)=x^3$ 在 $D$ 的邻域内属于 $C^1$，故 Green 定理适用：

$${\oint }_C(Pdx+Qdy)={\iint }_D(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y})dxdy.$$

计算得

$$\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}=3x^2+3y^2.$$

在极坐标 $x=r\cos \theta$、$y=r\sin \theta$ 下，$0\le r\le 1$、$0\le \theta \le 2\pi$，且 $dxdy=rdrd\theta$。因此

$$\begin{array}{rl}{\oint }_C(-y^{3}dx+x^{3}dy)& ={\int }_0^{2\pi }{\int }_0^{1}3r^{2}rdrd\theta \\ & ={\int }_0^{2\pi }\frac{3}{4}d\theta \\ & =\frac{3\pi }{2}.\end{array}$$

检查点有三项：$C$ 必须是正向边界；$P,Q$ 要在整个闭圆盘邻域内有连续偏导；极坐标面积元必须带 Jacobian 因子 $r$。

资料与来源 (Sources)

1. Victor Guillemin and Peter J. Haine, Differential Forms, MIT 18.952 course draft, 2018。第 4.6 节给出 Stokes 定理及半空间—单位分解证明，第 5.1 节定义闭形式、恰当形式与 de Rham 上同调；MIT 课程页同时列出课程主题与前置要求。课程页：https://math.mit.edu/classes/18.952/2018SP/ ；讲义 PDF：https://math.mit.edu/classes/18.952/2018SP/files/18.952_book.pdf
2. Georges de Rham, “Sur l'analysis situs des variétés à $n$ dimensions,” Journal de Mathématiques Pures et Appliquées, Série 9, Tome 10 (1931), pp. 115–200。NUMDAM 书目页与原文入口：https://www.numdam.org/item/JMPA_1931_9_10__115_0/
3. Gil Kalai, “Various News Items,” Combinatorics and more, 2026-07-23。本文第 3 节引文逐字核对自原页面：https://gilkalai.wordpress.com/2026/07/23/various-news-items/