In this paper, we discuss possible extensions of the concept of the Cartan form of classical mechanics to higher-order mechanics on manifolds, higher-order field theory on jet bundles and to parametric variational problems on slit tangent bundles and on bundles of nondegenerate velocities. We present a generalization of the Cartan form, known as a Lepage form, and basic properties of the Lepage forms. Both earlier and recent examples of differential forms generalizing the Cartan form are reviewed.
Let Y be a fibered manifold over a base manifold X . A differential 1-form ρ, defined on the r-jet prolongation of J r Y , is said to be contact, if it vanishes along the r-jet prolongation J r Y of every section γ of Y . The notion of contactness is naturally extended to k -forms with k ≥ 1. The contact forms define a subsequence of the De Rham sequence on J r Y . The corresponding quotient sequence is known as the rth order variational sequence. In this paper, the case of 1-dimensional base X is considered. A simple proof is given of the fact that the rth order variational sequence is an acyclic resolution of the constant sheaf. Then the 1st order variational sequence is studied in detail. The quotient sheaves, as well as the quotient mappings, are determined explicitly, and their relationship to the standard concepts of the 1st order calculus of variations is discussed. The following is shown: a) the lagrangians in the 1st order variational sequence (classes of 1-forms) coincide with 2nd order lagrangians, affine in the second derivative variables, b) the concept of the Euler-Lagrange form is extended to 2-forms which are not necessarily variational, c) the concept of the Helmholtz-Sonin form is introduced as the class of an arbitrary 3-form, d) the well-known fundamental notions such as the Euler-Lagrange, and Helmholtz-Sonin mappings are represented by two arrows at the beginning of the variational sequence; this relates the global structure of the Euler-Lagrange mapping to the cohomology of Y , e) all the remaining classes of k -forms with k ≥ 3, as well as the quotient mappings, are determined explicitly, f) a locally variational form is defined as a generalization of a symplectic form; locally variational forms, associated to a fixed Euler-Lagrange form, are characterized, and g) distributions associated with a locally variational form are described, and their relation to the Euler-Lagrange equations is studied. These results illustrate differences between finite order variational sequences and variational bicomplexes, based on infinite jet constructions.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.