[论文解读] Surfaces with light-like points in Lorentz-Minkowski 3-space with applications

Masaaki Umehara, Kotaro Yamada|arXiv (Cornell University)|Jul 24, 2017

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

一句话总结

本文利用柯西-柯瓦列夫斯卡娅定理，建立了一个关于洛伦兹-闵可夫斯基三维空间中包含类光点的实解析零平均曲率（ZMC）曲面的一般存在性与分类框架，构造了此类曲面并证明：若平均曲率向量在类光点处光滑延拓，则类光点必位于一条直线或非退化的类光曲线上。主要贡献在于对具有类光直线的ZMC曲面进行了完整表征，解决了类型变化曲面分类中长期存在的开放问题。

ABSTRACT

With several concrete examples of zero mean curvature surfaces in $\boldsymbol{R}^3_1$ containing a light-like line recently having been found, here we construct all real analytic germs of zero mean curvature surfaces by applying the Cauchy-Kovalevski theorem for partial differential equations. A point where the first fundamental form of a surface degenerates is said to be light-like. We also show a theorem on a property of light-like points of a surface in $\boldsymbol{R}^3_1$ whose mean curvature vector is smoothly extendable. This explains why such surfaces will contain a light-like line when they do not change causal types. Moreover, several applications of these two results are given.

研究动机与目标

• 解决在洛伦兹-闵可夫斯基三维空间中构造包含类光点但不改变其因果类型的零平均曲率（ZMC）曲面的开放问题。
• 通过柯西-柯瓦列夫斯卡娅定理为实解析ZMC曲面提供一种通用的存在性机制，其初始数据定义在类光直线上。
• 证明一个结构定理：若ZMC曲面在类光点处平均曲率向量可光滑延拓，则该曲面必包含一条类光直线或一条非退化的类光曲线。
• 通过解决三个此前未知的情形，完成对含类光点的ZMC曲面的分类：(i) 在类 $\mathcal{Z}^0_I$ 中无类空或类时部分的ZMC曲面，(ii) 在 $\mathcal{Z}^0_{II}$ 中改变因果类型的ZMC曲面。

提出的方法

• 将柯西-柯瓦列夫斯卡娅定理应用于从定义在类光直线上的初始数据构造实解析ZMC曲面的局部芽。
• 利用常微分方程解的唯一性分析平均曲率向量在类光点附近的性质。
• 为曲面参数化定义形式幂级数展开，并利用ZMC条件推导出系数的递推关系。
• 从度量行列式的泰勒展开中引入特征量 $\mu_F$ 和常数 $\delta_F$，以确定原点附近因果类型的演变行为。
• 应用除法引理，将在 $x=0$ 处阶数为 $k$ 的零点函数提取出 $x$ 的幂次，从而实现对喷射展开的系统分析。
• 通过初始数据 $\gamma_F$ 中的条件 $v_1 = 0$ 识别出属于类 $\mathcal{Z}^\omega_b$ 的曲面，该类曲面对应类光直线的行为。

实验结果

研究问题

• RQ1 能否通过偏微分方程方法系统构造所有含类光点的实解析ZMC曲面局部芽？
• RQ2 当ZMC曲面在类光点处平均曲率向量可光滑延拓时，会引出何种结构约束？
• RQ3 为何ZMC曲面在类光点处仅可能出现两种可能构型（类光直线或非退化的类光曲线）？
• RQ4 是否存在包含类光直线但不改变因果类型的ZMC曲面？若存在，应如何表征？
• RQ5 此前未解决的三种ZMC曲面情形（无类空部分、无类时部分，或在 $\mathcal{Z}^0_{II}$ 中改变类型）能否被显式构造？

主要发现

• 所有含类光点的实解析ZMC曲面局部芽均可通过在类光直线上施加柯西-柯瓦列夫斯卡娅定理的初始数据来构造。
• 若平均曲率向量在类光点处可光滑延拓，则曲面必包含一条类光直线或一条非退化的类光曲线，且当因果类型在该直线上不改变时，仅出现类光直线。
• 当且仅当 $\delta_F \neq 0$ 时，曲面在类光直线上改变因果类型，其中 $\delta_F = 3u_2u_3 + v_3$ 是由初始数据的泰勒系数导出的量。
• 当 $\mu_F = 0$ 且 $\delta_F = 0$ 时，若 $\Delta_F < 0$ 则曲面无类时部分，若 $\Delta_F > 0$ 则无类空部分，其中 $\Delta_F = 4u_3^2 + 8u_2u_4 + v_2^2 + 2v_4$。
• 通过选择满足 $\mu_F = 0$、$u_2 = 0$ 且 $\delta_F \neq 0$ 的适当系数，确立了此前未解决的三种情形（i）无类空部分，（ii）无类时部分，（iii）在 $\mathcal{Z}^0_{II}$ 中改变类型）的ZMC曲面的存在性。
• 该方法通过泰勒展开提供了这些曲面至四阶的显式逼近，高阶系数由递推关系控制。