[论文解读] A refinement of the Hofer-Zehnder theorem on the existence of closed trajectories near a hypersurface

Leonardo Macarini, Felix Schlenk|ArXiv.org|May 9, 2003

Geometric and Algebraic Topology参考文献 1被引用 6

一句话总结

本文通过证明在辛流形中给定超曲面 $ S $ 的加厚区域中，只要加厚区域具有有限的 Hofer–Zehnder 容量，几乎所有超曲面都存在闭特征，从而对 Hofer–Zehnder 定理进行了改进——无需假设 $ S $ 为紧致子流形的边界。关键结果通过容量分析与测度论反证法，建立了加厚区域内闭特征的全测度存在性。

ABSTRACT

The Hofer-Zehnder theorem states that almost every hypersurface in a thickening of a hypersurface $S$ in a symplectic manifold $(M,ω)$ carries a closed characteristic provided that $S$ bounds a compact submanifold and $(M,ω)$ has finite capacity. We show that it is enough to assume that the thickening of $S$ has finite capacity.

研究动机与目标

• 通过弱化辛流形中超曲面上闭特征存在的条件，推广 Hofer–Zehnder 定理。
• 证明若 $ S $ 的加厚区域具有有限 Hofer–Zehnder 容量，则无需假设 $ S $ 为紧致子流形的边界。
• 通过引入 $ \Gamma $-敏感容量，将结果推广至固定同伦类 $ \Gamma \subset \pi_1(S) $ 中的闭特征。
• 证明在有限容量条件下，使得 $ S_\epsilon $ 携带闭特征的参数 $ \epsilon \in I $ 的集合具有全 Lebesgue 测度。
• 为磁流体动力学中的应用提供基础工具，其中目标是在几乎所有能量面上寻找闭轨道。

提出的方法

• 定义光滑加厚 $ \psi: S \times I \to U \subset M $，令 $ S_\epsilon = \psi(S \times \{\epsilon\}) $，以参数化 $ S $ 附近的超曲面。
• 引入 Hofer–Zehnder 容量 $ c_{\operatorname{HZ}}(U) $，定义为所有 HZ-容许哈密顿函数在 $ U $ 上最大值的上确界，其中这些函数在周期 $ T \leq 1 $ 内无非平凡周期轨道。
• 证明集合 $ G = \{ \epsilon \in I \mid \mathcal{P}(S_\epsilon) \neq \emptyset \} $（即存在闭特征的超曲面）是可测的，通过构造 $ U $ 上的哈密顿函数 $ K $，使其周期轨道对应于 $ S_\epsilon $ 上的闭特征。
• 利用 Arzelà–Ascoli 定理证明周期 $ \leq n $ 的闭轨道对应的 $ \epsilon $ 集合是闭集，因此 $ G $ 为可数个闭集的并集，从而可测。
• 采用反证法：假设 $ \mu(B) > 0 $，其中 $ B = I \setminus G $，然后利用容量函数 $ C(\epsilon) = c_{\operatorname{HZ}}(\psi(S \times ]-\epsilon,\epsilon[)) $ 几乎处处的利普希茨连续性，导出测度矛盾。
• 将方法推广至 $ \Gamma $-敏感容量 $ c_{\operatorname{HZ}}^\Gamma(U) $，证明在固定同伦类 $ \Gamma \subset \pi_1(S) $ 中，闭特征的全测度存在性仍成立。

实验结果

研究问题

• RQ1 能否在不假设原始超曲面 $ S $ 为紧致子流形边界的情况下，将 Hofer–Zehnder 定理推广至加厚区域中的超曲面？
• RQ2 若 $ S $ 的加厚区域 $ U $ 具有有限 Hofer–Zehnder 容量，是否足以保证几乎所有 $ S_\epsilon $ 上都存在闭特征？
• RQ3 当限制在固定同伦类 $ \Gamma \subset \pi_1(S) $ 中时，闭特征的全测度存在性是否仍然成立？
• RQ4 容量论证方法能否适配至 $ \Gamma $-敏感 Hofer–Zehnder 容量，以确保 $ \Gamma $-闭特征的全测度存在？
• RQ5 在加厚区域上，确保附近超曲面上闭特征的泛在存在的最小几何或容量理论条件是什么？

主要发现

• 若加厚区域 $ U $ 具有有限 Hofer–Zehnder 容量，则使得 $ S_\epsilon $ 携带闭特征的参数 $ \epsilon \in I $ 的集合具有全 Lebesgue 测度。
• 无需假设 $ S $ 为紧致子流形的边界；仅需 $ c_{\operatorname{HZ}}(U) $ 有限，即可保证闭特征的全测度存在。
• 证明依赖于容量函数 $ C(\epsilon) = c_{\operatorname{HZ}}(\psi(S \times ]-\epsilon,\epsilon[)) $ 的单调递增性，从而几乎处处为利普希茨连续，使反证法成立。
• 对于任意固定的同伦类 $ \Gamma \subset \pi_1(S) $，若 $ c_{\operatorname{HZ}}^\Gamma(U) < \infty $，则集合 $ \{ \epsilon \in I \mid \mathcal{P}^\Gamma(S_\epsilon) \neq \emptyset \} $ 也具有全 Lebesgue 测度。
• 结果给出了精确条件：加厚区域的 Hofer–Zehnder 容量有限，是附近超曲面上闭特征泛在存在的必要且充分条件。
• 该方法适用于 Hofer–Zehnder 容量的标准版本与 $ \Gamma $-敏感版本，展示了在不同动力系统设定下的鲁棒性。