Asymptotic rigidity of codimension-1 isometric immersions via quantitative estimates

这是一篇关于**余维数为 1 的等距浸入渐近刚性（Asymptotic Rigidity）**的数学论文详细技术总结。该论文由 Mert Ba¸stu˘g 撰写，旨在通过定量刚性估计（Quantitative Rigidity Estimates）为这一经典问题提供一个新的、基于欧几里得技术的证明方法。

以下是对该论文的详细技术总结：

1. 研究背景与问题定义

核心问题：
研究从 $d$ 维紧致黎曼流形 $(M, g)$ 到 $(d+1)$ 维紧致黎曼流形 $(N, h)$ 的等距浸入（Isometric Immersions）的渐近刚性。
具体而言，当浸入映射 $u$ 的“拉伸能量”和“弯曲能量”趋于零时，该映射序列是否收敛于一个光滑的等距浸入？

背景与挑战：

• Liouville 定理与 FJM 估计： 在欧几里得空间 $\mathbb{R}^d$ 中，Liouville 定理指出梯度为旋转矩阵的映射必为仿射变换。Friesecke-James-Müller (FJM) 提出了著名的定量刚性估计：若映射的梯度接近 $SO(d)$，则该映射整体接近某个旋转。
• 余维数问题： 当目标流形 $N$ 的维数高于源流形 $M$（即余维数 $\ge 1$）时，单纯的梯度信息（一阶导数）不足以描述刚性，因为一阶导数只反映局部拉伸，无法捕捉在环境空间中的弯曲（Bending）。弯曲信息由第二基本形式（Shape Operator）编码。
• 现有工作： Alpern, Kupferman 和 Maor [1, 2] 此前已证明了此类问题的渐近刚性，但他们使用的是内蕴方法（Intrinsic approach）和 Young 测度（Young measures）技术。

本文目标：
提供一个替代性证明，将问题转化为等维欧几里得空间的设定，利用 FJM 估计和初等方法，避免使用复杂的内蕴变分法或 Young 测度。

---

2. 数学框架与能量泛函

函数空间：
定义 Sobolev 浸入空间 $\text{Imm}^p(M; N)$，包含满足以下条件的映射 $u \in W^{1,p}(M; N)$：

1. 几乎处处秩为 $d$（即保持浸入性质）。
2. 诱导的单位法向量场 $\nu_u$ 属于 $W^{1,p}$。

能量泛函：
作者定义了一个包含拉伸和弯曲项的弹性能量 $E(u)$：
$$E(u) := \int_M \text{dist}^p_{g,h}(du_x, \mathcal{O}) \, d\text{vol}_g + \int_M |du_x \circ (S_u(x) - S(x))|^p \, d\text{vol}_g$$
其中：

• 第一项（拉伸能 $E_s$）：衡量微分 $du_x$ 偏离等距映射（正交群 $\mathcal{O}$）的程度。
• 第二项（弯曲能 $E_b^S$）：衡量诱导的形状算子 $S_u$ 与参考形状算子 $S$ 的偏差。若 $S \equiv 0$，则退化为标准的弯曲能。

---

3. 方法论：局部定量刚性估计

本文的核心创新在于第 3 节，通过以下步骤建立局部刚性估计：

1. 嵌入与投影策略：

   • 利用 Nash 嵌入定理将目标流形 $N$ 等距嵌入到高维欧几里得空间 $\mathbb{R}^D$。
   • 将浸入映射 $u$ 视为 $\bar{u}: M \to \mathbb{R}^D$。
   • 关键思想： 由于弯曲能量小，法向量场 $\nu_u$ 在局部变化很小。这意味着像集 $u(M)$ 在局部近似于一个 $d$ 维仿射子空间。
   • 通过将 $\bar{u}$ 投影到该局部切空间（$d$ 维子空间），将问题转化为等维映射（从 $d$ 维到 $d$ 维），从而可以应用经典的 FJM 刚性估计。

2. 技术难点处理：

   • 非欧几里得度量的处理： 源流形 $M$ 上的度量 $g$ 可能不是欧几里得的。作者通过引理 3.3 和 3.4，证明了在局部小区域内，非欧度量下的刚性常数与欧几里得度量下的常数仅相差一个由度量震荡（oscillation）控制的误差项。
   • 投影误差估计： 需要控制投影带来的误差。作者证明了法向量场的导数 $D\bar{\nu}_u$ 的 $L^p$ 范数可以被弯曲能量 $E(u)$ 控制（命题 3.6）。
   • 子空间距离估计： 利用子空间（切空间）之间的距离 $|\Pi_x^\perp - \Pi_y^\perp|$ 来量化投影平面随位置变化的程度，并证明该距离的积分受能量 $E(u)$ 控制（命题 3.8 和定理 3.1）。

3. 主要局部定理（Theorem 3.1）：
   对于定义在立方体 $Q$ 上的浸入 $u$，存在一个旋转 $R$ 和一个点 $x_0$，使得：
   $$\int_Q |D\bar{u} - R|^p \le C \left( |Q|(\text{osc}_Q g)^p + E_s(u) + \text{diam}(Q)E(u) \right)$$
   这表明，如果能量很小，映射在局部非常接近一个刚性变换。

---

4. 主要结果：渐近刚性定理

定理 4.1（渐近刚性）：
设 $(M, g)$ 和 $(N, h)$ 为定向紧致黎曼流形，维数分别为 $d$ 和 $d+1$。若序列 $(u_k) \subset \text{Imm}^p(M; N)$ 满足：

1. 拉伸能量趋于零：$\lim_{k \to \infty} E_s(u_k) = 0$
2. 弯曲能量有界：$\limsup_{k \to \infty} E_b(u_k) < \infty$

则存在子序列 $(u_{k_j})$ 和一个极限映射 $u \in \text{Imm}^p(M; N)$，使得：

• $\bar{u}_{k_j} \to \bar{u}$ 在 $W^{1,p}(M; \mathbb{R}^D)$ 中收敛。
• 极限映射 $u$ 是等距浸入（即 $du_x$ 几乎处处属于正交群）。
• 单位法向量场 $\nu_{u_k}$ 在 $W^{1,p}$ 中收敛到 $\nu_u$。

关于形状算子的收敛性：
如果进一步假设参考形状算子 $S$ 满足 $|S| \in L^{p'}$，且修正后的弯曲能量趋于零（$\lim E_b^S(u_k) = 0$），则极限映射的诱导形状算子 $S_u$ 几乎处处等于参考形状算子 $S$。

证明逻辑：

1. 利用Lemma 4.2（基于定理 3.1 和 Fréchet-Kolmogorov 紧性定理）证明存在 $W^{1,p}$ 收敛的子序列，且极限映射保持等距性质。
2. 利用法向量场的收敛性和控制收敛定理，证明极限映射属于 Sobolev 浸入空间。
3. 利用弱收敛性质和能量趋于零的条件，证明形状算子的收敛性。

---

5. 关键贡献与意义

1. 方法论的革新：

   • 与 Alpern, Kupferman 和 Maor 的内蕴方法（Intrinsic approach）不同，本文采用了外蕴方法（Extrinsic approach），通过嵌入到欧几里得空间，将复杂的流形问题简化为欧几里得空间中的问题。
   • 这种方法避免了使用 Young 测度，仅依赖 FJM 估计和基本的微积分/泛函分析工具，使得证明更加**初等（Elementary）**和直观。

2. 定量刚性估计的独立性：

   • 文中建立的局部定量刚性估计（Theorem 3.1）本身具有独立的研究价值。它推广了 FJM 估计到非欧几里得度量和余维数情形，为处理其他几何变分问题提供了工具。

3. 结果的普适性：

   • 虽然本文主要处理紧致流形，但作者在文中提到，该方法可以推广到非紧致流形（见其合作论文 [3]），且证明过程具有较好的适应性。

4. 对弹性理论的意义：

   • 该结果为从三维弹性理论推导低维模型（如板、壳理论）提供了更坚实的数学基础，特别是在处理非欧几里得背景（如曲面上的弹性体）时，提供了一种新的分析视角。

总结

Mert Ba¸stu˘g 的这篇论文通过巧妙的投影技巧和欧几里得刚性估计，成功地为余维数为 1 的等距浸入渐近刚性问题提供了一个简洁、初等且强有力的证明。它不仅复现了前人的重要结果，还揭示了该问题与欧几里得空间刚性理论之间的深刻联系，展示了外蕴几何方法在处理流形变分问题中的强大潜力。