The de Donder-Weyl-Hamilton equation is a refinement of Hamilton's equation from a single variational direction to many.
Where Hamilton's equation appears as a natural condition in symplectic geometry, so the de Donder-Weyl-Hamilton equation appears as the analogous condition in multisymplectic geometry/n-plectic geometry.
Where Hamilton's equation appears as the equations of motion of a mechanical system whose dynamics is described by evolution along a single parameter (time), so the de Donder-Weyl Hamilton equation appears as the equations of motion of a higher dimensional field theory given by a local Lagrangian where “evolution” is along more parameters (spacetime).
Let be a smooth manifold to be regarded as worldvolume/spacetime and let be a smooth bundle to be thought of as the field bundle.
For simplicity of exposition we first consider local patches and take without essential restriction to be a Cartesian space and the field bundle to be a trivial vector bundle . In all of the following the summation convention? for summation over repeated induces is understood.
We then denote the canonical coordinates on by and those on by .
Write for the dualized first jet bundle of . Under the above assumptions this has canonical local coordinates . Here we call the ”-th momentum of the -th field”.
Consider a local Lagrangian which is of first order, hence which is a function on the first jet bundle of the field bundle.
Its Euler-Lagrange equations are
The de Donder-Weyl-Hamiltonian of is its generalized Legendre transform (if it exists), the function
on the dual jet bundle.
In terms of the de Donder-Weyl Hamiltonian , def. 2, the Euler-Lagrange equations of motion, def. 1, are equivalent to the differential equations
These are called the de Donder-Weyl-Hamilton equations.
As a multisymplectic/-plectic Hamiltonian equation
For a symplectic manifold and a smooth function regarded as a Hamiltonian, then Hamilton's equations are equivalent to
for a tangent vector to a trajectory in phase space. This may be referred to as the “non-relativistic” form of the symplectic version of Hamilton’s equations, as the “time”-parameter is not part of the phase space.
By passing from plain phase space to the corresponding dual jet bundle, hence by adjoining a worldline coordinate , this is equivalent to
This may accordingly be thought of as the relativistic version of Hamilton’s equations.
We now discuss the analog of both the “non-relativistic” and of this “relativistic version” of Hamilton's equation for the de Donder-Weyl-Hamilton equation.
In both cases, the -tuple of tangent vectors to a section which satisfies the equations of motion is characterized as a Hamiltonian n-vector field. See there for more discussion.
Given a de Donder-Weyl-Hamiltonian , def. 2, define a differential form
on the dual jet bundle (the multisymplectic form or pre-(n+1)-plectic form) by
A section of the dualized first jet bundle satisfies the equations of motion, prop. 1, precisely if its tangent vectors
jointly annihilate the pre--plectic form of def. 3 in that the equation:
First, the component of this equation which does not contain any is
This is already equivalent to the DWH equation, prop. 1.
Second, this already implies that the components of the equation that are proportional to are automatically satisfied; because these components are
and inserting the DWH equations on the left makes the left side identically equal to the right hand side.
To obtain the “non-relativistic” form of the -plectic form of the DWH equation, consider the affine dual first jet bundle with canonical coordinates .
On the affine dual first jet bundle the de Donder-Weyl-Hamilton equation characterizes those sections whose tangent vectors as above satisfy
This has been pointed out in (Hélein 02, around equation (4)).
This is a slight variant of the proof of prop. 2. First, the component of the equation independend of is
Here the term cancels on both sides and leaves the equation equivalent to the DWH equation as in the first step of the proof of prop. 2.
Second, the component of the claimed equation proportional to is now
Inserting into this the DWH equation makes it equivalent to
This has a unique solution, up to a global constant, given by
Maybe the first example of what is now called De Donder-Weyl theory appeared in
- Constantin Carathéodory, Über die Extremalen und geodätischen Felder in der Variationsrechnung der mehrfachen Integrale, Acta Sci. Math. (Szeged) 4 (1929) 193-216
Then Weyl and de Donder independently published
Hermann Weyl, Geodesic fields in the calculus of variations, Ann. Math. (2) 36 (1935) 607-629.
Théophile de Donder, Théorie invariante du calcul des variations, Nuov. éd, Gauthiers–Villars, Paris 1935
- I.V. Kanatchikov, DeDonder-Weyl theory and a hypercomplex extension of quantum mechanics to field theory , (arXiv:hep-th/9810165)
For more see the references at multisymplectic geometry, at n-plectic geometry and at Hamiltonian n-vector field.