[论文解读] On the Canonical Treatment of Lagrangian Constraints

B. M. Barbashov|ArXiv.org|Nov 19, 2001

Space Satellite Systems and Control参考文献 2被引用 7

一句话总结

本文提出贝雷津算法，用于对具有速度依赖性约束的拉格朗日系统进行正则处理，即使约束是‘人为引入’的（例如电动力学中的洛伦兹规范），也能实现一致的哈密顿量形式化。该方法能唯一地将速度和乘子表示为正则动量的函数，避免退化问题，并可直接重构原始拉格朗日量，从而为具有速度依赖性约束的奇异与非奇异系统提供统一的框架。

ABSTRACT

The canonical treatment of dynamic systems with manifest Lagrangian constraints proposed by Berezin is applied to concrete examples: a special Lagrangian linear in velocities, relativistic particles in proper time gauge, a relativistic string in orthonormal gauge, and the Maxwell field in the Lorentz gauge,

研究动机与目标

• 解决传统正则方法无法处理人为引入的约束（如电动力学中的洛伦兹规范）的局限性。
• 将正则形式化扩展至显式依赖于速度和时间的拉格朗日约束系统，超越标准奇异拉格朗日量。
• 为标准勒让德变换因退化而失效的约束系统，提供一致且唯一的哈密顿量形式化。
• 证明贝雷津算法可从哈密顿量重构原始拉格朗日量，从而保持动力学不变。
• 在单一框架下统一处理具有速度依赖性约束的奇异与非奇异拉格朗日系统。

提出的方法

• 通过拉格朗日乘子引入扩展拉格朗日量：$\mathcal{L} = L + \sum_a \lambda_a \varphi_a(q,\dot{q},t)$。
• 定义扩展正则动量 $\tilde{p}_i = \partial \mathcal{L}/\partial \dot{q}_i$，其包含原始拉格朗日量和约束的贡献。
• 假设贝雷津条件：速度 $\dot{q}_i$ 和乘子 $\lambda_a$ 可唯一地表示为 $q_i$ 和 $\tilde{p}_i$ 的函数，确保非退化性。
• 利用求解表达式构造扩展哈密顿量 $\mathcal{H}_{\text{ext}} = \sum_i \tilde{p}_i \dot{q}_i - \mathcal{L}$。
• 应用正则方程 $\dot{q}_i = \partial \mathcal{H}_{\text{ext}} / \partial \tilde{p}_i$，$\dot{\tilde{p}}_i = -\partial \mathcal{H}_{\text{ext}} / \partial q_i$ 推导运动方程。
• 通过条件 $\lambda_a|_{\tilde{p}=p} = 0$ 将乘子 $\lambda_a$ 置零，从而恢复原始拉格朗日量，得到初级哈密顿约束。

实验结果

研究问题

• RQ1 能否在正则形式化中一致地纳入人为引入的约束（如电动力学中的洛伦兹规范）？
• RQ2 当标准勒让德变换因退化而失效时，如何为具有速度依赖性约束的系统构建哈密顿量形式化？
• RQ3 是否可能在具有速度依赖性约束的系统中，唯一地从哈密顿量重构原始拉格朗日量？
• RQ4 贝雷津算法是否在避免奇异拉格朗日量退化问题的同时，保持原始系统的动力学不变？
• RQ5 该方法能否统一处理具有速度依赖性约束的奇异与非奇异拉格朗日系统？

主要发现

• 贝雷津算法通过将非正则约束（如电动力学中的洛伦兹规范）作为扩展拉格朗日量的一部分并引入拉格朗日乘子，成功实现了其正则处理。
• 对于规范时间下的相对论性粒子，该方法得到 $\lambda = (\sqrt{\tilde{p}^2} - m)/(cm)$ 和 $\dot{x}_\mu = c \tilde{p}_\mu / \sqrt{\tilde{p}^2}$，正确恢复了动力学。
• 在正交规范下的相对论性弦中，该算法导出 $\tilde{\dot{x}}_\mu = \gamma^{-1}(1+\mu_1)p_\mu + \mu_2 x'_\mu$，其中 $\mu_1$ 和 $\mu_2$ 由约束确定。
• 在洛伦兹规范下的麦克斯韦场中，该方法产生 $\pi^0 = \tilde{\pi}^0$，在条件 $\lambda|_{\tilde{\pi}^0 = \pi^0} = 0$ 下，初级约束 $\pi^0 = 0$ 被恢复，从而重现标准电动力学。
• 扩展哈密顿量 $\mathcal{H}_{\text{ext}}$ 通过施加 $\mu_i|_{\tilde{\dot{q}} = \dot{q}} = 0$ 条件，可完全重构原始拉格朗日量 $L$，确保与初始系统的相容性。
• 该方法通过直接使用解析出的速度和乘子，避免了二级约束和勒让德变换问题，保持了唯一且非退化的相空间结构。