Deriving conservation of electric current/charge from gauge symmetry in QED – physics.stackexchange.com

Starting from the Lagrangian density of the electromagnetic field:$\mathcal{L}=-\frac{1}{4}F^{\mu\nu}F_{\mu\nu}-J_\mu A^\mu.$ We demand that the lagrangian is invariant under a gauge transformation ...