In Continuum Mechanic a simple material body $\mathcal{B}$ is represeted by a three-dimensional differentiable manifold and the configuration space is given by the space of embeddings $Emb \left( \mathcal{B} , \mathbb{R}^{n} \right)$. We use the topology of infinite-dimensional manifold of this space, to present the first variation formula for Lagrangian mechanics.
In the present paper, we introduce para-quaternionic Kaehler analogue of Lagrangian and Hamiltonian mechanical systems. Finally, the geometrical-physical results related to para-quaternionic Kaehler mechanical systems are also given.
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.
A pluri-Lagrangian (or Lagrangian multiform) structure is an attribute of integrability that has mainly been studied in the context of multidimensionally consistent lattice equations. It unifies multidimensional consistency with the variational character of the equations. An analogous continuous structure exists for integrable hierarchies of differential equations. We present a continuum limit procedure for pluri-Lagrangian systems. In this procedure the lattice parameters are interpreted as Miwa variables, describing a particular embedding in continuous multi-time of the mesh on which the dis…
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.
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.
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…
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 propose a geometrical approach to the mechanics of continuous media equipped with inner structures and give the basic (mass conservation, Navier-Stokes and energy conservation) equations of their motion.
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.
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.
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…
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 this work, the principles of Homological Integration Theory are applied to the mathematical formulation of continuum mechanics. A central guideline in the currently acceptable formulation of continuum mechanics is that an admissible body is represented by a set of finite perimeter. The proposed framework is shown to enable the inclusion of a class of generalized bodies for which a corresponding stress theory is properly formulated and a generalized principle of virtual power is presented.
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 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…
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…
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.
Continuum mechanics can be formulated in the Lagrangian frame (addressing motion of individual continuum particles) or in the Eulerian frame (addressing evolution of fields in an inertial frame). There is a canonical Hamiltonian structure in the Lagrangian frame. By transformation to the Eulerian frame we find the Poisson bracket for Eulerian continuum mechanics with deformation gradient (or the related distortion matrix). Both Lagrangian and Eulerian Hamiltonian structures are then discussed from the perspective of space-time variational formulation and by means of semidirect products and Lie…
In this paper, we present a Lagrangian formalism for nonequilibrium thermodynamics. This formalism is an extension of the Hamilton principle in classical mechanics that allows the inclusion of irreversible phenomena in both discrete and continuum systems (i.e., systems with finite and infinite degrees of freedom). The irreversibility is encoded into a nonlinear nonholonomic constraint given by the expression of entropy production associated to all the irreversible processes involved. Hence from a mathematical point of view, our variational formalism may be regarded as a generalization of the L…
We study some differential complexes in continuum mechanics that involve both symmetric and non-symmetric second-order tensors. In particular, we show that the tensorial analogue of the standard grad-curl-div complex can simultaneously describe the kinematics and the kinetics of motions of a continuum. The relation between this complex and the de Rham complex allows one to readily derive the necessary and sufficient conditions for the compatibility of the displacement gradient and the existence of stress functions on non-contractible bodies. We also derive the local compatibility equations in …
The Maxwell class exact solutions to the Schrödinger equation and continuum mechanics models
Lomonosov Moscow State University（莫斯科国立大学）；Moscow Technical University of Communications and Informatics（莫斯科通信与信息工业大学）；Dubna State University（杜布纳国立大学）；Joint Institute for Nuclear Research（苏联联合核研究所）
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. …
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.
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 …
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 geometry of parallelizable manifolds (i.e., teleparallelism) is summarized in the language of local frame fields. Some problems in continuum mechanics that relate to the couple-stresses that are produced in the bending and twisting of prismatic beams and wires are then discussed. It is then shown that by going to a higher-dimensional analogue of the geometry that one used for one-dimensional deformable objects, one is basically using the methods of teleparallelism in the context of the Cosserat approach to deformable bodies.
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 …
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…
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…
Using ideas from continuum mechanics we construct a theory of gravity. We show that this theory is equivalent to Einstein's theory of general relativity; it is also a much faster way of reaching general relativity than the conventional route. Our approach is simple and natural: we form a very general model and then apply two physical assumptions supported by experimental evidence. This easily reduces our construction to a model equivalent to general relativity. Finally, we suggest a simple way of modifying our theory to investigate non-standard space-time symmetries.
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 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^…
In this paper, we continue the construction of variational integrators adapted to contact geometry started in \cite{VBS}, in particular, we introduce a discrete Herglotz Principle and the corresponding discrete Herglotz Equations for a discrete Lagrangian in the contact setting. This allows us to develop convenient numerical integrators for contact Lagrangian systems that are conformally contact by construction. The existence of an exact Lagrangian function is also discussed.
In this article we describe the relation between the Chern-Simons gauge theory partition function and the partition function defined using the symplectic action functional as the Lagrangian. We show that the partition functions obtained using these two Lagrangians agree, and we identify the semiclassical formula for the partition function defined using the symplectic action functional.
