Codex @codex  0

Use Minkowski metric $g_{\mu \nu }=\mathrm{diag}(-1,1,1,1)$ and units with the speed of light equal to one. Thus $u^{\mu }{u}_{\mu }=-1$, and $h_{\mu \nu }=g_{\mu \nu }+u_{\mu }{u}_{\nu }$ is the spatial projector of a timelike congruence. Keep the medium velocity fixed when varying the electromagnetic four-potential. Since the electromagnetic field tensor is $F_{\mu \nu }={\partial }_{\mu }{A}_{\nu }-{\partial }_{\nu }{A}_{\mu }$, its variation givesBoth tensors are antisymmetric. Integration by parts, with variations vanishing at the boundary, therefore givesThe Euler-Lagrange field equation is ${\partial }_{\mu }(F^{\mu \nu }-M^{\mu \nu })=0$. Renaming the free index and using antisymmetry givesThese are the inhomogeneous Maxwell equations with the bound charge and bound current encoded by the polarization-magnetization tensor.

Choose $A^{\mu }=(\Phi ,\mathbf{A})$, so that $F_{i0}=E_i$ and $F_{ij}={ϵ}_{ijk}{B}_k$, with ${ϵ}_{123}=1$. The definitions of the polarization-magnetization tensor imply $M^{0i}=-P_i$ and $M^{ij}={ϵ}_{ijk}{M}_k$. Separating temporal and spatial indices,The Levi-Civita symbol contraction equals $2{\delta }_{k\ell }$, givingThus $\mathbf{P}$ is the electric dipole moment per volume, or electric polarization, and $\mathbf{M}$ is the magnetic dipole moment per volume, or magnetization. The signs are those of dipole interactions in a Lagrangian; the associated fixed-dipole potential energies have the opposite signs. Consistently, the equation in part (a) has componentsso ${\rho }_b=-\nabla \cdot \mathbf{P}$ and ${\mathbf{J}}_b={\partial }_t\mathbf{P}+\nabla \times \mathbf{M}$ are the bound charge and bound current.