[論文レビュー] Density theorems for complete minimal surfaces in R^3

Antonio Alarcón, Leonor Ferrer+1 more|ArXiv.org|Mar 31, 2006

Geometric Analysis and Curvature Flows参考文献 18被引用数 43

ひとこと要約

本稿は、コンpakto での $C^k$ 収束の下で、ℝ³ 内の完全最小曲面の密度定理を確立し、このような曲面がすべての最小曲面の空間において稠密であることを証明する。反復的等角埋め込みと陰関数定理を用いて、ℝ³ に埋め込まれた完全で、非可算個の端を持つ最小曲面の最初の例を構成し、最小曲面論における長年の未解決問題を解決する。

ABSTRACT

In this paper we have proved several approximation theorems for the family of minimal surfaces in R^3 that imply, among other things, that complete minimal surfaces are dense in the space of all minimal surfaces endowed with the topology of C^k convergence on compact sets, for any k. As a consequence of the above density result, we have been able to produce the first example of a complete proper minimal surface in R^3 with uncountably many ends.

研究の動機と目的

• コンパクト集合上での $C^k$ 位相の下で、ℝ³ 内の完全最小曲面の密度定理を確立すること。
• ℝ³ 内の完全で適切に埋め込まれた最小曲面が非可算個の端を持つことができるかどうかという未解決問題を解明すること。
• 陰関数定理と反復的等角埋め込みを組み合わせることで、完全最小曲面を構成する既存の手法を拡張すること。
• コンパクト集合上での $C^k$ 収束の下で、完全最小曲面の空間がすべての最小曲面の空間に稠密であることを示すこと。

提案手法

• 複雑性が増加する領域 $M_n$ 上での等角最小埋め込み $X_n$ の列を、多サイクル $\Gamma_n$ を用いた再帰的手続きによって構成する。
• 補題 1 を適用して、曲率および埋め込み条件を満たす新しい領域 $M_{n+1}$ と埋め込み $X_{n+1}$ を得る。
• ハルナックの原理を用いて、$\Omega = \bigcup M_n$ のコンパクト部分集合上で $X_n$ の一様収束を保証し、極限埋め込み $\psi: \Omega \to \mathbb{R}^3$ を定義する。
• 等角因子 $\lambda_\psi$ と列 $\epsilon_i$ の制御により、$\psi$ の適切性と完全性を保証する。
• 二進数列 $Q = \{k_i\}_{i \in \mathbb{N}}$ によってインデックス付けされた非可算個の適切な弧 $\sigma_Q$ を $\Omega$ 内に定義し、それぞれが異なる位相的端に対応するようにする。
• 異なる列 $Q \neq Q'$ が与える端が互いに交わらないコンパクト集合によって分離されることを証明し、非可算個の端の存在を示す。

実験結果

リサーチクエスチョン

• RQ1 コンパクト集合上での $C^k$ 収束の下で、ℝ³ 内の完全最小曲面はすべての最小曲面の空間において稠密であるか？
• RQ2 ℝ³ に完全で適切に埋め込まれた最小曲面を、非可算個の端を持つように構成することは可能か？
• RQ3 このような曲面の存在を制限する位相的・幾何的制約は何か。そして、それらは高度な解析的技法を用いて克服可能か？
• RQ4 陰関数定理は、ランゲ型近似と等角埋め込みをどのように組み合わせて、新しい最小曲面を構成できるか？

主な発見

• 任意の $k \in \mathbb{N}$ に対して、コンパクト集合上での $C^k$ 位相の下で、ℝ³ 内の完全最小曲面の空間は、すべての最小曲面の空間に稠密である。
• 著者らは、ℝ³ に完全で適切に埋め込まれた最小曲面が非可算個の端を持つ最初の既知の例を構成した。
• 構成は、曲率と等角因子を制御した反復的等角埋め込みに依存しており、完全性と適切性を保証する。
• 非可算個の端の存在は、曲面内に非可算個の互いに分離された適切な弧を構成することで証明された。
• 各端は異なる二進数列 $Q = \{k_i\}_{i \in \mathbb{N}}$ に対応し、端が互いに交わらないコンパクト集合によって囲まれることで分離が保証される。
• この結果により、ℝ³ 内の完全最小曲面の位相的複雑性が可算無限を越える可能性があることが確認され、それまでの構造に関する仮定に挑戦するものとなった。