[论文解读] The structure of stable minimal hypersurfaces in R^n

Huai-Dong Cao, Ying Shen+1 more|ArXiv.org|Aug 30, 1997

Geometric Analysis and Curvature Flows参考文献 15被引用 51

一句话总结

该论文为 $\mathbb{R}^{n+1}$ 中的完备稳定极小超曲面建立了新的拓扑障碍：当 $n \geq 3$ 时，此类超曲面不可能具有超过一个端。证明结合了极小子流形的 Sobolev 不等式与有界调和函数的 Liouville 型定理，表明多个端的存在将导致一个非平凡的有界调和函数且具有有限能量——这与稳定性矛盾。关键结果是，对于 $n \geq 3$，所有 $\mathbb{R}^{n+1}$ 中的完备定向稳定极小超曲面在拓扑上仅有一个端，该结果推广了 $n=2$ 时的结果，并解决了 $n \geq 8$ 时的开放问题。该方法通过使用具有非紧紧支集的截断函数，避免了体积增长或双重性假设。

ABSTRACT

We provide a new topological obstruction for complete stable minimal hypersurfaces in R^n. For $n\geq 4$, we prove that any complete orientable stable hypersurfaces in R^n has only one end. This follows from a more general analytic theorem we prove in the paper.

研究动机与目标

• 建立 $\mathbb{R}^{n+1}$ 中完备稳定极小超曲面的新拓扑障碍。
• 解决关于此类超曲面在 $n \geq 3$ 时是否可能具有多个端的开放问题。
• 将已知的 $n=2$ 情况（在 $\mathbb{R}^3$ 中唯一稳定的极小曲面是平面）推广至高维。
• 提供一种不依赖曲率假设的拓扑约束，基于调和函数理论与 Sobolev 不等式。

提出的方法

• 在具有多个端的区域上应用极小子流形的 Sobolev 不等式（Michael-Simon [MS]），以控制截断函数的 $L^p$ 范数。
• 在具有 Dirichlet 边界条件的 exhaustion 域 $D_i$ 上构造一列调和函数 $u_i$：在一个端上取值为 1，其他端上取值为 0。
• 使用具有非紧支集的截断函数 $\psi$ 局域化调和函数，并通过 Sobolev 不等式导出一致的 $L^p$ 有界性。
• 取极限，得到 $M$ 上的有界调和函数 $u$，其 Dirichlet 能量有限。
• 应用调和函数的 Liouville 定理（Schoen-Yau [SY]），该定理指出：在非负曲率流形中的稳定极小超曲面上，有界能量的调和函数必为常数。
• 通过证明若 $M$ 具有多个无限体积端，则极限调和函数 $u$ 不可能是常数，从而导出矛盾，进而证明仅可能有一个端。

实验结果

研究问题

• RQ1 对于 $n \geq 3$，$\mathbb{R}^{n+1}$ 中的完备定向稳定极小超曲面是否可能具有超过一个端？
• RQ2 即使在 Bernstein 型定理失效的高维情形下，稳定性条件是否足以排除多端极小超曲面？
• RQ3 是否存在非平凡的有界调和函数且具有有限能量，可作为稳定极小超曲面的拓扑障碍？
• RQ4 Sobolev 不等式对极小子流形是否足以在不依赖体积双重性或增长条件的情况下推导出拓扑约束？
• RQ5 能否将调和函数的 Liouville 定理应用于排除稳定极小超曲面上的多端结构？

主要发现

• 当 $n \geq 3$ 时，$\mathbb{R}^{n+1}$ 中任意完备定向稳定极小超曲面恰好有一个端。
• 多个无限体积端的存在将导致一个非平凡的有界调和函数且具有有限 Dirichlet 能量。
• 这与稳定极小超曲面在非负曲率空间中的 Liouville 定理矛盾，后者要求此类调和函数为常数。
• 该证明不依赖于体积双重性或多项式体积增长假设，而是依赖于具有非紧支集的截断函数。
• 该结果推广了 $n=2$ 的情形（在 $\mathbb{R}^3$ 中唯一稳定的极小曲面是平面）至高维。
• 该方法得出一个新的一般性结果：在任意完备非紧 Riemann 流形上，若其至少有两个无限体积端，且满足 Sobolev 不等式或第一特征值正，则存在一个非平凡的有界调和函数且具有有限能量。