[论文解读] Analytic extension of Jorge-Meeks type maximal surfaces in Lorentz-Minkowski 3-space

Shoichi Fujimori, Yu Kawakami+4 more|Osaka City University (Osaka City University)|Sep 19, 2015

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

一句话总结

该论文证明了洛伦兹-闵可夫斯基三维空间中的 Jorge-Meeks 型极大曲面可进行规范的解析延拓，成为具有混合类型的适当嵌入的零平均曲率曲面，其区域从类空过渡到类时。该延拓被证明是单射且适当的，保持了原曲面的旋转对称性与嵌入结构。

ABSTRACT

The Jorge-Meeks $n$-noid ($n\ge 2$) is a complete minimal surface of genus zero with $n$ catenoidal ends in the Euclidean 3-space $\boldsymbol{R}^3$, which has $(2π/n)$-rotation symmetry with respect to its axis. In this paper, we show that the corresponding maximal surface $f_n$ in Lorentz-Minkowski 3-space $\boldsymbol{R}^3_1$ has an analytic extension $ ilde f_n$ as a properly embedded zero mean curvature surface. The extension changes type into a time-like (minimal) surface.

研究动机与目标

• 研究洛伦兹-闵可夫斯基三维空间中 Jorge-Meeks 型极大曲面的解析延拓性质。
• 确定具有折叠奇点的奇异类空极大曲面是否能被光滑地、全局地延拓为类时极小曲面。
• 建立延拓曲面在洛伦兹-闵可夫斯基三维空间中的嵌入性与适当性。
• 利用 Weierstrass 表示法与对称性论证，分析解析延拓的几何与拓扑结构。
• 证明即使在从类空到类时区域的过渡过程中，延拓曲面仍是适当的嵌入。

提出的方法

• 利用洛伦兹-闵可夫斯基三维空间中极大曲面的 Weierstrass 表示法，采用亚纯数据 $(g_n, ω_n) = (z^{n-1}, \frac{i\,dz}{(z^n - 1)^2})$。
• 应用全纯提升 $F = \int (-2g, 1+g^2, i(1-g^2))\omega$ 构造极大曲面 $f_n$，其为 $F$ 的实部。
• 利用 $n$ 阶旋转对称性，将分析简化至基本域，并研究常数 $x_0$ 坐标线。
• 通过分析延拓映射 $\tilde{f}_n$ 在全覆叠空间 $\Omega_n$ 上的行为，考察轮廓线 $\tilde{x}_0^{-1}(h)$ 的像。
• 使用切比雪夫多项式 $U_{n-1}(x)$ 与 $T_n(x)$ 分析关键函数 $\Upsilon(u)$ 与 $\Phi(h)$ 的单调性与正性。
• 通过证明每条轮廓线的像在 $n$ 重对称下不与其旋转副本相交，证明 $\tilde{f}_n$ 的单射性。

实验结果

研究问题

• RQ1 洛伦兹-闵可夫斯基三维空间中具有奇异性的类空 Jorge-Meeks 型极大曲面能否被解析延拓为全局定义的、光滑的混合类型曲面？
• RQ2 Jorge-Meeks $n$-面体极大曲面的解析延拓是否在 $\mathbb{R}^3_1$ 中保持嵌入与适当浸入？
• RQ3 阶数为 $n$ 的旋转对称性如何影响解析延拓的单射性与全局结构？
• RQ4 切比雪夫多项式在证明延拓曲面的雅可比行列式或能量泛函的正性与单调性中起到何种作用？
• RQ5 延拓曲面是否为适当的嵌入？其在从类空到类时区域的过渡中是否避免了自交？

主要发现

• Jorge-Meeks 型极大曲面 $f_n$ 的解析延拓 $\tilde{f}_n$ 是 $\mathbb{R}^3_1$ 中一个适当嵌入的零平均曲率曲面。
• 通过证明每条轮廓线 $\tilde{x}_0^{-1}(h)$ 的像在 $n$ 重对称下不与其旋转副本相交，表明该延拓是单射且适当的。
• 当 $n=2$ 时，延拓显然是适当嵌入；当 $n \geq 3$ 时，通过分析函数 $\Phi(h)$ 与 $\Upsilon(u)$ 的正性，确立了单射性。
• 函数 $\Upsilon(u)$ 由切比雪夫多项式导出，在所有 $u > \cos\theta_0$ 时严格为正，从而保证 $\frac{d\Phi}{dh} > 0$，因此对所有 $h > 0$ 有 $\Phi(h) > 0$。
• $U_{n-1}(x)$ 在 $[\cos(\pi/n), \infty)$ 上的取值范围为 $[-1, \infty)$，且 $U_{n-1}(\cos(\pi/n)) = 0$，这支持了单射性证明中关键表达式的正性。
• 延拓曲面 $\tilde{f}_n$ 在单位圆 $|z| = 1$ 处发生类型转换，从类空变为类时，其类时部分在图中以黑色区域清晰可见。