[论文解读] Stability of closed characteristics on symmetric compact convex hypersurfaces in $\R^{2n}$

Wei Wang|ArXiv.org|Nov 29, 2008

advanced mathematical theories参考文献 23被引用 3

一句话总结

该论文建立了在 $\mathbb{R}^{2n}$ 中对称紧致凸超曲面上闭特征的稳定性结果：若存在有限多个几何上互异的闭特征，则至少 $n-1$ 个为非双曲；若恰好存在 $n$ 个，则至少两个为椭圆。证明方法基于指标迭代理论与辛拓扑，分析了沿闭轨道的线性化哈密顿系统之 Floquet 多重特征值。

ABSTRACT

In this article, let $Σ\subset\R^{2n}$ be a compact convex hypersurface which is symmetric with respect to the origin. We prove that if $\Sg$ carries finitely many geometrically distinct closed characteristics, then at least $n-1$ of them must be non-hyperbolic; if $\Sg$ carries exactly $n$ geometrically distinct closed characteristics, then at least two of them must be elliptic.

研究动机与目标

• 建立 $\mathbb{R}^{2n}$ 中对称紧致凸超曲面上闭特征的精确稳定性约束。
• 在有限性假设下，确定非双曲或椭圆闭特征的最小数量。
• 利用指标迭代与辛不变量，推广先前关于椭圆与非双曲闭特征的结果。
• 在几何上互异轨道数量有限时，揭示对称超曲面上闭特征的结构。
• 证明当存在 $n$ 个几何上互异的闭特征时，至少两个必为椭圆，推广了此前对 $n=2$ 的结果。

提出的方法

• 将闭特征视为哈密顿系统在能量面 $H_{\alpha}(x) = 1$ 上的解，其中 $H_{\alpha}(x) = j(x)^\alpha$，$j$ 为超曲面的支撑函数。
• 利用 $S^1$-作用将几何上互异的闭特征识别为商空间 $\tilde{\mathcal{J}}(\Sigma)$ 中的轨道。
• 应用指标迭代理论，计算迭代闭特征的 Maslov 型指标与亏格。
• 基于指标与亏格的奇偶性及重数，将闭特征划分为三个互不相交的指标类 $\Theta_1$、$\Theta_2$、$\Theta_3$。
• 采用 Long 与 Zhang（2002）提出的 $\varrho_n(\Sigma)$ 函数，以界定变分可见的闭特征数量。
• 利用泛函 $\Phi$ 的 $\mathbb{Z}_2$-对称性，关联 $y$ 与 $-y$ 的临界点，确保二者具有相同的指标与亏格数据。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^{2n}$ 中对称紧致凸超曲面 $\Sigma$ 上，若其具有有限多个几何上互异的闭特征，则其非双曲闭特征的最小数量是多少？
• RQ2 在何种条件下，$n$ 个几何上互异的闭特征中至少有两个必为椭圆？
• RQ3 指标迭代理论如何约束对称超曲面上闭特征的稳定性类型（椭圆、双曲、非双曲）？
• RQ4 能否以几何上互异轨道的总数为基准，对非双曲闭特征的数量给出下界？
• RQ5 系统的 $\mathbb{Z}_2$-对称性如何影响闭特征的分类与稳定性？

主要发现

• 若对称紧致凸超曲面 $\Sigma \subset \mathbb{R}^{2n}$ 具有有限多个几何上互异的闭特征，则其中至少 $n-1$ 个为非双曲。
• 若 $\Sigma$ 恰好包含 $n$ 个几何上互异的闭特征，则其中至少两个必为椭圆。
• 基于指标与亏格的分类，将闭特征划分为 $\Theta_1$、$\Theta_2$、$\Theta_3$ 三类，可得不等式 $2^{\#\Theta_1} + 2^{\#\Theta_2} + \#\Theta_3 - 1 \geq n-1$，即至少存在 $n-1$ 个非双曲闭特征。
• 证明依赖于指标迭代理论，以及泛函 $\Phi$ 在 $\mathbb{Z}_2$-作用 $u \mapsto -u$ 下的不变性，该性质确保 $y$ 与 $-y$ 具有相同的指标与亏格数据。
• 当 $n$ 为奇数时，通过移除一对对称轨道，并将定理 1.4 of Long 与 Zhang（2002）应用于剩余的 $n-1$ 个轨道，完成证明。
• 稳定性结果与 $\alpha \in (1,2)$ 的选择无关，因为 Floquet 多重特征值与稳定性类型在该类重参数化下保持不变。