Past exam of the optics and electrodynamics course of the University of Cambridge / 2012 / Paper 1 / 4 / Solution

Take $x^{\mu }=(ct,x,y,z)$ and metric signature $(+,-,-,-)$. The four-current, four-potential and four-gradient areThe first two transform as contravariant four-vectors under an inertial-frame Lorentz transformation, within a consistently transformed electromagnetic gauge. The lowered-index gradient is a covector. Their contraction is a Lorentz scalar:Indeed, $J^{\prime \mu }={\Lambda }^{\mu }{}_{\nu }{J}^{\nu }$ and ${\partial }_{\mu }^{\prime }=({\Lambda }^{-1}{)}^{\alpha }{}_{\mu }{\partial }_{\alpha }$, so the two matrices cancel in the contraction. Local charge conservation in one inertial frame implies local charge conservation in every inertial frame. Integrating over a region gives the charge change equal to minus its outward current flux; global conserved charge requires no flux through the system boundary.