[論文レビュー] Discrete CMC surfaces in R^3 and discrete minimal surfaces in S^3. A discrete Lawson correspondence

Alexander I. Bobenko, Pascal Romon|arXiv (Cornell University)|May 2, 2017

Computational Geometry and Mesh Generation参考文献 11被引用数 11

ひとこと要約

本稿は、ℝ³における離散的等角的定常平均曲率（CMC）曲面とS³における離散的等角的最小曲面の間で、離散的ラウソン対応を確立し、離散的共形計量係数を保存することにより等長写像として機能することを示している。この対応は同一の埋め込み式と共有されるラクス行列を介して定義されており、滑らかさの状況を模倣し、等角的ネット理論を用いて古典的ラウソン等長写像を離散的設定に拡張している。

ABSTRACT

The main result of this paper is a discrete Lawson correspondence between discrete CMC surfaces in R^3 and discrete minimal surfaces in S^3. This is a correspondence between two discrete isothermic surfaces. We show that this correspondence is an isometry in the following sense: it preserves the metric coefficients introduced previously by Bobenko and Suris for isothermic nets. Exactly as in the smooth case, this is a correspondence between nets with the same Lax matrices, and the immersion formulas also coincide with the smooth case.

研究の動機と目的

• ℝ³におけるCMC曲面とS³における最小曲面の間の古典的ラウソン対応の離散的類似を確立すること。
• 等角的ネットにおける離散的共形計量係数を保存する離散的等長写像を定義すること。
• この対応がラクス行列と埋め込み式を保存し、滑らかさの状況と一致することを示すこと。
• 離散的対応がカルパソ変換と保存量に基づく既存の枠組みとどのように整合するかを解明すること。
• 離散的ラウソン対応を幾何的に明示的かつ計算的に容易に記述する形式を提供すること。

提案手法

• 対応は、ℤ²インデックスを用いた四角形平面型面を持つ離散的等角的ネット（Q-ネット）の間で定式化される。
• 最小曲面（S³内）とCMC曲面（ℝ³内）の両方の離散的ラクス対は、同一のスペクトルパラメータとフレーム方程式から導出される。
• 両曲面タイプの埋め込み式は滑らかさの状況と一致しており、幾何的一致性が保証される。
• 計量係数sは、辺に基づく関数uとvを介して定義され、離散的共形的意味での等長写像を保証する。
• 異なる定式化にもかかわらず、[BuHRS, BuHR]のカルパソ変換枠組みと一致することが示され、対応が検証された。
• 局所幾何の記述にはシフト表記が用いられ、F, F₁, F₂, F₁₂はそれぞれ(0,0), (1,0), (0,1), (1,1)における頂点を表す。

実験結果

リサーチクエスチョン

• RQ1 ℝ³における離散的CMC曲面とS³における離散的最小曲面の間で、離散的ラウソン対応を定義できるか？
• RQ2 この対応が離散的共形計量係数を保存し、したがって等長写像として機能するか？
• RQ3 両曲面タイプのラクス行列と埋め込み式が、滑らかさの状況と同様に、この対応下で同一であるか？
• RQ4 離散的対応は、[BuHRS, BuHR]で用いられるカルパソ変換枠組みとどのように関係するか？
• RQ5 この対応は、離散的設定における関連族のレベルにまで拡張可能か？

主な発見

• 離散的ラウソン対応は、S³内の最小曲面とℝ³内のCMC曲面の間で、離散的共形計量係数sを保存する等長写像として確立された。
• 両曲面タイプの埋め込み式は滑らかさの状況と同一であり、幾何的一致性が保証された。
• 両曲面のラクス行列は同一であり、統合系のレベルでの対応が確認された。
• カルパソ変換枠組み[BUHRS, BUHR]と一致し、平均曲率、計量、辺ラベル付けの挙動が一致した。
• 球面半径が無限大に近づく極限において対応が適切に定義され、球面最小曲面からユークリッドCMC曲面が回復された。
• 本手法は、四角形平面型面を持つQ-ネットに適用可能であり、局所幾何を記述するためのシフト表記と辺に基づく関数が用いられた。