[论文解读] A note on the Hamiltonian formalism for higher-derivative theories

Krzysztof Andrzejewski, Joanna Gonera+1 more|ArXiv.org|Oct 16, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 1被引用 8

一句话总结

本文通过从标准Ostrogradski方法出发进行正则变换，提出了一种用于高阶导数理论的修正哈密顿形式，引入了一个非奇异的拉格朗日量。通过重新定义变量以仅包含偶数阶时间导数，并添加一个精心选择的函数F，该方法实现了无需约束的直接勒让德变换，从而通过正则变换得到与Ostrogradski形式等价的哈密顿量。

ABSTRACT

An alternative version of Hamiltonian formalism for higher-derivative theories is presented. It is related to the standard Ostrogradski approach by a canonical transformation. The advantage of the approach presented is that the Lagrangian is nonsingular and the Legendre transformation is performed in a straightforward way.

研究动机与目标

• 解决Ostrogradski形式在高阶导数理论中存在技术与概念上的缺陷，特别是哈密顿量无下界及需要约束的问题。
• 开发一种哈密顿形式，通过确保拉格朗日量非奇异，避免使用拉格朗日乘子和狄拉克约束动力学。
• 建立新形式与标准Ostrogradski方法之间正则变换的系统性方法。
• 证明新形式在哈密顿层面与Ostrogradski形式等价，具有明确定义的哈密顿量和直接的勒让德变换。

提出的方法

• 引入新变量 $ q_i = q^{(2i-2)} $，使得仅使用原坐标偶数阶时间导数作为独立变量。
• 通过添加一个关于新变量的二阶可微函数 $ F $ 来修改原始拉格朗日量，使得 $ \frac{\partial L}{\partial q_{n+1}} + \frac{\partial F}{\partial \dot{q}_n} = 0 $，且对 $ i \geq n+2 $，$ j \leq n-1 $，有 $ \det\left[\frac{\partial^2 F}{\partial q_i \partial \dot{q}_j}\right] \neq 0 $。
• 定义新拉格朗日量 $ \mathcal{L} = L + \sum_{k=1}^n \left( \frac{\partial F}{\partial q_k} \dot{q}_k + \frac{\partial F}{\partial \dot{q}_k} q_{k+1} \right) + \sum_{j=n+1}^{2n} \frac{\partial F}{\partial q_j} \dot{q}_j $，确保其在壳上与原理论等价。
• 直接对 $ \mathcal{L} $ 执行勒让德变换，定义正则共轭动量 $ p_i = \partial \mathcal{L} / \partial \dot{q}_i $，由于 $ F $ 的非退化性条件，这些动量可逆。
• 利用生成函数 $ \Phi $ 显式构造从新形式到Ostrogradski变量 $ \tilde{q}_k, \tilde{p}_k $ 的正则变换，分别给出偶数阶与奇数阶导数情形的表达式。
• 验证所得哈密顿量与Ostrogradski哈密顿量一致，从而证明两种形式在哈密顿层面的等价性。

实验结果

研究问题

• RQ1 能否为高阶导数理论构造一个非奇异拉格朗日量形式，从而避免约束和拉格朗日乘子的使用？
• RQ2 是否可能在不依赖Ostrogradski约束形式的前提下，直接在高阶导数理论中执行勒让德变换？
• RQ3 新哈密顿形式与标准Ostrogradski方法在正则结构上如何关联？
• RQ4 新形式能否系统地应用于偶数阶与奇数阶导数拉格朗日量？
• RQ5 连接新形式与Ostrogradski变量的正则变换的显式形式是什么？

主要发现

• 所提出的形式得到了一个在壳上等价于原始高阶导数拉格朗日量的非奇异拉格朗日量 $ \mathcal{L} $，确保了相同的运动方程。
• 由于 $ F $ 的非退化性条件，动量 $ p_i $ 是速度的可逆函数，因此可直接执行勒让德变换而无需约束。
• 所得哈密顿量通过正则变换与Ostrogradski哈密顿量等价，其生成函数显式给出为 $ \Phi = \sum_{k=1}^{n+1} \tilde{p}_{2k-1} q_k + F(q_1, \tilde{q}_2, \dots, q_n, \tilde{q}_{2n}, q_{n+1}, \dots, q_{2n+1}) $。
• 对于示例 $ L = \frac{1}{2} \dot{q}^2 - \frac{\omega^2}{2} q^2 - g q \ddot{q} $，新哈密顿量为 $ H = \frac{p_1 p_2}{2g q_1} - \frac{(1 + 4g q_2)}{8g^2 q_1^2} p_2^2 + \frac{\omega^2}{2} q_1^2 - g q_1 q_2^2 $，其正确再现了动力学行为。
• 已显式构造出与Ostrogradski变量的正则变换，其中 $ \tilde{q}_1 = q_1 $，$ \tilde{q}_2 = -\frac{\tilde{p}_2}{2g \tilde{q}_1} $，$ \tilde{p}_1 = p_1 - \frac{p_2 \tilde{q}_2}{\tilde{q}_1} $，从而确认了等价性。
• 该形式在奇数阶导数理论中依然有效，其生成函数与变换规则已相应推广，保持与Ostrogradski方法的等价性。