## Maxwell Lagrangian, rotation of coordinates.

Posted by peeterjoot on September 6, 2009

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

# Note

Split out of previous post for separate followup later. The end results I don’t think can be right (both the tensor and the Geometric Algebra forms).

# Maxwell Lagrangian, rotation of coordinates.

The Maxwell Lagrangian, as well as being the one of interest for the energy momentum tensor, is also invariant to coordinate system rotation. We may write that Lagrangian density as

Or in coordinate form as

To (1), we can apply a rotation of coordinates to both the gradient , and the field . We have

Employing cyclic commutation , and , we have , and this Lagrangian therefore has a conserved current specified by ().

From (2) we can calculate (the canonical field momentum?) , and get

This can be written in terms of the total field , after observing

This leaves us so far with the Noether current conservation of

The specifics of the Lorentz transformation used in the coordinate transformation weren’t required to get this far, but if we assume a singly parametrized rotation or boost we can use an exponential representation for the rotation

The change of the field variable with respect to theta (a rotation angle or boost rapidity) is then

But this is just a vector-bivector dot product

Evaluating at we have just , and we are left with the conservation statement

As a scalar we can write this multiple dot product explicitly using scalar selection, and factor out the bivector

This leaves us with a bivector conservation statement

If this is zero for all spatial and spacetime planes we must then have

Can we factor out the from this leaving some function of , and ? Borrowing an identity from ([1]) (eqn 1.14), we have

This allows us to write the conservation current equation in coordinate free form

In the second term the gradient acts both on and . Expanding and reordering for clarity

It looks like (13) can be further reduced.

FIXME… trying this I get:

note that , so we have on the right, but something much different seeming on the left. Suspect that I got it wrong, but if I did get it right, this would be nothing more than another way of expressing the EOF. END FIXME NOTE.

Let’s come back to that after first relating (11) to the canonical energy momentum tensor. Doing so will allow us to name this quantity (or at least give it a symbol). To do so, note that this is really six different conservation relationships since it must be separately true for each component of this bivector. Dotting this with the unit bivectors will provide an equivalent set of six tensor equations. Those follow messily, but directly,

The six conservation equations, one for each , are thus

Jackson ([2]) labels, but does not name, these left and right side quantities

and uses these to construct the symmetric energy momentum tensor from the canonical tensor by subtraction. With this label we have as a consequence of rotation invariance of the Lagrangian density

It isn’t at all obvious that this tensor should be symmetric, and it is in perhaps somewhat strange since subtracting this from the canonical tensor produced the symmetric? A better read of that difficult Jackson chapter is in order as well as a look for errors above.

# References

[1] D. Hestenes. *New Foundations for Classical Mechanics*. Kluwer Academic Publishers, 1999.

[2] JD Jackson. *Classical Electrodynamics Wiley*. 2nd edition, 1975.

## Leave a Reply