[论文解读] Periodic orbits of magnetic flows for weakly exact unbounded forms and for spherical manifolds

Luca Asselle, Gabriele Benedetti|arXiv (Cornell University)|Dec 1, 2014

Geometric Analysis and Curvature Flows参考文献 28被引用 3

一句话总结

本文為具有無窮大 Mañé 临界值的弱精确磁流在可缩环路上、周期有界且非零的情況下，確立了作用泛函的 Palais-Smale 條件，從而彌補了幾乎所有能量下存在一條閉合可縮磁測地線的證明中的漏洞。此外，該方法進一步推廣至任意磁流，證明當基流形的第二同倫群非平凡時，此類測地線的存在性。

ABSTRACT

We show that for weakly exact magnetic flows with infinite Ma\~n\'e critical value the action functional satisfies the Palais-Smale condition on the space of contractible loops with period bounded and bounded away from zero. This fills a gap in the proof of the existence of one closed contractible magnetic geodesic for almost every energy in [Merry, 2010]. The gap has also been fixed independently by Will Merry and it will appear soon in an erratum by the author. The idea used for the weakly exact case is then generalized to arbitrary magnetic flows to study critical sequences for the action 1-form. As a corollary we prove that if the second fundamental group of the base manifold is non-trivial, there exists one closed contractible magnetic geodesic for almost every energy.

研究动机与目标

• 彌補具有無窮大 Mañé 临界值的弱精確磁流中，閉合可縮磁測地線存在性證明中的漏洞。
• 在周期有界且非零的可縮環路上，確立作用泛函的 Palais-Smale 條件。
• 將該方法推廣至任意磁流，以研究作用 1-形式的臨界序列。
• 當基流形的第二基本群非平凡時，證明對幾乎所有能量水平均存在至少一條閉合可縮磁測地線。

提出的方法

• 利用 Palais-Smale 條件確保在周期遠離零且有上界的可縮環路空間中，臨界序列的收斂性。
• 在具有無窮大 Mañé 临界值的弱精確磁形式下，應用變分法於作用泛函。
• 將弱精確情形下的方法推廣至任意磁流，以分析作用 1-形式的臨界序列。
• 利用第二基本群非平凡的拓撲論證，確保閉合測地線的存在性。
• 運用週期性約束與能量有界性，控制變分設定中環路的行為。
• 結合辛拓撲與 Morse 理論的結果，以確保緊緻性與臨界點的存在性。

实验结果

研究问题

• RQ1 對於具有無窮大 Mañé 临界值的弱精確磁流，其作用泛函在周期有界且非零的可縮環路空間上是否滿足 Palais-Smale 條件？
• RQ2 能否透過 Palais-Smale 條件彌補幾乎所有能量下閉合可縮磁測地線存在性證明中的漏洞？
• RQ3 如何將弱精確形式下所用方法推廣至任意磁流，以研究作用 1-形式的臨界序列？
• RQ4 在基流形的哪些拓撲條件下，對幾乎所有能量水平均存在閉合可縮磁測地線？
• RQ5 第二基本群的非平凡性在這類測地線的存在性中扮演何種角色？

主要发现

• 對於具有無窮大 Mañé 临界值的弱精確磁流，在周期有界且遠離零的可縮環路空間上，作用泛函滿足 Palais-Smale 條件。
• 透過此條件，彌補了幾乎所有能量下存在一條閉合可縮磁測地線的證明漏洞。
• 該方法已推廣至任意磁流，從而可分析作用 1-形式的臨界序列。
• 當基流形的第二基本群非平凡時，對幾乎所有能量水平均存在至少一條閉合可縮磁測地線。
• 結果確認了在廣泛的拓撲與幾何條件下，週期軌道的存在性。