Lepage forms represent a far-going generalization of a 1-form, introduced by E. Cartan in the 1920s within the framework of the calculus of variations of simple integrals and classical mechanics. The generalization, offered by D. Krupka, is motivated by the work of Th. Lepage in the 1940s. These objects define the same variational functional as it is prescribed by a given Lagrangian, and moreover, variational objects (as variations, extremals, or Noether’s type invariance) are globally characterized in terms of geometric operations acting on the Lepage equivalents of a Lagrangian.
Here, a second-order extension of the fundamental Lepage form of the calculus of variations over fibered manifolds with 2-dimensional base is described via order-reducibility of the generalized Poincaré–Cartan form. View this paper