# Can calculus of varations be formalised with exterior calculus?

I noticed that a calculus of variations problem is just an integral over a differential form. Therefore, I would think it would be possible to formulate the Euler-Lagrange equations using exterior calculus. However, I do not know of how to reconcile the notion of a functional derivative with say an exterior derivative.

The correct context for this problem is on infinite jet bundle and using the variational bicomplex.

The main reference for this is Ian Anderson's work: http://math.uni.lu/~michel/data/VARIATIONNAL%20BICOMPLEX.pdf

Sometimes, you can. If a functional is stationary on a particular path, it means that "around that path", up to first order, the value of the functional does not change. Intuitively, "on the path, the functional does not depend on the path". Yes, it sounds weird. But it simply means that along the path, and only there, a certain 1-form is exact! Let me make an example: the action in physics.

The functional is:

$$S= \int L\,dt = \int (p\dot q -H)\,dt.$$

$dS = L\,dt = p\,dq - H\,dt$ is the 1-form you are talking about.

If there is a line along which it is exact (so that writing $dS$ makes sense), that line must be an extremum!

That form is closed if:

$$\frac{\partial p}{\partial t} = -\frac{\partial H}{\partial q} .$$

Does this ring a bell, speaking of Euler-Lagrange? This is (almost) Hamilton's equation. If there is a line on which this equation is satisfied, then that line is an extremum for the action.

The converse, unfortunately, is not always true. For example, the form could be nowhere closed. But there will be again an extremum, in general!