Action-Dimensional Hamiltonians in Classical Mechanics

The Hamiltonian in standard mechanics has dimensions of energy, but a rich tradition—spanning from Maupertuis's 1744 metaphysical principle through the ADM formalism of general relativity—treats systems where the Hamiltonian has dimensions of action. These action-Hamiltonians arise whenever trajectories extremize action at fixed energy, when time becomes a canonical coordinate, or when reparametrization invariance demands a vanishing Hamiltonian constraint. This report traces the historical development and mathematical structures underlying this fundamental dimensional distinction, drawing on original publications and comprehensive reviews.

Maupertuis, Euler, and the birth of least action

The principle of least action emerged in 1744 when Pierre-Louis de Maupertuis published "Accord de différentes lois de la nature," proposing that nature operates to minimize "action"—defined as mass × velocity × distance. Maupertuis conceived this teleologically: "When a change occurs in nature, the quantity of action necessary for this change is least possible." His action had dimensions [mass × length² / time], equivalent to energy × time, though his formulation applied to discrete impacts rather than continuous motion.

The same year, Leonhard Euler published the rigorous mathematical foundation in "Methodus inveniendi lineas curvas," Additamentum II. Euler formulated the principle variationally: trajectories minimize ∫√v ds, where v represents half the squared velocity. This abbreviated action ∫p·dq—momentum integrated over position—became the prototype for action-dimensional quantities in Hamiltonian mechanics. Joseph-Louis Lagrange later distinguished this from the Lagrangian action ∫L dt, clarifying that the Maupertuis-Euler principle applies to paths at fixed energy, determining only spatial shape, while the full action functional determines spacetime trajectories.

Carl Gustav Jacob Jacobi's "Vorlesungen über Dynamik" (lectures 1842–43, published 1866) provided the definitive reformulation. At fixed energy E, Jacobi showed that trajectories extremize ∫√[2(E-V)] ds, transforming mechanics into geodesic flow on configuration space with the Jacobi metric g̃ᵢⱼ = 2m(E - V)gᵢⱼ. This conformal rescaling of the kinetic energy metric encodes the potential's effect geometrically. Jacobi's principle makes the action-dimensional character explicit: the integrand has dimensions of momentum, and the integral has dimensions of action.

Hamilton's characteristic function and the two faces of action

William Rowan Hamilton's 1834–35 papers "On a General Method in Dynamics" introduced the fundamental distinction between two generating functions. The principal function S(q, t) satisfies the time-dependent Hamilton-Jacobi equation ∂S/∂t + H(q, ∂S/∂q) = 0 and equals the Lagrangian action ∫L dt along the dynamical path. The characteristic function W(q, E) satisfies H(q, ∂W/∂q) = E and equals the abbreviated action ∫p·dq.

For conservative systems, these functions relate simply: S = W - Et. Both have dimensions of action, but they generate different canonical transformations. The principal function makes all new coordinates and momenta constant; the characteristic function (at fixed energy) makes new momenta constant while new coordinates evolve linearly. Hamilton called W the "accumulated living force," recognizing its role as the action governing motion at fixed energy.

Jacobi completed the Hamilton-Jacobi theory by developing the complete integral approach: a solution W(q, α) depending on n independent constants allows complete integration of the equations of motion through ∂W/∂αᵢ = βᵢ. The method of characteristics connects partial differential equations to the geodesic flows of the Jacobi-Maupertuis principle.

Extended phase space and the vanishing Hamiltonian

The parametrized mechanics approach treats time t as a configuration variable q⁰, with the conjugate momentum p₀ = -H = -E (negative energy). Cornelius Lanczos's "The Variational Principles of Mechanics" (1949) provides the definitive treatment in Chapter VI: "The parametric form of the canonical equations."

The construction begins with an extended Lagrangian Lₑ = L(q, q'/t')·t', where primes denote derivatives with respect to an arbitrary parameter τ. This Lagrangian is homogeneous of degree one in the generalized velocities (q', t'). By Euler's theorem for homogeneous functions, if f is homogeneous of degree n, then Σxᵢ(∂f/∂xᵢ) = nf. The Hamiltonian H = Σpᵢq̇ⁱ - L = (n-1)L, so for n = 1: the Hamiltonian vanishes identically.

This is not a pathology but a necessary consequence of reparametrization invariance. The extended Hamiltonian H̃ = H(q,p) + p₀ ≈ 0 defines a constraint surface in extended phase space. The symbol ≈ denotes Dirac's "weak equality"—the relation holds on the constraint surface but not throughout phase space. The constraint has dimensions of action (energy × time = momentum × length), fundamentally different from energy.

John Lighton Synge emphasized the geometric interpretation in his 1927 "On the geometry of dynamics": trajectories become geodesics on configuration space with the metric defined by the kinetic energy tensor. His later works on relativity (1956, 1960) applied these methods to relativistic particles, where the proper time τ serves as the natural parameter.

Dirac's constrained formalism and singular Lagrangians

Paul Dirac's "Generalized Hamiltonian Dynamics" (1950, Canadian Journal of Mathematics) systematically addressed systems where the Legendre transformation fails. When the Hessian matrix Wᵢⱼ = ∂²L/∂q̇ⁱ∂q̇ʲ is singular, primary constraints φₘ(q, p) ≈ 0 emerge directly from the definition of momenta. Requiring these constraints persist under time evolution yields secondary constraints.

The crucial classification distinguishes first-class constraints (Poisson brackets with all constraints vanish weakly) from second-class constraints (non-vanishing brackets). Dirac's 1964 "Lectures on Quantum Mechanics" (Yeshiva University) established that first-class constraints generate gauge transformations—a fundamental principle later central to gauge field theory.

The parametrized relativistic particle serves as the paradigm. The reparametrization-invariant action S = -mc∫dτ√(-gμνẋμẋν) yields the primary constraint pμpμ + m²c² ≈ 0 (the mass-shell condition). This constraint has dimensions of action; the "Hamiltonian" vanishes weakly, reflecting arbitrary parametrization. Peter Bergmann at Syracuse developed these ideas in parallel (1949–51), emphasizing manifest covariance. Léon Rosenfeld had anticipated aspects of the formalism in his 1930 Annalen der Physik paper.

The ADM formalism for classical general relativity

Richard Arnowitt, Stanley Deser, and Charles Misner's work (1959–1962) revealed general relativity as a constrained Hamiltonian system structurally identical to parametrized particle mechanics. Their comprehensive review "The Dynamics of General Relativity" (1962) established the 3+1 decomposition: spacetime is foliated into spatial hypersurfaces Σₜ with dynamical variables the 3-metric γᵢⱼ and its conjugate momentum πⁱʲ.

The super-Hamiltonian constraint H = Gᵢⱼₖₗπⁱʲπᵏˡ - √γ ⁽³⁾R ≈ 0 and super-momentum constraints Hᵢ = -2∇ⱼπʲᵢ ≈ 0 define the physical phase space. The lapse function N and shift vector Nⁱ act as Lagrange multipliers, and the total Hamiltonian H_total = ∫d³x(NH + NⁱHᵢ) ≈ 0 vanishes on solutions.

Dimensional analysis reveals the action-dimensional character: πⁱʲ has dimensions [mass][length]⁻¹, so πⁱʲπᵏˡ has dimensions [action][length]⁻³. The super-Hamiltonian H has dimensions of action per spatial volume—fundamentally different from energy. The integrated constraint ∫d³x H has dimensions of action per time parameter, exactly paralleling the parametrized particle.

The constraint H ≈ 0 reflects diffeomorphism invariance: there is no preferred time, and "evolution" represents gauge transformation. This structure underlies the "problem of time" in quantum gravity—the Wheeler-DeWitt equation Ĥψ = 0 has no explicit time evolution.

Contact geometry and homogeneous symplectic structures

Contact geometry provides the mathematical framework for odd-dimensional analogs of symplectic geometry. A contact manifold (M²ⁿ⁺¹, η) carries a 1-form η satisfying the maximal non-integrability condition η ∧ (dη)ⁿ ≠ 0. The historical roots trace to Christiaan Huygens's 1690 "Treatise on Light," where wavefront propagation implicitly involves contact-geometric ideas—each wavefront point generates secondary wavelets, encoding geodesic flow on the unit tangent bundle.

Sophus Lie systematically developed contact transformations beginning around 1870, published comprehensively in "Theorie der Transformationsgruppen" (1888–93) with Friedrich Engel. A contact transformation preserves tangency relationships, mapping contact elements (point plus hyperplane) to contact elements. Élie Cartan's "Leçons sur les invariants intégraux" (1922) provided the modern differential-forms language.

The contact Hamiltonian vector field X_H satisfies defining equations involving the Lie derivative of η, and the contact Hamilton's equations include the evolution ż = yₐ(∂H/∂yₐ) - H for the additional variable z (often interpretable as accumulated action). Crucially, the contact Hamiltonian is not conserved: Ḣ = -H(∂H/∂z). When H vanishes on a Legendre submanifold (n-dimensional submanifold tangent to ker η), that submanifold is invariant—geometrically encoding the H = 0 constraint.

The key insight connecting contact geometry to action-Hamiltonians comes through symplectization: given contact manifold (M, η), the product M × ℝˣ carries symplectic form ω = d(sη). Contact Hamiltonians correspond to 1-homogeneous functions on this symplectic manifold. As Vladimir Arnold and Alexander Givental emphasized, contact geometry is "homogeneous symplectic geometry," making the connection to homogeneous (action-dimensional) Hamiltonians mathematically precise.

Presymplectic and cosymplectic structures

Presymplectic manifolds carry closed 2-forms ω that may be degenerate, with null distribution ker(ω) encoding gauge directions. These arise naturally in constrained systems—any submanifold of a symplectic manifold inherits a presymplectic form by pullback. The Gotay-Nester-Hinds constraint algorithm (Journal of Mathematical Physics, 1978–79) provides the geometric version of Dirac-Bergmann analysis.

Cosymplectic manifolds (introduced by Paulette Libermann, 1959) have closed 1-form η and closed 2-form Ω with η ∧ Ωⁿ ≠ 0—the natural setting for time-dependent Hamiltonian systems. The phase space ℝ × T*Q with η = dt and Ω = dqⁱ ∧ dpᵢ exemplifies this structure. Recent developments introduce cocontact manifolds for time-dependent dissipative systems, extending both contact and cosymplectic frameworks.

Geodesic flows and Finsler generalization

The Jacobi metric reformulation shows that dynamical trajectories at fixed energy E become geodesics of g̃ᵢⱼ = 2m(E - V)gᵢⱼ. Two Hamiltonian formulations of geodesics exist: the energy-like H = ½gⁱʲpᵢpⱼ (parameterized by affine parameter) and the arc-length H = √(gⁱʲpᵢpⱼ) (homogeneous of degree one, parameterization-independent). The arc-length formulation has action dimensions.

Finsler geometry generalizes this to metrics F(x, dx) homogeneous of degree one in dx. Paul Finsler's 1918 thesis, Cartan's 1934 development of Finsler connections, and Hanno Rund's 1959 "Differential Geometry of Finsler Spaces" established the framework. The Randers metric F = α + β (Riemannian metric plus 1-form) describes charged particles in magnetic fields, where the 1-form represents the vector potential.

Key textbooks and comprehensive reviews

The historical development appears comprehensively in several classic sources:

• Whittaker, E.T. "A Treatise on the Analytical Dynamics of Particles and Rigid Bodies" (1904, 4th ed. 1937)—encyclopedic treatment including Jacobi's principle and Hamilton-Jacobi theory
• Lanczos, C. "The Variational Principles of Mechanics" (1949, Dover 1970)—philosophical and historical approach emphasizing parametric formulations and geometric meaning
• Goldstein, H., Poole, C., Safko, J. "Classical Mechanics" (3rd ed., 2002)—standard graduate text with clear canonical transformation treatment
• Arnold, V.I. "Mathematical Methods of Classical Mechanics" (1978, 2nd ed. 1989)—modern geometric approach using manifolds and symplectic geometry

For constrained systems: Henneaux, M. and Teitelboim, C. "Quantization of Gauge Systems" (Princeton, 1992) is definitive. Sundermeyer, K. "Constrained Dynamics" (Springer, 1982) provides systematic exposition. Geiges, H. "An Introduction to Contact Topology" (Cambridge, 2008) covers contact geometry comprehensively.

Recent pedagogical reviews include Brown's "Singular Lagrangians, Constrained Hamiltonian Systems and Gauge Invariance" (Universe, 2022), which works through complete examples, and Corichi and Núñez's "Introduction to the ADM Formalism" (arXiv:2210.10103, 2023).

The conceptual distinction crystallized

The fundamental distinction can be summarized thus: standard Hamiltonians generate time evolution and have dimensions of energy; action-Hamiltonians arise as constraints in reparametrization-invariant systems and have dimensions of action. The energy-Hamiltonian H(q, p) tells us how fast the system evolves; the action-Hamiltonian H̃ ≈ 0 tells us that the system lies on a constraint surface where "time" is a gauge choice.

| System | Hamiltonian role | Dimensions | Physical meaning | |--------|-----------------|------------|------------------| | Standard mechanics | Evolution generator | Energy | Rate of change | | Jacobi-Maupertuis | Fixed-energy constraint | Action | Geodesic condition | | Parametrized particle | Mass-shell constraint | Action | pμpμ + m² ≈ 0 | | General relativity | Hamiltonian constraint | Action/volume | Einstein equations |

This distinction, anticipated in Jacobi's 1840s reformulation, formalized in Dirac's 1950s constraint theory, and revealed as fundamental in ADM's treatment of gravity, represents one of the deepest structural features of classical mechanics. The geometric frameworks—symplectic geometry for energy-Hamiltonians, contact and presymplectic geometry for action-Hamiltonians—provide the mathematical language for this fundamental dichotomy.

Conclusion

The tradition of action-dimensional Hamiltonians runs from Maupertuis's metaphysical speculation through Jacobi's geometric insight to the ADM formalism's revelation that general relativity is a constrained system with vanishing total Hamiltonian. The key conceptual thread is reparametrization invariance: when the parameter labeling trajectories is arbitrary, the Hamiltonian must vanish on solutions and have dimensions of action rather than energy. This structure, captured mathematically by contact and presymplectic geometry, appears whenever physical content resides in trajectory shape rather than temporal evolution. The historical sources—Euler's Additamentum II, Hamilton's "General Method in Dynamics," Jacobi's Vorlesungen, Dirac's 1950 paper, and the ADM review—remain essential reading for understanding this fundamental aspect of analytical mechanics.