Birkhoff normal forms, Dirac brackets and symplectic reduction

Jose Lamas, Lei Zhao

Dirac brackets are widely used to study constrained Hamiltonian dynamics. In this paper we develop a Dirac-bracket approach to normal forms on momentum levels and relate it to symp…