[论文解读] Hamilton-Jacobi theory and the evolution operator

José F. Cariñena, Xavier Gràcia+4 more|arXiv (Cornell University)|Jul 6, 2009

Control and Dynamics of Mobile Robots参考文献 18被引用 5

一句话总结

本文提出了一种基于时间演化算子 K 的哈密顿-雅可比理论的新几何形式化方法，统一了拉格朗日和哈密顿方法，并将适用范围扩展至奇异拉格朗日系统。该方法提供了一个无坐标、内在的框架，推广了经典结果，并深化了对动力学演化几何本质的理解。

ABSTRACT

We present a new setting of the geometric Hamilton-Jacobi theory by using the so-called time-evolution operator K. This new approach unifies both the Lagrangian and the Hamiltonian formulation of the problem developed in a previous paper [7], and can be applied to the case of singular Lagrangian dynamical systems.

研究动机与目标

• 开发一个统一的几何框架，以弥合哈密顿-雅可比理论中拉格朗日与哈密顿形式化之间的鸿沟。
• 将哈密顿-雅可比方法的适用范围扩展至奇异拉格朗日动力系统。
• 引入时间演化算子 K 作为形式化中的核心几何对象。
• 提供一个无坐标、内在的形式化，以增强对动力学演化几何本质的理解。
• 利用现代微分几何工具，推广经典哈密顿-雅可比理论中的结果。

提出的方法

• 引入时间演化算子 K 作为描述系统动力学的关键几何对象。
• 利用切丛与余切丛的内在结构来定义演化算子。
• 通过生成函数形式化，建立哈密顿-雅可比方程与演化算子之间的联系。
• 该方法的构建方式对非奇异与奇异拉格朗日系统均保持有效。
• 使用微分几何技术（包括喷丛与辛结构）发展该理论。
• 证明演化算子 K 满足一个广义的哈密顿-雅可比方程，从而关联系统的初始与最终状态。

实验结果

研究问题

• RQ1 如何利用时间演化算子 K 重新表述哈密顿-雅可比理论，以统一拉格朗日与哈密顿方法？
• RQ2 演化算子 K 在描述奇异拉格朗日系统动力学中扮演何种角色？
• RQ3 能否通过演化算子保留并推广哈密顿-雅可比方程的几何结构？
• RQ4 K 的使用如何实现该理论的无坐标与内在形式化？
• RQ5 该形式化对动力系统可积性与几何结构有何影响？

主要发现

• 时间演化算子 K 提供了一个统一框架，将哈密顿-雅可比理论的拉格朗日与哈密顿形式化联系起来。
• 该方法成功地将哈密顿-雅可比理论扩展至奇异拉格朗日系统，这些系统此前不在标准形式化的适用范围内。
• 演化算子 K 满足一个广义的哈密顿-雅可比方程，完整编码了系统的动力学。
• 该形式化具有内在的几何特性，且不依赖于坐标选择，从而增强了其数学清晰性与适用性。
• 该方法为动力学演化结构提供了更深层次的几何洞察，尤其在辛几何与泊松几何背景下。
• 结果与经典哈密顿-雅可比理论一致，并在其基础上进行了推广，如期刊发表中所展示。