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 Hamiltonian form by introducing a new (non-Lie) bracket.
We develop a time-non-local (TNL) formalism based on variational calculus, which allows for the analysis of TNL Lagrangians. We derive the generalized Euler-Lagrange equations starting from the Hamilton's principle and, by defining a generalized momentum, we introduce the corresponding Hamiltonian formalism. We apply the formalism to second order TNL Lagrangians and we show that it reproduces standard results in the time-local limit. An example will show how the formalism works, and will provide an interesting insight on the non-standard features of TNL equations.
The conformal transformations corresponding to $N$-Galilean conformal symmetries, previously defined as canonical symmetry transformations on phase space, are constructed as point transformations in coordinate space.
Conservation laws related to the gauge invariance of Lagrangians and Euler-Lagrange operators in finite and infinite order Lagrangian formalisms are analyzed.
Formalism of extended Lagrangian represent a systematic procedure to look for the local symmetries of a given Lagrangian action. In this work, the formalism is discussed and applied to a field theory. We describe it in detail for a field theory with first-class constraints present in the Hamiltonian formulation. The method is illustrated on examples of electrodynamics, Yang-Mills field and non-linear sigma model.
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.
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.
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…
The properties of Lagrangians affine in velocities are analyzed in a geometric way. These systems are necessarily singular and exhibit, in general, gauge invariance. The analysis of constraint functions and gauge symmetry leads us to a complete classification of such Lagrangians.
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.
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…
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.
Lagrangian formalism is established for differential equations with special functions of mathematical physics as solutions. Formalism is based on either standard or non-standard Lagrangians. This work shows that the procedure of deriving the standard Lagrangians leads to Lagrangians for which the Euler--Lagrange equation vanishes identically, and that only some of these Lagrangians become the null Lagrangians with the well-defined gauge functions. It is also demonstrated that the non-standard Lagrangians require that the Euler--Lagrange equations are amended by the auxiliary conditions, which …
A simple formal procedure makes the main properties of the lagrangian binomial extendable to functions depending to any kind of order of the time--derivatives of the lagrangian coordinates. Such a broadly formulated binomial can provide the lagrangian components, in the classical sense of the Newton's law, for a quite general class of forces. At the same time, the generalized equations of motions recover some of the classical alternative formulations of the Lagrangian equations.
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.
Systems with singular higher order- Lagrangians are investigated by using the extended form of the canonical method. Besides, the canonical path integral formulation is generalized using the Hamilton- jacobi formulation to investigate singular systems
We develop a Hamilton-Jacobi theory for singular lagrangian systems in the Skinner-Rusk formalism. Comparisons with the Hamilton-Jacobi problem in the lagrangian and hamiltonian settings are discussed.
The path integral formulation of singular systems with second order Lagrangian is studied by using the canonical path integral method. The path integral of Podolsky electrodynamics is studied.
New geometric structures that relate the lagrangian and hamiltonian formalisms defined upon a singular lagrangian are presented. Several vector fields are constructed in velocity space that give new and precise answers to several topics like the projectability of a vector field to a hamiltonian vector field, the computation of the kernel of the presymplectic form of lagrangian formalism, the construction of the lagrangian dynamical vector fields, and the characterisation of dynamical symmetries.
We reformulate the standard Lagrangian formalism to a reparameterisation invariant Lagrangian formalism by means of Finsler and Kawaguchi geometry. In our formalism, various types of symmetries that appears in theories of physics are expressed geometrically by symmetries of Finsler (Kawaguchi) metric, and the conservation law of energy-momentum is a part of Euler-Lagrange equations. The application to scalar field, Dirac field, electromagnetic field and general relativity coupled to perfect fluid (added: ver.3) are discussed. By this formalism, we try to propose an alternative definition of en…
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.
A set of linear second-order differential equations is converted into a semigroup, whose algebraic structure is used to generate many novel equations. Two independent methods that can be used to derive the equations of the semigroup are considered, namely, the Lagrangian formalism and the Lie group approach. The advantages and disadvantages of each method are discussed, and it is shown that the Lagrangian formalism can be established for all equations of the semigroup, however, the Lie group approach is only limited to a certain sub-semigroup . The obtained results are discussed in the context…
We show that the specific operators V^a appearing in the triplectic formalism can be viewed as the anti-Hamiltonian vector fields generated by a second rank irreducible Sp(2) tensor. This allows for an explicit realization of the triplectic algebra being constructed from an arbitrary Poisson bracket on the space of the fields only, equipped by the flat Poisson connection. We show that the whole space of fields and antifields can be equipped with an even supersymplectic structure when this Poisson bracket is non-degenerate. This observation opens the possibility to provide the BRST/antiBRST pat…
We present an introduction to the mathematical theory of the Lagrangian formalism for multiform fields on Minkowski spacetime based on the multiform and extensor calculus. Our formulation gives a unified mathematical description for the main relativistic field theories including the gravitational field (which however will be discussed in a separate paper). We worked out several examples (including tricks of the trade), from simple to very sophisticated ones (like, e.g., the Dirac-Hestenes field on the more general gravitational background) which show the power and beauty of the formalism.
We develop a Hamilton-Jacobi theory for singular lagrangian systems using the Gotay-Nester-Hinds constraint algorithm. The procedure works even if the system has secondary constraints.
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 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.
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…
A geometric approach is used to study a family of higher-order nonlinear Abel equations. The inverse problem of the Lagrangian dynamics is studied in the particular case of the second-order Abel equation and the existence of two alternative Lagrangian formulations is proved, both Lagrangians being of a non-natural class (neither potential nor kinetic term). These higher-order Abel equations are studied by means of their Darboux polynomials and Jacobi multipliers. In all the cases a family of constants of the motion is explicitly obtained. The general n-dimensional case is also studied.
The alternative version of Hamiltonian formalism for higher-derivative theories is proposed. As compared with the standard Ostrogradski approach it has the following advantages: (i) the Lagrangian, when expressed in terms of new variables yields proper equations of motion; no additional Lagrange multipliers are necessary (ii) the Legendre transformation can be performed in a straightforward way provided the Lagrangian is nonsingular in Ostrogradski sense. The generalization to singular Lagrangians as well as field theory are presented.
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.
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 fibre derivative of a bundle map is studied in detail. In the particular case of a real function, several constructions useful to study singular lagrangians are presented. Some applications are given; in particular, a geometric construction useful to solve the Euler-Lagrange equation of a singular lagrangian. A free particle in a curved space-time is studied as an example.
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…
The time evolution operator $K$ is introduced in the graded context and its main properties are discussed. In particular, the operator $K$ is used to analize the projectability of constraint functions arising in the Lagrangian formalism for singular Lagrangians.
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.
This paper is devoted to studying symmetries of k-symplectic Hamiltonian and Lagrangian first-order classical field theories. In particular, we define symmetries and Cartan symmetries and study the problem of associating conservation laws to these symmetries, stating and proving Noether's theorem in different situations for the Hamiltonian and Lagrangian cases. We also characterize equivalent Lagrangians, which lead to an introduction of Lagrangian gauge symmetries, as well as analyzing their relation with Cartan symmetries.
Using the recently developed groupoidal description of Schwinger's picture of Quantum Mechanics, a new approach to Dirac's fundamental question on the role of the Lagrangian in Quantum Mechanics is provided. It is shown that a function $\ell$ on the groupoid of configurations (or kinematical groupoid) of a quantum system determines a state on the von Neumann algebra of the histories of the system. This function, which we call {\itshape q-Lagrangian}, can be described in terms of a new function $\mathcal{L}$ on the Lie algebroid of the theory. When the kinematical groupoid is the pair groupoid …
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.
We extend the geometric Hamilton-Jacobi formalism for hamiltonian mechanics to higher order field theories with regular lagrangian density. We also investigate the dependence of the formalism on the lagrangian density in the class of those yelding the same Euler-Lagrange equations.
Graded Lagrangian formalism in terms of a Grassmann-graded variational bicomplex on graded manifolds is developed in a very general setting. This formalism provides the comprehensive description of reducible degenerate Lagrangian systems, characterized by hierarchies of non-trivial higher-order Noether identities and gauge symmetries. This is a general case of classical field theory and Lagrangian non-relativistic mechanics.
We define the Global Centre Symmetry set (GCS) of a smooth closed m-dimensional submanifold M of R^n, $n \leq 2m$, which is an affinely invariant generalization of the centre of a k-sphere in R^{k+1}. The GCS includes both the centre symmetry set defined by Janeczko and the Wigner caustic defined by Berry. We develop a new method for studying generic singularities of the GCS which is suited to the case when M is lagrangian in R^{2m} with canonical symplectic form. The definition of the GCS, which slightly generalizes one by Giblin and Zakalyukin, is based on the notion of affine equidistants, …
The existence of a Lagrangian description for the second-order Riccati equation is analyzed and the results are applied to the study of two different nonlinear systems both related with the generalized Riccati equation. The Lagrangians are nonnatural and the forces are not derivable from a potential. The constant value $E$ of a preserved energy function can be used as an appropriate parameter for characterizing the behaviour of the solutions of these two systems. In the second part the existence of two--dimensional versions endowed with superintegrability is proved. The explicit expressions of…
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.
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 …
The aim of this paper is to propose an unambiguous intrinsic formalism for higher-order field theories which avoids the arbitrariness in the generalization of the conventional description of field theories, which implies the existence of different Cartan forms and Legendre transformations. We propose a differential-geometric setting for the dynamics of a higher-order field theory, based on the Skinner and Rusk formalism for mechanics. This approach incorporates aspects of both, the Lagrangian and the Hamiltonian description, since the field equations are formulated using the Lagrangian on a hi…
A comparative analysis of two different versions of the Legendre transformation is presented. We provide an almost complete although somewhat superficial review of the geometric background for analytical mechanics. Complete coordinate characterizations of all structures are provided. Intrinsic constructions of most of the objects are given. Examples of applications to a number of physical systems is given
Using Monge-Ampère geometry, we study the singular structure of a class of nonlinear Monge-Ampère equations in three dimensions, arising in geophysical fluid dynamics. We extend seminal earlier work on Monge-Ampère geometry by examining the role of an induced metric on Lagrangian submanifolds of the cotangent bundle. In particular, we show that the signature of the metric serves as a classification of the Monge-Ampère equation, while singularities and elliptic-hyperbolic transitions are revealed by the degeneracies of the metric. The theory is illustrated by application to an example solution …
The jet bundle description of time-dependent mechanics is revisited. The constraint algorithm for singular Lagrangians is discussed and an exhaustive description of the constraint functions is given. By means of auxiliary connections we give a basis of constraint functions in the Lagrangian and Hamiltonian sides. An additional description of constraints is also given considering at the same time compatibility, stability and second-order condition problems. Finally, a classification of the constraints in first and second class is obtained using a cosymplectic geometry setting. Using the second …
