2026-09-21 · 让密度随流动变得均匀

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

设一个空间上有两种光滑的“质量密度”。总质量相同，是否能仅靠重新标记空间中的点，把一种密度精确搬成另一种？在欧氏坐标里，这是非线性的指定 Jacobian 问题；直接求微分同胚 $\phi$，要面对

$$detD\phi (x)$$

与 $\phi (x)$ 同时出现的方程。Moser 的关键转向是：不要一次求终点映射，而让密度连续变化，再寻找一个流逐时抵消这种变化。 非线性映射问题由此化成每一时刻的线性收缩方程。

对象分四层：

1. 紧致连通定向光滑 $n$ 维流形 $M$；
2. 每点都与定向相容的正 $n$-形式 ${\mu }_0,{\mu }_1$；
3. 一族体积形式 ${\mu }_t$ 与时变向量场 $X_t$；
4. $X_t$ 生成的同痕 ${\phi }_t$，目标是 ${\phi }_t^{\ast }{\mu }_t={\mu }_0$。

核心量词是：对任意这样的 $M$，对任意满足 ${\int }_M{\mu }_0={\int }_M{\mu }_1$ 的两种体积形式，存在一族微分同胚 ${\phi }_t$，其中 ${\phi }_0={\mathrm{id}}_M$ 且 ${\phi }_1^{\ast }{\mu }_1={\mu }_0$。前置知识是换元公式、微分形式、de Rham 上同调的顶维结论与常微分方程的流；主导机制是凸插值、Cartan 公式和“先解向量场，再积分成流”。去向包括连续性方程、光滑测度输运、Monge–Ampère 方程与辛几何中的 Moser 稳定性。

这是 2026-W39 的 weekly roaming issue，也是 anchor 侧的一次测度—几何交叉。本期明确深化 2026-08-21：彼时 Moser 路径法服务于辛形式的局部标准化；今天研究的是体积形式的整体等价，新增的决定性对象是总质量与顶维上同调。

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

1.1 从换元公式到必要障碍

设 $M$ 是定向光滑 $n$ 维流形。一个体积形式 (volume form) 是 $\mu \in {\mathrm{\Omega }}^n(M)$，满足

$$\mathrm{\forall }x\in M,{\mu }_x(v_1,\dots ,v_n)>0$$

对每个与既定定向一致的基 $(v_1,\text{u}2026,v_n)$ 成立。特别地，${\mu }_x\ne 0$，所以它给出测度

$$A⟼{\int }_A\mu .$$

若 $\phi :M\to M$ 是保持定向的微分同胚，则换元公式给出

$${\int }_M{\phi }^{\ast }{\mu }_1={\int }_M{\mu }_1.$$

因此，若希望 ${\phi }^{\ast }{\mu }_1={\mu }_0$，必有

$$\boxed{{\displaystyle {\int }_M{\mu }_0={\int }_M{\mu }_1.}}$$

在局部坐标中写 ${\mu }_i=f_i(x)d{x}^1\wedge \cdots \wedge d{x}^n$，拉回方程就是

$$f_1(\phi (x))detD\phi (x)=f_0(x).$$

这说明体积形式定理既是几何等价定理，也是指定 Jacobian 方程的可解性定理。

1.2 Moser 体积形式定理

定理（Moser volume-form equivalence，现代定向版本）。 设 $n\ge 1$，$M$ 是紧致、连通、无边界、定向的光滑 $n$ 维流形，${\mu }_0,{\mu }_1\in {\mathrm{\Omega }}^n(M)$ 是与该定向相容的光滑体积形式。则

$${\int }_M{\mu }_0={\int }_M{\mu }_1$$

当且仅当存在光滑同痕

$$\phi :[0,1]\times M\to M,(t,x)\mapsto {\phi }_t(x),$$

使得

$${\phi }_0={\mathrm{id}}_M,{\phi }_1^{\ast }{\mu }_1={\mu }_0.$$

必要性已经由换元公式得到。充分性的证明包含四个不可替代的齿轮。

第一步：把总质量条件变成恰当性。 因 $M$ 紧致、连通且定向，积分诱导同构

$$H_{\mathrm{dR}}^n(M)⟶\mathbb{R},[\eta ]⟼{\int }_M\eta .$$

$n$-形式自动闭合，因为 ${\mathrm{\Omega }}^{n+1}(M)=0$。等总质量于是给出

$$[{\mu }_1-{\mu }_0]=0,$$

故存在 $\alpha \in {\mathrm{\Omega }}^{n-1}(M)$ 使

$${\mu }_1-{\mu }_0=d\alpha .$$

第二步：在正体积形式之间走凸路径。 令

$${\mu }_t=(1-t){\mu }_0+t{\mu }_1,0\le t\le 1.$$

对每个 $x$ 与每个正向基，${\mu }_0$、${\mu }_1$ 的取值均为正，因此其凸组合仍为正；所以每个 ${\mu }_t$ 都是体积形式，且

$${\dot{\mu }}_t={\mu }_1-{\mu }_0=d\alpha .$$

这一步在体积形式情形格外干净：同一定向的正锥是凸的。辛形式的非退化集合则一般不凸，不能无条件照搬。

第三步：逐点解线性收缩方程。 对每个 $t$，映射

$$T_{x}M⟶{\mathrm{\Lambda }}^{n-1}{T}_x^{\ast }M,v⟼{\iota }_v({\mu }_t{)}_x$$

是线性同构：两边维数都是 $n$，而若 ${\iota }_v({\mu }_t{)}_x=0$，把 $v$ 补成一组基即可推出 $v=0$。故存在唯一光滑时变向量场 $X_t$ 满足

$$\boxed{{\displaystyle {\iota }_{X_t}{\mu }_t=-\alpha .}}$$

第四步：积分向量场并消去形变。 紧致性保证光滑时变向量场在整个 $t\in [0,1]$ 上生成流 ${\phi }_t$。用时变拉回公式与 Cartan 公式，

$$\begin{array}{rl}\frac{d}{dt}({\phi }_t^{\ast }{\mu }_t)& ={\phi }_t^{\ast }({\dot{\mu }}_t+{\mathcal{L}}_{X_t}{\mu }_t)\\ & ={\phi }_t^{\ast }(d\alpha +d({\iota }_{X_t}{\mu }_t)+{\iota }_{X_t}d{\mu }_t)\\ & ={\phi }_t^{\ast }d(\alpha -\alpha )\\ & =0.\end{array}$$

这里 $d{\mu }_t=0$ 是顶维形式的自动闭合。于是

$${\phi }_t^{\ast }{\mu }_t={\phi }_0^{\ast }{\mu }_0={\mu }_0,$$

取 $t=1$ 即得结论。

1.3 谱系与现代延伸

Moser 1965 年的原始论文首先处理紧致连通流形上的体积元，并指出总容积是唯一不变量；原文借助 de Rham 的 odd forms（奇型形式）把表述推广到不可定向流形。论文后半给出另一种证明：先求时变向量场，再解常微分方程得到自同构，并同时覆盖满足固定周期与非退化条件的一族二形式。这正是今日所谓 Moser trick（Moser 技巧）的母型。

与 2026-08-21 的辛形式版本相比，结构相同而障碍不同：

• 体积形式：正性锥凸，等总质量在顶维上直接等价于同上同调类；
• 辛形式：必须额外给出一条始终非退化的闭二形式路径，同上同调类本身不保证线性插值保持非退化。

Graduate / modern extension. 把 ${\rho }_t\mu$ 看作随时间变化的密度，方程

$$\frac{d}{dt}({\phi }_t^{\ast }({\rho }_t\mu ))=0$$

就是沿流守恒质量的几何写法；展开后对应 continuity equation（连续性方程）

$${\partial }_t{\rho }_t+\mathrm{div}({\rho }_t{X}_t)=0.$$

Moser 构造给出一个质量输运，但通常不最小化搬运代价。若要求在给定代价下最优，便进入 optimal transport（最优输运）与 Monge–Ampère 方程；“存在某个 Jacobian 正确的映射”与“选择代价最小的那个映射”是两个层次。

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

题目

在单位正方形 $Q=[0,1{]}^2$ 上考虑概率密度

$$f(x,y)=\frac{2(1+x)}{3}.$$

令

$$F(x)={\int }_0^x\frac{2(1+s)}{3}ds.$$

1. 求 $F$，并证明 $T:Q\to Q$，$T(x,y)=(F(x),y)$，是内部上的光滑微分同胚且连续保持四条边；
2. 证明 $T$ 把测度 $f(x,y)dxdy$ 推前为单位正方形上的均匀测度 $dudv$；
3. 用任意连续测试函数 $g$ 写出推前结论的积分形式。

模板识别

看到“密度只依赖一个坐标，并要求搬成均匀密度”，应识别 cumulative transform + Jacobian change of variables（累积变换 + Jacobian 换元）：先沿有变化的坐标积分密度，另一坐标保持不动。关键检查不是只算导数，而是依次核验归一化、严格单调、端点和值域。

分级提示

1. 先算 ${\int }_{Q}f$；$F(0)$ 与 $F(1)$ 分别是多少？
2. $F^{\prime }(x)=f(x,y)$ 且处处为正，这给出哪种可逆性？
3. $DT$ 是对角矩阵；计算 $detDT$。
4. 对 $g(T(x,y))f(x,y)$ 使用变量 $u=F(x)$、$v=y$。

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

语境。 Jürgen Moser 的论文 “On the Volume Elements on a Manifold” 收稿于 1964 年 12 月 21 日，发表于 Transactions of the American Mathematical Society 120 (1965), 286–294。提出“等总容积是否足以推出等价”后，他说明其证明的构造性目标：

“The proof which follows is quite elementary. It provides the construction of an orientation preserving automorphism homotopic to the identity.”

中译。 “下面的证明相当初等。它构造了一个保持定向且同伦于恒等映射的自同构。”

这句话的数学内容不在“初等”二字，而在 construction（构造）：证明不只判断两个体积形式抽象等价，还给出从密度路径到向量场、再从向量场到同痕的生成机制。原文第二种证明明确说，先求向量场的好处在于向量场来自线性方程，而映射本身满足非线性方程；并把这一转写类比为流体力学中从 Lagrange 坐标转到 Euler 坐标。

这是一种可复用的证明设计：当终点变换满足难解的非线性约束时，把目标嵌入一族对象，微分约束，并让一个无穷小生成元逐时抵消变化。其力量来自对象类型的匹配，而非一句“连续变形”：顶维形式与向量场收缩后恰好得到 $(n-1)$-形式，非退化性又保证这一步可逆。

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

紧致性不能用“两个总体积都等于无穷”来草率替代。取非紧流形 $M=\mathbb{R}$，考虑两个正体积形式

$${\mu }_0=dx,{\mu }_1=e^{x}dx.$$

逐项检查：

1. 二者都是处处非零的光滑正一形式；
2. 在扩展实数意义下，
   $${\int }_{\mathbb{R}}{\mu }_0={\int }_{\mathbb{R}}{\mu }_1=+\mathrm{\infty },$$
   但这不提供可相减的顶维上同调信息；
3. 假设存在保持定向的微分同胚 $\phi :\mathbb{R}\to \mathbb{R}$ 使 ${\phi }^{\ast }{\mu }_1={\mu }_0$。则
   $$e^{\phi (x)}{\phi }^{\prime }(x)=1.$$
   因而
   $$\frac{d}{dx}{e}^{\phi (x)}=1,$$
   所以存在常数 $C$ 使
   $$e^{\phi (x)}=x+C$$
   对所有 $x\in \mathbb{R}$ 成立；
4. 左边恒正，右边当 $x<-C$ 时为负，矛盾。

故不存在这样的全局微分同胚。局部方程当然可解；失败发生在全局值域。这个例子暴露两个边界：第一，$+\mathrm{\infty }=+\mathrm{\infty }$ 不是有限质量守恒，不能推出差形式积分为零；第二，非紧空间上的时变向量场可能逃向无穷，紧致情形中自动成立的全时段流存在性必须另行证明。

作为更简单但不同的必要性检查，在任意紧致 $M$ 上，若 ${\mu }_1=2{\mu }_0$，则总容积不同；任何微分同胚的拉回都保持积分，所以绝不可能有 ${\phi }^{\ast }{\mu }_1={\mu }_0$。

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

令 ${\mathbb{T}}^2={\mathbb{R}}^2/{\mathbb{Z}}^2$，设 $f\in C^{\mathrm{\infty }}({\mathbb{T}}^2)$ 满足 $f>0$ 且

$${\int }_{{\mathbb{T}}^2}fdxdy=1.$$

考虑 Poisson 方程

$$\mathrm{\Delta }u=f-1,{\int }_{{\mathbb{T}}^2}udxdy=0.$$

今日一问： 设

$$\alpha =u_{x}dy-u_{y}dx,{\mu }_t=(1-t+tf)dx\wedge dy.$$

你能否逐项验证 $d\alpha ={\mu }_1-{\mu }_0$，显式写出满足 ${\iota }_{X_t}{\mu }_t=-\alpha$ 的 $X_t$，并解释其流为何把 $fdxdy$ 搬成 $dxdy$？进一步，若 $f$ 很接近 $1$，能否从椭圆方程估计推测 ${\phi }_1$ 离恒等映射有多远？

方向提示止于：先把 $X_t=A_t{\partial }_x+B_t{\partial }_y$ 代入收缩公式；定量问题需要把 $f-1$ 的范数经 Poisson 方程传给 $u$，再经 ODE 传给流。

数学地图是

$$\text{Radon--Nikodym 密度}⟶\text{顶维微分形式与总质量}⟶\text{Moser 收缩方程}⟶\text{指定 Jacobian 的微分同胚}$$

$$⟶\text{连续性方程与光滑质量输运}⟶\text{最优输运、Monge--Ampère 与几何分析}.$$

Moser 定理回答存在性；最优输运再问应选哪一个映射；定量几何分析则问数据的小变化如何控制映射的正则性与偏移。

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

展开完整解答

可复用模板：累积分布坐标 + Jacobian 换元。

先核验归一化：

$${\int }_{Q}f(x,y)dxdy={\int }_0^1\frac{2(1+x)}{3}dx=\frac{2}{3}{[x+\frac{x^2}{2}]}_0^1=1.$$

计算累积函数：

$$F(x)={\int }_0^x\frac{2(1+s)}{3}ds=\frac{2x+x^2}{3}.$$

于是

$$F(0)=0,F(1)=1,F^{\prime }(x)=\frac{2(1+x)}{3}>0.$$

故 $F:[0,1]\to [0,1]$ 严格递增且双射；在 $(0,1)$ 上，由逆函数定理，$F$ 及其逆都光滑。因此

$$T(x,y)=(F(x),y)$$

是 $(0,1{)}^2$ 到自身的光滑微分同胚，并连续延拓为 $Q$ 的双射。它把 $x=0,1$ 两边分别送到 $u=0,1$，把 $y=0,1$ 两边分别送到 $v=0,1$。

其导数与 Jacobian 为

$$DT(x,y)=\left(\begin{array}{cc}{F}^{\prime }(x)& 0\\ 0& 1\end{array}\right),detDT(x,y)=F^{\prime }(x)=f(x,y).$$

为严格验证推前结论，任取连续函数 $g:Q\to \mathbb{R}$。令 $u=F(x)$、$v=y$，则 $du=F^{\prime }(x)dx=f(x,y)dx$ 且 $dv=dy$，故

$$\begin{array}{rl}{\int }_{Q}g(T(x,y))f(x,y)dxdy& ={\int }_0^1{\int }_0^{1}g(F(x),y)F^{\prime }(x)dxdy\\ & ={\int }_0^1{\int }_0^{1}g(u,v)dudv.\end{array}$$

按推前测度定义，这正是

$$T_{\ast }(f(x,y)dxdy)=dudv.$$

这个模板可推广到乘积密度，也可按坐标逐步构造 triangular transport（三角输运）；一般流形上没有全局矩形坐标时，Moser 方法以微分形式和流取代累积分布坐标。

资料与来源 (Sources)

1. 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。原始论文；定理陈述、构造方法、Euler/Lagrange 坐标评注及第 3 节短引均从 AMS 全文逐字核对：https://www.ams.org/journals/tran/1965-120-02/S0002-9947-1965-0182927-5/S0002-9947-1965-0182927-5.pdf。
2. Ana Cannas da Silva, Lectures on Symplectic Geometry, Lecture Notes in Mathematics 1764, revised January 2006。第 7 讲系统陈述 Moser theorem，推导时变拉回公式、收缩方程与紧致性所保证的全局流；第 8 讲连接 Darboux 定理：https://people.math.ethz.ch/~acannas/Papers/lsg.pdf。
3. Bernard Dacorogna and Jürgen Moser, “On a Partial Differential Equation Involving the Jacobian Determinant,” Annales de l'Institut Henri Poincaré C, Analyse non linéaire 7 (1990), no. 1, 1–26。把指定 Jacobian 问题推进到带边界区域及正则性控制；Numdam 书目页与全文入口：https://www.numdam.org/item/AIHPC_1990__7_1_1_0/。
4. 本刊 2026-08-21，《让面积元素指挥运动：辛形式、Hamilton 流与 Darboux 标准形》。本期所深化的先前 issue，绝对路径：/opt/data/output/daily-mathematics-journal/2026/08/2026-08-21.md。