Relating the canonical energy momentum tensor to the Lagrangian gradient.
Posted by peeterjoot on September 12, 2009
In  many tensor quantities are not written in index form, but instead using a vector notation. In particular, the symmetric energy momentum tensor is expressed as
where the usual tensor form following by taking dot products with and substituting . The conservation equation for the canonical energy momentum tensor of (23) can be put into a similar vector form
The adjoint of the tensor can be calculated from the definition
Somewhat unintuitively, this is a function of the gradient. Playing around with factoring out the displacement vector from (26) that the energy momentum adjoint essentially provides an expansion of the gradient of the Lagrangian. To prepare, let’s introduce some helper notation
With this our Noether current equation becomes
Cyclic permutation of the vector products can be used in the scalar selection. This is a little more tractable with some helper notation for the gradients, say . Because of the operator nature of the gradient once the vector order is permuted we have to allow for the gradient to act left or right or both, so arrows are used to disambiguate this where appropriate.
This dotted with quantity is the adjoint of the canonical energy momentum tensor
This can however, be expanded further. First tackling the
bidirectional gradient vector term we can utilize the property that the reverse of a vector leaves the vector unchanged. This gives us
In the remaining term, using the Hestenes overdot notation clarify the scope of the operator, we have
The grouping of the first and third terms above simplifies nicely
Since , which is purely a trivector, the vector grade selection above is zero. This leaves the adjoint reduced to
For the remainder vector grade selection operators we have something that is of the following form
And we are finally able to put the adjoint into a form that has no remaining grade selection operators
Recapping, we have for the tensor and its adjoint
For the adjoint, since for all , we must also have , which means the adjoint of the canonical energy momentum tensor really provides not much more than a recipe for computing the Lagrangian gradient
Having seen the adjoint notation, it was natural to see what this was for a multiple scalar field variable Lagrangian, even if it is not intrinsically useful. Observe that the identity (35), obtained so laboriously, is not more than syntactic sugar for the chain rule expansion of the Lagrangian partials (plus application of the Euler-Lagrange field equations). We could obtain this directly if desired much more easily than by factoring out from .
Summing over for the gradient, this reproduces (35), with much less work
Observe that the Euler-Lagrange field equations are implied in this relationship, so perhaps it has some utility. Also note that while it is simpler to directly compute this, without having started with the canonical energy momentum tensor, we would not know how the two of these were related.
 C. Doran and A.N. Lasenby. Geometric algebra for physicists. Cambridge University Press New York, Cambridge, UK, 1st edition, 2003.