We deal with reduction of Lagrangian systems that are invariant under the action of the symmetry group. Unlike the bulk of the literature we do not rely on methods coming from the calculus of variations. Our method is based on the geometrical analysis of regular Lagrangian systems, where solutions of the Euler-Lagrange equations are interpreted as integral curves of the associated second-order differential equation field. In particular, we explain so-called Lagrange-Poincaré reduction [1] and Routh reduction [3] from the viewpoint of that vector field.
The Euler-Lagrange equations in an adapted frameThis contribution is based on references [2] and [4]. Let (x α ) be coordinates on a manifold M and (x α , u α ) coordinates on its tangent manifold T M . We will assume that the Lagrangian L(x, u) is regular, i.e. that the matrix of functions (∂ 2 L/∂u α ∂u β ) is everywhere non-singular. Then, the Euler-Lagrange equations may be written explicitly in the form of a set of second-order differential equationsẍ α = f α (x,ẋ) and its solutions can be interpreted as integral curves of the second-order differentialThe Euler-Lagrange equations may then be expressed in the form Γ (∂L/∂u α ) − ∂L/∂x α = 0. These equations, together with the assumption that it is a second-order differential equation field, determine the vector field Γ.There are two canonical lifts of a vector field Z = Z α ∂/∂x α on M to a vector field on T M . The flow of the so-called complete or tangent lift Z C = Z α ∂/∂x α + u β ∂Z α /∂x β ∂/∂u α consists of the tangent maps of the flow of Z. The vertical lift Z V = Z α ∂/∂u α is tangent to the fibres of τ : T M → M and on T m M it coincides with Z(m). We use these two concepts to cast the Euler-Lagrange field in terms of a non-coordinate basis. If {Z α } is a basis of vector fields on M , then it can easily be verified that an equivalent expression for the Euler-Lagrange equations is Γ(Z V α (L)) − Z C α (L) = 0. We will assume throughout that the system is invariant under a proper, free (left) action ψ M : G × M → M . Let X i be the G-invariant horizontal lifts of a coordinate basis of vector fields on M/G (horizontal w.r.t. a principal connection on π M : M → M/G). We will also need two sets {Ẽ a } or {Ê a } of vector fields on M , associated to a basis {E a } of the Lie algebra G. The vector fieldsẼ a of the 'moving' basis are the fundamental vector fields corresponding to the action. If we set locally π M : U × G → U (and ψ M g (x, h) = (x, gh)), the 'body-fixed' basis consists of the vector fields defined bŷ E a : (x, g) → T ψ M g Ẽ a (x, e) . Note that the basis {X i ,Ê a } is invariant, but the basis {X i ,Ẽ a } is not. We can now express the Euler-Lagrange equations in either one of these two adapted frames. By doing so, we derive in the next sections both the Lagrange-Poincaré equations [1] and the Lagrange-Routh equations [3] in a relatively straightforward fashion. g(t)v H (t) is a reconstructed integral curve of Γ.