[论文解读] The half-space property and entire positive minimal graphs in M x R

Harold Rosenberg, Felix Schulze+1 more|arXiv (Cornell University)|Jun 15, 2012

Geometric Analysis and Curvature Flows参考文献 11被引用 29

一句话总结

本文建立了在何种条件下，完备黎曼流形 $M$ 上的整个正极小图在乘积空间 $M \times \mathbb{R}$ 中必须是全测地切片 $M \times \{c\}$。证明表明，若 $M$ 是常返的且曲率有界，或具有非负 Ricci 曲率且截面曲率下有界，则任何正规浸入的极小超曲面或 $M$ 上的整个正极小图必为水平切片，推广了 Bombieri-De Giorgi-Miranda 等人的经典结果。

ABSTRACT

We show that a properly immersed minimal hypersurface in M x R_+ equals some M x {c} when M is a complete, recurrent n-dimensional Riemannian manifold with bounded curvature. If on the other hand, M has nonnegative Ricci curvature with curvature bounded below, the same result holds for any positive entire minimal graph over M.

研究动机与目标

• 确定完备黎曼流形 $M$ 的几何条件，使得 $M \times \mathbb{R}_+$ 中任意正规浸入的极小超曲面必为水平切片 $M \times \{c\}$。
• 将 $\mathbb{R}^n$ 上整个极小图的古典半空间定理推广至具有曲率与常返性条件的更一般流形 $M$。
• 建立当 $M$ 具有非负 Ricci 曲率且曲率下有界时，$M$ 上整个正极小图为切片的结论。
• 通过次调和函数理论与 Harnack 不等式，提供一个统一框架，以分析极小图的梯度与高度行为。

提出的方法

• 使用散度形式方程 $\text{div}^M\left(\frac{\nabla^M u}{\sqrt{1 + |\nabla^M u|^2}}\right) = 0$ 描述 $M \times \mathbb{R}$ 中 $M$ 上的极小图。
• 应用由 Moser 技巧导出的 $M$ 上正次调和函数的 Harnack 不等式，以控制高度函数 $u$ 的增长。
• 引入函数 $h(x) = (e^{K/2} - 1)W(x)$，其中 $W = \sqrt{1 + |\nabla^M u|^2}$，通过曲率界控制梯度估计。
• 利用距离函数与极小测地线的比较论证，分析 $h$ 的最大值并推导梯度界。
• 利用常返流形上有界次调和函数由边界值唯一确定的性质，约束 $u$ 的行为。
• 通过 $p^\varepsilon = \gamma(\varepsilon)$ 的截断与逼近论证，处理截点处的非正则性，并将局部估计全局化。

实验结果

研究问题

• RQ1 在何种完备黎曼流形 $M$ 的条件下，$M \times \mathbb{R}_+$ 中任意正规浸入的极小超曲面必等于水平切片 $M \times \{c\}$？
• RQ2 当 $M$ 是曲率有界的常返流形时，其半空间性质是否成立？
• RQ3 能否将整个极小图在 $\mathbb{R}^n$ 上为切片的古典结果，推广至具有非负 Ricci 曲率且截面曲率下有界的流形？
• RQ4 高度函数 $u$ 的下确界行为在迫使 $u$ 恒定时起何作用？
• RQ5 如何在不依赖注入半径控制的条件下，推导极小图的梯度估计？

主要发现

• 若 $M$ 完备、常返且截面曲率有界，则 $M \times \mathbb{R}_+$ 中任意正规浸入的极小超曲面必为水平切片 $M \times \{c\}$。
• 若 $M$ 具有非负 Ricci 曲率且截面曲率下界为 $-K_0$，则 $M$ 上任意整个正极小图必为水平切片 $M \times \{c\}$。
• 在所述曲率条件下，$M$ 上任意整个极小图的高度函数 $u$ 的梯度一致有界：$|\nabla^M u| \leq C_1$。
• $M$ 上正次调和函数的 Harnack 不等式表明 $\sup_{B_R(p)} u \leq C \inf_{B_R(p)} u$，当 $\inf u = 0$ 且 $R \to \infty$ 时，此式迫使 $u \equiv 0$。
• 该结果在更弱的增长条件下仍成立：$\limsup_{R \to \infty} \frac{|m(R)|}{R^\alpha} = 0$，其中 $m(R) = \inf_{B_R(p)} u$，且 $\alpha > 0$ 足够小。
• 该方法避免了对注入半径的假设，并利用曲率与常返性性质，提供了精确的梯度估计。