Jet spaces play a fundamental role in the geometric approach to the calculus of variations and to differential equations. The JetCalculus package is a specialized package for symbolic computations on jet spaces and is fully compatible with the other packages and commands in DifferentialGeometry.

•

This package contains commands for prolonging both vector fields and transformations to jet spaces and for calculating Euler-Lagrange equations for variational problems with any number of independent and dependent variables and any number of derivatives.

•

Jet spaces admit a very important generalization of the de Rham complex which is called the variational bicomplex -- so named because one of the differentials in the variational bicomplex can be identified with the Euler-Lagrange operator for the calculus of variations. The JetCalculus packages provides the full functionality needed for computations within the theoretical framework of the variational bicomplex, including the horizontal and vertical exterior derivative operators, the associated homotopy operators and the integration by parts operator.

•

This package can be used in conjunction with the PDEtools package for the systematic analysis of symmetries of differential equations, for the study of conservation laws and integrable evolution equations, for the study of invariant variational problems, and for the inverse problem to the calculus of variations. It will also be of interest to those working in the areas of integrable systems and exterior differential systems.

•

The JetCalculus package is a sub-package of DifferentialGeometry. Each command in the JetCalculus package can be accessed by using either the long form or the short form of the command name in the command calling sequence.

## Was this information helpful?