[论文解读] Integrable Hamiltonian systems on symmetric spaces: Jacobi, Kepler and Moser

Velimir Jurdjevic|arXiv (Cornell University)|Mar 14, 2011

Advanced Algebra and Geometry参考文献 8被引用 4

一句话总结

本文通过最优控制理论与最大值原理，建立了一个在对称空间上可积哈密顿系统的统一框架，揭示了经典问题——开普勒问题、雅可比在椭球面上的测地线运动以及莫泽的同谱系统——之间通过李群上左不变变分问题与卡坦分解的深层联系。关键贡献在于哈密顿量的谱参数表示，该表示通过对称空间上的几何与代数结构解释了这些系统的可积性。

ABSTRACT

This paper defines a class of variational problems on Lie groups that admit involutive automorphisms. The maximum Principle of optimal control then identifies the appropriate left invariant Hamiltonians on the Lie algebra of the group. The corresponding Hamiltonian equations admit a spectral representation with important applications to the theory of integrable systems. Particular cases make a link to Moser's work relating the solutions of Kepler's problem to the geodesics on spaces of constant curvature, Newmann's mechanical problem on the sphere and related geodesic problem of Jacobi on an ellipsoid.

研究动机与目标

• 在单一几何与代数框架下统一经典可积系统——开普勒问题、雅可比的椭球测地线运动以及莫泽的同谱系统。
• 在具有左不变度量的对称空间 (G,K) 上，建立仿射控制问题最优解的存在性与结构。
• 利用最大值原理在余切丛 T*G 上推导哈密顿量，展示其谱参数表示与可积性。
• 通过常曲率空间上的测地线投影，阐明开普勒问题中圆锥曲线的几何起源。
• 阐明仿射哈密顿量与弹性曲线及余伴随轨道的相关性，提示其在更广泛可积系统中的应用。

提出的方法

• 在对称空间 (G,K) 上建立仿射最优控制问题，其动力学由 dg/dt = g(t)(A + U(t)) 描述，其中 U(t) ∈ 𝔪，A ∈ 𝔭 为正则元素。
• 应用最优控制的最大值原理，推导出 𝔤* 上的左不变哈密顿量 H = ½||Lₖ||² + ⟨A, Lₚ⟩，其中 Lₚ 与 Lₖ 分别为 L ∈ 𝔤 在 𝔭 与 𝔨 上的投影。
• 通过卡廷形式将余切丛 T*G 实现为 G × 𝔤，从而在群上实现哈密顿系统的几何解释。
• 利用半直积 Gₛ = K ⋉ 𝔭 在半单李群上构造等价系统，保持哈密顿结构。
• 分析常曲率对称空间（球面、双曲面、欧氏空间）上的测地线，证明其在共形意义下等价于开普勒问题中的圆锥曲线。
• 证明在立体投影下，G/K 上的测地线投影可生成圆锥曲线（椭圆、双曲线、抛物线），并以角度参数显式参数化。

实验结果

研究问题

• RQ1 如何在单一几何框架下统一经典可积系统，如开普勒问题与雅可比在椭球面上的测地线运动？
• RQ2 在对称空间 (G,K) 上的仿射控制问题在通过最大值原理生成可积哈密顿量中起何作用？
• RQ3 常曲率空间上的测地线如何通过立体投影与开普勒问题中的圆锥曲线相对应？
• RQ4 能否证明仿射哈密顿量 H = ½||Lₖ||² + ⟨A, Lₚ⟩ 在半直积 K ⋉ 𝔭 的余伴随轨道上是可积的？
• RQ5 哈密顿量的谱参数表示与莫泽工作中使用的同谱方法之间有何关联？

主要发现

• 在对称空间 (G,K) 上的仿射最优控制问题 (Aff) 是适定的：对任意 g₀, g₁ ∈ G 与 T > 0，存在唯一最优控制 U(t) 最小化能量积分。
• 最优轨迹是 T*G ≅ G × 𝔤 上哈密顿系统积分曲线的投影，其哈密顿量为 H = ½||Lₖ||² + ⟨A, Lₚ⟩，其中 Lₚ 与 Lₖ 为 L ∈ 𝔤 在 𝔭 与 𝔨 上的投影。
• 该哈密顿量具有谱参数表示，通过特征值不变量与余伴随轨道将之与可积系统联系起来。
• 在球面与双曲面（常曲率空间）上的测地线经立体投影分别映射为开普勒问题相空间中的椭圆与双曲线。
• 欧氏情形下，直线运动经变换 w ↦ 2p/||p||² 映射为抛物线，确认了测地线与圆锥曲线之间的共形对应关系。
• 该框架表明，仿射哈密顿量在 K ⋉ 𝔭 的余伴随轨道上是可积的，推广了关于纽曼问题与弹性曲线的已知结果。