Use metric signature and units . Varying and independently gives
In the divergence of the stated current, the products of first derivatives cancel, leaving
The 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 are
Therefore the electromagnetic Euler-Lagrange equation is
Antisymmetry 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. Also
Every 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 gives
Thus 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 (0)

There are currently no matching articles.