TY - JOUR

T1 - Reduction of Dirac structures and the Hamilton-Pontryagin principle

AU - Yoshimura, Hiroaki

AU - Marsden, Jerrold E.

N1 - Funding Information:
Dirac structures aim to synthesize Poisson structures and pre-symplectic structures. The idea was originally developed by Courant and Weinstein [25], taking some *Research partially supported by JSPS Grant 16560216. tResearch partially supported by NSF-ITR Grant ACI-0204932.

PY - 2007/12

Y1 - 2007/12

N2 - This paper develops a reduction theory for Dirac structures that includes, in a unified way, reduction of both Lagrangian and Hamiltonian systems. It includes the reduction of variational principles and in particular, the Hamilton-Pontryagin variational principle. It also includes reduction theory for implicit Lagrangian systems that could be degenerate and have constraints. In this paper we focus on the special case in which the configuration manifold is a Lie group G. In our earlier papers we established the link between the Hamilton-Pontryagin principle and Dirac structures. We begin the paper with the reduction of this principle. The traditional view of Poisson reduction in this case is to reduce T*G with its natural Poisson structure to g* with its Lie-Poisson structure. However, the basic step of reducing Hamilton's phase space principle already shows that it is important to use g ⊕ g* for the reduced space, rather than just g*. In this way, our construction includes both Euler-Poincaré as well as Lie-Poisson reduction. The geometry behind this procedure, which we call Lie-Dirac reduction starts with the standard (i.e., canonical) Dirac structure on T*G (which can be viewed either symplectically or from the Poisson viewpoint) and for each μ ∈ g*, produces a Dirac structure on g ⊕ g*. This geometry then simultaneously supports both Euler-Poincaré and Lie-Poisson reduction. In the last part of the paper, we include nonholonomic constraints, and illustrate this construction with Suslov systems in nonholonomic mechanics, both from the Euler-Poincaré and Lie-Poisson viewpoints.

AB - This paper develops a reduction theory for Dirac structures that includes, in a unified way, reduction of both Lagrangian and Hamiltonian systems. It includes the reduction of variational principles and in particular, the Hamilton-Pontryagin variational principle. It also includes reduction theory for implicit Lagrangian systems that could be degenerate and have constraints. In this paper we focus on the special case in which the configuration manifold is a Lie group G. In our earlier papers we established the link between the Hamilton-Pontryagin principle and Dirac structures. We begin the paper with the reduction of this principle. The traditional view of Poisson reduction in this case is to reduce T*G with its natural Poisson structure to g* with its Lie-Poisson structure. However, the basic step of reducing Hamilton's phase space principle already shows that it is important to use g ⊕ g* for the reduced space, rather than just g*. In this way, our construction includes both Euler-Poincaré as well as Lie-Poisson reduction. The geometry behind this procedure, which we call Lie-Dirac reduction starts with the standard (i.e., canonical) Dirac structure on T*G (which can be viewed either symplectically or from the Poisson viewpoint) and for each μ ∈ g*, produces a Dirac structure on g ⊕ g*. This geometry then simultaneously supports both Euler-Poincaré and Lie-Poisson reduction. In the last part of the paper, we include nonholonomic constraints, and illustrate this construction with Suslov systems in nonholonomic mechanics, both from the Euler-Poincaré and Lie-Poisson viewpoints.

KW - Lie-Dirac reduction

KW - Suslov problems

KW - implicit Lagrangian systems

KW - reduced Hamilton-Pontryagin principle

UR - http://www.scopus.com/inward/record.url?scp=43749118511&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=43749118511&partnerID=8YFLogxK

U2 - 10.1016/S0034-4877(08)00004-9

DO - 10.1016/S0034-4877(08)00004-9

M3 - Article

AN - SCOPUS:43749118511

VL - 60

SP - 381

EP - 426

JO - Reports on Mathematical Physics

JF - Reports on Mathematical Physics

SN - 0034-4877

IS - 3

ER -