[论文解读] Entire spacelike hypersurfaces of prescribed Gauss curvature in Minkowski space

Bo Guan, Huaiyu Jian+1 more|ArXiv.org|Nov 29, 2006

Geometric Analysis and Curvature Flows参考文献 7被引用 3

一句话总结

该论文通过变分法构造满足弱时空条件的可容许极大解，建立了闵可夫斯基空间中具有给定高斯曲率的完整类空超曲面的存在性与正则性。证明了在二维情况下，对于利普希茨边界数据，Monge-Ampère 方程存在唯一光滑且严格凸的解，从而生成具有给定曲率函数的完备、光滑类空超曲面。

ABSTRACT

We are concerned with spacelike convex hypersurfaces of positive constant (K-hypersurfaces) or prescribed Gauss curvature in Minkowski space. Our main purpose is to study entire solutions as well as the Dirichlet problem in bounded domains of the related Monge-Ampere equation.

研究动机与目标

• 在闵可夫斯基空间中对具有旋转对称性的完整类空 K-超曲面进行分类，扩展先前关于双曲空间等距嵌入非唯一性的结果。
• 通过刻画其在无穷远处的切锥，研究具有无界主曲率的完整类空超曲面的渐近行为。
• 在闵可夫斯基空间的单位球面子集上求解高斯曲率的闵可夫斯基型问题，特别是当 $ \Omega = \mathbb{H}^n_+ $ 时，通过构造具有给定边界数据的解。
• 将 Li 关于闵可夫斯基问题的结果推广至二维情况下允许利普希茨边界数据的情形，这比光滑性假设更具自然的几何意义。
• 在弱时空条件 $ |Du| \leq 1 $ 下，利用具有可容许极大解的变分框架，建立 Monge-Ampère 方程弱解的存在性与正则性。

提出的方法

• 通过常微分方程构造 $ \mathbb{R}^{n,1} $ 中旋转对称的类空超曲面，分析其在无穷远处的完备性与渐近行为。
• 引入变分法求解在弱时空条件 $ |Du| \leq 1 $ 下的 Monge-Ampère 方程 $ \det D^2 u = \psi(x,u)(1 - |Du|^2)^{\frac{n+2}{2}} $，定义可容许极大解。
• 使用勒让德变换将闵可夫斯基型问题重新表述为在单位球 $ B_1(0) \subset \mathbb{R}^n $ 上定义的曲率函数问题，将高斯映射与解的法向量联系起来。
• 应用 Caffarelli 的粘性解理论与 Evans-Krylov 正则性理论，证明凸粘性解在内部光滑且严格凸。
• 利用支撑平面与障碍函数建立边界估计，证明解在边界点满足 $ \lim_{t \to 0^+} \frac{v(\hat{y} + t\mathbf{e}) - v(\hat{y})}{t} = -\infty $，从而排除线性增长并确保严格凸性。
• 通过逼近论证与最大值原理估计，证明解在边界上连续且在内部正则，尤其针对二维情况下的利普希茨边界数据。

实验结果

研究问题

• RQ1 能否在不假设主曲率有界的前提下，在闵可夫斯基空间中构造具有给定高斯曲率的完整类空超曲面？
• RQ2 此类超曲面在无穷远处的渐近行为如何？能否通过其切锥进行刻画？
• RQ3 是否可能在单位球面的真子集（如 $ \mathbb{H}^n_+ $）上求解高斯曲率的闵可夫斯基型问题，且对边界数据的正则性要求最低？
• RQ4 能否在二维情况下为利普希茨边界数据建立光滑完备类空超曲面的存在性，从而推广先前要求光滑性的结果？
• RQ5 满足 $ |Du| \leq 1 $ 的可容许极大解与时空区域中 Monge-Ampère 方程的经典解之间有何关系？

主要发现

• 在 $ \mathbb{R}^{n,1} $ 中，具有旋转对称性的完整类空 K-超曲面关于诱导黎曼度量是完备的。
• 当 $ n=2 $ 时，存在唯一光滑且严格凸的解 $ v \in C^\infty(\Omega) \cap C^0(\overline{\Omega}) $ 满足 Monge-Ampère 方程与利普希茨边界数据，且在边界点满足 $ \lim_{t \to 0^+} \frac{v(\hat{y} + t\mathbf{e}) - v(\hat{y})}{t} = -\infty $。
• 所得超曲面 $ M = \text{graph}(v^*) $ 光滑、完备且严格凸，其高斯曲率为 $ K_M(\mathbf{n}^{-1}(y)) = \eta(y) $ 对所有 $ y \in B_1(0) $ 成立。
• 解 $ v $ 满足渐近条件 $ x \cdot Dv(x) - v(x) \to -\infty $ 当 $ |x| \to \infty $，表明主曲率无界。
• 当 $ n=2 $ 时，边界条件 $ \varphi \in C^{0,1}(\partial\Omega) $ 是解存在的充要条件，且当 $ \varphi $ 严格凸时，解在这些点处不为 $ C^{0,1} $。
• 在给定假设下，$ \Omega = \mathbb{H}^n_+ $ 上的闵可夫斯基型问题可解，且解类包含具有无界主曲率的超曲面。