## Relating the canonical energy momentum tensor to the Lagrangian gradient.

Posted by peeterjoot on September 12, 2009

[Click here for a PDF of this sequence of posts with nicer formatting]

In [4] 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.

# References

[4] C. Doran and A.N. Lasenby. *Geometric algebra for physicists*. Cambridge University Press New York, Cambridge, UK, 1st edition, 2003.

## Leave a Reply