规范不变系统中的约束代数

针对一类广泛的力学系统，其局域对称变换依赖于任意阶规范参数的时间导数，我们构造了其哈密顿描述。显式地给出了哈密顿量与约束之间、以及它们与任意函数之间的泊松括号。证明了约束代数是第一类的。