Singular Lagrangians, Constrained Hamiltonian Systems and Gauge Invariance: An Example of the Dirac-Bergmann Algorithm

TL;DR

This paper provides a detailed analysis of the Dirac-Bergmann algorithm using a finite-dimensional example that includes all major steps in converting a singular Lagrangian into a constrained Hamiltonian system, illustrating gauge invariance and constraints.

Contribution

It offers a comprehensive, step-by-step illustration of the Dirac-Bergmann algorithm with a complete example including all types of constraints and gauge conditions.

Findings

Demonstrates the full sequence of the Dirac-Bergmann algorithm

Clarifies the role of different constraints and gauge degrees of freedom

Discusses the Dirac conjecture and Dirac brackets in detail

Abstract

The Dirac-Bergmann algorithm is a recipe for converting a theory with a singular Lagrangian into a constrained Hamiltonian system. Constrained Hamiltonian systems include gauge theories -- general relativity, electromagnetism, Yang Mills, string theory, etc. The Dirac-Bergmann algorithm is elegant but at the same time rather complicated. It consists of a large number of logical steps linked together by a subtle chain of reasoning. Examples of the Dirac-Bergmann algorithm found in the literature are designed to isolate and illustrate just one or two of those logical steps. In this paper I analyze a finite-dimensional system that exhibits all of the major steps in the algorithm. The system includes primary and secondary constraints, first and second class constraints, restrictions on Lagrange multipliers, and both physical and gauge degrees of freedom. This relatively simple system provides a platform for discussing the Dirac conjecture, constructing Dirac brackets, and applying gauge conditions.