Finite energy requires and on the circle at spatial infinity. Writing there gives . The vortex number is the winding number
By Stokes theorem, the magnetic flux is quantized:
For the rotationally symmetric Abelian Higgs vortex ansatz, and give
After the angular integration, the Abelian Higgs model energy becomes
Completing the square in the two pairs of terms gives
Regularity at the origin and approach to the vacuum at infinity require
More precisely, and near the origin. The boundary term is , so
The bound is saturated exactly when both squares vanish, giving the radial Bogomolny vortex equations
The asymptotic value also makes the flux , so the ansatz has vortex number .
Away from a zero of the Higgs field, write
Separating real and imaginary parts of gives
Thus away from zeros. Combining this with gives
If has a zero of multiplicity at the origin, its vortex number is the winding number and . Since as a distributional identity, the complete Taubes equation is
The boundary conditions for a single -vortex are
The latter is the finite-energy condition .