Reduction of Dirac structures and the Hamilton-Pontryagin principle

Hiroaki Yoshimura, Jerrold E. Marsden

    Research output: Contribution to journalArticle

    23 Citations (Scopus)

    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 languageEnglish
    Pages (from-to)381-426
    Number of pages46
    JournalReports on Mathematical Physics
    Volume60
    Issue number3
    DOIs
    Publication statusPublished - 2007 Dec

    Fingerprint

    pontryagin principle
    Pontryagin's Principle
    Dirac Structures
    Siméon Denis Poisson
    Euler
    Lagrangian Systems
    Poisson Structure
    variational principles
    Variational Principle
    Nonholonomic Mechanics
    Nonholonomic Constraints
    geometry
    Paul Adrien Maurice Dirac
    Hamiltonian Systems
    Phase Space

    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

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

    In: Reports on Mathematical Physics, Vol. 60, No. 3, 12.2007, p. 381-426.

    Research output: Contribution to journalArticle

    @article{3a38002e59314c53bb8cdab7ec22aecc,
    title = "Reduction of Dirac structures and the Hamilton-Pontryagin principle",
    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{\'e} 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{\'e} 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{\'e} and Lie-Poisson viewpoints.",
    keywords = "implicit Lagrangian systems, Lie-Dirac reduction, reduced Hamilton-Pontryagin principle, Suslov problems",
    author = "Hiroaki Yoshimura and Marsden, {Jerrold E.}",
    year = "2007",
    month = "12",
    doi = "10.1016/S0034-4877(08)00004-9",
    language = "English",
    volume = "60",
    pages = "381--426",
    journal = "Reports on Mathematical Physics",
    issn = "0034-4877",
    publisher = "Elsevier Limited",
    number = "3",

    }

    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 -