Dirac structures on tangent bundles: a geometric framework for variational principles, constrained dynamics, and symmetry reduction

Abstract: We introduce a Dirac structure on the tangent bundle of a configuration manifold, called a \textit{Lagrange--Dirac structure}, which is naturally induced by the Lagrangian two-form associated with a (possibly degenerate) Lagrangian and a constraint distribution. This structure provides a unified geometric framework for Lagrange--Dirac dynamical systems, encompassing nonholonomic, degenerate Lagrangian, and symmetric systems. In the hyperregular case, the system recovers a first-order formulation of the Lagrange--d'Alembert equations. Although nonholonomic dynamics does not preserve the Lagrangian two-form, we show that the underlying Lagrange--Dirac structure is preserved up to gauge transformations, yielding a natural gauge covariance property. We also formulate an intrinsic variational principle directly on the tangent bundle, referred to as the \textit{Lagrange--d'Alembert--Dirac principle}, which recovers Hamilton's principle in the unconstrained case and the Lagrange--d'Alembert principle in the hyperregular constrained case. Furthermore, we develop a reduction theory for systems with Lie group symmetry, deriving a reduced Lagrange--Dirac structure over the Lie algebra that yields the Euler--Poincaré--Dirac equations and a corresponding reduced variational principle. Finally, we illustrate the theory through examples including charged particles, electric circuits, and systems with Lagrangians linear in velocity, and present an infinite-dimensional extension to ideal fluids that naturally incorporates the incompressibility constraint and recovers the Euler equations.

• The paper introduces Lagrange–Dirac structures on tangent bundles to capture constrained, degenerate Lagrangians and nonholonomic dynamics.
• The methodology employs a novel variational principle that unifies Hamilton’s, Lagrange–d’Alembert, and Euler–Lagrange formulations.
• The results elucidate gauge covariance and symmetry reduction, broadening applications from electromagnetic fields to fluid dynamics.

Geometric Structures for Variational Principles and Constrained Dynamics via Dirac Structures on Tangent Bundles

Introduction and Motivation

The paper "Dirac structures on tangent bundles: a geometric framework for variational principles, constrained dynamics, and symmetry reduction" (2606.20012) provides a detailed examination of the geometric and variational structure of Lagrangian systems on tangent bundles, particularly emphasizing systems with nonholonomic constraints, degeneracy, and symmetry. Standard treatments formulate Dirac structures mainly on cotangent (phase space) or Pontryagin bundles, providing a powerful approach to general constraints and symmetry in Hamiltonian dynamics. However, the tangent bundle perspective, especially relevant for Lagrangian and velocity-phase formulations, is less fully developed.

The work advances this geometric underpinning by introducing Lagrange–Dirac structures intrinsically on $TQ$, the tangent bundle of the configuration manifold, thereby generalizing both the handling of (possibly degenerate) Lagrangians and the treatment of nonholonomic constraint distributions. The developed framework provides a unified and intrinsic approach to classical, nonholonomic, and degenerate systems with or without Lie group symmetry, and clarifies the precise structure preserved under the dynamical flow, including in systems where symplecticity fails.

Lagrange–Dirac Structures on the Tangent Bundle

The central concept is the Lagrange–Dirac structure, a subbundle $D_L \subset TTQ \oplus T^*TQ$ defined on the tangent bundle $TQ$ via:

• The Lagrangian two-form $\Omega_L$, induced from the Legendre transformation of a (possibly degenerate) Lagrangian $L: TQ \rightarrow \mathbb{R}$.
• A constraint distribution $\Delta_Q \subset TQ$, representing nonholonomic constraints via its annihilator $\Delta_Q^\circ \subset T^*Q$.
• The pullback construction from the induced Dirac structure on $T^*Q$, generalized via backward Dirac maps, capturing primary constraints even in the degenerate case.

The coordinate definition of $D_L$ combines the presymplectic structure $\Omega_L$ (which may be degenerate) and the imposed distribution, yielding a subspace that is maximally isotropic with respect to the natural symmetric pairing. Notably, when $D_L \subset TTQ \oplus T^*TQ$0 is hyperregular and $D_L \subset TTQ \oplus T^*TQ$1, $D_L \subset TTQ \oplus T^*TQ$2 reduces to the classical geometric Lagrangian dynamical structure.

Variational Principles and Their Unification

A new variational principle—the Lagrange–d'Alembert–Dirac principle—formulated directly on $D_L \subset TTQ \oplus T^*TQ$3 generalizes both Hamilton’s principle and the Lagrange–d’Alembert principle to include degenerate Lagrangians and nonholonomic constraints. The action functional

$D_L \subset TTQ \oplus T^*TQ$4

yields, under constrained variations and endpoint conditions, the generalized (possibly implicit) equations of motion as first-order Lagrange–Dirac dynamical systems:

$D_L \subset TTQ \oplus T^*TQ$5

where $D_L \subset TTQ \oplus T^*TQ$6 is the Lagrangian energy and $D_L \subset TTQ \oplus T^*TQ$7 is the lifted constraint distribution.

In hyperregular cases, the system reduces to the standard first-order formulation of the Lagrange–d'Alembert equations. In the unconstrained case, it recovers the Euler–Lagrange equations. Importantly, the formulation also handles systems with Lagrangians linear in velocity and degenerate electric circuits, clarifying the origin and role of phase-space Lagrangians frequently encountered in plasma dynamics.

Gauge Covariance and Non-Symplectic Structure Preservation

A principal result addresses the preservation of geometric structure under the flow generated by nonholonomic or degenerate dynamics. Unlike in unconstrained Hamiltonian systems, where the symplectic two-form is preserved, nonholonomic flows do not generally conserve the Lagrangian two-form $D_L \subset TTQ \oplus T^*TQ$8. The paper demonstrates that the underlying Lagrange–Dirac structure is preserved up to a family of explicit gauge transformations, characterized by a time-dependent exact two-form:

$D_L \subset TTQ \oplus T^*TQ$9

where $TQ$0 encodes the constraint forces. This structure elucidates the exact nature of the failure of symplecticity and reveals a gauge covariance property: the Dirac structure is dynamically preserved up to gauge, ensuring conservation of energy and the fundamental geometric isotropy responsible for "workless" constraints, even as the symplectic form evolves.

Symmetry Reduction of Lagrange–Dirac Structures

For systems with Lie group symmetry and $TQ$1-invariant constraints, the paper develops a reduction theory for Lagrange–Dirac structures, paralleling and extending the Lie–Dirac reduction in Hamiltonian contexts. By passing to quotient bundles and implementing the associated bundle morphisms, the Dirac structure on $TQ$2 is reduced:

• The bundle reductions are handled carefully using the geometry of the Atiyah algebroid.
• The reduced Lagrangian two-form combines canonical and Lie–Poisson contributions.
• The resulting reduced Dirac structure and associated variational principle yield, in coordinates, the Euler–Poincaré–Dirac equations, which unify the treatment of regular, nonholonomic, and degenerate Lagrangian systems.
• In hyperregular cases, this recovers the Euler–Poincaré–Suslov equations, while in unconstrained cases it reduces to the classical Lie–Poisson or Euler–Poincaré equations.

Commutative diagrams of Dirac morphisms and bundle reductions rigorously clarify the relationships between unreduced, trivialized, and reduced geometric objects.

Examples and Illustrations

The general theory is exemplified via:

• Charged particle dynamics in electromagnetic fields: The commonly used velocity-phase-space Lagrangians (e.g., Littlejohn’s phase-space Lagrangian) are shown to arise naturally as intrinsic objects in the Lagrange–Dirac formalism on $TQ$3, not as ad hoc constructions. This clarifies their degenerate nature and their variational role in plasma physics.
• Nonholonomic systems: The classical Heisenberg system and Euler top with a nonintegrable constraint are formulated precisely in the Lagrange–Dirac framework, explicitly showing the integration of constraint forces into the Dirac structure.
• Degenerate systems: Electric circuits and Lagrangians linear in velocity, which lead to implicit generalized constraints and potentially nonunique dynamical flows, are handled uniformly. The Dirac approach automatically encodes primary constraints induced by degeneracy.
• Infinite-dimensional systems: The framework extends to ideal incompressible fluids, with configuration given by the diffeomorphism group, showing how the pressure as a Lagrange multiplier arises within the Lagrange–Dirac structure and constraints.

Implications and Theoretical Impact

This work provides a unifying and geometrically intrinsic platform for the formulation of variational and dynamical principles in systems with constraints or degeneracy, clarifying the fate of classical conservation laws and geometric structures under generalizations beyond symplecticity. The gauge-theoretic understanding of Dirac structure covariances under constrained flows, and the systematic treatment of degenerate and nonholonomic systems, are particularly robust features.

The developed formalism impacts both the geometric mechanics community and applied fields such as plasma physics, nonholonomic robotics, and geometric numerical integration. The connections to reduction theory and gauge covariance open further potential in the study of discrete mechanics, field-theoretic generalizations, and systems with thermodynamic irreversibility, which are treated elsewhere using extensions of the Dirac structure framework.

Given the generality and clarity of the approach, future theoretical developments may include a deeper study of singular reduction, stratified constraint algorithms for highly degenerate systems, extensions to multisymplectic field theories, and further explorations of structure-preserving algorithms for implicit degenerate or constrained systems.

Conclusion

By constructing and analyzing Dirac structures on tangent bundles, the paper provides a comprehensive, geometric, and variationally rigorous framework for handling regular and degenerate Lagrangian systems, constrained dynamics, and symmetry reduction. The framework generalizes and unifies known theories, delivers clear prescriptions for structure-preserving flow, and unveils new gauge covariance properties of constrained dynamics. These results have both deep geometric significance and broad applicability in the analysis and simulation of physical systems governed by variational principles.