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.
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.
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.
We present a formalism of Galilean quantum mechanics in non-inertial reference frames and discuss its implications for the equivalence principle. This extension of quantum mechanics rests on the Galilean line group, the semidirect product of the real line and the group of analytic functions from the real line to the Euclidean group in three dimensions. This group provides transformations between all inertial and non-inertial reference frames and contains the Galilei group as a subgroup. We construct a certain class of unitary representations of the Galilean line group and show that these repre…
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…
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…
This study presents standard Cliffordian Kaehler analogue of Lagrangian mechanics. Also, the some geometric and physical results related to the standard Cliffordian Kaehler dynamical systems are given.
This is the fourth in a series of papers on developing a formulation of quantum mechanics in non-inertial reference frames. This formulation is grounded in a class of unitary cocycle representations of what we have called the Galilean line group, the generalization of the Galilei group to include transformations amongst non-inertial reference frames. These representations show that in quantum mechanics, just as the case in classical mechanics, the transformations to accelerating reference frames give rise to fictitious forces. In previous work, we have shown that there exist representations of…
Geometric formulation of Lagrangian relativistic mechanics in the terms of jets of one-dimensional submanifolds is generalized to Lagrangian theory of submanifolds of arbitrary dimension.
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…
Dynamic equations of non-relativistic mechanics are written in covariant-coordinate form in terms of relative velocities and accelerations with respect to an arbitrary reference frame. The notions of the non-relativistic reference frame, inertial force, free motion equation, and inertial frame are discussed.
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 survey, we present a geometric description of Lagrangian and Hamiltonian Mechanics on Lie algebroids. The flexibility of the Lie algebroid formalism allows us to analyze systems subject to nonholonomic constraints, mechanical control systems, Discrete Mechanics and extensions to Classical Field Theory within a single framework. Various examples along the discussion illustrate the soundness of the approach.
The aim of this study is to introduce quaterinon Kaehler analogue of Lagrangian mechanics. Finally, the geometric and physical results related to quaternion Kaehler dynamical systems are also presented.
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.
Reduced models describing the Lagrangian dynamics of the Velocity Gradient Tensor (VGT) in Homogeneous Isotropic Turbulence (HIT) are developed under the Physics-Informed Machine Learning (PIML) framework. We consider VGT at both Kolmogorov scale and coarse-grained scale within the inertial range of HIT. Building reduced models requires resolving the pressure Hessian and sub-filter contributions, which is accomplished by constructing them using the integrity bases and invariants of VGT. The developed models can be expressed using the extended Tensor Basis Neural Network (TBNN). Physical constr…
This paper develops the notion of implicit Lagrangian systems on Lie algebroids and a Hamilton--Jacobi theory for this type of system. The Lie algebroid framework provides a natural generalization of classical tangent bundle geometry. We define the notion of an implicit Lagrangian system on a Lie algebroid $E$ using Dirac structures on the Lie algebroid prolongation $\T^EE^*$. This setting includes degenerate Lagrangian systems with nonholonomic constraints on Lie algebroids.
A method to construct general null Lagrangians and their exact gauge functions is developed. The functions are used to define classical forces independently from Newtonian dynamics. It is shown that the forces generated by the exact gauge functions allow for the conversion of the first Newton equation into the second one. The presented approach gives new insights into the origin of forces in Classical Mechanics.
Considering an extension of the principle of covarience to the action along a path in relativistic Lagrangian mechanics, we motivate the use of geometric -- i.e. covariant and parameter invariant -- Lagrangian functions. We then study some properties of geometric Lagrangians, and introduce the notion of deviation of a path, which is a covariant measure of how much a path departs from a geodesic. Finally, we apply this notion of the twin paradox, and provide a rigorous resolution of it.
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…
A new formulation of relativistic classical mechanics allows a revisiting of old unsolved problems in relativistic kinetic theory and in relativistic statistical mechanics. In particular a definition of the relativistic micro-canonical partition function is given strictly in terms of the Poincaré generators of an interacting N-particle system both in the inertial and non-inertial rest frames. The non-relativistic limit allows a definition of both the inertial and non-inertial micro-canonical ensemble strictly in terms of the Galilei generators. Also the one-particle relativistic distribution f…
We analyze the relation of the notion of a pluri-Lagrangian system, which recently emerged in the theory of integrable systems, to the classical notion of variational symmetry, due to E. Noether. We treat classical mechanical systems and show that, for any Lagrangian system with $m$ commuting variational symmetries, one can construct a pluri-Lagrangian 1-form in the $(m+1)$-dimensional time, whose multi-time Euler-Lagrange equations coincide with the original system supplied with $m$ commuting evolutionary flows corresponding to the variational symmetries. We also give a Hamiltonian counterpar…
We present an old and regretfully forgotten method by Jacobi which allows one to find many Lagrangians of simple classical models and also of nonconservative systems. We underline that the knowledge of Lie symmetries generates Jacobi last multipliers and each of the latter yields a Lagrangian. Then it is shown that Noether's theorem can identify among those Lagrangians the physical Lagrangian(s) that will successfully lead to quantization. The preservation of the Noether symmetries as Lie symmetries of the corresponding Schrödinger equation is the key that takes classical mechanics into quantu…
Non-autonomous non-relativistic mechanics is formulated as Lagrangian and Hamiltonian theory on fibre bundles over the time axis R. Hamiltonian mechanics herewith can be reformulated as particular Lagrangian theory on a momentum phase space. This facts enable one to apply Noether's first theorem both to Lagrangian and Hamiltonian mechanics. By virtue of Noether's first theorem, any symmetry defines a symmetry current which is an integral of motion in Lagrangian and Hamiltonian mechanics. The converse is not true in Lagrangian mechanics where integrals of motion need not come from symmetries. W…
We study Lagrangian systems with a finite number of degrees of freedom that are non-local in time. We obtain an extension of Noether theorem and Noether identities to this kind of Lagrangians. A Hamiltonian formalism is then set up for this systems. $n$-order local Lagrangians can be treated as a particular case and the standard results for them are recovered. The method is then applied to several other cases, namely two examples of non-local oscillators and the p-adic particle.
In this paper we present a unified Lagrangian--Hamiltonian geometric formalism to describe time-dependent contact mechanical systems, based on the one first introduced by K. Kamimura and later formalized by R. Skinner and R. Rusk. This formalism is especially interesting when dealing with systems described by singular Lagrangians, since the second-order condition is recovered from the constraint algorithm. In order to illustrate this formulation, some relevant examples are described in full detail: the Duffing equation, an ascending particle with time-dependent mass and quadratic drag, and a c…
In Hamiltonian time-dependent mechanics, the Poisson bracket does not define dynamic equations, that implies the corresponding peculiarities of describing time-dependent holonomic constraints. As in conservative mechanics, one can consider the Poisson bracket of constraints, separate them in first and second class constraints, construct the Koszul-Tate resolution and a BRST complex. However, the Poisson bracket of constraints and a Hamiltonian makes no sense. Hamiltonian vector fields for first class constraints are not generators of gauge transformations. In the case of Lagrangian constraints…
We recast Dirac's Lagrangian in quantum mechanics in the language of vector bundles and show that the action is an operator-valued connection one-form. Phases associated with change of frames of reference are seen to be total differentials in the transformation of the action. The relativistic case is discussed and we show that it gives the correct phase in the non-relativistic limit for uniform acceleration.
In this paper, we survey our recent results on the variational formulation of nonequilibrium thermodynamics for the finite dimensional case of discrete systems as well as for the infinite dimensional case of continuum systems. Starting with the fundamental variational principle of classical mechanics, namely, Hamilton's principle, we show, with the help of thermodynamic systems with gradually increasing level complexity, how to systematically extend it to include irreversible processes. In the finite dimensional cases, we treat systems experiencing the irreversible processes of mechanical fric…
The group E(3)=SO(3) *s T(3), that is the homogeneous subgroup of the Galilei group parameterized by rotation angles and velocities, defines the continuous group of transformations between the frames of inertial particles in Newtonian mechanics. We show in this paper that the continuous group of transformations between the frames of noninertial particles following trajectories that satisfy Hamilton's equations is given by the Hamilton group Ha(3)=SO(3) *s H(3) where H(3) is the Weyl-Heisenberg group that is parameterized by rates of change of position, momentum and energy, i.e. velocity, force…
An application of variational principle to bifurcation of periodic solution in Lagrangian mechanics is shown. A few higher derivatives of the action integral at a periodic solution reveals the behaviour of the action in function space near the solution. Then the variational principle gives a method to find bifurcations from the solution. The second derivative (Hessian) of the action has an important role. At a bifurcation point, an eigenvalue of Hessian tends to zero. Inversely, if an eigenvalue tends to zero, the zero point is a bifurcation point. The third and higher derivatives of the actio…
We describe a new method to formulate classical Lagrangian mechanics on a finite-dimensional Lie group. This new approach is much more pedagogical than many previous treatments of the subject, and it directly introduces students to generator matrices and their usefulness in many manipulations. The example of rigid body rotation, i.e. motion on the Lie group SO(3), is used as an example, and it is shown how to derive Euler's equations directly from the principle of least action. The techniques covered in this paper generalize to other Lie groups in a straightforward manner, which is discussed. …
Flows of one-dimensional continuum in Lagrangian coordinates are studied in the paper. Equations describing these flows are reduced to a single Euler-Lagrange equation which contains two undefined functions. Particular choices of the undefined functions correspond to isentropic flows of an ideal gas, different forms of the hyperbolic shallow water equations. Complete group classification of the equation with respect to these functions is performed. Using Noether's theorem, all conservation laws are obtained. Their analogs in Eulerian coordinates are given.
Textbook treatments of classical mechanics typically assume that the Lagrangian is nonsingular. That is, the matrix of second derivatives of the Lagrangian with respect to the velocities is invertible. This assumption insures that (i) Lagrange's equations can be solved for the accelerations as functions of coordinates and velocities, and (ii) the definition of the conjugate momenta can be inverted for the velocities as functions of coordinates and momenta. This assumption, however, is unnecessarily restrictive -- there are interesting classical dynamical systems with singular Lagrangians. The …
In previous work we have developed a formulation of quantum mechanics in non-inertial reference frames. This formulation is grounded in a class of unitary cocycle representations of what we have called the Galilean line group, the generalization of the Galilei group that includes transformations amongst non-inertial reference frames. These representations show that in quantum mechanics, just as is the case in classical mechanics, the transformations to accelerating reference frames give rise to fictitious forces. A special feature of these previously constructed representations is that they al…
Guided by the symmetries of the Euler-Lagrange equations of motion, a study of the constrained dynamics of singular Lagrangians is presented. We find that these equations of motion admit a generalized Lie symmetry, and on the Lagrangian phase space the generators of this symmetry lie in the kernel of the Lagrangian two-form. Solutions of the energy equation\textemdash called second-order, Euler-Lagrange vector fields (SOELVFs)\textemdash with integral flows that have this symmetry are determined. Importantly, while second-order, Lagrangian vector fields are not such a solution, it is always po…
In this article, we argue that two distinct types of time should be taken into account in relativistic physics: a geometric time, which emanates from the structure of spacetime and its metrics, and a causal time, indicating the flow from the past to the future. A particularity of causal times is that its values have no intrinsic meaning, as their evolution alone is meaningful. In the context of relativistic Lagrangian mechanics, causal times corresponds to admissible parameterizations of paths, and we show that in order for a langragian to not depend on any particular causal time (as its value…
