[论文解读] Multiple brake orbits on compact convex symmetric reversible hypersurfaces in $\R^{2n}$

Duanzhi Zhang, Chungen Lıu|arXiv (Cornell University)|Nov 3, 2011

Geometric and Algebraic Topology参考文献 16被引用 4

一句话总结

该论文通过Maslov型指标和Hörmander指标，证明了在任意 $ n \geq 2 $ 的 $ \mathbb{R}^{2n} $ 中，对于 $ C^2 $ 光滑紧致凸对称可逆超曲面，至少存在 $\left[\frac{n+1}{2}\right]+1$ 个几何上互异的刹车轨道。该结果在 $ n=3 $ 时证实了Seifert于1948年提出的猜想，并表明：若此类超曲面上恰好存在 $ n $ 个闭特征，则经时间平移后，它们必全为对称刹车轨道。

ABSTRACT

In this paper, we prove that there exist at least $[\frac{n+1}{2}]+1$ geometrically distinct brake orbits on every $C^2$ compact convex symmetric hypersurface $\Sg$ in $\R^{2n}$ for $n\ge 2$ satisfying the reversible condition $N\Sg=\Sg$ with $N=\diag (-I_n,I_n)$. As a consequence, we show that there exist at least $[\frac{n+1}{2}]+1$ geometrically distinct brake orbits in every bounded convex symmetric domain in $\R^{n}$ with $n\ge 2$ which gives a positive answer to the Seifert conjecture of 1948 in the symmetric case for $n=3$. As an application, for $n=4$ and 5, we prove that if there are exactly $n$ geometrically distinct closed characteristics on $\Sg$, then all of them are symmetric brake orbits after suitable time translation.

研究动机与目标

• 建立紧致凸对称可逆超曲面在 $ \mathbb{R}^{2n} $ 中几何上互异刹车轨道数量的下界。
• 在 $ n=3 $ 的对称情形下，对Seifert于1948年提出的猜想给出肯定回答。
• 当此类超曲面上恰好存在 $ n $ 个闭特征时，刻画其结构，证明它们必全为对称刹车轨道。
• 应用辛拓扑方法，特别是Maslov型指标和Hörmander指标，分析可逆超曲面上的动力学行为。

提出的方法

• 作者利用Maslov型指标和Hörmander的指标理论，分析刹车轨道上线性化哈密顿系统的性质。
• 为每个刹车轨道定义相应的辛路径 $ \gamma_x(t) $，并计算其Maslov型指标以检测几何上的互异性。
• 证明依赖于指标不等式以及在对合 $ N = \mathrm{diag}(-I_n, I_n) $ 下辛群 $ \mathrm{Sp}(2n) $ 的结构。
• 作者对闭特征问题应用变分约化，利用对称性 $ N\Sigma = \Sigma $ 将动力学限制在刹车轨道上。
• 他们利用 $ N $-可逆性意味着 $ Nx(-t) = x(t) $ 且 $ x(t+\tau) = x(t) $ 的性质，将刹车轨道刻画为具有对称性的周期解。
• 关键技术步骤涉及分析指标差 $ |\mathcal{A}_k - \mathcal{B}_k| $，并利用指标理论的界，推导出互异轨道数量的下界。

实验结果

研究问题

• RQ1 在 $ \mathbb{R}^{2n} $ 中 $ C^2 $ 光滑紧致凸对称可逆超曲面上，存在多少个几何上互异的刹车轨道？
• RQ2 Seifert于1948年提出的猜想——在凸区域中至少存在 $ n $ 个闭特征——在对称情形下是否成立？
• RQ3 当此类超曲面上恰好存在 $ n $ 个闭特征时，其结构如何？
• RQ4 是否可以证明在对称凸超曲面上的所有闭特征，经时间平移后均为对称刹车轨道？

主要发现

• 对于任意 $ n \geq 2 $，在 $ \mathbb{R}^{2n} $ 中的每个 $ C^2 $ 光滑紧致凸对称可逆超曲面上，至少存在 $\left[\frac{n+1}{2}\right]+1$ 个几何上互异的刹车轨道。
• 该结果在 $ n=3 $ 时证实了Seifert于1948年的猜想，因为 $\left[\frac{3+1}{2}\right]+1 = 3$，即存在3个互异的刹车轨道。
• 若此类超曲面上恰好存在 $ n $ 个几何上互异的闭特征，则经适当时间平移后，它们必全为对称刹车轨道，此结论对 $ n=4 $ 和 $ n=5 $ 已得证明。
• 证明表明，在给定对称性下，闭特征的互异数量下界为 $\left[\frac{n+1}{2}\right]+1$，且该下界在对称情形下是精确的。
• 作者证明了至少存在 $\left[\frac{n+1}{2}\right]+1 $ 个不同类别的对偶刹车轨道（满足 $ x(-t) = -Nx(t) $），且在对称性下，这些轨道与普通刹车轨道重合。
• 通过Maslov型指标和Hörmander指标的分析，若在对称假设下存在超过 $ n $ 个闭特征，则导致矛盾，从而强制所有轨道均为对称刹车轨道。