Invariant Variational Bicomplex

The code, written1999-2003, started with an implementation of the invariant Euler Lagrange operator derived in:

[1] Kogan, I. A. and Olver, P. J. Invariant Euler-Lagrange equations and the invariant variational bicomplex. Acta Applicandae Mathematicae, Vol. 76, No. 2, (2003), 137 - 193.

and then extended to include invariant versions of other important components of the variational bicomplex, including Helmholtz operator and Noether correspondence.

An excellent introduction to the calculus of variation in the context of the variational bicomplex is given in:

[2] Ian Anderson. The Variational Bicomplex. Technical report. 1989.

Maple worksheets:

  • Invariant Euler-Lagrange and Helmholtz operators
  • Invariant Noether Correspondence

  • This package is not supported by Maple versions later than Maple 13. I will be glad to collaborate on bringing this code up-to-date.