An equation is obtained to find the Lagrangian for a one-dimensional autonomous system. The continuity of the first derivative of its constant of motion is assumed. This equation is solved for a generic nonconservative autonomous system that has certain quasi-relativistic properties. A new method based on a Taylor series expansion is used to obtain the associated Hamiltonian for this system. These results have the usual expression for a conservative system when the dissipation parameter goes to zero. An example of this approach is given.
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.
After a brief survey of the definition and the properties of Lambda-symmetries in the general context of dynamical systems, the notion of "Lambda-constant of motion'' for Hamiltonian equations is introduced. If the Hamiltonian problem is derived from a Lambda-invariant Lagrangian, it is shown how the Lagrangian Lambda-invariance can be transferred into the Hamiltonian context and shown that the Hamiltonian equations turn out to be Lambda-symmetric. Finally, the "partial'' (Lagrangian) reduction of the Euler-Lagrange equations is compared with the reduction obtained for the corresponding Hamilt…
The link between the tratment of singular Lagrangians as field systems and the canonical Hamiltonian approach is studied. It is shown that the singular Lagrangians as field systems are always in exact agreement with the canonical approach for the parametrization invariant theories.
Second-order Lagrangian densities admitting a first-order Hamiltonian formalism are studied; namely, i) for each second-order Lagrangian density on an arbitrary fibred manifold $p\colon E\to N$ the Poincaré-Cartan form of which is projectable onto $J^1E$, by using a new notion of regularity previously introduced, a first-order Hamiltonian formalism is developed for such a class of variational problems; ii) the existence of first-order equivalent Lagrangians are discussed from a local point of view as well as global; iii) this formalism is then applied to classical Einstein-Hilbert Lagrangian a…
Applied to field theory, the familiar symplectic technique leads to instantaneous Hamiltonian formalism on an infinite-dimensional phase space. A true Hamiltonian partner of first order Lagrangian theory on fibre bundles $Y\to X$ is covariant Hamiltonian formalism in different variants, where momenta correspond to derivatives of fields relative to all coordinates on $X$. We follow polysymplectic (PS) Hamiltonian formalism on a Legendre bundle over $Y$ provided with a polysymplectic $TX$-valued form. If $X=\mathbb R$, this is a case of time-dependent non-relativistic mechanics. PS Hamiltonian f…
In the framework of polysymplectic Hamiltonian formalism, degenerate Lagrangian field systems are described as multi-Hamiltonian systems with Lagrangian constraints. The physically relevant case of degenerate quadratic Lagrangians is analized in detail, and the Koszul--Tate resolution of Lagrangian constraints is constructed in an explicit form. The particular case of Hamiltonian mechanics with time-dependent constraints is studied.
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.
The work is devoted to studying some new classical electrodynamics models of interacting charged point particles and the aspects of the quantization via the Dirac procedure related to them. Based on the vacuum field theory no-geometry approach developed in [6,7,9], the Lagrangian and Hamiltonian reformulations of some alternative classical electrodynamics models are devised. The Dirac-type quantization procedure for the considered alternative electrodynamics models, based on the obtained canonical Hamiltonian formulations, is developed.
Submanifolds of a manifold are described as sections of a certain fiber bundle that enables one to consider their Lagrangian and (polysymplectic) Hamiltonian dynamics as that of a particular classical field theory. In particular, their Lagrangians and Hamiltonians must satisfy rather restrictive Noether identities. For instance, this is the case of relativistic mechanics and classical string theory.
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…
The Lagrangian and Hamiltonian structures for an ideal gauge-charged fluid are determined. Using a Kaluza-Klein point of view, the equations of motion are obtained by Lagrangian and Poisson reductions associated to the automorphism group of a principal bundle. As a consequence of the Lagrangian approach, a Kelvin-Noether theorem is obtained. The Hamiltonian formulation determines a non-canonical Poisson bracket associated to these equations.
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…
The structure functions of the Lagrangian gauge algebra are given explicitly in terms of the hamiltonian constraints and the first order Hamiltonian structure functions and their derivatives.
In this paper we will present Lagrangian and Hamiltonian $k$-symplectic formalisms, we will recall the notions of symmetry and conservation law and we will define the notion of pseudosymmetry as a natural extension of symmetry. Using symmetries and pseudosymmetries, without the help of a Noether type theorem, we will obtain new kinds of conservation laws for $k$-symplectic Hamiltonian systems and $k$-symplectic Lagrangian systems.
Contact Hamiltonian dynamics is a subject that has still a short history, but with relevant applications in many areas: thermodynamics, cosmology, control theory, and neurogeometry, among others. In recent years there has been a great effort to study this type of dynamics both in theoretical aspects and in its potential applications in geometric mechanics and mathematical physics. This paper is intended to be a review of some of the results that the authors and their collaborators have recently obtained on the subject.
Studying high-dimensional Hamiltonian systems with microstructure, it is an important and challenging problem to identify reduced macroscopic models that describe some effective dynamics on large spatial and temporal scales. This paper concerns the question how reasonable macroscopic Lagrangian and Hamiltonian structures can by derived from the microscopic system. In the first part we develop a general approach to this problem by considering non-canonical Hamiltonian structures on the tangent bundle. This approach can be applied to all Hamiltonian lattices (or Hamiltonian PDEs) and involves th…
We study the Hamiltonian formalisms of the second order degenerate Clèment and Sarıoğlu-Tekin Lagrangians. The Dirac-Bergmann constraint algorithm is employed while arriving at the total Hamiltonian functions and the Hamilton's equations on the associated momemtum phase spaces whereas the Gotay-Nester-Hinds algorithm is run while investigating the Skinner-Rusk unified formalism on the proper Whitney bundles.
The Hamiltonian counterpart of classical Lagrangian field theory is covariant Hamiltonian field theory where momenta correspond to derivatives of fields with respect to all world coordinates. In particular, classical Lagrangian and covariant Hamiltonian field theories are equivalent in the case of a hyperregular Lagrangian, and they are quasi-equivalent if a Lagrangian is almost-regular. In order to quantize covariant Hamiltonian field theory, one usually attempts to construct and quantize a multisymplectic generalization of the Poisson bracket. In the present work, the path integral quantizat…
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…
In this paper we discuss singular Lagrangian systems on the framework of contact geometry. These systems exhibit a dissipative behavior in contrast with the symplectic scenario. We develop a constraint algorithm similar to the presymplectic one studied by Gotay and Nester (the geometrization of the well-known Dirac-Bergman algorithm). We also construct the Hamiltonian counterpart and prove the equivalence with the Lagrangian side. A Dirac-Jacobi bracket is constructed similar to the Dirac bracket.
Newtonian, Lagrangian, and Hamiltonian dynamical systems are well formalized mathematically. They give rise to geometric structures describing motion of a point in smooth manifolds. Riemannian metric is a different geometric structure formalizing concepts of length and angle. The interplay of Riemannian metric and its metric connection with mechanical structures produces some features which are absent in the case of general (non-Riemannian) manifolds. The aim of present paper is to discuss these features and develop special language for describing Newtonian, Lagrangian, and Hamiltonian dynamic…
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.
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 calculation is presented that shows that Feynman's path integral implies Ostrogradsky's Hamiltonian for nonsingular Lagrangians with second derivatives. The procedure employs the stationary phase approximation to obtain the limiting change of the wave function per unit time. By way of introduction, the method is applied anew to the case of nonsingular Lagrangians with only first derivatives, but not necessarily quadratic in the velocities. A byproduct of the calculation is an alternate derivation of the Legendre transformation of taking general classical Lagrangians into Hamiltonians. In bot…
The Lagrangian representation of multi-Hamiltonian PDEs has been introduced by Y. Nutku and one of us (MVP). In this paper we focus on systems which are (at least) bi-Hamiltonian by a pair $A_1$, $A_2$, where $A_1$ is a hydrodynamic-type Hamiltonian operator. We prove that finding the Lagrangian representation is equivalent to finding a generalized vector field $τ$ such that $A_2=L_τA_1$. We use this result in order to find the Lagrangian representation when $A_2$ is a homogeneous third-order Hamiltonian operator, although the method that we use can be applied to any other homogeneous Hamilton…
The Lagrangian-Hamiltonian unified formalism of R. Skinner and R. Rusk was originally stated for autonomous dynamical systems in classical mechanics. It has been generalized for non-autonomous first-order mechanical systems, as well as for first-order and higher-order field theories. However, a complete generalization to higher-order mechanical systems has yet to be described. In this work, after reviewing the natural geometrical setting and the Lagrangian and Hamiltonian formalisms for higher-order autonomous mechanical systems, we develop a complete generalization of the Lagrangian-Hamiltoni…
In some previous papers, a geometric description of Lagrangian Mechanics on Lie algebroids has been developed. In the present paper, we give a Hamiltonian description of Mechanics on Lie algebroids. In addition, we introduce the notion of a Lagrangian submanifold of a symplectic Lie algebroid and we prove that the Lagrangian (Hamiltonian) dynamics on Lie algebroids may be described in terms of Lagrangian submanifolds of symplectic Lie algebroids. The Lagrangian (Hamiltonian) formalism on Lie algebroids permits to deal with Lagrangian (Hamiltonian) functions not defined necessarily on tangent (…
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…
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…
For an integrable Hamiltonian system we construct a representation of the phase space symmetry algebra over the space of functions on a Lagrangian manifold. The representation is a result of the canonical quantization of the integrable system in terms of separation variables. The variables are chosen in such way that a half of them parameterizes the Lagrangian manifold, which coincides with the Liouville torus of the integrable system. The obtained representation is indecomposable and non-exponentiated.
The Rusk-Skinner formalism was developed in order to give a geometrical unified formalism for describing mechanical systems. It incorporates all the characteristics of Lagrangian and Hamiltonian descriptions of these systems (including dynamical equations and solutions, constraints, Legendre map, evolution operators, equivalence, etc.). In this work we extend this unified framework to first-order classical field theories, and show how this description comprises the main features of the Lagrangian and Hamiltonian formalisms, both for the regular and singular cases. This formulation is a first s…
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…
This article aims to study non-local Lagrangians with an infinite number of degrees of freedom. We obtain an extension of Noether's theorem and Noether's identities for such Lagrangians. We then set up a Hamiltonian formalism for them. In addition, we show that $n$-order local Lagrangians can be treated as a particular case and the standard results can be recovered. Finally, this formalism is applied to the case of $p$-adic open string field.
Motivated by various results on homogeneous geodesics of Riemannian spaces, we study homogeneous trajectories, i.e. trajectories which are orbits of a one-parameter symmetry group, of Lagrangian and Hamiltonian systems. We present criteria under which an orbit of a one-parameter subgroup of a symmetry group G is a solution of the Euler-Lagrange or Hamiltonian equations. In particular, we generalize the `geodesic lemma' known in Riemannian geometry to Lagrangian and Hamiltonian systems. We present results on the existence of homogeneous trajectories of Lagrangian systems. We study Hamiltonian a…
The application of the Legendre transformation to a hyperregular Lagrangian system results in a Hamiltonian vector field generated by a Hamiltonian defined on the phase space of the mechanical system. The Legendre transformation in its usual interpretation can not be applied to homogeneous Lagrangians found in relativistic mechanics. The dynamics of relativistic systems must be formulated in terms of implicit differential equations in the phase space and not in terms of Hamiltonian vector fields. The constrained Hamiltonian systems introduced by Dirac [1] are not general enough to cover some i…
We provide new insights into the contact Hamiltonian and Lagrangian formulations of dissipative mechanical systems. In particular, we state a new form of the contact dynamical equations, and we review two recently presented Lagrangian formalisms, studying their equivalence. We define several kinds of symmetries for contact dynamical systems, as well as the notion of dissipation laws, prove a dissipation theorem and give a way to construct conserved quantities. Some well-known examples of dissipative systems are discussed.
We generalize the Lagrangian-Hamiltonian formalism of Skinner and Rusk to higher order field theories on fiber bundles. As a byproduct we solve the long standing problem of defining, in a coordinate free manner, a Hamiltonian formalism for higher order Lagrangian field theories. Namely, our formalism does only depend on the action functional and, therefore, unlike previously proposed ones, is free from any relevant ambiguity.
Stability conditions of magnetized plasma flows are obtained by exploiting the Hamiltonian structure of the magnetohydrodynamics (MHD) equations and, in particular, by using three kinds of energy principles. First, the Lagrangian variable energy principle is described and sufficient stability conditions are presented. Next, plasma flows are described in terms of Eulerian variables and the noncanonical Hamiltonian formulation of MHD is exploited. For symmetric equilibria, the energy-Casimir principle is expanded to second order and sufficient conditions for stability to symmetric perturbation a…
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…
We study spacetime diffeomorphisms in Hamiltonian and Lagrangian formalisms of generally covariant systems. We show that the gauge group for such a system is characterized by having generators which are projectable under the Legendre map. The gauge group is found to be much larger than the original group of spacetime diffeomorphisms, since its generators must depend on the lapse function and shift vector of the spacetime metric in a given coordinate patch. Our results are generalizations of earlier results by Salisbury and Sundermeyer. They arise in a natural way from using the requirement of …
We take advantage of different generalizations of the tangent manifold to the context of graded manifolds, together with the notion of super section along a morphism of graded manifolds, to obtain intrinsic definitions of the main objects in supermechanics such as, the vertical endomorphism, the canonical and the Cartan's graded forms, the total time derivative operator and the super--Legendre transformation. In this way, we obtain a correspondence between the Lagrangian and the Hamiltonian formulations of supermechanics.
In this work, we construct the general solution to the Heat Equation (HE) and to many tensor structures associated to the Heat Equation, such as Symmetries, Lagrangians, Poisson Brackets (PB) and Lagrange Brackets, using newly devised techniques that may be applied to any linear equation (e.g., Schroedinger Equation in field theory, or the small-oscillations problem in mechanics). In particular, we improve a time-independent PB found recently which defines a Hamiltonian Structure for the HE, and we construct an Action Principle for the HE. We also find a new structure, which we call a Metric S…
We introduce a version of the Hamiltonian formalism based on the Clairaut equation theory, which allows us a self-consistent description of systems with degenerate (or singular) Lagrangian. A generalization of the Legendre transform to the case, when the Hessian is zero is done using the mixed (envelope/general) solutions of the multidimensional Clairaut equation. The corresponding system of equations of motion is equivalent to the initial Lagrange equations, but contains "nondynamical" momenta and unresolved velocities. This system is reduced to the physical phase space and presented in the H…
There is a review of the main mathematical properties of system described by singular Lagrangians and requiring Dirac-Bergmann theory of constraints at the Hamiltonian level. The following aspects are discussed: i) the connection of the rank and eigenvalues of the Hessian matrix in the Euler-Lagrange equations with the chains of first and second class constraints; ii) the connection of the Noether identities of the second Noether theorem with the Hamiltonian constraints; iii) the Shanmugadhasan canonical transformation for the identification of the gauge variables and for the search of the Dir…
