[论文解读] Resonance Identities for Closed Characteristics on Compact Star-shaped Hypersurfaces in ${\bf R}^{2n}$

Hui Liu, Yiming Long+1 more|arXiv (Cornell University)|Aug 16, 2013

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

一句话总结

本文在 ${\bf R}^{2n}$ 中的紧致星形超曲面上建立了两个新的共振恒等式，将 Viterbo 和 Wang-Hu-Long 的先前结果推广至一般星形情形，无需假设非退化性。这些恒等式关联了几何上互异的闭特征的平均指标与平均欧拉特征，证明了正平均指标项之和等于 $\frac{1}{2}$，而负平均指标项之和为零。

ABSTRACT

Resonance relations among periodic orbits on given energy hypersurfaces are very important for getting deeper understanding of the dynamics of the corresponding Hamiltonian systems. In this paper, we establish two new resonance identities for closed characteristics on every compact star-shaped hypersurface $Σ$ in ${\bf R}^{2n}$ when the number of geometrically distinct closed characteristics on $Σ$ is finite, which extend those identities established by C. Viterbo in 1989 for star-shaped hypersurfaces assuming in addition that all the closed characteristics and their iterates are non-degenerate, and that by W. Wang, X. Hu and Y. Long in 2007 for strictly convex hypersurfaces in ${\bf R}^{2n}$.

研究动机与目标

• 将 $\mathbb{R}^{2n}$ 中紧致星形超曲面上闭特征的共振恒等式推广至非退化情形之外。
• 在闭特征的几何上互异数量有限的较弱假设下，建立有效的恒等式。
• 将 Viterbo（1989）和 Wang-Hu-Long（2007）的先前结果从严格凸情形推广至一般星形超曲面。
• 通过指标理论与平均化技术，为研究闭特征的多重性与动力结构提供一个框架。
• 通过引入一种改进的平均化机制，解决星形情形下负 Maslov 型指标带来的挑战。

提出的方法

• 利用迭代临界模与指标理论，为每个原初闭特征 $y_j$ 定义平均指标 $\hat{i}(y_j)$ 与平均欧拉特征 $\hat{\chi}(y_j)$。
• 利用临界模的结构与迭代的周期性，为每个 $y_j$ 定义 $K_j$，即临界模的最小周期。
• 构造生成函数 $U_a(t)$ 及其相关迹 $M_a(t)$，以分析指标与贝蒂数分布的渐近行为。
• 对指标区间内迭代数应用渐近估计，以控制 $s \in \mathbb{N}_0$ 上求和中的误差项。
• 建立与 $a$ 和 $K$ 无关的统一有界常数 $C_1, C_2$，以处理 $N \to \infty$ 时的极限过程。
• 取 $N \to \infty$ 时归一化迹函数在 $t = -1$ 处的极限，通过收敛于 $\frac{1}{2}$ 和 $0$ 得到共振恒等式。

实验结果

研究问题

• RQ1 能否将闭特征的共振恒等式推广至 $\mathbb{R}^{2n}$ 中的一般星形超曲面，且无需假设闭特征的非退化性？
• RQ2 在可能具有负 Maslov 型指标的星形超曲面上，平均指标与平均欧拉特征在迭代下的行为如何？
• RQ3 在星形情形下，临界模与贝蒂数沿迭代闭特征的渐近分布如何？
• RQ4 对正平均指标项的 $\frac{\hat{\chi}(y_j)}{\hat{i}(y_j)}$ 之和是否可普遍有界或确定？
• RQ5 是否存在一个拓扑不变量，能捕捉共振恒等式中正负平均指标贡献之间的平衡？

主要发现

• 本文建立了恒等式 $\sum_{\hat{i}(y_j)>0} \frac{\hat{\chi}(y_j)}{\hat{i}(y_j)} = \frac{1}{2}$，对所有满足几何上互异闭特征有限的紧致星形超曲面 $\Sigma \in \mathcal{H}_{st}(2n)$ 成立。
• 在相同条件下，恒等式 $\sum_{\hat{i}(y_j)<0} \frac{\hat{\chi}(y_j)}{\hat{i}(y_j)} = 0$ 成立，表明负平均指标项的贡献相互抵消。
• 平均欧拉特征 $\hat{\chi}(y_j)$ 通过迭代临界模的有理和定义：$\hat{\chi}(y) = \frac{1}{K(y)} \sum_{m=1}^{K(y)} \sum_{l=0}^{2n-2} (-1)^{i(y^m)+l} k_l(y^m)$。
• 平均指标 $\hat{i}(y_j)$ 定义为每迭代一次 Maslov 型指标的渐近增长速率，确保在迭代下保持稳定。
• 证明依赖于对指标区间内迭代数的渐近控制，且误差项与截断参数 $N$ 无关。
• 通过分析生成函数 $M_a(t)$ 在 $t = -1$ 处的归一化迹，取 $N \to \infty$ 的极限，得到恒等式，表明其收敛于 $\frac{1}{2}$ 和 $0$。