[论文解读] Multiple orthogonal geodesic chords and a proof of Seifert's conjecture on brake orbits

Roberto Giambò, Fabio Giannoni+1 more|arXiv (Cornell University)|Feb 22, 2020

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

一句话总结

本文通過偽梯度流與極小化理論，在強凹的 $N$-維黎曼圓盤中證明了至少存在 $N$ 條幾何上互異的正交測地線弦（OGCs），從而解決了西法特猜想。該結果確認了一個自然拉格朗日/哈密頓系統在勢阱中至少存在 $N$ 條互異的阻尼軌道，從而解決了動力系統與幾何分析中長期存在的猜想。

ABSTRACT

Using nonsmooth critical point theory, we prove the existence of at least N orthogonal geodesic chords in a class of Riemannian N-disk with strongly concave boundary. This yields a proof of a celebrated conjecture by H.Seifert on the number of brake orbits in a potential well of a natural Lagrangian/Hamiltonian system.

研究动机与目标

• 解決西法特關於自然拉格朗日系統勢阱中阻尼軌道最小數量的猜想。
• 在強凹的黎曼 $N$-圓盤中建立至少 $N$ 條幾何上互異的正交測地線弦（OGCs）的存在性。
• 透過新的變分技術，將博斯在凸區域的經典結果推廣至非凸、強凹的設定。
• 發展基於相對分類數與偽梯度流的極小化方法，以克服非凸設定下標準梯度流方法的失效。
• 透過莫佩爾圖斯原理與共形度量，嚴謹地將正交測地線弦的幾何問題與阻尼軌道的動力學問題聯繫起來。

提出的方法

• 採用偽梯度流方法構造一個保持路徑空間中相對分類數結構的形變收縮。
• 透過相對路易斯尼爾曼-施尼雷爾曼分類數的極小化理論，從 $\mathbb{Z}_2$-對稱路徑空間上提取能量泛函的臨界點。
• 定義 $\mathcal{V}^{-}$- 與 $\mathcal{V}^{+}$- 向量場框架，以分析帕莱斯-史密斯序列，並確保收斂至 OGCs。
• 應用形變引理，證明泛函 $\mathcal{F}$ 滿足臨界點提取所需的緊緻性與同倫性質。
• 利用 $\mathbb{Z}_2$-作用下的商空間 $\widetilde{\mathfrak{C}}$ 計算 $\operatorname{cat}_{\widetilde{\mathfrak{C}},\widetilde{\mathfrak{C}}_0}(\widetilde{\mathfrak{C}}) = N$，並利用實射影空間的拓撲性質。
• 證明相異的臨界值 $c_1 < c_2 < \cdots < c_N$ 對應於 $N$ 條幾何上互異的 OGCs，並基於橫截性與能量唯一性。

实验结果

研究问题

• RQ1 強凹的黎曼 $N$-圓盤是否至少存在 $N$ 條幾何上互異的正交測地線弦？
• RQ2 經典的凸區域中 OGC 的結果能否推廣至非凸、強凹的區域？
• RQ3 西法特關於勢阱中自然拉格朗日系統阻尼軌道最小數量的猜想是否成立？
• RQ4 偽梯度流與極小化方法能否克服非凸設定下標準梯度流技術的失效？
• RQ5 相對分類數與 $\mathbb{Z}_2$-對稱性在提取能量泛函多個臨界點的過程中扮演何種角色？

主要发现

• 本文證明任何具有強凹邊界的 $N$-維黎曼圓盤中至少存在 $N$ 條幾何上互異的正交測地線弦。
• 透過基於相對 $\mathbb{Z}_2$-等變分類數的極小化方案，確立了 $N$ 條互異的 OGCs，並得到能量泛函的 $N$ 個互異的臨界值 $c_1 < c_2 < \cdots < c_N$。
• 臨界值 $c_i$ 對應於 $N$ 條互異的 OGCs，且滿足 $c_1 \geq \delta_1^2 / K_0^2 > 0$，確保非退化性與正性。
• 證明確立了自然拉格朗日系統勢阱中阻尼軌道的數量至少為 $N$，從而確認西法特猜想。
• 該方法透過避免曲線縮短流，改用保持區域不變性的偽梯度構造，成功處理了非凸性。
• 結果在邊界具有強凹性的假設下成立，此假設確保了適當共形度量的存在，進而透過莫佩爾圖斯原理將 OGCs 與阻尼軌道聯繫起來。