We propose a category of bundles in order to perform Lagrangian reduction by stages in covariant Field Theory. This category plays an analogous role to Lagrange-Poincaré bundles in Lagrangian reduction by stages in Mechanics and includes both jet bundles and reduced covariant configuration spaces. Furthermore, we analyze the resulting reconstruction condition and formulate the Noether theorem in this context. Finally, a model of a molecular strand with rotors is seen as an application of this theoretical frame.
We make use of a symmetry reduction technique called Routh reduction to show that the solutions of the Euler-Lagrange equations of a strongly convex autonomous Lagrangian which lie on a specific energy level can be thought of as geodesics of an associated Finsler function.
We study the Euler-Lagrange equations for a parameter dependent $G$-invariant Lagrangian on a homogeneous $G$-space. We consider the pullback of the parameter dependent Lagrangian to the Lie group $G$, emphasizing the special invariance properties of the associated Euler-Poincaré equations with advected parameters.
We study the Hamiltonian formalisms of the second order degenerate Clèment and Sarıoğlu-Tekin Lagrangians. The Dirac-Bergmann constraint algorithm is employed while arriving at the total Hamiltonian functions and the Hamilton's equations on the associated momemtum phase spaces whereas the Gotay-Nester-Hinds algorithm is run while investigating the Skinner-Rusk unified formalism on the proper Whitney bundles.
This paper develops a generalized formulation of Lagrangian mechanics on fibered manifolds, together with a reduction theory for symmetries corresponding to Lie groupoid actions. As special cases, this theory includes not only Lagrangian reduction (including reduction by stages) for Lie group actions, but also classical Routh reduction, which we show is naturally posed in this fibered setting. Along the way, we also develop some new results for Lagrangian mechanics on Lie algebroids, most notably a new, coordinate-free formulation of the equations of motion. Finally, we extend the foregoing to…
The language of Lagrangian submanifolds is used to extend a geometric characterization of the inverse problem of the calculus of variations on tangent bundles to regular Lie algebroids. Since not all closed sections are locally exact on Lie algebroids, the Helmholtz conditions on Lie algebroids are necessary but not sufficient, so they give a weaker definition of the inverse problem. As an application the Helmholtz conditions on Atiyah algebroids are obtained so that the relationship between the inverse problem and the reduced inverse problem by symmetries can be described. Some examples and c…
Lagrangian reduction of symmetric discrete mechanical systems: a survey
Universidad Nacional de Cuyo（门多萨国立大学）；CONICET（阿根廷国家科学研究委员会）；Instituto Balseiro（巴尔塞罗研究所）；Universidad Nacional de La Plata（拉普拉塔国立大学）；Facultad de Ingeniería Universidad Nacional de La Plata（拉普拉塔国立大学工程学院）；Centro de Matemática de La Plata (CMaLP)（拉普拉塔数学中心）；Facultad de Ciencias Exactas Universidad Nacional de La Plata（拉普拉塔国立大学理学院）
Let $M$ be a Fano manifold equipped with a Kähler form $ω\in 2πc_1(M)$ and $K$ a connected compact Lie group acting on $M$ as holomorphic isometries. In this paper, we show the minimality of a $K$-invariant Lagrangian submanifold $L$ in $M$ w.r.t. a globally conformal Kähler metric is equivalent to the minimality of the reduced Lagrangian submanifold $L_0=L/K$ in a Kähler quotient $M_0$ w.r.t. the Hsiang-Lawson metric. Furthermore, we give some examples of Kähler reductions by using a circle action obtained from a cohomogenenity one action on a Kähler-Einstein manifold of positive Ricci curvat…
Rigid body with rotors is a widespread mechanical system modeled after the direct product $SO(3)\times S^1\times S^1\times S^1$, which under mild assumptions is the symmetry group of the system. In this paper, the authors present and compare different Lagrangian reduction procedures: Euler-Poincaré reduction by the whole group and reduction by stages in different orders or using different connections. The exposition keeps track of the equivalence of equations as well as corresponding conservation laws.
We consider trivializations of second iterated bundles of a Lie group that preserve lifted group structures. With such a trivialization, we elaborate Hamiltonian dynamics on cotangent, Lagrangian dynamics on tangent bundles and, both Hamiltonian and Lagrangian dynamics on Tulczyjew's symplectic space which is tangent of cotangent bundle of Lie group. We present all possible Poisson, symplectic and Lagrangian reductions of spaces and corresponding dynamics on them. In particular, reduction of Lagrangian dynamics on second iterated tangent bundle includes reduction of dynamics on second order ta…
In this paper, following the ideas in Marsden et al.[18], we set up the regular reduction theory of a regular controlled Lagrangian (RCL) system with symmetry and momentum map, by using Legendre transformation and Euler-Lagrange vector field, and this reduction is an extension of symmetric reduction theory of a regular Lagrangian system under regular controlled Lagrangian equivalence conditions. Considering the completeness of reduction, in order to describe uniformly the RCL systems defined on a tangent bundle and on its regular reduced spaces, we first define a kind of RCL systems on a sympl…
In this work we introduce a category of discrete Lagrange--Poincare systems LP_d and study some of its properties. In particular, we show that the discrete mechanical systems and the discrete mechanical systems obtained by the Lagrangian reduction of symmetric discrete mechanical systems are objects in LP_d. We introduce a notion of symmetry groups for objects of LP_d and introduce a reduction procedure that is closed in the category LP_d. Furthermore, under some conditions, we show that the reduction in two steps (first by a closed normal subgroup of the symmetry group and then by the residua…
We investigate the reduction process of a k-symplectic field theory whose Lagrangian is invariant under a symmetry group. We give explicit coordinate expressions of the resulting reduced partial differential equations, the so-called Lagrange-Poincare field equations. We discuss two issues about reconstructing a solution from a given solution of the reduced equations. The first one is an interpretation of the integrability conditions, in terms of the curvatures of some connections. The second includes the introduction of the concept of a k-connection to provide a reconstruction method. We show …
In this paper we consider an alternative approach to "un-reduction". This is the process where one associates to a Lagrangian system on a manifold a dynamical system on a principal bundle over that manifold, in such a way that solutions project. We show that, when written in terms of second-order ordinary differential equations (SODEs), one may associate to the first system a (what we have called) "primary un-reduced SODE", and we explain how all other un-reduced SODEs relate to it. We give examples that show that the considered procedure exceeds the realm of Lagrangian systems and that relate…
In this work we introduce a category $LDP_d$ of discrete-time dynamical systems, that we call discrete Lagrange--D'Alembert--Poincaré systems, and study some of its elementary properties. Examples of objects of $LDP_d$ are nonholonomic discrete mechanical systems as well as their lagrangian reductions and, also, discrete Lagrange-Poincaré systems. We also introduce a notion of symmetry group for objects of $LDP_d$ and a process of reduction when symmetries are present. This reduction process extends the reduction process of discrete Lagrange--Poincaré systems as well as the one defined for non…
In this paper, we make a generalization of Routh's reduction method for Lagrangian systems with symmetry to the case where not any regularity condition is imposed on the Lagrangian. First, we show how implicit Lagrange-Routh equations can be obtained from the Hamilton-Pontryagin principle, by making use of an anholonomic frame, and how these equations can be reduced. To do this, we keep the momentum constraint implicit throughout and we make use of a Routhian function defined on a certain submanifold of the Pontryagin bundle. Then, we show how the reduced implicit Lagrange-Routh equations can …
Our main result is the proof of an inequality between the spectral numbers of a Lagrangian and the spectral numbers of its reductions, in the opposite direction to the classical inequality (see e.g [Vit92]). This has applications to the "Geometrically bounded Lagrangians are spectrally bounded" conjecture from [Vit08], to the structure of elements in the $γ$-completion of the set of exact Lagrangians. We also investigate the local path-connectedness of the set of Hamiltonian diffeomorphisms with the spectral metric.
We discuss Lagrangian and Hamiltonian field theories that are invariant under a symmetry group. We apply the polysymplectic reduction theorem for both types of field equations and we investigate aspects of the corresponding reconstruction process. We identify the polysymplectic structures that lie at the basis of cotangent bundle reduction and Routh reduction in this setting and we relate them by means of the Routhian function and its associated Legendre transformation. We end the paper with examples that illustrate the applicability of our results.
We complete the reduction scheme in the whole LP category, introduced in [7] to perform Lagrangian reduction by stages. We answer affirmatively the open question of whether reduction can be done in the whole category and analyze the Noether theorem on LP-bundles, the relationship with Hamiltonian reduction by stages and the geometric aspects of the definition of this category.
