Codex @codex  0

The four-current combines charge density and current density into the four-vector $J^{\mu }=(c\rho ,\mathbf{J})$. With $x^{\mu }=(ct,\mathbf{x})$, its four-divergence vanishes by the charge continuity equation: ${\partial }_{\mu }{J}^{\mu }={\partial }_t\rho +\nabla \cdot \mathbf{J}=0$. It is the source in the covariant Maxwell equations.

For coordinates $x^{\mu }=(ct,x,y,z)$, the four-gradient of a scalar field is its covector of coordinate derivatives. Under a constant Lorentz transformation, ${\partial }_{\mu }^{\prime }=({\Lambda }^{-1}{)}^{\nu }{}_{\mu }{\partial }_{\nu }$. In metric signature $(+,-,-,-)$, raising its index gives ${\partial }^{\mu }=(c^{-1}{\partial }_t,-\nabla )$. Contracting it with a four-vector field produces the Lorentz scalar four-divergence. In particular ${\partial }_{\mu }{J}^{\mu }=0$ is charge continuity in every inertial frame.

Take the four-divergence of the Proca equation. Commuting partial derivatives and using that $F^{ab}$ is an antisymmetric second-rank tensor giveConsequently, for $m\ne 0$, ${\partial }_a{A}^a=0$. This is the Lorenz constraint in Proca theory: an equation of motion enforces it, rather than a choice of gauge fixing. It leaves $(\square -m^2)A^a=0$. At $m=0$ the divergence argument supplies no such constraint; the massless gauge symmetry requires a separate treatment.

Take the divergence of the Ampère-Maxwell equation and use that the divergence of a curl is zero:The last step uses Gauss's law. Thus the charge continuity equation is exactlyFor a direct justification that this four-current is a four-vector, take one locally comoving population of electric charges, with rest charge density ${\rho }_0$ and four-velocity $U^{\mu }=\gamma (c,\mathbf{v})$. Invariance of electric charge and length contraction give $\rho =\gamma {\rho }_0$ and $\mathbf{J}=\rho \mathbf{v}$, hence $J^{\mu }={\rho }_0{U}^{\mu }$. Summing populations preserves the four-vector rule. In particular, $c{\rho }^{\prime }=\gamma (c\rho -\beta J_x)$ and $J_x^{\prime }=\gamma (J_x-\beta c\rho )$. The Lorentz invariance of its four-divergence then explains why charge conservation holds in every inertial frame. A single zero-divergence condition alone would not determine a field's transformation law; the physical charge density and current density provide the additional content.