[論文レビュー] Existence of maximal surface containing given curve and special singularity

Rukmini Dey, Pradip Kumar+1 more|arXiv (Cornell University)|Dec 20, 2016

Geometric Analysis and Curvature Flows参考文献 9被引用数 5

ひとこと要約

本稿では、ℒ³をℂ×ℝに同一視することにより、Lorentz-Minkowski空間ℝ³における最大曲面の複雑な解析的定式化を提示する。これにより、閉じた実解析的光線曲線に対する特異Björling問題の新しい証明が可能となる。主な貢献は、与えられた時空的閉曲線を含み、|z|=1で特別な円錐型特異点を示す一般化された最大曲面が存在するための条件を確立することにある。

ABSTRACT

We give a different formulation for describing maximal surfaces in Lorentz-Minkowski space, $\mathbb{L}^3$, using the identification of $\mathbb L^3$ with $\mathbb C imes \mathbb R$. Further we give a different proof for the singular Björling problem for the case of closed real analytic null curve. As an application, we show the existence of maximal surface which contains a given curve and has a special singularity.

研究の動機と目的

• ℒ³における最大曲面をℂ×ℝへの複素同一視を用いて再定式化し、解析的取り扱いを改善すること。
• 閉じた実解析的光線曲線に対する特異Björling問題の新しい証明を提供すること。
• 与えられた時空的閉曲線を含み、|z|=1で特別な円錐型特異点を示す一般化された最大曲面が存在するための十分条件を確立すること。
• 定数曲線（特異点）と非定数の実解析的閉曲線を補間する最大曲面の構成という補間問題を調査すること。
• このような曲面が存在するための幾何学的および解析的制約、特にフーリエ係数とコンformal不変量の役割に焦点を当てる。

提案手法

• 最大曲面をF = (h, w): Ω → ℂ×ℝとして表現し、hは正則関数、wは調和関数であり、等角性条件h_z h̄_z̄ - w_z² = 0を満たす。
• 複素表現を用いて、特異Björling問題を単位円上の境界値問題に再定式化し、境界データのフーリエ級数展開を活用する。
• |h_z| ≠ |h_z̄| almost everywhere である条件を適用して、曲面が一般化されている（退化していない）ことを保証する。
• 境界曲線γ(θ) = (f(e^{iθ}), g(e^{iθ}))のフーリエ係数について、特異Björling解法の公式を用いてhおよびwの明示的公式を導出する。
• 曲面が適切に定義され、等角性および調和性条件を満たすようにするために、フーリエ係数に適合性条件（式4.17および4.18）を課す。
• 収束性および非退化性条件を満たすことを確認することで、解の存在を検証する。特にr₀ ≠ 1の場合に有効である。

実験結果

リサーチクエスチョン

• RQ1 与えられた時空的閉じた実解析的曲線を含み、|z|=1で円錐型特異点を示す一般化された最大曲面が存在する条件は何か？
• RQ2 従来の手法とは異なる複素解析的アプローチにより、閉じた光線曲線に対する特異Björling問題を解くことは可能か？
• RQ3 最大曲面への拡張が特別な特異点を有するための、境界曲線のフーリエ係数が満たすべき制約は何か？
• RQ4 定数曲線（特異点を表す）と非定数の実解析的閉曲線を補間する一般化された最大曲面を構成することは可能か？
• RQ5 なぜ曲線β(θ) = (e^{iθ}, 1)は任意のr₀ ≠ 1に対してこのような曲面を許さないが、その摂動は許されるのか？

主な発見

• 楕円的カテノイドの例によって、曲線α(θ) = (−3/4 cosθ, −3/4 sinθ, ln(1/2))を含み、|z|=1で円錐型特異点を示す一般化された最大曲面が存在することが示された。
• 曲線γ(θ) = (a₃e^{3iθ} + a₁e^{-iθ}, b₂e^{2iθ} + b₂e^{-2iθ})に対しては、|z|=1に特異点を有する一般化された最大曲面が存在するための必要十分条件が、式(4.23)および(4.24)の係数系を満たす場合に限る。
• a₁ = ½(c − 1/c), a₃ = ⅙(c³ − 1/c³), b₂ = ¼(c² − 1/c²), およびr₀ = c（任意のc > 0, c ≠ 1）の場合に、明示的解が存在し、時空的曲線および適切に定義された曲面が得られる。
• h(z) = ⅙(z³ − 1/ż³) + ½(ż − 1/z), w(z) = ¼(z² − 1/ż² − 1/z² + ż²)である表面F(z) = (h(z), w(z))は、必要な条件を満たし、|z|=1で円錐型特異点を示す。
• この手法により、曲線(e^{iθ}, 1)は任意のr₀ ≠ 1に対してこのような曲面を許さないが、その摂動は許されることが示され、codimension-oneの障害であることが判明した。
• 適合性条件（4.17）および（4.18）は、特別な特異点を有する境界データを拡張する一般化された最大曲面が存在するための必要十分条件である。