Use metric signature and units . Varying and independently givesIn the divergence of the stated current, the products of first derivatives cancel, leavingThe two identical mass terms cancel on the field equations.
An infinitesimal constant phase change has and . Both the derivative product and the mass term are invariant. Noether's theorem gives, per unit ,Thus the global phase symmetry supplies the conserved current in part a.
The derivatives needed for varying areTherefore the electromagnetic Euler-Lagrange equation isAntisymmetry of and commutation of derivatives imply , hence . In ordinary derivatives, ; the interaction contribution must not be omitted.
Under the combined local transformation,The derivative of the phase cancels the added gauge potential. The conjugate derivative gains the opposite phase, so their product and are invariant. AlsoEvery term of the interacting Lagrangian is therefore invariant.
The local gauge symmetry contains the constant-phase subgroup. For constant , , and Noether's theorem applied to the matter fields givesThus on the matter field equations. More explicitly, allowing in the matter variation while holding fixed gives . On shell it also equals , so equality for arbitrary implies conservation. In the full gauge transformation, varying cancels the term; this is the related Noether second-theorem identity, not a new independent charge for every gauge function.
Articles by others on the same topic
There are currently no matching articles.