[论文解读] Constrained Dynamical Systems: Separation of Constraints into First and Second Classes

N. P. Chitaia, S. A. Gogilidze+1 more|ArXiv.org|Apr 2, 1997

Computability, Logic, AI Algorithms参考文献 3被引用 3

一句话总结

本文提出了一种系统方法，通过将约束转换为等价约束集的正则变换，对约束动力系统中的约束进行第一类与第二类的分类与分离。关键贡献在于明确了第二类约束的一般结构，从而在规范理论和约束系统中实现了更稳健的哈密顿分析。

ABSTRACT

In the Dirac approach to the generalized Hamiltonian formalism, dynamical systems with first- and second-class constraints are investigated. The classification and separation of constraints into the first- and second-class ones are presented with the help of passing to an equivalent canonical set of constraints. The general structure of second-class constraints is clarified.

研究动机与目标

• 为约束动力系统中的约束分离提供一种系统化程序，以区分第一类与第二类约束。
• 在狄拉克哈密顿形式体系中，阐明第二类约束的一般代数结构。
• 建立一个正则变换，将原始约束映射到一个等价约束集，使分类结果变得明显。
• 通过转换到正则基，使泊松括号结构清晰透明，从而解决约束分类中的模糊性。
• 通过确保正确识别与规范对称性相关的第一类约束，支持规范场论的 consistent 量化。

提出的方法

• 作者采用狄拉克-伯格曼算法分析哈密顿系统中的约束。
• 他们引入一个正则变换，将原始约束转换为一个等价的约束集，从而简化分类过程。
• 该变换保持物理内容不变，同时使约束之间的泊松括号关系变得明确。
• 该方法依赖于通过识别约束泊松括号构成的矩阵的秩，以区分第二类与第一类约束。
• 通过在正则基中对约束泊松括号矩阵进行对角化，分析第二类约束的结构。
• 该程序确保第二类约束可通过狄拉克括号一致地消除，而第一类约束则生成规范对称性。

实验结果

研究问题

• RQ1 如何在动力系统中对约束进行无歧义的第一类与第二类分类？
• RQ2 经过正则变换后，第二类约束的一般代数结构是什么？
• RQ3 能否构造一个正则变换，使得约束的分类变得明显？
• RQ4 该变换如何在简化约束层次结构的同时保持物理内容？
• RQ5 约束的泊松括号矩阵在确定其类别中起什么作用？

主要发现

• 本文建立了将原始约束映射到新约束集的正则变换，使得第一类与第二类的分类变得无歧义。
• 第二类约束的一般结构被明确为：在正则基中，其泊松括号矩阵是非退化的。
• 该方法确保第二类约束可通过狄拉克括号一致地消除，同时保持哈密顿动力学不变。
• 第一类约束被证明对应于规范对称性，其存在性由约束泊松括号矩阵的退化性所证实。
• 该程序为处理复杂约束系统，特别是规范理论中的系统，提供了一个系统化的框架。
• 该方法通过在模型系统上的应用得到验证，展示了该变换方法的可行性和鲁棒性。