In this study, it is generalized the concept of Lagrangian mechanics with constraints to complex case. To be beginning, it is considered a Kaehlerian manifold as a velocity-phase space. Then a non-holonomic constraint is given by 1-form on it. If the form is closed, it is found that the constraint is (locally) holonomic. In the result, complex analogous of some topics in constrained Lagrangian mechanical system is concluded.
A solution for the Weinstein's Problem in the general framework of generalized Lie algebroids is the target of this paper. We present the mechanical systems called by use, mechanical (?; ?)-systems, Lagrange mechanical (?; ?)-systems or Finsler mechanical (?; ?)-systems and we develop their geometries. We obtain the canonical (?; ?)-semi(spray) associated to a mechanical (?; ?)-system. The Lagrange mechanical (?; ?)-systems are the spaces necessary to develop a Lagrangian formalism. We obtain the (?; ?)-semispray associated to a regular Lagrangian L and external force Fe and we derive the equa…
In some previous papers, a Legendre duality between Lagrangian and Hamiltonian Mechanics has been developed. The (ρ,η)-tangent application of the Legendre bundle morphism associated to a Lagrangian L or Hamiltonian H is presented. Using that, a Legendre description of Lagrangian Mechanics and Hamiltonian Mechanics is developed. Duality between Lie algebroids structure, adapted (ρ,η)-basis, distinguished linear (ρ,η)-connections and mechanical (ρ,η)-systems is the scope of this paper. In the particular case of Lie algebroids, new results are presented. In the particular case of the usual Lie al…
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 purpose of this paper is describe Lagrangian Mechanics for constrained systems on Lie algebroids, a natural framework which covers a wide range of situations (systems on Lie groups, quotients by the action of a Lie group, standard tangent bundles...). In particular, we are interested in two cases: singular Lagrangian systems and vakonomic mechanics (variational constrained mechanics). Several examples illustrate the interest of these developments.
Classically time is kept fixed for infinitesimal variations in problems in mechanics. Apparently, there appears to be no mathematical justification in the literature for this standard procedure. This can be explained canonically by unveiling the intrinsic mathematical structure of time in Lagrangian mechanics. Moreover, this structure also offers a general method to deal with inertial forces.
A description of time-dependent Mechanics in terms of Lagrangian submanifolds of Dirac manifolds (in particular, presymplectic and Poisson manifolds) is presented. Two new Tulczyjew triples are discussed. The first one is adapted to the restricted Hamiltonian formalism and the second one is adapted to the extended Hamiltonian formalism.
The aim of the present text is twofold: to provide a compendium of Lagrangian and Hamiltonian geometries and to introduce and investigate new analytical Mechanics: Finslerian, Lagrangian and Hamiltonian. The fundamental equations (or evolution equations) of these Mechanics are derived from the variational calculus applied to the integral of action and these can be studied by using the methods of Lagrangian or Hamiltonian geometries. More general, the notions of higher order Lagrange or Hamilton spaces have been introduced and developed by the present author. The applications led to the notions…
In this study, we introduce Euler-Lagrange and Hamiltonian equations on (R2; g; J) being a model of para-Kaehlerian Space Forms. Finally, some geometrical and physical results on the related mechanic systems have been discussed.
We construct the exponential map associated to a nonholonomic system that allows us to define an exact discrete nonholonomic constraint submanifold. We reproduce the continuous nonholonomic flow as a discrete flow on this discrete constraint submanifold deriving an exact discrete version of the nonholonomic equations. Finally, we derive a general family of nonholonomic integrators.
The purpose of this paper is to describe geometrically discrete Lagrangian and Hamiltonian Mechanics on Lie groupoids. From a variational principle we derive the discrete Euler-Lagrange equations and we introduce a symplectic 2-section, which is preserved by the Lagrange evolution operator. In terms of the discrete Legendre transformations we define the Hamiltonian evolution operator which is a symplectic map with respect to the canonical symplectic 2-section on the prolongation of the dual of the Lie algebroid of the given groupoid. The equations we get include as particular cases the classic…
In this paper, we explore dynamics of the nonholonomic system called vakonomic mechanics in the context of Lagrange-Dirac dynamical systems using a Dirac structure and its associated Hamilton-Pontryagin variational principle. We first show the link between vakonomic mechanics and nonholonomic mechanics from the viewpoints of Dirac structures as well as Lagrangian submanifolds. Namely, we clarify that Lagrangian submanifold theory cannot represent nonholonomic mechanics properly, but vakonomic mechanics instead. Second, in order to represent vakonomic mechanics, we employ the space $TQ\times V^…
On the basis of Liouville theorem the generalization of the Nambu mechanics is considered. For three-dimensional phase space the concept of vector hamiltonian and vector lagrangian is entered.
For a given configuration space $M$ and Lie algebra $g$ whose action is defined on $M$, the space $V_{0.0}$ of weakly $g$-invariant Lagrangians (i.e. Lagrangians whose motion equations left hand sides are $g$-invariant) is studied. The problem is reformulated in the terms of the double complex of Lie algebra cochains with values in the complex of Lagrangians. Calculating the cohomology of this complex using the method of spectral sequences, we come to the hierarchy in the space $V_{0.0}$: The double filtration $V_{s.r}$ ($s=0,1,2,3,4;r=0,1$) and the homomorphisms on every space $V_{s.r}$ are c…
We present a unified approach to constrained implicit Lagrangian and Hamiltonian systems based on the introduced concept of Dirac algebroid. The latter is a certain almost Dirac structure associated with the Courant algebroid on the dual $E^\ast$ to a vector bundle $E$. If this almost Dirac structure is integrable (Dirac), we speak about a Dirac-Lie algebroid. The bundle $E$ plays the role of the bundle of kinematic configurations (quasi-velocities), while the bundle $E^\ast$ - the role of the phase space. This setting is totally intrinsic and does not distinguish between regular and singular …
This paper deals with conservation laws for mechanical systems with nonholonomic constraints. It uses a Lagrangian formulation of nonholonomic systems and a Cartan form approach. We present what we believe to be the most general relations between symmetries and first integrals. We discuss the so-called nonholonomic Noether theorem in terms of our formalism, and we give applications to Riemannian submanifolds, to Lagrangians of mechanical type, and to the determination of quadratic first integrals.
In this paper we develop a geometric approach to higher order mechanics on graded bundles in both, the Lagrangian and Hamiltonian formalism, via the recently discovered weighted algebroids. We present the corresponding Tulczyjew triple for this higher order situation and derive in this framework the phase equations from an arbitrary (also singular) Lagrangian or Hamiltonian, as well as the Euler-Lagrange equations. As important examples, we geometrically derive the classical higher order Euler-Lagrange equations and analogous reduced equations for invariant higher order Lagrangians on Lie grou…
We give topological obstructions to the existence of a closed exact Lagrangian submanifold in the cotangent bundle of a closed manifold M which is the total space of a fibration over the circle. For instance we show that the fundamental group of such a Lagrangian submanifold cannot be the free product of two non-trivial groups and that in any finite presentation of this group the difference between the number of generators and the number of relations is less than two.
A general, consistent and complete framework for geometrical formulation of mechanical systems is proposed, based on certain structures on affine bundles (affgebroids) that generalize Lie algebras and Lie algebroids. This scheme covers and unifies various geometrical approaches to mechanics in the Lagrangian and Hamiltonian pictures, including time-dependent lagrangians and hamiltonians. In our approach, lagrangians and hamiltonians are, in general, sections of certain $\R$-principal bundles, and the solutions of analogs of Euler-Lagrange equations are curves in certain affine bundles. The cor…
Using supervector fields and graded forms along a morphism, we study the geometry of ordinary differential superequations, extend the formalism of higher order Lagrangian mechanics to the graded context and prove a generalization of Noether's theorem.
In this paper, high-order numerical integrators on homogeneous spaces will be presented as an application of nonholonomic partitioned Runge-Kutta Munthe-Kaas (RKMK) methods on Lie groups. A homogeneous space $M$ is a manifold where a group $G$ acts transitively. Such a space can be understood as a quotient $M \cong G/H$, where $H$ a closed Lie subgroup, is the isotropy group of each point of $M$. The Lie algebra of $G$ may be decomposed into $\mathfrak{g} = \mathfrak{m} \oplus \mathfrak{h}$, where $\mathfrak{h}$ is the subalgebra that generates $H$ and $\mathfrak{m}$ is a subspace. Thus, varia…
