[论文解读] Differential Geometry of Curves and Surfaces in Lorentz-Minkowski space

Rafael López|arXiv (Cornell University)|Oct 18, 2008

Geometric Analysis and Curvature Flows被引用 15

一句话总结

本文对三维洛伦兹-闵可夫斯基空间中曲线与曲面的微分几何进行了全面综述，重点研究了具有常平均曲率（CMC）的类空曲面。文章将经典欧几里得微分几何推广至洛伦兹几何设定，推导了曲线的弗雷尼厄斯方程，定义了曲面的曲率不变量，并通过椭圆型偏微分方程理论与连续性方法，建立了 CMC 图形的存在性与正则性结果。其主要贡献在于证明了在洛伦兹-闵可夫斯基空间中任意有界凸区域，CMC 曲面的狄利克雷问题均有解，这一结果与欧几里得情形形成鲜明对比，后者对区域大小存在限制。

ABSTRACT

We review part of the classical theory of curves and surfaces in $3$-dimensional Lorentz-Minkowski space. We focus in spacelike surfaces with constant mean curvature pointing the differences and similarities with the Euclidean space.

研究动机与目标

• 将经典欧几里得空间中曲线与曲面的微分几何理论推广至洛伦兹-闵可夫斯基空间。
• 识别并分析欧几里得空间与洛伦兹-闵可夫斯基空间中曲线与曲面几何的异同。
• 研究洛伦兹-闵可夫斯基空间中具有常平均曲率（CMC）的类空曲面。
• 利用椭圆型偏微分方程理论与连续性方法，建立 CMC 曲面狄利克雷问题解的存在性与正则性结果。
• 提供该主题的系统性、易懂的入门介绍，填补了教科书层次文献的空白。

提出的方法

• 利用洛伦兹度量 ⟨u,v⟩=u1v1+u2v2−u3v3，推导洛伦兹-闵可夫斯基空间中曲线的弗雷尼厄斯-塞雷特方程。
• 根据因果性特征（类空、类时、光锥型）对向量与子空间进行分类，并研究其几何性质。
• 通过诱导度量与形状算子，定义洛伦兹-闵可夫斯基空间中类空曲面的平均曲率与高斯曲率。
• 应用最大值原理，推导 CMC 图形的先验 C1-估计，表明 sup|Du| = max∂Ω|Du|。
• 使用连续性方法求解 CMC 方程的狄利克雷问题，通过证明解集在 [0,1] 上既开又闭，从而证明解的存在性。
• 通过构造双曲柱面作为屏障，获得与解无关的统一 C1-估计，确保解集的闭性。

实验结果

研究问题

• RQ1 洛伦兹-闵可夫斯基空间中曲线与曲面的微分几何与欧几里得空间有何不同，特别是在曲率与因果结构方面？
• RQ2 在洛伦兹-闵可夫斯基空间中，给定区域上存在类空 CMC 曲面的必要与充分条件是什么？
• RQ3 向量的因果性特征以及子流形上的诱导度量如何影响平均曲率与高斯曲率等几何不变量的行为？
• RQ4 切触原理在证明 CMC 曲面的唯一性与高度估计中起什么作用？
• RQ5 在洛伦兹-闵可夫斯基空间中任意有界凸区域，CMC 曲面的狄利克雷问题是否可解？与欧几里得情形相比有何差异？

主要发现

• 在洛伦兹-闵可夫斯基空间中任意有界凸区域，常平均曲率方程的狄利克雷问题均有解，且解的存在性与区域大小无关。
• 通过最大值原理推导出 CMC 图形的先验 C1-估计，表明 |Du| 的上确界在边界上取得。
• 切触原理表明，类空 CMC 曲面若从下方接触双曲柱面，则会违反最大值原理，从而导出高度估计。
• 通过连续性方法求解狄利克雷问题时，解集既开又闭，从而保证了 H ≠ 0 时解的存在性。
• 洛伦兹-闵可夫斯基空间中的存在性结果与欧几里得情形形成鲜明对比：在欧几里得情形中，区域必须足够小，以避免包含半径为 1/|H| 的圆盘。
• 证明依赖于构造一个平均曲率为 H 的双曲柱面作为屏障，从而获得与解无关的统一 C1-估计。