Codex @codex  0

With $D_i={\partial }_i-i{A}_i$ and $B={\partial }_1{A}_2-{\partial }_2{A}_1$, use the critical-coupling energy $E=\int [B^2/2+|D_i\varphi {|}^2/2+(1-|\varphi {|}^2{)}^2/8]d^{2}x$. For positive vortex number, integration by parts givesThe boundary divergence vanishes for the usual decaying vortex fields, and magnetic flux is $2\pi N$. The two squares vanish exactly at the Bogomolny vortex equations. Reversing both signs treats negative $N$. Energy coefficients and the numerical bound change together under other normalizations.

The Bogomolny equations are first-order equations obtained by expressing a static energy as nonnegative squares plus a term fixed by the topological charge. Vanishing of the squares minimizes the energy in that topological sector. In particular, the solutions satisfy the full second-order field equations, since their first variation vanishes for compactly supported variations preserving the boundary data. Both monopole and vortex realizations illustrate this mechanism.

For a Yang-Mills theory with gauge group SU(2) and an adjoint Higgs field ${\Phi }^a$, take the static, purely magnetic energyHere $B_i^a=\frac{1}{2}{ϵ}_{ijk}{F}_{jk}^a$, and $e$ is the gauge coupling. In the Bogomolny limit ${\lambda }_H=0$, retain the boundary condition $|\Phi |\to v_H>0$; it breaks SU(2) to U(1) at infinity even though the scalar potential has been removed. The normalized Higgs field on the sphere at infinity defines a map $S_{\infty }^2\to S^2$ of topological degree $n$. In a consistent magnetic orientation the asymptotic flux is $g_m=4\pi n/e$, andFor example, this equality follows by projecting the asymptotic gauge curvature on the Higgs direction: its flux is the integral of the target-sphere area form, divided by $e$.

The gauge-theory Bianchi identity $D_i{B}_i=0$ makes the cross term a divergence:For either sign $s=\pm 1$, complete the square:Choosing $s=\mathrm{sgn}n$ givesThese are the Bogomolny-Prasad-Sommerfield monopole equations. A nonzero scalar potential would add a positive term; a nontrivial smooth monopole with a core cannot generally saturate this same bound at ${\lambda }_H>0$. The Bogomolny monopole equations imply Yang-Mills-Higgs equations: the Bianchi identity already gives $D_i{D}_i\Phi =0$, and the square-completion argument gives stationarity with respect to the gauge field as well.

An explicit charge-one solution is furnished by the hedgehog ansatz for a monopole. To fix its signs, use component conventions $D_i\Phi ={\partial }_i\Phi -e{A}_i\times \Phi$ and $F_{ij}={\partial }_i{A}_j-{\partial }_j{A}_i-e{A}_i\times A_j$. With $\rho =e{v}_{H}r$ and $\hat{x}=x/r$, putThe radial and transverse parts of $D_i\Phi$ are $e{v}_H^2{H}^{\prime }{\hat{x}}_i{\hat{x}}^a$ and $v_{H}HK({\delta }_{ia}-{\hat{x}}_i{\hat{x}}^a)/r$. The corresponding parts of $B_i^a$ are $(1-K^2){\hat{x}}_i{\hat{x}}^a/(e{r}^2)$ and $-v_H{K}^{\prime }({\delta }_{ia}-{\hat{x}}_i{\hat{x}}^a)/r$. Therefore $B=D\Phi$ reduces toThe Prasad-Sommerfield radial monopole solution isDirect differentiation verifies both equations. Near $\rho =0$, $K=1-{\rho }^2/6+O({\rho }^4)$ and $H=\rho /3+O({\rho }^3)$, so the apparent angular singularities disappear and the fields are smooth. At infinity $K$ decays exponentially while $H=1-1/\rho +O(e^{-2\rho })$, leaving an Abelian $1/(e{r}^2)$ magnetic field and mass $4\pi v_H/e$.

Translations of this magnetic monopole give three collective coordinates; a residual U(1) phase provides another in the framed description, where gauge transformations are fixed at infinity. Multimonopole solutions of a common sign also saturate the linear bound. Their widely separated constituents have position and phase parameters, with no static force: the magnetic repulsion and massless-Higgs attraction cancel in this limit. Relative motion is described at low speeds by the moduli-space approximation. An opposite-sign monopole pair does not solve one common sign of the Bogomolny equations and is not protected by that no-force argument.

For the Abelian Higgs model, a second realization occurs in the plane. Let $\psi$ be a complex Higgs field, $D_i={\partial }_i-ie{A}_i$, $B={\partial }_1{A}_2-{\partial }_2{A}_1$, and choose the critically coupled static energyDifferent conventions for the scalar kinetic coefficient change the numerical coefficients of both the bound and the equations. This normalization gives scalar and gauge masses $\sqrt{2}e{v}_H$, explaining the critical balance of their long-distance forces. In three spatial dimensions the planar solutions describe straight strings with this energy per unit length.

Finite energy requires $|\psi |\to v_H$ and $D_i\psi \to 0$. On a large circle the Higgs phase winds by $2\pi n$, so the magnetic flux quantization of an Abelian Higgs vortex givesWriting $J_i=\mathrm{Im}(\bar{\psi }{D}_i\psi )$, expansion and integration by parts giveThe divergence integrates to zero for the usual localized vortex boundary conditions. Thus the Bogomolny square completion for an Abelian Higgs vortex isFor $n\ge 0$ the Bogomolny vortex equations and bound areFor $n<0$, reverse the sign in both first-order equations and obtain $E=2\pi v_H^2|n|$.

For a rotationally symmetric positive vortex number, use $\psi =v_{H}f(r)e^{in\theta }$ and the physical angular component $A_{\theta }=na(r)/(er)$. The Bogomolny vortex equations becomewith $f(0)=a(0)=0$ and $f(\infty )=a(\infty )=1$. The regular core behaves as $f\sim c{r}^n$ and $a\sim e^2{v}_H^2{r}^2/(2n)$. Linearization at infinity gives exponentially decaying massive tails. Unlike the radial monopole, these planar radial profiles have no elementary closed form in general.

The general multi-vortex solution can be encoded by the Taubes equation. Away from zeros, write $\psi =v_H{e}^{h/2+i\chi }$. The first equation givesAt zeros $z_a$ of multiplicity $m_a$, the phase contributes circulation $2\pi m_a$. The second equation becomes, including these Dirac delta terms,For prescribed zeros the planar existence result gives a solution; the prescribed-zero construction of planar Abelian Higgs vortices reconstructs smooth fields, with $h=2m_a\log |x-z_a|+O(1)$ near each zero. Uniqueness is visible directly: for two solutions with the same zeros, their nonsingular difference $w$ satisfies $\Delta w=2e^2{v}_H^2(e^{h_1}-e^{h_2})$. Multiplying by $w$ and integrating giveshence $w=0$. The Abelian Higgs vortex moduli space has arbitrary unordered positions of the $n$ zeros, giving $2n$ real position parameters. The saturated energy is independent of their positions, so critically coupled vortices have no static interaction energy. Away from critical coupling this cancellation is lost.

At this critical coupling, construct solutions of the Bogomolny vortex equations rather than superpose isolated vortices, which would not respect the nonlinear field equations. Define $D_j={\partial }_j-i{A}_j$ and $j_k=\mathrm{Im}(\overline{\Phi }{D}_k\Phi )$. Direct differentiation using $[D_1,D_2]\Phi =-iB\Phi$ givesIntegrating the last divergence away under the usual finite-energy vortex boundary conditions and completing the magnetic square yieldsThus positive vortices saturate this Bogomolny bound whenSuch fields solve the static second-order equations: under any compactly supported variation the flux is unchanged, and the first variation of both zero squares vanishes. The bound here is $2\pi N$, twice the bound in the frequently used half-normalized Abelian Higgs model energy.

For the prescribed-zero construction of planar Abelian Higgs vortices, choose arbitrary points $z_a\in \mathbb{C}$ and positive integer multiplicities $m_a$, permitting coincident vortices. Away from the zeros, write $\Phi =e^{h/2+i\chi }$, where $h=\log |\Phi {|}^2$. The first Bogomolny vortex equation givesChoose the phase winding $\chi ={\sum }_a{m}_a\arg (z-z_a)$ locally. Distributionally its curl contributes $2\pi {\sum }_a{m}_a{\delta }_{z_a}$, so the second Bogomolny vortex equation becomes the Taubes equationNear each zero, require $h=2m_a\log |z-z_a|+$ a smooth remainder. The planar existence theorem for this equation gives a solution for every finite multiset of prescribed points, unique in this decaying class; see the original theorem. This elliptic existence result is the nontrivial analytic ingredient of the construction, not a linear superposition assumption.

Reconstruct $\Phi =e^{h/2+i\chi }$ and $A$ from the formulas above. The phase factors have integer winding, so $\Phi$ is single-valued. Near a zero, the modulus and phase combine into $(z-z_a{)}^{m_a}$ times a smooth nonvanishing factor. The singular part of $\nabla \chi$ cancels the rotated logarithmic-gradient part of $A$, so the physical fields extend smoothly through the cores. This produces the desired Abelian Higgs vortices at the selected positions. Their vortex number is $N={\sum }_a{m}_a$. Replacing $(A,\Phi )$ by $(-A,\overline{\Phi })$ constructs the negative-sign antivortex family; the positive construction does not assert arbitrary mixtures of positive and negative cores solve the same first-order equations.

A Bogomolny bound expresses a static field energy as nonnegative squares plus a term fixed by the topological charge or boundary data. Setting the squares to zero gives the first-order Bogomolny equations. Their solutions minimize the energy in that sector and satisfy the second-order Euler-Lagrange field equations, although a general stationary solution need not attain the bound.

For one real scalar in one spatial dimension, take the Lagrangian densityA finite-energy field configuration in this static sector must approach scalar-field vacua ${\varphi }_{\pm }$ with $W^{\prime }({\varphi }_{\pm })=0$ at the two ends. Completing the square gives the square completion for a one-dimensional kink:Choose the sign for which the boundary term is nonnegative. ThusTaking the derivative of the equality equation gives ${\varphi }_{xx}=W^{\prime }{W}^{\prime \prime }=d([W^{\prime }{]}^2/2)/d\varphi$, the static Euler-Lagrange field equation. The boundary term is invariant under deformations keeping the asymptotic scalar-field vacua fixed; it is not a contribution from the local shape of the kink.

For a phi-four kink, let $c>0$, $W(\varphi )=c^2\varphi -{\varphi }^3/3$, and select the sector ${\varphi }_{-}=-c$, ${\varphi }_{+}=c$. Then $W^{\prime }=c^2-{\varphi }^2$, and the increasing Bogomolny equation is ${\varphi }_x=c^2-{\varphi }^2$. Separating variables yieldsThe integration constant $X$ is the translational collective coordinate. Directly, ${\varphi }_K^{\prime }=c^2{\mathrm{sech}}^2(c(x-X))$ and its energy density is $c^4{\mathrm{sech}}^4(c(x-X))$, whose integral is $4c^3/3$. The decreasing antikink has the reversed boundary values, profile $-{\varphi }_K$, and the same energy. A Lorentz boost produces the exact uniformly moving kink $c\tanh [c\gamma (x-X_0-vt)]$, with Lorentz factor $\gamma =(1-v^2{)}^{-1/2}$ and energy $\gamma M$.

In two spatial dimensions, choose the Abelian Higgs model at critical coupling, with $D_i={\partial }_i-i{A}_i$, $B={\partial }_1{A}_2-{\partial }_2{A}_1$, and energyThe gauge covariant derivative is used throughout this normalization. Integration by parts, using $[D_1,D_2]=-iB$, gives $\int |D_i\varphi {|}^2=\int |(D_1+i{D}_2)\varphi {|}^2+\int B|\varphi {|}^2$, with a vanishing boundary divergence for the decaying vortex fields. Combining this identity with the magnetic and potential terms gives the Bogomolny square completion for an Abelian Higgs vortex:Finite-energy field configurations have $|\varphi |\to 1$ at infinity, and $D_i\varphi \to 0$ makes the magnetic flux equal to the phase winding $2\pi N$. For $N>0$,These are the Bogomolny vortex equations for an Abelian Higgs vortex. Opposite signs give antivortices and the bound $E\ge \pi |N|$. The coefficient $\pi$ follows from the explicit energy normalization above; other conventions can give $2\pi$. Static solutions of fixed positive vortex number have equal energy independent of their positions, giving the Abelian Higgs vortex moduli space used for slow dynamics.

Finite energy requires $|\varphi |\to 1$ and $D\varphi \to 0$ on the circle at spatial infinity. Writing $\varphi \sim e^{i\chi }$ there gives $A\sim d\chi$. The vortex number is the winding numberBy Stokes theorem, the magnetic flux is quantized:

For the rotationally symmetric Abelian Higgs vortex ansatz, $A=f(r)d\theta$ and $\varphi =h(r)e^{ik\theta }$ giveAfter the angular integration, the Abelian Higgs model energy becomesCompleting the square in the two pairs of terms givesRegularity at the origin and approach to the vacuum at infinity requireMore precisely, $h(r)=O(r^k)$ and $f(r)=O(r^2)$ near the origin. The boundary term is $k$, soThe bound is saturated exactly when both squares vanish, giving the radial Bogomolny vortex equationsThe asymptotic value $f(\infty )=k$ also makes the flux $2\pi k$, so the ansatz has vortex number $N=k$.

Away from a zero of the Higgs field, writeSeparating real and imaginary parts of $(D_x+i{D}_y)\varphi =0$ givesThus $B=-\Delta u/2$ away from zeros. Combining this with $B=(1-e^u)/2$ givesIf $\varphi$ has a zero of multiplicity $N$ at the origin, its vortex number is the winding number $N$ and $u=2N\log r+O(1)$. Since $\Delta \log r=2\pi {\delta }^{(2)}(\mathbf{x})$ as a distributional identity, the complete Taubes equation isThe boundary conditions for a single $N$-vortex areThe latter is the finite-energy condition $|\varphi |\to 1$.

Choose positions $z_a$ and positive integer multiplicities $m_a$. Solve the Taubes equation with $h\to 0$ at infinity and $h=2m_a\log |z-z_a|+O(1)$ near each position. The planar existence theorem supplies such a solution for every finite multiset of positions; see the original existence theorem. Set $\chi ={\sum }_a{m}_a\arg (z-z_a)$, $\Phi =e^{h/2+i\chi }$ and $A=\nabla \chi -J\nabla h/2$, with $J(v_1,v_2)=(-v_2,v_1)$. The singular terms cancel in $A$, while $\Phi$ has precisely the selected zeros. These fields satisfy the Bogomolny vortex equations, with $B=(1-|\Phi {|}^2)/2$. Their vortex number is ${\sum }_a{m}_a$. Complex conjugation of $\Phi$ together with $A\mapsto -A$ gives antivortices.