[论文解读] Propagation in Hamiltonian dynamics and relative symplectic homology

Paul Biran, Leonid Polterovich+1 more|ArXiv.org|Aug 20, 2001

Geometric and Algebraic Topology参考文献 20被引用 5

一句话总结

本文在哈密顿动力系统中确立了一种新的稳定性现象，称为“稳定传播”，表明当一系列哈密顿微分同胚与某个在零动量处生成正哈密顿量的微分同胚之间的霍弗距离一致很小（小于 $ a $）时，其复合系统会以至少 $ c - a $ 的速度将轨迹传播至无穷远，其中 $ c $ 为哈密顿量的下确界，$ a $ 为霍弗距离。该结果依赖于相对辛同调与弗洛尔理论技术，证明在稳健条件下存在非同伦平凡的周期轨道。

ABSTRACT

The main result asserts the existence of noncontractible periodic orbits for compactly supported time dependent Hamiltonian systems on the unit cotangent bundle of the torus or of a negatively curved manifold whenever the generating Hamiltonian is sufficiently large over the zero section. The proof is based on Floer homology and on the notion of a relative symplectic capacity. Applications include results about propagation properties of sequential Hamiltonian systems, periodic orbits on hypersurfaces, Hamiltonian circle actions, and smooth Lagrangian skeletons in Stein manifolds.

研究动机与目标

• 建立哈密顿系统中一种新的动力学稳定性形式，称为“稳定传播”，即一系列微分同胚的复合系统以均匀速度将轨迹传播至无穷远。
• 分析在霍弗度量下小扰动对传播的鲁棒性，特别是当基微分同胚在零动量处生成的哈密顿量有下界 $ c $ 时。
• 发展并应用基于辛作用过滤的相对辛同调与弗洛尔同调，以检测紧支集哈密顿系统中的非同伦平凡周期轨道。
• 通过同态单调性与辛拓扑中谱不变量的相互作用，刻画哈密顿系统的渐近行为。
• 证明在某些条件下，相对辛同调群趋于稳定，并产生反映底层动力传播的同构。

提出的方法

• 使用霍弗度量衡量哈密顿微分同胚之间的距离，通过统一有界 $ \rho(f_i, h) < a $ 定义稳定性。
• 将哈密顿微分同胚提升至万有覆盖 $ \widetilde{M} = \mathbb{R}^n \times \mathbb{D}^n $，聚焦于基本区域 $ Q $ 以定义传播速度。
• 应用带作用过滤的弗洛尔同调检测非同伦平凡周期轨道，特别是那些具有非平凡同伦类 $ \alpha \in \pi_1(M) \cong \mathbb{Z}^n $ 的轨道。
• 使用参数为 $ s \in \mathbb{R} $ 的一族哈密顿量 $ H_s $，其作用泛函依赖于 $ f_s(r) + r\ell $，以控制谱不变量。
• 对满足 $ s_1 \leq s_0 $ 的哈密顿量，使用弗洛尔同调群之间的单调同态 $ \sigma_{H_{s_1}H_{s_0}} $，以关联不同哈密顿量下的同调群。
• 应用逆极限与直极限以定义相对辛同调 $ \underrightarrow{\mathrm{SH}}^{[a,\infty);c} $ 与 $ \underleftarrow{\mathrm{SH}}^{[a,\infty)} $，并在谱控制下证明同构。

实验结果

研究问题

• RQ1 在何种条件下，一系列哈密顿微分同胚会以均匀正速度将轨迹传播至无穷远？
• RQ2 霍弗度量如何控制哈密顿微分同胚序列系统中的传播速度？
• RQ3 相对辛同调在检测紧支集哈密顿系统中非同伦平凡周期轨道方面起什么作用？
• RQ4 弗洛尔同调群的逆极限与直极限在何时趋于稳定？它们揭示了动力系统的哪些信息？
• RQ5 弗洛尔理论中的谱不变量与作用过滤如何反映哈密顿流的渐近行为？

主要发现

• 定理 A 表明：若 $ \rho(f_i, h) < a $ 且 $ H(t,q,0) \geq c $，则序列系统 $ f_* $ 以至少 $ c - a $ 的速度传播至无穷远。
• 当 $ a > \ell $ 时，弗洛尔同调的逆极限 $ \underleftarrow{\mathrm{SH}}^{[a,\infty)}(U^*X; \alpha) $ 同构于 $ H_*(P; \mathbb{Z}_2) $，反映出周期轨道空间的拓扑结构。
• 当 $ a > c > 0 $ 时，直极限 $ \underrightarrow{\mathrm{SH}}^{[a,\infty);c}(U^*X,X;\alpha) $ 为零，表明在相对情形下，作用谱支持在 $ a $ 以上不存在。
• 当 $ 0 < a \leq c $ 时，直极限 $ \underrightarrow{\mathrm{SH}}^{[a,\infty);c}(U^*X,X;\alpha) $ 同构于 $ H_*(P; \mathbb{Z}_2) $，且典范映射 $ T^{[a,\infty);c}_\alpha $ 为同构。
• 临界值 $ \widehat{C}(U^*X,X;\alpha,a) = \max\{\ell, a\} $ 被导出，表明相对同调中谱支持的阈值。
• 对所有 $ s $，同构 $ T^{[a,\infty);c}_\alpha = \iota_s \circ \pi_s $ 成立，确认在谱控制下逆极限与直极限的一致性。