[論文レビュー] Translation surfaces of coordinate finite type

Hassan Al-Zoubi, Stylianos Stamatakis+2 more|arXiv (Cornell University)|Feb 7, 2019

Geometric Analysis and Curvature Flows参考文献 2被引用数 4

ひとこと要約

この論文は、3次元ユークリッド空間における座標有限型の第3基本形式 $III$ に関する翻訳表面を調査し、$ \Delta^{III}\mathbf{x} = \Lambda\mathbf{x}$ を満たす唯一の表面がシェルクの最小表面であることを示している。解析ではカルタンの移動標構法を用いて第3基本形式ラプラシアンを導出し、常微分方程式系を解いて解を分類し、定数行列 $\Lambda$ を持つ固有値方程式を満たすのは最小翻訳表面、具体的にはシェルクの表面に限られることを結論づけている。この結果により、第$III$-形式条件下での有限型翻訳表面の分類が完全化される。

ABSTRACT

We consider translation surfaces in the 3-dimensional Euclidean space which are of coordinate finite type with respect to the third fundamental form $III$, i.e. their position vector $x$ satisfies the relation $Δ^{III}x = Λx$, where $Λ$ is a square matrix of order 3. We show that Sherk's minimal surface is the only translation surface satisfying $Δ^{III}x = Λx$.

研究の動機と目的

• 3次元ユークリッド空間 $\mathbb{E}^3$ 内の翻訳表面で、第3基本形式 $III$ に関して座標有限型であるものを分類すること。
• 定数 $3 \times 3$ 行列 $\Lambda$ に対して、どの翻訳表面が固有値方程式 $\Delta^{III}\mathbf{x} = \Lambda\mathbf{x}$ を満たすかを特定すること。
• 第一基本形式にとどまらず、第3基本形式とその幾何的意味に注目して、有限型表面の研究を拡張すること。
• これまでの $\mathbb{E}^3$ 内の有限型表面に関する研究に基づき、第$III$-形式条件下での有限型翻訳表面の分類という未解決問題を解決すること。

提案手法

• カルタンの移動標構法を用いて、位置ベクトル $\mathbf{x}$ に作用するラプラシアン・ベルトラミー作用素 $\Delta^{III}$ の式を導出する。
• 翻訳表面を $\mathbf{x}(s,t) = (s,t,\widetilde{f}(s) + \widetilde{h}(t))$ とパラメータ表示する。ここで $f(s)$ と $h(t)$ は滑らかな関数である。
• 第3基本形式計量を用いて、各座標関数 $x_i$ に対する $\Delta^{III}x_i$ を $f$, $h$ 及びその微分の関数として表現する。
• 条件 $\Delta^{III}\mathbf{x} = \Lambda\mathbf{x}$ を課し、成分を等置することで、$f_s$, $h_t$, $f$, $h$ を含む非線形常微分方程式系を導出する。
• 得られた方程式を $s$ および $t$ で微分し、ラプラシアンから生じる関数 $M(s)$ および $N(t)$ が定数でなければならないことを導出する。
• 簡略化された常微分方程式系、特に $\frac{1+f^2}{f_s} = \frac{1}{a_1}$ および $\frac{1+h^2}{h_t} = \frac{1}{b_1}$ を解き、$f(s) = \tan(a_1 s + a_2)$, $h(t) = \tan(b_1 t + b_2)$ を得る。

実験結果

リサーチクエスチョン

• RQ1 どの翻訳表面が定数行列 $\Lambda$ に対して $\Delta^{III}\mathbf{x} = \Lambda\mathbf{x}$ を満たすか？
• RQ2 有限型表面の分類を第一基本形式から第3基本形式へ拡張できるか？
• RQ3 位置ベクトルが $\Delta^{III}$ の固有関数であるとき、どのような幾何的制約が生じるか？
• RQ4 シェルクの最小表面は、座標有限 $III$-型の唯一の翻訳表面であるか？
• RQ5 $f(s)$ と $h(t)$ がどのような条件下に、$III$-ラプラシアンが座標の定数係数線形結合をもたらすか？

主な発見

• 方程式 $\Delta^{III}\mathbf{x} = \Lambda\mathbf{x}$ を満たす唯一の翻訳表面は、$\Lambda = 0$ の場合に相当するシェルクの最小表面である。
• 導出過程から、$III$-ラプラシアン成分を表す関数 $M(s)$ および $N(t)$ が定数でなければならないことが示され、方程式系の簡略化が可能になる。
• 関数 $f(s)$ および $h(t)$ は $f(s) = \tan(a_1 s + a_2)$ および $h(t) = \tan(b_1 t + b_2)$ であることが判明し、$a_1 + b_1 = 0$ の制約が付く。
• $\frac{1}{a_1} + \frac{1}{b_1} = 0$ が導出され、これは $a_1 = -b_1$ を意味し、$\lambda_{31} = \lambda_{33} = 0$ および $\lambda_{32} = 0$ であることを導く。
• 方程式系により、行列 $\Lambda$ のすべての成分が消去され、唯一の解は $\Lambda = 0$ の最小表面であることが示される。
• 最終的な解は最小翻訳表面、具体的にはシェルクの表面であり、翻訳表面の中で $III$-有限型条件を満たす唯一の解である。