[论文解读] Sobolev spaces of isometric immersions of arbitrary dimension and codimension

Robert L. Jerrard, Mohammad Reza Pakzad|arXiv (Cornell University)|May 19, 2014

Geometric Analysis and Curvature Flows参考文献 13被引用 4

一句话总结

本文建立了 $n$ 维平坦定义域到 $\mathbb{R}^{n+k}$ 的 $W^{2,p}_{\text{loc}}$ 等距嵌入在 $p \geq \min\{2k, n\notag$ 时的 $C^{1}_{\text{loc}}$ 正则性与可展性，将刚性结果推广至低于 $C^2$ 的 Sobolev 空间。证明了此类嵌入为局部可展曲面（即直纹面），并推导出对 Hessian 秩几乎处处有界于 $k$ 的标量函数的类似刚性性质，包括退化 Monge-Ampère 方程 $\det D^2u = 0$ 的解。关键贡献在于在任意维数与余维数下，确定了刚性性质的精确正则性阈值。

ABSTRACT

We prove the $C^{1}$ regularity and developability of $W^{2,p}$ isometric immersions of $n$-dimensional flat domains into ${\mathbb R}^{n+k}$ where $p\ge \min\{2k, n\}$. Another parallel consequence of our methods is a similar regularity and rigidity result for the $W^{2,n}$ solutions of the degenerate Monge-Ampère equations in $n$ dimensions. The analysis also applies to the situations when the degeneracy is extended to $(k+1) imes (k+1)$ minors of the Hessian matrix and the solution is $W^{2,p}$, with $p\ge \min\{2k, n\}$.

研究动机与目标

• 确定等距嵌入中刚性性质从 Nash-Kuiper 柔性过渡到可展性的临界正则性阈值。
• 通过 Sobolev 正则性将可展曲面理论推广至高维平坦定义域与更高余维数。
• 在 Hessian 秩几乎处处有界于 $k$ 的条件下，建立标量函数的刚性与正则性，特别是退化 Monge-Ampère 方程 $\det D^2u = 0$ 的情形。
• 证明 $W^{2,p}_{\text{loc}}$ 等距嵌入在 $p \geq \min\{2k,n\}$ 时为局部 $C^1$ 且可展，即使在任意余维数下亦成立。

提出的方法

• 利用 $W^{2,p}_{\text{loc}}$ 正则性与 Hessian 矩阵结构，分析 Sobolev 空间中二阶导数的秩。
• 应用几何测度论技术，包括 $p$-容量与准连续性，以控制奇点集的大小。
• 通过余维数的归纳法与叶状结构论证，证明局部可展性，即存在平坦仿射平面使得嵌入几乎处处为常数。
• 利用稠密弱平坦叶状结构的概念，将嵌入行为与 Hessian 矩阵的秩联系起来。
• 通过导数的等值集连通分支及其投影，引入广义弱可展性的概念。
• 依赖于容量估计与水平集结构的反证法，证明爆破极限 $\overline{w}$ 的连续性。

实验结果

研究问题

• RQ1 在任意维数与余维数下，$W^{2,p}$ 等距嵌入实现 $C^1_{\text{loc}}$ 正则性与可展性的精确正则性阈值 $p$ 是什么？
• RQ2 当 $k < n$ 时，是否可将等距嵌入到 $\mathbb{R}^{n+k}$ 的刚性性质从 $C^2$ 推广至 $W^{2,p}$ 且 $p < 2$？
• RQ3 几乎处处满足 $\text{rank}(D^2u) \leq k$ 的条件在多大程度上能推出标量函数 $u$ 的正则性与可展性？
• RQ4 退化 Monge-Ampère 方程 $\det D^2u = 0$ 是否意味着 $W^{2,p}_{\text{loc}}$ 解在 $p \geq \min\{2(n-1), n\}$ 时具有可展性？
• RQ5 在弱可展性的背景下，奇点集的 $p$-容量与爆破极限 $\overline{w}$ 的正则性之间有何关系？

主要发现

• 对于 $W^{2,p}_{\text{loc}}$ 等距嵌入 $U: \Omega \to \mathbb{R}^{n+k}$ 且 $p \geq \min\{2k, n\}$，该嵌入为 $C^1_{\text{loc}}$ 正则且局部可展，即其被沿第一基本形式方向的直线所叶状分解。
• 该结果对任意 $n$ 与 $k$ 成立，将经典可展性结果从 $n=2$、$k=1$ 推广至更高维与更高余维数。
• 本文证明，若标量函数 $u \in W^{2,p}_{\text{loc}}(\Omega)$ 几乎处处满足 $\text{rank}(D^2u) \leq k$，则其在相同 $p$-阈值下为 $C^1_{\text{loc}}$ 且可展，将刚性性质推广至 Hessian 秩约束。
• 当 $p \geq \min\{2(n-1), n\}$ 时，退化 Monge-Ampère 方程 $\det D^2u = 0$ 意味着 $u \in W^{2,p}_{\text{loc}}(\Omega)$ 具有 $C^1_{\text{loc}}$ 正则性与可展性，对应于 $k = n-1$。
• 证明依赖于反证法与 $p$-容量：若爆破极限 $\overline{w}$ 不连续，则平坦方向上球的容量为零，与维度 $d \geq n - 2k + 1 > n - p$ 矛盾。
• 通过归纳法与 $p$-准连续性，建立了 $\overline{w}$ 在集合 $F_{\geq j}$ 上的连续性，表明不同层次集上序列的极限一致收敛。