We re-examine classical mechanics with both commuting and anticommuting degrees of freedom. We do this by defining the phase dynamics of a general Lagrangian system as an implicit differential equation in the spirit of Tulczyjew. Rather than parametrising our basic degrees of freedom by a specified Grassmann algebra, we use arbitrary supermanifolds by following the categorical approach to supermanifolds.
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.
To circumvent some technical difficulties faced by the geometric Lagrangian approach to the physical degree of freedom count presented in the work of Diaz, Higuita, and Montesinos, J. Math. Phys. 55, 122901 (2014) that prevent its direct implementation to field theory, in this paper, we slightly modify the geometric Lagrangian approach in such a way that its resulting version works perfectly for field theory (and for particle systems, of course). As in previous work, the current approach also allows us to directly get the Lagrangian constraints, a new Lagrangian formula for the counting of the…
Generalized Lagrangian mean theories are used to analyze the interactions between mean flows and fluctuations, where the decomposition is based on a Lagrangian description of the flow. A systematic geometric framework was recently developed by Gilbert and Vanneste (J. Fluid Mech., 2018) who cast the decomposition in terms of intrinsic operations on the group of volume preserving diffeomorphism or on the full diffeomorphism group. In this setting, the mean of an ensemble of maps can be defined as the Riemannian center of mass on either of these groups. We apply this decomposition in the context…
In this article we derive the equations for a rotating stratified fluid governed by inviscid Euler-Boussinesq and primitive equations that account for the effects of the perturbations upon the mean. Our method is based on the concept of geometric generalized Lagrangian mean recently introduced by Gilbert and Vanneste, combined with generalized Taylor and horizontal isotropy of fluctuations as turbulent closure hypotheses. The models we obtain arise as Euler-Poincaré equations and inherit from their parent systems conservation laws for energy and potential vorticity. They are structurally and g…
We present a geometric Lagrangian formulation for first-order field theories with dissipation. This formulation is based on the $k$-contact geometry introduced in a previous paper, and gathers contact Lagrangian mechanics with $k$-symplectic Lagrangian field theory together. We also study the symmetries and dissipation laws for these nonconservative theories, and analyze some examples.
In this paper we study a Hamiltonization procedure for mechanical systems with velocity-depending (nonholonomic) constraints. We first rewrite the nonholonomic equations of motion as Euler-Lagrange equations, with a Lagrangian that follows from rephrasing the issue in terms of the inverse problem of Lagrangian mechanics. Second, the Legendre transformation transforms the Lagrangian in the sought-for Hamiltonian. As an application, we compare some variational integrators for the new Lagrangians with some known nonholonomic integrators.
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…
A geometric approach is used to study the Abel first order differential equation of the first kind. The approach is based on the recently developed theory of quasi-Lie systems which allows us to characterise some particular examples of integrable Abel equations. Second order Abel equations will be discussed and the inverse problem of the Lagrangian dynamics is analysed: the existence of two alternative Lagrangian formulations is proved, both Lagrangians being of a non-natural class. The study is carried out by means of the Darboux polynomials and Jacobi multipliers.
Lagrangian Phase-Lag and Geometric Precedence in Turbulent Vortex Stretching
Mechanical Engineering Deparatment, College of Engineering and Technology（机械工程系，工程学院与技术学院）；Arab Academy for Science, Technology and Maritime Transport（阿拉伯科学、技术与海运学院）
This work is devoted to review the modern geometric description of the Lagrangian and Hamiltonian formalisms of the Hamilton--Jacobi theory. The relation with the "classical" Hamiltonian approach using canonical transformations is also analyzed. Furthermore, a more general framework for the theory is also briefly explained. It is also shown how, from this generic framework, the Lagrangian and Hamiltonian cases of the theory for dynamical systems are recovered, and how the model can be extended to other types of physical systems, such as higher-order dynamical systems and (first-order) classica…
The NSNS Lagrangian of ten-dimensional supergravity is rewritten via a change of field variables inspired by Generalized Complex Geometry. We obtain a new metric and dilaton, together with an antisymmetric bivector field which leads to a ten-dimensional version of the non-geometric Q-flux. Given the involved global aspects of non-geometric situations, we prescribe to use this new Lagrangian, whose associated action is well-defined in some examples investigated here. This allows us to perform a standard dimensional reduction and to recover the usual contribution of the Q-flux to the four-dimens…
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 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…
基于W. M. Tulczyjew，一般代数体上的动力学结构。一个得到的形式主义类似的拉格朗日和哈密顿的。与最近研究的李代数体上的分析力学概念相比，这种方法需要的比向量丛上的李代数体结构少得多，但它仍然再现了分析力学的主要特征，如欧拉-拉格朗日型方程，超正则情况下拉格朗日函数和哈密顿函数（勒让德变换）之间的对应关系，以及诺特定理的一个版本。此外，结构似乎更自然，更简单。
The geodesic has a fundamental role in physics and in mathematics: roughly speaking, it represents the curve that minimizes the arc length between two points on a manifold. We analyze a basic but misinterpreted difference between the Lagrangian that gives the arc length of a curve and the one that describes the motion of a free particle in curved space. Although they provide the same formal equations of motion, they are not equivalent. We explore this difference from a geometrical point of view, where we observe that the non-equivalence is nothing more than a matter of symmetry. As application…
In this Thesis we develop the geometric formulations for higher-order autonomous and non-autonomous dynamical systems, and second-order field theories. In all cases, the physical information of the system is given in terms of a Lagrangian function/density, or a Hamiltonian that admits Lagrangian counterpart. These geometric frameworks are used to study several relevant physical examples and applications, such as the Hamilton-Jacobi theory for higher-order mechanical systems, relativistic spin particles and deformation problems in mechanics, and the Korteweg-de Vries equation and other systems …
This review paper is devoted to presenting the standard multisymplectic formulation for describing geometrically classical field theories, both the regular and singular cases. First, the main features of the Lagrangian formalism are revisited and, second, the Hamiltonian formalism is constructed using Hamiltonian sections. In both cases, the variational principles leading to the Euler-Lagrange and the Hamilton-De Donder-Weyl equations, respectively, are stated, and these field equations are given in different but equivalent geometrical ways in each formalism. Finally, both are unified in a new…
The relativistic Lagrangian in presence of potentials was formulated directly from the metric, with the classical Lagrangian shown embedded within it. Using it we formulated covariant equations of motion, a deformed Euler-Lagrange equation, and relativistic Hamiltonian mechanics. We also formulate a modified local Lorentz transformation, such that the metric at a point is invariant only under the transformation defined at that point, and derive the formulae for time-dilation, length contraction, and gravitational redshift. Then we compare our formulation under non-relativistic approximations t…
In contrast with QFT, classical field theory can be formulated in a strict mathematical way by treating classical fields as sections of smooth fibre bundles. Addressing to the theoreticians, these Lectures aim to compile the relevant material on fibre bundles, jet manifolds, connections, graded manifolds and Lagrangian theory. They follow the perennial course of lectures on geometric methods in field theory at the Department of Theoretical Physics of Moscow State University.
This paper contains results on geometric Routh reduction and it is a continuation of a previous paper where a new class of transformations is introduced between Lagrangian systems obtained after Routh reduction. In general, these reduced Lagrangian systems have magnetic force terms and are singular in the sense that the Lagrangian does not depend on some velocity components. The main purpose of this paper is to show that the Routh reduction process itself is entirely captured by the application of such a new transformation on the initial Lagrangian system with symmetry.
An interesting family of geometric integrators for Lagrangian systems can be defined using discretizations of the Hamilton's principle of critical action. This family of geometric integrators is called variational integrators. In this paper, we derive new variational integrators for higher-order lagrangian mechanical system subjected to higher-order constraints. From the discretization of the variational principles, we show that our methods are automatically symplectic and, in consequence, with a very good energy behavior. Additionally, the symmetries of the discrete Lagrangian imply that mome…
We present a unified geometric framework for describing both the Lagrangian and Hamiltonian formalisms of contact autonomous mechanical systems, which is based on the approach of the pionnering work of R. Skinner and R. Rusk. This framework permits to skip the second order differential equation problem, which is obtained as a part of the constraint algorithm (for singular or regular Lagrangians), and is specially useful to describe singular Lagrangian systems. Some examples are also discussed to illustrate the method.
In this paper, we develop a Hamilton-Jacobi theory for forced Hamiltonian and Lagrangian systems. We study the complete solutions, particularize for Rayleigh systems and present some examples. Additionally, we present a method for the reduction and reconstruction of the Hamilton-Jacobi problem for forced Hamiltonian systems with symmetry. Furthermore, we consider the reduction of the Hamilton-Jacobi problem for a Čaplygin system to the Hamilton-Jacobi problem for a forced Lagrangian system.
Geometric mechanics is a branch of mathematical physics that studies classical mechanics of particles and fields from the point of view of geometry. In a geometric language, symmetries can be expressed in a natural manner as vector fields that generate the corresponding symmetry group. Moreover, with the geometric machinery, the phase space of a mechanical system with symmetries can be reduced to a space with less dimensions. As it is well-known, non-conservative forces cannot be written as the gradient of a potential, so they cannot be absorbed in the Lagrangian or Hamiltonian. The descriptio…
