[論文レビュー] Historical Comments on Monge's Ellipsoid and the Configuration of Lines of Curvature on Surfaces Immersed in ${\mathbb R}^3$

Jorge Sotomayor|ArXiv.org|Nov 18, 2004

Advanced Differential Equations and Dynamical Systems参考文献 16被引用数 5

ひとこと要約

本稿は、曲面上の主法曲率線および尖点（umbilic points）の歴史的発展をたどり、モンジュの三軸楕円体（Monge's Ellipsoid）に関する1796年の業績が、微分方程式の定性的理論の核心的概念を予見していたことを確立する。$C^3$-滑らかな曲面で一般性の条件（ダーブルジャン型尖点、双曲型サイクル、不自然な分離子なし）を満たす場合、主配置は構造安定的であり、$C^2$空間においても稠密であることが証明され、ポincareの基礎的業績が古典的微分幾何学へと拡張される。

ABSTRACT

This is an essay on the historical landmarks leading to the study of principal configurations on surfaces, their structural stability and further generalizations. Here it is pointed out that in the work of Monge, 1796, are found elements of the qualitative theory of differential equations, founded by Poincaré in 1881. Two open problems are proposed.

研究の動機と目的

• 主法曲率配置の歴史的起源と微分方程式の定性的理論との関連をたどること。
• モンジュが1796年に三軸楕円体について行った業績に、ポincareが1881年に形式化した微分方程式の定性的理論の基礎的要素がすでに含まれていることを確立すること。
• 滑らかな曲面における主配置の構造安定性と一般性を、$\mathbb{R}^3$において定式化し、分析すること。
• 高次の微分可能性クラスおよび高次代数的曲面に関する2つの未解決問題を提示すること。

提案手法

• オイラーの曲率理論から始まり、モンジュが三軸楕円体上で主線場を統合した歴史的発展の再構築。
• モンジュの楕円体を、特異点（尖点）と周期的サイクルをもつファイブレーションの最初の既知の例として分析。
• 曲面の$C^r$収束および尖点集合とファイブレーションを保存するホメオモールフィズムの存在を用いて、主配置の構造安定性を定義。
• 戻り写像条件$\int_{\gamma}\frac{d\mathcal{H}}{\sqrt{\mathcal{H}^2 - \mathcal{K}}} \neq 0$を用いて、双曲型主サイクルを特徴づける。
• $Î1$-および$Î9$-極限集合、分離子といった位相的概念を用いて、主線の挙動を分類。
• 四つの一般性条件（ダーブルジャン型尖点、双曲型サイクル、不自然な分離子なし、極限集合が尖点およびサイクルに含まれる）を満たす表面の集合$\Sigma(a,b,c,d)$が、$C^3$および$C^2$位相においてそれぞれ開かつ稠密であることを証明。

実験結果

リサーチクエスチョン

• RQ1 モンジュの1796年の三軸楕円体に関する業績が、1881年にポincareによって形式化された微分方程式の定性的理論をどのように予見していたか。
• RQ2 $\mathbb{R}^3$における滑らかな曲面上の主法曲率配置の構造安定性を保証する条件は何か。
• RQ3 $C^3$-主構造安定曲面の集合が$C^2$においてなぜ開かつ稠密であるのか。
• RQ4 稠密性定理における微分可能性クラスを$C^2$から$C^3$に引き上げることは可能か。
• RQ5 3次以上の曲面について、主的に構造安定な曲面のクラスは何か。

主な発見

• 四つの一般性条件（ダーブルジャン型尖点、双曲型サイクル、不自然な分離子なし、極限集合が尖点およびサイクルに含まれる）を満たす表面の集合$\Sigma(a,b,c,d)$は、$C^3$位相において開集合である。
• $\Sigma(a,b,c,d)$に属する各曲面は、$C^3$-主構造安定的であり、これは主配置が小さな$C^3$摂動に対しても保存されることを意味する。
• $\Sigma(a,b,c,d)$は$C^2$位相において稠密である。これは、一般の$C^2$-滑らかな曲面が構造安定性条件を満たしていることを示唆する。
• 主サイクル$\gamma$の双曲型性は、積分$\int_{\gamma}\frac{d\mathcal{H}}{\sqrt{\mathcal{H}^2 - \mathcal{K}}}$が0でないことに等しい。ここで$\mathcal{H}$は平均曲率、$\mathcal{K}$はガウス曲率である。
• モンジュの楕円体上の主配置は、4つの尖点接続、アニュラスを埋めるサイクル、および尖点における特異点を示し、特異点をもつファイブレーションの初期の例である。
• 本稿は2つの主要な未解決問題を特定している：稠密性定理における微分可能性クラスを$C^3$に引き上げること、および$\geq 3$次曲面の主的に構造安定な曲面の分類を行うこと。