The Interior Euler-Lagrange Operator in Field Theory
AbstractThe paper is devoted to the interior Euler-Lagrange operator in field theory, representing an important tool for constructing the variational sequence. We give a new invariant definition of this operator by means of a natural decomposition of spaces of differential forms, appearing in the sequence, which defines its basic properties. Our definition extends the well-known cases of the Euler-Lagrange class (Euler-Lagrange form) and the Helmholtz class (Helmholtz form). This linear operator has the property of a projector, and its kernel consists of contact forms. The result generalizes an analogous theorem valid for variational sequences over 1-dimensional manifolds and completes the known heuristic expressions by explicit characterizations and proofs.