[论文解读] Explicit Solving of the System of Natural PDE's of Minimal Space-like Surfaces in Minkowski Space-time

Georgi Ganchev, Krasimir Kanchev|arXiv (Cornell University)|Dec 20, 2016

Advanced Differential Geometry Research参考文献 3被引用 4

一句话总结

本文为闵可夫斯基时空 ℝ⁴₁ 中一般类型的极小类空曲面的自然偏微分方程组（PDE）提供了显式解。通过规范的 Weierstrass 表示法与全纯函数，证明了所有高斯曲率 $K$ 与法曲率 $\kappa$ 的解均由全纯函数对生成，并通过 Möbius 型变换对解的等价类进行了完整刻画。

ABSTRACT

A minimal space-like surface in Minkowski space-time is said to be of general type if it is free of degenerate points. The fact that minimal space-like surfaces of general type in Minkowski space-time admit canonical parameters of the first (second) type implies that any minimal space-like surface is determined uniquely up to a motion in space-time by the Gauss curvature and the normal curvature, satisfying a system of two PDE's (the system of natural PDE's). In fact this solves the problem of Lund-Regge for minimal space-like surfaces. Using canonical Weierstrass representations of minimal space-like surfaces of general type in Minkowski space-time we solve explicitly the system of natural PDE's, expressing any solution by means of two holomorphic functions in the Gauss plane. We find the relation between two pairs of holomorphic functions (i.e. the class of pairs of holomorphic functions) generating one and the same solution to the system of natural PDE's, i.e. generating one and the same minimal space-like surface in Minkowski space-time.

研究动机与目标

• 显式求解闵可夫斯基时空 ℝ⁴₁ 中一般类型极小类空曲面所满足的自然 PDE 方程组。
• 通过将曲率不变量 $K$ 与 $\kappa$ 用全纯数据表示，建立所有此类曲面的完整全纯表示。
• 确定生成同一曲面（在洛伦兹等距变换下）的不同全纯函数对之间的等价关系。
• 通过构造性显式参数化，解决闵可夫斯基时空 ℝ⁴₁ 中极小类空曲面的 Lund-Regge 问题。

提出的方法

• 通过代换 $\alpha = e^{X+iY}$ 将原始 PDE 方程组 (1.1) 转化为复形式，简化为 $\Delta \log \alpha = 2\alpha$。
• 利用 ℝ⁴₁ 中极小类空曲面的规范 Weierstrass 表示法，将曲面表示为全纯函数 $g_1, g_2$ 的形式。
• 推导出 $K$ 与 $\kappa$ 的显式公式：$K = |\alpha| \operatorname{Re} \alpha$，$\kappa = |\alpha| \operatorname{Im} \alpha$，其中 $\alpha = \frac{-4g_1' \bar{g}_2'}{(1 + g_1 \bar{g}_2)^2}$。
• 通过 Möbius 型变换建立全纯函数对之间的等价关系：$\hat{g}_1 = \frac{a g_1 + b}{c g_1 + d}$，$\hat{g}_2 = \frac{\bar{d} g_2 - \bar{c}}{-\bar{b} g_2 + \bar{a}}$，其中 $ad - bc \neq 0$。
• 通过复调和函数 $\theta$ 或 $\eta$ 重新表达解，导出替代参数化形式，如 $\alpha = \frac{{\eta'_u}^2 + {\eta'_v}^2}{\eta^2}$。
• 证明所有 (1.1) 方程组的解均可由这些全纯函数或调和函数表示，并满足明确的非退化条件。

实验结果

研究问题

• RQ1 如何显式求解 ℝ⁴₁ 中极小类空曲面的自然 PDE 方程组？
• RQ2 所有此类曲面的完整全纯表示是什么？曲率不变量 $K$ 与 $\kappa$ 如何用全纯数据表示？
• RQ3 哪些全纯函数对的变换会产生相同的曲面？这种等价关系如何刻画？
• RQ4 解能否通过复调和函数重新表达？其对应的参数化形式是什么？
• RQ5 该参数化是否完全捕捉了 (1.1) 方程组的所有解？其必要的非退化条件是什么？

主要发现

• 所有 (1.1) 自然 PDE 方程组的解均通过满足 $g_1'g_2' \neq 0$ 且 $g_1\bar{g}_2 \neq -1$ 的全纯函数 $g_1, g_2$ 显式构造。
• 高斯曲率 $K$ 与法曲率 $\kappa$ 由 $K = |\alpha| \operatorname{Re} \alpha$，$\kappa = |\alpha| \operatorname{Im} \alpha$ 给出，其中 $\alpha = \frac{-4g_1' \bar{g}_2'}{(1 + g_1 \bar{g}_2)^2}$。
• 当且仅当全纯函数对 $(g_1, g_2)$ 与 $(\hat{g}_1, \hat{g}_2)$ 通过 (1.5) 式的 Möbius 型变换关联且满足 $ad - bc \neq 0$ 时，它们生成相同的曲面。
• 当 $\eta \neq 0$ 且 $\eta'_u{}^2 + \eta'_v{}^2 \neq 0$ 时，可使用复调和函数 $\eta$ 实现替代参数化，其中 $\alpha = \frac{{\eta'_u}^2 + {\eta'_v}^2}{\eta^2}$。
• 通过 $\eta$ 表示的解完全捕捉了 (1.1) 的所有解，证实了全纯表示的完备性。
• 方程组 (1.1) 等价于复 PDE $\Delta \log \alpha = 2\alpha$，其形式与 ℝ³₁ 中极小曲面的方程完全相同，但 $\alpha$ 为复值。