[论文解读] Homotopies of Curves on the 2-Sphere with Geodesic Curvature in a Prescribed Interval

Pedro Zühlke|arXiv (Cornell University)|Apr 10, 2013

Advanced Numerical Analysis Techniques参考文献 9被引用 5

一句话总结

本文分类了在 2-球面 $\mathbf{S}^2$ 上、其测地曲率位于指定区间 $(\kappa_1, \kappa_2)$ 内的 $C^r$ 闭合曲线空间的连通分支，证明连通分支的数量为 $n = \left\lfloor \frac{\pi}{\rho_1 - \rho_2} \right\rfloor + 1$，其中 $\rho_i = \operatorname{arccot} \kappa_i$。它证明了每个分支 $\mathscr{L}_j$ 包含沿圆周遍历 $j$ 次的曲线，并且前 $n-2$ 个分支在 $n \geq 3$ 时同伦等价于 $\mathrm{SO}_3$，并基于曲率区间和在某些变换下的不变性提供了特征化描述。

ABSTRACT

Let $C_{k_1}^{k_2}$ denote the set of all closed curves of class $C^r$ on the sphere $S^2$ whose geodesic curvatures are restricted to lie in $(k_1,k_2)$, furnished with the $C^r$ topology (for some $r >= 2$ and possibly infinite $k_1 < k_2$). In 1970, J. Little proved that the space $C_0^{+\infty}$ of closed curves having positive geodesic curvature has three connected components. Let $r_i = arccot k_i$ (i = 1, 2). We show that $C_{k_1}^{k_2}$ has n connected components $C_1, ..., C_n$, where n is the greatest integer smaller than or equal to $π/(r_1-r_2) + 1$, and $C_j$ contains circles traversed j times ($1 <= j <= n$). The component $C_{n-1}$ also contains circles traversed $(n-1) + 2m$ times, and $C_n$ also contains circles traversed $n + 2m$ times, for any natural number m. In addition, each of $C_1, ..., C_{n-2}$ is homotopy equivalent to $SO_3$ ($n >= 3$). A simple characterization of the components in terms of the properties of a curve and a proof that $C_{k_1}^{k_2}$ is homeomorphic to $C_{k'_1}^{k'_2}$ whenever $r_1 - r_2 = r'_1 - r'_2$ ($r'_i = arccot k'_i$) are also presented.

研究动机与目标

• 对 $C^r$ 闭合曲线在 2-球面 $\mathbf{S}^2$ 上、其测地曲率位于指定区间 $(\kappa_1, \kappa_2)$ 的空间的连通分支进行分类。
• 确定这些连通分支的数量和拓扑结构，特别是与曲线沿圆周遍历次数的关系。
• 以曲线的几何与拓扑性质为基础，对每个连通分支提供直接特征化。
• 证明当 $\rho_1 - \rho_2 = \bar\rho_1 - \bar\rho_2$ 时，空间 $\mathscr{L}_{\kappa_1}^{\kappa_2}$ 同胚于 $\mathscr{L}_{\bar\kappa_1}^{\bar\kappa_2}$，其中 $\rho_i = \operatorname{arccot} \kappa_i$。

提出的方法

• 对 $i=1,2$ 定义 $\rho_i = \operatorname{arccot} \kappa_i$，将曲率区间转化为几何角度区间。
• 使用公式 $n = \left\lfloor \frac{\pi}{\rho_1 - \rho_2} \right\rfloor + 1$ 计算 $\mathscr{L}_{\kappa_1}^{\kappa_2}$ 的连通分支数量。
• 将每个分支 $\mathscr{L}_j$ 特征化为包含恰好遍历圆周 $j$ 次的曲线，其中 $\mathscr{L}_{n-1}$ 和 $\mathscr{L}_n$ 分别包含遍历 $ (n-1)+2k $ 次和 $ n+2k $ 次的额外曲线，$k \in \mathbb{N}$。
• 证明当 $n \geq 3$ 时，$\mathscr{L}_1, \dots, \mathscr{L}_{n-2}$ 均同伦等价于 $\mathrm{SO}_3$。
• 证明当角度差 $\rho_1 - \rho_2 = \bar\rho_1 - \bar\rho_2$ 时，空间 $\mathscr{L}_{\kappa_1}^{\kappa_2}$ 同胚于 $\mathscr{L}_{\bar\kappa_1}^{\bar\kappa_2}$。
• 应用凸几何与拓扑学工具，包括凸包性质以及 $\mathbf{R}^n$ 中紧集的凸包的紧致性。

实验结果

研究问题

• RQ1 空间 $\mathscr{L}_{\kappa_1}^{\kappa_2}$（即 $\mathbf{S}^2$ 上测地曲率位于 $(\kappa_1, \kappa_2)$ 内的 $C^r$ 闭合曲线）有多少个连通分支？
• RQ2 每个连通分支 $\mathscr{L}_j$ 的拓扑结构如何，特别是其曲线行为（如沿圆周遍历次数）？
• RQ3 在什么条件下 $\mathscr{L}_{\kappa_1}^{\kappa_2}$ 的哪些分支同伦等价于 $\mathrm{SO}_3$？
• RQ4 在什么条件下 $\mathscr{L}_{\kappa_1}^{\kappa_2}$ 同胚于 $\mathscr{L}_{\bar\kappa_1}^{\bar\kappa_2}$（对应不同的曲率区间）？
• RQ5 这些分支能否通过曲线的内在几何性质（与参数化无关）直接表征？

主要发现

• 空间 $\mathscr{L}_{\kappa_1}^{\kappa_2}$ 恰好有 $n = \left\lfloor \frac{\pi}{\rho_1 - \rho_2} \right\rfloor + 1$ 个连通分支，其中 $\rho_i = \operatorname{arccot} \kappa_i$。
• 分支 $\mathscr{L}_j$ 包含所有恰好沿圆周遍历 $j$ 次的闭合曲线，$1 \leq j \leq n$。
• 分支 $\mathscr{L}_{n-1}$ 包含沿圆周遍历 $ (n-1) + 2k $ 次的曲线，$\mathscr{L}_n$ 包含沿圆周遍历 $n + 2k$ 次的曲线，其中 $k \in \mathbb{N}$。
• 当 $n \geq 3$ 时，分支 $\mathscr{L}_1, \dots, \mathscr{L}_{n-2}$ 均同伦等价于 $\mathrm{SO}_3$。
• 当 $\rho_1 - \rho_2 = \bar\rho_1 - \bar\rho_2$ 时，空间 $\mathscr{L}_{\kappa_1}^{\kappa_2}$ 同胚于 $\mathscr{L}_{\bar\kappa_1}^{\bar\kappa_2}$，其中 $\rho_i = \operatorname{arccot} \kappa_i$。
• 每个分支均通过曲线的几何行为（特别是其缠绕和曲率性质）提供了直接特征化。