[論文レビュー] 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）の明示的解を提供する。正規化されたワイエルシュトラス表現と正則関数を用いて、ガウス曲率 $K$ と法曲率 $\kappa$ のすべての解が、正則関数の対によって生成されることを示し、ローレンツ的等長変換を含む同値類の完全な特徴付けをモビウス型変換によって行う。

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 問題を、構成的かつ明示的なパrametrization を提供することによって解決すること。

提案手法

• 元のPDE系 (1.1) を $\alpha = e^{X+iY}$ と置換することで複素形式に変換し、$\Delta \log \alpha = 2\alpha$ に簡略化する。
• ℝ⁴₁ における最小空間的超曲面の正規化ワイエルシュトラス表現を用いて、超曲面を正則関数 $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}$。
• 正則関数対の間の同値関係をモビウス型変換により確立：$\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}$ などの代替パrametrization を得る。
• すべての (1.1) の解が、これらの正則関数または調和関数の表現によって網羅されることを証明し、非退化性条件が明確に定義されていること。

実験結果

リサーチクエスチョン

• RQ1 ℝ⁴₁ における最小空間的超曲面の自然なPDE系は、どのように明示的に解けるか？
• RQ2 すべてのこのような超曲面の完全な正則表現とは何か？ そして、曲率不変量 $K$ と $\kappa$ は正則データの形でどのように表現されるか？
• RQ3 どの正則関数対の変換が同じ超曲面を生成するのか？ その同値関係はどのように特徴付けられるか？
• RQ4 解を複素調和関数を用いて再表現できるか？ その場合のパrametrization はどのような形になるか？
• RQ5 このパrametrization は (1.1) のすべての解を完全に網羅するか？ 必要な非退化性条件は何か？

主な発見

• すべての (1.1) の解が、$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)$ が同じ超曲面を生成するのは、$ad - bc \neq 0$ を満たすモビウス型変換 (1.5) によって関係付けられているとき、かつそのときに限る。
• 複素調和関数 $\eta$ を用いた代替パrametrization が存在し、$\alpha = \frac{{\eta'_u}^2 + {\eta'_v}^2}{\eta^2}$ と表される。これは $\eta \neq 0$ かつ $\eta'_u{}^2 + \eta'_v{}^2 \neq 0$ のとき有効である。
• $\eta$ を用いた解法は、(1.1) のすべての解を完全に網羅しており、正則表現の完全性が確認された。
• 系 (1.1) は複素PDE $\Delta \log \alpha = 2\alpha$ と同値であり、これは $\alpha$ が複素数値である点を除き、ℝ³₁ における最小超曲面の式と形式的に同一である。