[论文解读] 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

一句话总结

本文追溯了曲面上主曲率线与脐点的历史发展，确立了蒙日对三轴椭球（蒙日椭球）的研究预见了微分方程定性理论中的关键概念。它证明了在满足一般性条件（达布型脐点、双曲周期环、无虚假分离子线）的 $C^3$-光滑曲面上，主构型是结构稳定的，且在 $C^2$ 中稠密，将庞加莱的奠基性工作推广至经典微分几何。

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 年关于三轴椭球的研究中已包含庞加莱 1881 年形式化之前提的微分方程定性理论基础。
• 制定并分析 $\mathbb{R}^3$ 中光滑曲面上主构型的结构稳定性与一般性。
• 提出两个关于更高可微类与更高次代数曲面的开放问题。

提出的方法

• 从欧拉的曲率理论出发，重建蒙日将主方向场积分于三轴椭球上的历史发展。
• 将蒙日椭球视为具有奇点（脐点）与周期环的第一个已知叶状结构实例。
• 通过曲面的 $C^r$-收敛性与保持脐点集与叶状结构的同胚存在性，定义主构型的结构稳定性。
• 利用回传映射条件 $\int_{\gamma}\frac{d\mathcal{H}}{\sqrt{\mathcal{H}^2 - \mathcal{K}}}} \neq 0$ 来刻画双曲主周期环。
• 应用拓扑概念如 $\alpha$- 与 $\omega$- 极限集及分离子线，对主方向线行为进行分类。
• 证明满足四个一般性条件的曲面集合 $\Sigma(a,b,c,d)$ 在 $C^3$ 拓扑中开，在 $C^2$ 拓扑中稠密。

实验结果

研究问题

• RQ1 蒙日 1796 年关于三轴椭球的研究如何预见了庞加莱 1881 年形式化的微分方程定性理论？
• RQ2 在 $\mathbb{R}^3$ 中光滑曲面上，何种条件可确保主曲率构型的结构稳定性？
• RQ3 为何 $C^3$-主结构稳定的曲面集合在 $C^2$ 中是开且稠密的？
• RQ4 能否将稠密性定理中的可微类从 $C^2$ 提升至 $C^3$？
• RQ5 三次或更高次代数曲面的主结构稳定曲面属于哪一类别？

主要发现

• 满足四个一般性条件（达布型脐点、双曲周期环、无虚假分离子线、极限集包含于脐点与周期环）的曲面集合 $\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}}}}$ 非零，其中 $\mathcal{H}$ 为平均曲率，$\mathcal{K}$ 为高斯曲率。
• 蒙日椭球上的主构型表现出四条脐点连接线、填满环形区域的周期环，以及脐点处的奇点，构成具有奇点的叶状结构的早期实例。
• 本文识别出两个主要开放问题：将稠密性定理中的可微类提升至 $C^3$，以及对次数 $\geq 3$ 的主结构稳定曲面进行分类。