Use the spatial transverse-longitudinal decomposition
Under the U(1) gauge symmetry ,
The assumption makes the longitudinal split unambiguous. The scalar
is therefore gauge-invariant.
Put . Substituting the transverse-longitudinal decomposition and integrating cross terms by parts gives
The equations are
together with .