[論文レビュー] Explicit Solving of the System of Natural PDE's of Minimal Surfaces in the Four-Dimensional Euclidean Space

Georgi Ganchev, Krasimir Kanchev|arXiv (Cornell University)|Sep 5, 2016

Nonlinear Waves and Solitons参考文献 4被引用数 6

ひとこと要約

本稿は、4次元ユークリッド空間における最小曲面を記述する自然な偏微分方程式系（PDE）の明示的解を提示する。ガウス曲率 $K$ と法曲率 $\kappa$ が複素平面内の2つの正則関数 $w_1$ と $w_2$ を用いて表現されることを示す。この解は、4次元系を $\mathbb{R}^3$ 内の最小曲面に対する自然PDEの2つの独立したコピーに還元することにより得られ、その後ワイエルシュトラス表現を用いて解かれる。主な貢献は、正則データによるすべての解の完全な特徴付けと、等長変換に関して同一の曲面を生成する正則関数の対の同値類の同定である。

ABSTRACT

The fact that minimal surfaces in the four-dimensional Euclidean space admit natural parameters implies that any minimal surface is determined uniquely up to a motion by two curvature functions, satisfying a system of two PDE's (the system of natural PDE's). In fact this solves the problem of Lund-Regge for minimal surfaces. Using the corresponding result for minimal surfaces in the three-dimensional Euclidean space, we solve explicitly the system of natural PDE's, expressing any solution by virtue 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 of the system of natural PDE's.

研究の動機と目的

• 4次元ユークリッド空間における最小曲面を特徴付ける自然PDE系を明示的に解くこと。
• 自然PDE系の解と複素平面内に存在する正則関数の対との間の一対一対応を確立すること。
• $\mathbb{R}^4$ 内の同一の最小曲面を生成する異なる正則関数の対の間の同値関係を、等長変換に関して同定すること。
• 自然PDE系の解が、曲率不変量の可積分パrametrizationを提供することにより、4次元ユークリッド空間における最小曲面のランド＝レッジ問題を解決すること。

提案手法

• 変数変換 $\alpha = \sqrt{K^2 - \kappa^2}/2$ および $\beta = \kappa/2$ を用いて、4次元PDE系を $\mathbb{R}^3$ 内の最小曲面に対する自然PDEの2つの独立したコピーに還元すること。
• $\mathbb{R}^3$ 内の自然PDEの既知の明示的解 $\nu = 4|w'|^2/(|w|^2 + 1)^2$ を、$K$ と $\kappa$ に関連する変数 $p$ と $q$ に適用すること。
• 正則関数 $w_1$ と $w_2$ を用いて $K$ と $\kappa$ を再構成すること。公式は $K = -\frac{1}{2}\sqrt{pq}(p+q)$、$\kappa = \frac{1}{2}\sqrt{pq}(p-q)$ であり、ここで $p = 4|w_1'|^2/(|w_1|^2 + 1)^2$、$q = 4|w_2'|^2/(|w_2|^2 + 1)^2$ である。
• $SU(2)$ 群の作用を用いて正則関数対の同値条件を導出すること。2つの対 $ (w_1, w_2) $ と $ (\hat{w}_1, \hat{w}_2) $ が同一の曲面を生成するための必要十分条件は、各成分が $ |a_k|^2 + |b_k|^2 = 1 $ を満たすモービウス変換 $ \hat{w}_k = \frac{ -\bar{b}_k + \bar{a}_k w_k }{ a_k + b_k w_k } $ に従うことである。
• $\mathbb{R}^3$ 内のワイエルシュトラス表現を、曲率分解を介して3次元から4次元へ解を拡張する基盤的ツールとして用いること。
• 構築された $K$ と $\kappa$ が元のPDE系を満たすことを確認し、解の正しさを検証すること。

実験結果

リサーチクエスチョン

• RQ1 4次元ユークリッド空間における最小曲面の自然PDE系は、正則データを用いてどのように明示的に解けるか？
• RQ2 異なる正則関数の対が $\mathbb{R}^4$ 内で同一の最小曲面を生成する際の正確な関係は何か？
• RQ3 4次元系の解は、既知の $\mathbb{R}^3$ 内の自然PDEの解とどのように関係しているか？
• RQ4 解を不変に保つ群作用は何か？また、その作用は正則データの選択自由度をどのように特徴付けるか？
• RQ5 自然PDE系は可積分か？もしそうなら、その解の明示的形は何か？

主な発見

• 任意の $\mathbb{R}^4$ 内の最小曲面のガウス曲率 $K$ と法曲率 $\kappa$ は、$w_1, w_2$ が正則関数で $w_1' w_2' \neq 0$ を満たすとき、$K = -\frac{8|w_1' w_2'|}{(|w_1|^2 + 1)(|w_2|^2 + 1)} \left( \frac{|w_1'|^2}{(|w_1|^2 + 1)^2} + \frac{|w_2'|^2}{(|w_2|^2 + 1)^2} \right)$ および $\kappa = \frac{8|w_1' w_2'|}{(|w_1|^2 + 1)(|w_2|^2 + 1)} \left( \frac{|w_1'|^2}{(|w_1|^2 + 1)^2} - \frac{|w_2'|^2}{(|w_2|^2 + 1)^2} \right)$ で明示的に与えられる。
• $K$ と $\kappa$ の任意の解 $ (K, \kappa) $ は、正則関数の対 $ (w_1, w_2) $ によって一意に生成され、$\mathbb{R}^4$ 内の最小曲面の正則データによる完全なパrametrization が確立される。
• 2つの正則関数対 $ (w_1, w_2) $ と $ (\hat{w}_1, \hat{w}_2) $ が同一の解 $ (K, \kappa) $ を生成するための必要十分条件は、各成分が $ \hat{w}_k = \frac{ -\bar{b}_k + \bar{a}_k w_k }{ a_k + b_k w_k } $ を満たし、$ |a_k|^2 + |b_k|^2 = 1 $ であることである。これは $SU(2)$ 変換に対応する。
• $\mathbb{R}^4$ 内の自然PDE系は可積分であり、正則関数を用いた明示的解を有する。これは、曲率条件によって定義される $\mathbb{R}^4$ 内の幾何的曲面クラスにおいて、初めての例である。
• 解法プロセスは4次元問題を $\mathbb{R}^3$ 内の自然PDEの2つのコピーに還元し、ワイエルシュトラス表現を用いて解くことで、異なる次元における最小曲面の深い関係を示している。
• 正則データの間の同値関係は、$SU(2)$ によって誘導されるモービウス変換によって完全に特徴付けられており、これは環境空間 $\mathbb{R}^4$ の等長変換群を反映している。