Full flexibility of the Monge-Ampère system in codimension $d_*-d+1$

这是一份关于论文《FULL FLEXIBILITY OF THE MONGE-AMP`ERE SYSTEM IN CODIMENSION d∗−d + 1》（余维为 $d^*-d+1$ 的蒙日 - 安培系统的完全灵活性）的详细技术总结。

1. 研究背景与问题定义

核心问题：
本文研究的是**蒙日 - 安培系统（Monge-Ampère system）的完全灵活性（Full Flexibility）**问题。具体而言，是在给定的维度 $d$ 和特定的目标余维数 $k$ 下，证明 $C^{1,\alpha}$ 正则性的弱解在连续函数空间中是稠密的。

数学表述：
蒙日 - 安培系统寻求一个映射 $v: \omega \subset \mathbb{R}^d \to \mathbb{R}^k$，满足：
$$\det \nabla^2 v = F$$
其中 $F$ 是一个满足特定对称条件的张量场。该系统与等距嵌入（Isometric Immersion）问题紧密相关。特别是，寻找黎曼度量 $g$ 到欧几里得空间 $\mathbb{R}^{d+k}$ 的等距嵌入 $u$（即 $(\nabla u)^T \nabla u = g$），在低阶近似下可转化为寻找向量场 $v$ 和 $w$ 满足 Von Kármán 系统：
$$\frac{1}{2}(\nabla v)^T \nabla v + \text{sym}\nabla w = A$$
其中 $A$ 是由 $F$ 决定的矩阵场。

关键参数：

• Janet 维数 ($d^*$)： $d^* = \frac{d(d+1)}{2}$，这是对称 $d \times d$ 矩阵空间的维数。
• 目标余维数 ($k$)： 本文证明的临界余维数为 $\bar{d} = d^* - d + 1$。
  • 此前已知结果（如 [24]）要求 $k \ge 2d^*$ 才能实现完全灵活性。
  • 本文显著降低了所需的余维数，从 $2d^*$ 降至 $d^* - d + 1$。

主要定理 (Theorem 1.1)：
对于任意开有界集 $\omega \subset \mathbb{R}^d$ 和余维数 $k = \bar{d}$，给定初始向量场 $v, w$ 和矩阵场 $A$，若初始缺陷（Defect）$D = A - (\frac{1}{2}(\nabla v)^T \nabla v + \text{sym}\nabla w)$ 为正定矩阵，则对于任意 $\alpha < 1$，存在 $C^{1,\alpha}$ 正则的修正解 $(\tilde{v}, \tilde{w})$，使得：

1. 修正解与初始解在 $C^0$ 范数下任意接近（$\|\tilde{v}-v\|_0, \|\tilde{w}-w\|_0 < \epsilon$）。
2. 修正解精确满足方程：$\frac{1}{2}(\nabla \tilde{v})^T \nabla \tilde{v} + \text{sym}\nabla \tilde{w} = A$。

2. 方法论：凸积分与 Nash-Kuiper 方案

本文采用了**凸积分（Convex Integration）**技术，这是解决非线性偏微分方程（特别是等距嵌入和流体方程）中灵活性问题的核心工具。其核心思想是通过迭代构造，逐步消除“缺陷”（即方程不满足的部分），同时控制解的正则性。

技术路线概览：

1. 阶段构造（Stage Construction）：
   这是论文的核心创新点（Theorem 1.3）。作者设计了一个迭代步骤，将当前的近似解 $(v, w)$ 更新为 $(\tilde{v}, \tilde{w})$，使得新的缺陷 $D(A, \tilde{v}, \tilde{w})$ 的范数显著减小，同时控制二阶导数的增长（爆破率）。

2. Kuiper 褶皱（Corrugations）：
   利用高频振荡函数（如正弦、余弦）引入“褶皱”来抵消缺陷。

   • 分解缺陷： 利用引理 2.2，将对称矩阵缺陷分解为秩一矩阵 $\eta_{ij} \otimes \eta_{ij}$ 的线性组合。
   • 逐层消除： 作者设计了一个复杂的分层消除策略：
     • 第一层 ($n=1$)： 利用余维数方向 $e_1$ 消除对应于 $\eta_{1j}$ 的缺陷。这里应用了多次积分分部（Lemma 2.4）来降低误差项的阶数。
     • 后续层 ($n=2, \dots, \bar{d}$)： 依次消除剩余的 $\eta_{ij}$ ($2 \le i \le j \le d$) 对应的缺陷。
   • 关键观察： 在消除后续缺陷时，作者发现由前一步产生的二阶导数误差项 $\nabla^2 v_n$ 可以重写为仅涉及初始二阶导数 $\nabla^2 v_0$ 的项加上振荡项。这一发现允许在不增加额外爆破率的情况下进一步分解和减少误差。

3. Nash-Kuiper 迭代算法：
   将上述“阶段构造”重复 $K$ 次（Theorem 4.1）。通过精心选择频率参数 $\sigma$ 和迭代次数 $K, N$，使得：

   • 解序列在 $C^0$ 范数下收敛。
   • 缺陷范数以足够快的速度衰减。
   • 二阶导数的增长被控制在可接受的范围内，从而保证最终解具有 $C^{1,\alpha}$ 正则性，且 $\alpha$ 可以任意接近 1。

3. 主要贡献与创新点

1. 余维数界限的突破：

   • 此前结果： 完全灵活性仅在 $k \ge 2d^*$ 时成立（Lewicka [24]），或者在 $d=2, k=2$ 时成立（Inauen & Lewicka [19]）。
   • 本文结果： 证明了在 $k = d^* - d + 1$ 时即可实现完全灵活性。由于 $d^* - d + 1 \ll 2d^*$（当 $d$ 较大时），这是一个巨大的进步。例如，当 $d=2$ 时，$d^*=3$，$\bar{d}=2$，这与已知结果一致；但当 $d=3$ 时，$d^*=6$，$\bar{d}=4$，而此前需要 $k \ge 12$。

2. 改进的误差控制机制：
   在构造过程中，作者通过引入中间解序列 $(V_{1j}, W_{1j})$ 和 $(V_n, W_n)$，并利用高阶积分算子（Lemma 2.4）和 Källén 分解（Lemma 2.5），成功地将误差项的振荡部分吸收，从而降低了二阶导数爆破率与缺陷衰减率之间的比率。这使得最终能达到的 Hölder 指数 $\alpha$ 可以任意接近 1。

3. 推广到等距嵌入系统：
   利用相同的技术框架，作者将结果推广到了黎曼度量 $g \in C^{r,\beta}$ 到 $\mathbb{R}^{d^*+1}$ 的等距嵌入问题（Theorem 5.1）。这证明了在余维数为 $d^* - d + 1$ 时，局部存在 $C^{1, \alpha}$ ($\alpha < 1$) 的等距嵌入。

4. 关键结果总结

• 定理 1.1 (蒙日 - 安培系统)： 在余维数 $k = \frac{d(d+1)}{2} - d + 1$ 下，对于任意 $\alpha < 1$，$C^{1,\alpha}$ 解在连续函数空间中稠密。
• 定理 1.3 (阶段构造)： 给出了具体的迭代步骤，证明了可以在控制二阶导数增长的前提下，将缺陷范数按 $\sigma^{-KN}$ 的速率减小。
• 定理 5.1 (等距嵌入)： 将上述灵活性结果应用于等距嵌入问题，证明了 $d$ 维黎曼流形可以等距嵌入到 $\mathbb{R}^{d^*+1}$ 中，且嵌入具有 $C^{1,\alpha}$ 正则性。
• 推论 1.2： 对于蒙日 - 安培方程的弱解，在给定张量场 $F$ 满足相容性条件时，存在 $C^{1,\alpha}$ 解序列一致收敛于任意连续函数。

5. 意义与影响

• 几何分析领域的突破： 该结果极大地推进了对高维等距嵌入问题的理解，缩小了“刚性”与“灵活性”之间的界限。它表明，即使目标空间的维度相对较低（仅比 Janet 维数少 $d-1$），非线性偏微分方程依然表现出极强的灵活性（H-principle）。
• 正则性理论的完善： 证明了在 $C^{1,\alpha}$ 范围内（$\alpha$ 任意接近 1），只要余维数足够，就可以构造出满足方程的解。这为研究更低正则性（如 $C^1$）下的几何问题提供了新的视角。
• 方法论的通用性： 论文中提出的分层消除缺陷和精细的误差估计技术，为处理其他高维非线性 PDE 系统（如流体动力学中的 Euler 方程 Onsager 猜想等）提供了强有力的工具。
• 物理应用潜力： 蒙日 - 安培系统和等距嵌入问题在薄膜力学、弹性理论（如薄板的屈曲）中有重要应用。该理论结果暗示了在特定几何约束下，材料可能存在大量非光滑但物理上合理的变形模式。

总结：
这篇论文通过精妙的凸积分构造，成功地将蒙日 - 安培系统及等距嵌入问题的完全灵活性余维数界限从 $2d^*$ 降低到了 $d^* - d + 1$，并实现了任意接近 $C^1$ 的正则性。这是继 Nash-Kuiper 定理之后，在几何 PDE 灵活性研究领域的又一重大里程碑。