[论文解读] Minimal period estimates for brake orbits of nonlinear symmetric Hamiltonian systems

Chungen Lıu|ArXiv.org|Aug 1, 2009

Spectral Theory in Mathematical Physics被引用 4

一句话总结

该论文在超二次和严格凸性条件下，为非线性对称哈密顿系统中的刹车轨道建立了最小周期估计。利用 $L_0$-指标理论与迭代不等式，证明了对任意 $ au > 0$，至少存在一个 $ au$-周期刹车轨道，其最小周期为 $ au$ 或 $ au/2$，将 Rabinowitz 的猜想推广至在弱化凸性与增长条件下的刹车轨道情形。

ABSTRACT

In this paper, we consider the minimal period estimates for brake orbits of nonlinear symmetric Hamiltonian systems. We prove that if the Hamiltonian function $H\in C^2(\Bbb R^{2n}, \Bbb R)$ is super-quadratic and convex, for every number $τ>0$, there exists at least one $τ$-periodic brake orbit $(τ,x)$ with minimal period $τ$ or $τ/2$ provided $H(Nx)=H(x)$.

研究动机与目标

• 解决 Rabinowitz 在对称哈密顿系统中刹车轨道背景下关于最小周期解的猜想。
• 在哈密顿函数满足超二次与凸性条件时，建立 $ au$-周期刹车轨道的最小周期估计。
• 通过放宽严格凸性与超二次增长假设，推广先前的结果。
• 发展并应用 $L_0$-指标理论与迭代不等式，以分析刹车轨道的最小周期。
• 证明对任意 $ au > 0$，存在几何上互异的刹车轨道，其最小周期为 $ au$ 或 $ au/2$。

提出的方法

• 在拉格朗日边界值问题中，利用 $L_0$-指标理论处理辛路径，其中 $L_0 = \{0\} \times \mathbb{R}^n$。
• 应用迭代不等式，估计与 $k$ 重迭代刹车轨道相关的迭代路径 $\gamma^k$ 的 $L_0$-指标。
• 通过伽辽金逼近引入相对指标 $I(A, A-B)$，以处理希尔伯特空间 $E^\omega$ 中自伴算子的紧致扰动。
• 使用 Maslov 型指标 $i_{L_0}^{\omega}(B)$ 与亏格 $\nu_{L_0}^{\omega}(B)$，追踪特征值处的不连续性与指标跳跃。
• 建立不等式 $i_{L_0}^{\omega_0}(B) \geq i_{L_0}(B) + n - \sum_{0 \leq \theta \leq \theta_0} \nu_{\omega}^{L_0}(B)$，以界定区间内指标的增长。
• 利用公式 $I(A_1, A_1 - B_1) = i_{L_0}(B) + n$，将相对指标与标准 $L_0$-指标在 $ω = 1$ 情况下建立联系。

实验结果

研究问题

• RQ1 每个超二次、对称的哈密顿系统是否对任意 $ au > 0$ 都存在具有指定最小周期 $ au$ 或 $ au/2$ 的刹车轨道？
• RQ2 刹车轨道的最小周期估计是否可超越严格凸哈密顿函数的情形？
• RQ3 $L_0$-指标理论中的迭代不等式如何约束周期解的最小周期？
• RQ4 $L_0$-指标及其在特征值处的变化在确定最小周期中起什么作用？
• RQ5 能否在保持最小周期估计的同时，放宽凸性条件 $H''(x) > 0$？

主要发现

• 在条件 (H1)–(H5) 下，对任意 $ au > 0$，至少存在一个 $ au$-周期刹车轨道，其最小周期为 $ au$ 或 $ au/2$。
• 即使将超二次条件 (H2) 放松为 $H(x) = \frac{1}{2}(Bx,x) + \tilde{H}(x)$，其中 $\tilde{H}$ 满足 (H2)，最小周期结果依然成立。
• 凸性条件 (H5) 被放宽为对所有 $t$ 有 $H''(x(t)) \geq 0$，且对所有刹车轨道满足 $\int_0^{\tau/2} H''(x(t))\,dt > 0$。
• $L_0$-指标满足不等式 $i_{L_0}^{\omega_0}(B) \geq i_{L_0}(B) + n - \sum_{0 \leq \theta \leq \theta_0} \nu_{\omega}^{L_0}(B)$，且求和项有上界 $n$。
• 指标函数 $i_{\omega}^{L_0}(B)$ 局部为常数，其在不连续点处的跳跃量受亏格 $\nu_{\omega}^{L_0}(B)$ 限制。
• 相对指标 $I(A_1, A_1 - B_1) = i_{L_0}(B) + n$ 在 $ω = 1$ 情况下，为标准指标与 $L_0$-指标之间提供了关键联系。