 Noether second theorem

Suppose an action is invariant under a local transformation $\delta {\Phi }_a=R_a\alpha +R_a^{\mu }{\partial }_{\mu }\alpha$ for every compactly supported function $\alpha$. Variation and integration by parts give the off-shell identityThus arbitrary local symmetry parameters imply dependencies among the field equations. In gauge theory, these identities accompany constraints rather than independent physical charges for each function. This complements the conserved-current statement of Noether theorem.