### Abstract

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.

Original language | English |
---|---|

Pages (from-to) | 381-426 |

Number of pages | 46 |

Journal | Reports on Mathematical Physics |

Volume | 60 |

Issue number | 3 |

DOIs | |

Publication status | Published - 2007 Dec |

### Fingerprint

### Keywords

- implicit Lagrangian systems
- Lie-Dirac reduction
- reduced Hamilton-Pontryagin principle
- Suslov problems

### ASJC Scopus subject areas

- Mathematical Physics
- Statistical and Nonlinear Physics

### Cite this

*Reports on Mathematical Physics*,

*60*(3), 381-426. https://doi.org/10.1016/S0034-4877(08)00004-9

**Reduction of Dirac structures and the Hamilton-Pontryagin principle.** / Yoshimura, Hiroaki; Marsden, Jerrold E.

Research output: Contribution to journal › Article

*Reports on Mathematical Physics*, vol. 60, no. 3, pp. 381-426. https://doi.org/10.1016/S0034-4877(08)00004-9

}

TY - JOUR

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

AU - Yoshimura, Hiroaki

AU - Marsden, Jerrold E.

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 - implicit Lagrangian systems

KW - Lie-Dirac reduction

KW - reduced Hamilton-Pontryagin principle

KW - Suslov problems

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

VL - 60

SP - 381

EP - 426

JO - Reports on Mathematical Physics

JF - Reports on Mathematical Physics

SN - 0034-4877

IS - 3

ER -