[论文解读] Behavior of Gaussian curvature and mean curvature near non-degenerate singular points on wave fronts

Luciana F. Martins, Kentaro Saji+2 more|arXiv (Cornell University)|Aug 9, 2013

Geometric Analysis and Curvature Flows参考文献 12被引用 4

一句话总结

本文为黎曼3-流形中的波前在非退化奇点处引入了内在几何不变量——尖点曲率 $\kappa_c$ 与极限法曲率 $\kappa_\nu$。研究证明，乘积 $\kappa_\Pi = \kappa_\nu \kappa_c$ 是一个内在不变量，用于确定高斯曲率的有界性，且 $\kappa_\Pi = 0$ 当且仅当在奇点附近高斯曲率为有理有界。

ABSTRACT

We define cuspidal curvature $κ_c$ (resp. normalized cuspidal curvature $μ_c$) along cuspidal edges (resp. at swallowtail singularity) in Riemannian $3$-manifolds, and show that it gives a coefficient of the divergent term of the mean curvature function. Moreover, we show that the product $κ_Π$ called the product curvature (resp. $μ_Π$ called normalized product curvature) of $κ_c$ (resp. $μ_c$) and the limiting normal curvature $κ_ν$ is an intrinsic invariant of the surface, and is closely related to the boundedness of the Gaussian curvature. We also consider the limiting behavior of $κ_Π$ when cuspidal edges accumulate to other singularities. Moreover, several new geometric invariants of cuspidal edges and swallowtails are given.

研究动机与目标

• 为黎曼3-流形中波前的非退化奇点定义内在几何不变量。
• 阐明在尖点棱与燕尾奇点附近，高斯曲率与平均曲率的行为与内在微分不变量之间的关系。
• 证明乘积曲率 $\kappa_\Pi = \kappa_\nu \kappa_c$ 是一个内在不变量，用于确定高斯曲率的有界性。
• 将极限法曲率 $\kappa_\nu$ 的概念推广至波前上任意的秩一奇点。
• 分析当尖点棱向其他奇点聚集时，$\kappa_c$ 与 $\kappa_\nu$ 的极限行为。

提出的方法

• 将沿尖点棱的尖点曲率 $\kappa_c$ 定义为平均曲率函数展开中发散项的首项系数。
• 将极限法曲率 $\kappa_\nu$ 定义为由第一基本形式与高斯映射导出的几何不变量。
• 构造乘积曲率 $\kappa_\Pi = \kappa_\nu \kappa_c$，并通过用第一基本形式表示的坐标不变表达式证明其为内在不变量。
• 使用爆破技术定义奇点附近曲率函数的有理有界性与连续性。
• 应用魏因加滕公式与高斯方程，将带符号的面积元素 $d\hat{A}$ 与高斯曲率 $K$ 及高斯映射联系起来。
• 通过将高斯映射视为进入德西特空间 $S^3_1$ 的方式，将分析扩展至双曲3-空间 $H^3$，并证明 $\kappa_\nu$ 的类似结果。

实验结果

研究问题

• RQ1 在波前的非退化奇点附近，哪些内在不变量控制着高斯曲率与平均曲率的行为？
• RQ2 乘积曲率 $\kappa_\Pi = \kappa_\nu \kappa_c$ 如何与高斯曲率的有界性相关联？
• RQ3 在尖点棱或燕尾奇点附近，高斯曲率在何种条件下为有理有界？
• RQ4 极限法曲率 $\kappa_\nu$ 如何与高斯映射的奇点相关？
• RQ5 当尖点棱向其他奇点聚集时，曲率 $\kappa_c$ 与 $\kappa_\nu$ 的行为如何变化？

主要发现

• 乘积曲率 $\kappa_\Pi = \kappa_\nu \kappa_c$ 是曲面的内在不变量，可完全用第一基本形式表达。
• 在非退化奇点 $p$ 处，高斯曲率 $K$ 有理有界当且仅当极限法曲率 $\kappa_\nu(p) = 0$。
• 对于 $\mathbb{R}^3$ 中的波前，2-形式 $K\,d\hat{A}$ 在 $p$ 处的延拓为零当且仅当 $\kappa_\nu(p) = 0$，且这等价于高斯映射在 $p$ 处具有奇点。
• 尖点曲率 $\kappa_c$ 与垂直于尖点棱切线方向的平面截线中尖点的曲率一致。
• 在燕尾奇点处，归一化的乘积曲率 $\mu_\Pi = \kappa_\nu \mu_c$ 同样是内在不变量，并控制着高斯曲率的有界性。
• 当尖点棱向其他奇点聚集时，极限法曲率 $\kappa_\nu$ 与尖点曲率 $\kappa_c$ 展现出受控的爆破行为，且 $\kappa_\Pi$ 有界当且仅当 $\kappa_\nu \to 0$。