2026-08-21 · 让面积元素指挥运动

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

经典力学常把系统状态写成位置与动量 $(q,p)$，再由一个能量函数 $H(q,p)$ 产生运动方程。真正需要解释的不是某个坐标公式，而是：什么几何结构能把函数的微分 $dH$ 无歧义地变成一个向量场，并保证运动保存能量与相空间体积？

今天的对象分成四层：

1. 在每个点 $x$ 的切空间 $T_{x}M$ 上，一个交替双线性配对 ${\omega }_x$；
2. 随 $x$ 光滑变化的微分二形式 $\omega \in {\mathrm{\Omega }}^2(M)$；
3. 函数 $H\in C^{\mathrm{\infty }}(M)$ 的余切向量 $d{H}_x\in T_x^{\ast }M$；
4. 由收缩方程定义的 Hamilton 向量场 $X_H(x)\in T_{x}M$ 及其流。

核心量词链是：对每个 $x\in M$、每个 $v\in T_{x}M$，若对所有 $w\in T_{x}M$ 都有 ${\omega }_x(v,w)=0$，则 $v=0$。这项逐点非退化性保证 $v\mapsto {\iota }_v{\omega }_x$ 是同构；全局微分条件 $d\omega =0$ 则让局部坐标标准化与流不变性成为可能。

先修：有限维线性代数、微分形式、外微分、拉回、Poincaré 引理与常微分方程的局部流。去向：Hamilton 动力系统、Moser 稳定性、辛拓扑、Gromov 非挤压与 Floer 同调。主导证明机制是交替形式的线性标准形、Cartan 公式、Poincaré 引理和“边形变、边用流抵消形变”的 Moser path method（Moser 路径法）。

这是本周的 cross-disciplinary roaming issue：它从本科线性代数与多元微积分进入微分几何，又立刻回到经典动力学；本期自成一日，不虚构后续 arc。

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

1.1 从交替配对到辛形式

设 $V$ 是有限维实向量空间，$\mathrm{\Omega }:V\times V\to \mathbb{R}$ 是双线性且交替的，即对所有 $v\in V$ 有 $\mathrm{\Omega }(v,v)=0$。定义线性映射

$$\tilde{\mathrm{\Omega }}:V⟶V^{\ast },\tilde{\mathrm{\Omega }}(v)=\mathrm{\Omega }(v,\cdot ).$$

称 $\mathrm{\Omega }$ 非退化 (nondegenerate)，若

$$\mathrm{\forall }v\in V,(\mathrm{\forall }w\in V,\mathrm{\Omega }(v,w)=0)⟹v=0.$$

在有限维情形，这等价于 $\tilde{\mathrm{\Omega }}$ 为线性同构。交替形式的线性标准形说明：若 $\mathrm{\Omega }$ 非退化，则 $\dim V=2n$，并存在基

$$e_1,\dots ,e_n,f_1,\dots ,f_n$$

使 $\mathrm{\Omega }(e_i,f_j)={\delta }_{ij}$，而 $\mathrm{\Omega }(e_i,e_j)=\mathrm{\Omega }(f_i,f_j)=0$。等价地，在对偶基下

$$\mathrm{\Omega }=\sum _{i=1}^n{e}_i^{\ast }\wedge f_i^{\ast }.$$

现在设 $M$ 是光滑流形，$\omega \in {\mathrm{\Omega }}^2(M)$。称 $\omega$ 为辛形式 (symplectic form)，若：

1. $d\omega =0$；
2. 对每个 $x\in M$，${\omega }_x$ 在 $T_{x}M$ 上非退化。

二者类型不同：非退化性是每个切空间上的代数条件；闭合性是涉及邻近点变化的微分条件。若 $\dim M=2n$，则非退化性还等价于 ${\omega }_x^n\ne 0$ 对所有 $x$ 成立，故

$$\frac{{\omega }^n}{n!}$$

是一个体积形式，称为 Liouville volume（Liouville 体积）。因此辛流形必为偶数维且可定向。

原型是 ${\mathbb{R}}^{2n}$ 上的

$${\omega }_0=\sum _{i=1}^{n}d{q}_i\wedge d{p}_i.$$

更内在的原型是任意流形 $Q$ 的余切丛 $T^{\ast }Q$：其 tautological one-form（典范一形式）$\lambda$ 在点 $(q,p)$ 处定义为

$${\lambda }_{(q,p)}(v)=p(d{\pi }_{(q,p)}v),$$

其中 $\pi :T^{\ast }Q\to Q$；在余切坐标中 $\lambda =\sum _i{p}_{i}d{q}_i$，而 $-d\lambda =\sum _{i}d{q}_i\wedge d{p}_i$。这说明位置—动量坐标不是外加记号，而是余切丛自带的几何结构。

从谱系看，辛几何由经典力学的语言生长出来，随后成为微分几何与拓扑的独立分支；Cannas da Silva 的综述把这条线概括为“从十八世纪经典力学的语言，到二十世纪后半叶成熟为核心几何领域”。关键转折是：不再把正则坐标公式当作定义，而把闭合非退化二形式当作坐标无关对象。

1.2 Darboux 定理：局部没有额外形状参数

定理（Darboux local normal form，Darboux 局部标准形）　设 $(M,\omega )$ 是 $2n$ 维光滑辛流形。则

$$\mathrm{\forall }x\in M,\mathrm{\exists }\text{ 含 }x\text{ 的坐标邻域 }(U;q_1,\dots ,q_n,p_1,\dots ,p_n),$$

使得在 $U$ 上

$$\omega =\sum _{i=1}^{n}d{q}_i\wedge d{p}_i.$$

与 Riemann 度量不同，辛形式在一点附近没有类似曲率的局部标量参数：同维辛流形局部都一样。闭合性并非装饰，它正是把逐点线性标准形升级为邻域标准形的关键。

证明架构（Moser 路径法）。

1. 先在线性层面选坐标，使给定点 $x$ 处的 ${\omega }_x$ 与 ${\omega }_{0,x}$ 相同。
2. 因 $d\omega =d{\omega }_0=0$，Poincaré 引理在缩小后的星形邻域中给出一形式 $\alpha$，满足
   $$\omega -{\omega }_0=d\alpha ,$$
   并可安排 ${\alpha }_x=0$。
3. 令
   $${\omega }_t={\omega }_0+t(\omega -{\omega }_0),0\le t\le 1.$$
   非退化性是开条件；因各 ${\omega }_t$ 在 $x$ 处相同，缩小邻域后可使所有 ${\omega }_t$ 同时非退化。
4. 对每个 $t$ 唯一解出时变向量场 $Y_t$：
   $${\iota }_{Y_t}{\omega }_t=-\alpha .$$
   这里正是非退化性把一形式 $-\alpha$ 唯一还原成向量场。
5. 令 ${\phi }_t$ 为 $Y_t$ 的局部流。利用 Cartan 公式 ${\mathcal{L}}_Y=d{\iota }_Y+{\iota }_{Y}d$，有
   $$\frac{d}{dt}({\phi }_t^{\ast }{\omega }_t)={\phi }_t^{\ast }(d\alpha +{\mathcal{L}}_{Y_t}{\omega }_t)={\phi }_t^{\ast }d(\alpha +{\iota }_{Y_t}{\omega }_t)=0.$$
   因而 ${\phi }_1^{\ast }\omega ={\omega }_0$，得到所需正则坐标。

这段证明把两个假设的职责完全分开：$d\omega =0$ 产生局部 primitive（一形式原像），非退化性解出抵消形变的向量场。

1.3 函数如何产生运动

固定本期符号约定：在 ${\omega }_0=\sum _{i}d{q}_i\wedge d{p}_i$ 下，Hamilton 向量场 $X_H$ 由

$$\boxed{{\displaystyle {\iota }_{X_H}\omega =dH}}$$

定义。某些文献使用相反号；只要同时调整 $\omega$ 或定义，动力学内容不变。非退化性保证对每个 $H\in C^{\mathrm{\infty }}(M)$，存在唯一 $X_H$。

在 Darboux 坐标中，写

$$X_H=\sum _{i=1}^n(a_i\frac{\partial }{\partial q_i}+b_i\frac{\partial }{\partial p_i}).$$

由

$${\iota }_{X_H}{\omega }_0=\sum _{i=1}^n(a_{i}d{p}_i-b_{i}d{q}_i)=dH$$

逐项配系数，得到

$$X_H=\sum _{i=1}^n(\frac{\partial H}{\partial p_i}\frac{\partial }{\partial q_i}-\frac{\partial H}{\partial q_i}\frac{\partial }{\partial p_i}),$$

即 Hamilton 方程

$${\dot{q}}_i=\frac{\partial H}{\partial p_i},{\dot{p}}_i=-\frac{\partial H}{\partial q_i}.$$

两项守恒直接来自交替性与闭合性：

$$X_H(H)=dH(X_H)=\omega (X_H,X_H)=0,$$

以及

$${\mathcal{L}}_{X_H}\omega =d({\iota }_{X_H}\omega )+{\iota }_{X_H}d\omega =d(dH)=0.$$

所以在流存在的时间内，Hamilton 流同时保持 $H$、$\omega$ 与 Liouville 体积 ${\omega }^n/n!$。

Graduate / modern extension. Darboux 定理是局部结论；整体辛几何仍受 de Rham 上同调类、流的全局存在性以及更深的辛容量等不变量约束。Moser 稳定性定理给出一个重要整体版本：若紧流形上的一族辛形式 ${\omega }_t$ 始终处在同一 de Rham 上同调类中，则存在始于恒等映射的同痕 ${\phi }_t$，使 ${\phi }_t^{\ast }{\omega }_t={\omega }_0$。局部标准化由“缩小邻域”保证流存在，整体版本则由紧致性保证时变向量场可积分到整个区间。

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

题目

在 ${\mathbb{R}}^4$ 的坐标 $(q_1,q_2,p_1,p_2)$ 上取

$${\omega }_0=d{q}_1\wedge d{p}_1+d{q}_2\wedge d{p}_2,$$

并沿用 ${\iota }_{X_H}{\omega }_0=dH$ 的约定。令

$$H(q,p)=\frac{1}{2}(p_1^2+p_2^2)+\frac{1}{2}(q_1^2+4q_2^2)+\epsilon q_1{q}_2,\epsilon \in \mathbb{R}.$$

1. 求 $X_H$，写出对应的 Hamilton 方程；
2. 不显式求解方程，证明沿任意解轨道 $H$ 为常数；
3. 当 $|\epsilon |<2$ 时，证明每条最大解在相空间中有界，并说明为何此时解对所有 $t\in \mathbb{R}$ 存在。

模板识别

看到“给定 $\omega$ 与 $H$，求运动并证有界”，应识别两步模板：先把 ${\iota }_X\omega =dH$ 展开后逐系数匹配，再把 Hamilton 量当作 first integral（第一积分），用正定二次型的次水平集控制轨道。无需先解耦线性系统或计算矩阵指数。

分级提示

1. 写 $X=a_1{\partial }_{q_1}+a_2{\partial }_{q_2}+b_1{\partial }_{p_1}+b_2{\partial }_{p_2}$，先单独计算 ${\iota }_X{\omega }_0$。
2. 守恒性只需把定义式作用在 $X_H$ 自身上；交替形式在 $(X_H,X_H)$ 上取值多少？
3. 位置变量的二次型矩阵为
   $$A_{\epsilon }=\left(\begin{array}{cc}1& \epsilon \\ \epsilon & 4\end{array}\right).$$
   用 Sylvester 判据检查正定性。
4. 正定二次 Hamilton 量的等能面有界；线性常微分方程若在有限时间区间内保持有界，能否发生有限时爆破？

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

语境。 本期核对的是 Henri Poincaré 的 Science and Hypothesis 英文版：W. J. Greenstreet 翻译，Walter Scott Publishing 于 1905 年出版。在作者序中，Poincaré 反对两种同样省事的态度：把科学结构视作绝对可靠，或因其中含有假设便一概怀疑。他写道：

“To doubt everything or to believe everything are two equally convenient solutions; both dispense with the necessity of reflection.”

中译。 “怀疑一切与相信一切，是两种同样方便的办法；二者都免去了反思的必要。”

这段话落实到数学上，就是不把定义中的条件当成不可追问的教条，也不因条件繁多便笼统否定结论；应在证明中逐项追踪它们的职责。今天的 Darboux 证明正好给出这种审计：闭合性让 $\omega -{\omega }_0$ 局部成为 $d\alpha$，非退化性让 ${\iota }_{Y_t}{\omega }_t=-\alpha$ 唯一可解。第 4 节再分别移除两项条件，观察标准形与 Hamilton 方程在何处断裂。反思并非停在“假设重要”，而是回答“哪条推理使用了哪个假设”。

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

4.1 只要非退化，不要闭合：Darboux 标准形立即失败

在 ${\mathbb{R}}^4$ 上定义

$$\omega =d{q}_1\wedge d{p}_1+e^{q_1}d{q}_2\wedge d{p}_2.$$

逐项检查：

1. 它处处非退化。 因为
   $${\omega }^2=2e^{q_1}d{q}_1\wedge d{p}_1\wedge d{q}_2\wedge d{p}_2,$$
   系数 $2e^{q_1}$ 永不为零。
2. 它不闭合。 直接计算
   $$d\omega =e^{q_1}d{q}_1\wedge d{q}_2\wedge d{p}_2\ne 0.$$
3. 它不可能局部等于标准辛形式的拉回。 若某局部微分同胚 $\phi$ 满足 $\omega ={\phi }^{\ast }{\omega }_0$，则外微分与拉回交换，故
   $$d\omega =d({\phi }^{\ast }{\omega }_0)={\phi }^{\ast }(d{\omega }_0)=0,$$
   与上式矛盾。

所以“逐点都像标准交替形式”仍不足以得到 Darboux 定理；闭合性控制的是这些逐点标准形能否在邻域中相容地拼成坐标。

4.2 只要闭合，不要非退化：并非每个函数都能产生运动

仍在 ${\mathbb{R}}^4$ 上取

$${\omega }_{\mathrm{deg}}=d{q}_1\wedge d{p}_1.$$

它闭合，但

$$\ker {\omega }_{\mathrm{deg}}=\mathrm{span}\{{\partial }_{q_2},{\partial }_{p_2}\},$$

故退化。对任意向量场 $X$，一形式 ${\iota }_X{\omega }_{\mathrm{deg}}$ 只可能含 $d{q}_1,d{p}_1$ 分量。取 $H=q_2$，则 $dH=d{q}_2$，方程

$${\iota }_X{\omega }_{\mathrm{deg}}=dH$$

无解。非退化性不仅保证 Hamilton 向量场唯一，还保证它对每个光滑函数存在。

顺带地，奇数维向量空间上不存在非退化交替形式：斜对称奇阶矩阵 $A$ 满足

$$detA=det{A}^{\mathsf{T}}=det(-A)=-detA,$$

故 $detA=0$。这解释了辛流形为何必为偶数维。

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

令二维环面 ${\mathbb{T}}^2={\mathbb{R}}^2/{\mathbb{Z}}^2$ 取坐标 $x,y$，设 $f:{\mathbb{T}}^2\to (0,\mathrm{\infty })$ 光滑且

$${\int }_{{\mathbb{T}}^2}f(x,y)dxdy=1.$$

定义

$${\omega }_0=dx\wedge dy,{\omega }_1=f(x,y)dx\wedge dy.$$

今日一问： 能否证明存在一个同痕于恒等映射的微分同胚 $\phi :{\mathbb{T}}^2\to {\mathbb{T}}^2$，使

$${\phi }^{\ast }{\omega }_1={\omega }_0?$$

这把 Darboux 的“每一点附近都能标准化”提升为紧曲面上的整体问题。方向提示仅到这里：考察凸路径 ${\omega }_t=(1-t){\omega }_0+t{\omega }_1$；正性保证它始终非退化，而等总面积意味着 ${\omega }_1-{\omega }_0$ 在 $H_{\mathrm{dR}}^2({\mathbb{T}}^2)$ 中为零。接下来需自行决定如何构造时变向量场，并说明紧致性在哪一步保证流覆盖整个 $t\in [0,1]$。

数学地图如下：

$$\text{交替双线性代数}⟶\text{微分形式与 Poincaré 引理}⟶\text{辛形式与 Darboux 定理}⟶\text{Hamilton 动力学}$$

$$⟶\text{Moser 形变与 de Rham 上同调}⟶\text{辛拓扑、非挤压、Floer 同调}.$$

局部理论说“同维皆同形”；整体理论研究“为何仍不能随意挤压、搬运或消去”。两者之间的接缝，正是上同调与全局流。

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

展开完整解答

可复用模板：收缩配系数 + 守恒量次水平集。

写

$$X_H=a_1{\partial }_{q_1}+a_2{\partial }_{q_2}+b_1{\partial }_{p_1}+b_2{\partial }_{p_2}.$$

由内积对楔积的公式，

$${\iota }_{X_H}{\omega }_0=a_{1}d{p}_1-b_{1}d{q}_1+a_{2}d{p}_2-b_{2}d{q}_2.$$

另一方面，

$$dH=(q_1+\epsilon q_2)d{q}_1+(4q_2+\epsilon q_1)d{q}_2+p_{1}d{p}_1+p_{2}d{p}_2.$$

逐项比较 ${\iota }_{X_H}{\omega }_0=dH$ 的系数，得到

$$a_1=p_1,a_2=p_2,b_1=-(q_1+\epsilon q_2),b_2=-(4q_2+\epsilon q_1).$$

所以

$$X_H=p_1{\partial }_{q_1}+p_2{\partial }_{q_2}-(q_1+\epsilon q_2){\partial }_{p_1}-(4q_2+\epsilon q_1){\partial }_{p_2},$$

Hamilton 方程为

$${\dot{q}}_1=p_1,{\dot{q}}_2=p_2,{\dot{p}}_1=-(q_1+\epsilon q_2),{\dot{p}}_2=-(4q_2+\epsilon q_1).$$

沿任意解轨道 $z(t)$，

$$\frac{d}{dt}H(z(t))=dH(X_H)=({\iota }_{X_H}{\omega }_0)(X_H)={\omega }_0(X_H,X_H)=0,$$

最后一步使用交替性。因此 $H(z(t))\equiv H(z(0))$。

位置部分可写成

$$\frac{1}{2}\left(\begin{array}{cc}{q}_1& q_2\end{array}\right)A_{\epsilon }\left(\begin{array}{c}{q}_1\\ q_2\end{array}\right),A_{\epsilon }=\left(\begin{array}{cc}1& \epsilon \\ \epsilon & 4\end{array}\right).$$

由 Sylvester 判据，$A_{\epsilon }$ 正定当且仅当其顺序主子式均为正：

$$1>0,det{A}_{\epsilon }=4-{\epsilon }^2>0.$$

故 $|\epsilon |<2$ 时 $A_{\epsilon }$ 正定。于是存在常数 $c_{\epsilon }>0$，使对所有 $(q,p)\in {\mathbb{R}}^4$，

$$H(q,p)\ge c_{\epsilon }(q_1^2+q_2^2+p_1^2+p_2^2).$$

若初值为 $z_0$，守恒性给出

$$\parallel z(t){\parallel }^2\le \frac{H(z_0)}{c_{\epsilon }}$$

对最大存在区间内所有 $t$ 成立，所以轨道有界。这里的向量场是常系数线性向量场，事实上其解由矩阵指数全局给出；即使只用常微分方程延拓定理，有界轨道也不可能在有限时间逃向无穷，故最大解可延拓到全部 $t\in \mathbb{R}$。

资料与来源 (Sources)

1. Ana Cannas da Silva, “Symplectic Geometry,” overview for the Handbook of Differential Geometry, vol. 2, written September 2004, arXiv:math/0505366v1, submitted 17 May 2005. 本期关于辛形式、余切丛、Moser 路径、Darboux 定理与 Hamilton 几何的主要技术来源。摘要页：https://arxiv.org/abs/math/0505366；全文：https://arxiv.org/pdf/math/0505366。
2. Ana Cannas da Silva, Lectures on Symplectic Geometry, Lecture Notes in Mathematics 1764, Springer, corrected printing 2008; DOI 10.1007/978-3-540-45330-7. Springer 书目页与章节目录：https://link.springer.com/book/10.1007/978-3-540-45330-7。
3. Jürgen Moser, “On the Volume Elements on a Manifold,” Transactions of the American Mathematical Society 120 (1965), 286–294, DOI 10.1090/S0002-9947-1965-0182927-5. Moser 形变法的原始论文：https://doi.org/10.1090/S0002-9947-1965-0182927-5。
4. Chris Woodward, “Moment Maps and Geometric Invariant Theory,” Les cours du C.I.R.M. 1 (2010), no. 1, 55–98. Numdam 全文直接核对了闭合非退化定义、Darboux 局部模型、Hamilton 向量场坐标式与余切丛典范形式：https://www.numdam.org/item/10.5802/ccirm.4.pdf；书目页：https://www.numdam.org/item/10.5802/ccirm.4。
5. Henri Poincaré, Science and Hypothesis, translated by W. J. Greenstreet, Walter Scott Publishing, 1905. 第 3 节短引逐字核对自作者序；Project Gutenberg eBook #37157 的书目页：https://www.gutenberg.org/ebooks/37157；所用英文版 PDF：https://www.gutenberg.org/files/37157/37157-pdf.pdf。