For the usual canonical scalar field theory, subtract the vacuum energy so that the potential is nonnegative, and write the static energy in space dimensions as
Assume finite energy and sufficient decay to justify the scaling variation, with a fixed vacuum at infinity. Under Derrick scaling ,
A static solution must be stationary under this admissible variation. Thus the Derrick virial identity is
For both terms are nonpositive, and the coefficient of is strictly negative. Therefore : the field is a constant vacuum. This proves the Derrick theorem under its hypotheses. Negative potentials, additional derivative terms, gauge fields or time dependence can invalidate this particular obstruction; it is not a theorem about arbitrary energy functionals.
A non-topological soliton can instead be supported by a conserved ordinary Noether charge. For a complex scalar field with global invariance, take and let . In the normalization with kinetic density , its charge is . At fixed charge, eliminating gives
The charge-constrained scalar-field scaling now reads
The positive scaling power of the charge term can balance the others even for . Such a Q-ball is time-dependent although its energy density is stationary, and the fixed-charge variational problem is different from the static one.
Suitable potentials permit this mechanism in any spatial dimension. For example, suppose for and the ratio below attains a strictly positive minimum:
Such a potential can favor a large region of nearly constant nonzero amplitude. At its preferred amplitude, the bulk terms minimize at , with energy about . A wall has surface energy of order , lower order than the bulk term for every fixed . For large charge the energy can therefore be below the free-particle threshold . This explains how a localized fixed-charge solution may exist and resist dispersal. Existence and stability still require a suitable potential and charge range; not every complex-field theory or every member of a rotating family is a constrained minimum.
For the particular one-dimensional profile, substituting the rotating field into the equation gives
Multiplying by shows that
Both and vanish at infinity, so the integration constant is zero. Hence
Here . This potential is not globally bounded below; the existence of the displayed localized solutions alone does not prove their nonlinear stability.
Use metric signature and set
The Lorentz boost of a Q-ball gives
The peak follows . Because the equation is Lorentz invariant and the field is a scalar, this is again a solution.
The canonical stress-energy tensor gives the energy and signed physical momentum at fixed time:
The minus sign agrees with the scalar-field momentum flux in the chosen signature. For the boosted field,
and
The first integral gives . Changing variable to , so , yields
Thus the rest-energy normalization and the relativistic energy-momentum relation are
Choose orientation and the anti-Hermitian basis in the question. The Pauli matrix commutator identity gives . Define the gauge curvature and adjoint covariant derivative by
For a compactly supported variation ,
Antisymmetry and the invariant Lie-algebra inner product therefore give
Covariant integration by parts is valid because
. Thus the Euler-Lagrange field equations are
The Euclidean Hodge star operator on two-forms is
The Anti-self-dual Yang-Mills equations mean .
The gauge-theory Bianchi identity is
To prove it, act on the defining representation with . Its commutator is multiplication by . The operator Jacobi identity for becomes multiplication by the displayed cyclic sum, which must vanish. Equivalently, substitution of into cancels the ordinary derivatives, leaving the Lie-algebra Jacobi identity. Contracting the cyclic identity with the alternating tensor gives . If , this is exactly , proving the first-order-to-second-order implication without assuming the field equations.
Let
All squared component sums below include both orders of each antisymmetric pair, as does the printed energy. Since the Hodge star preserves this norm,
Consequently . An anti-self-dual field has and saturates the first bound. Among all finite-energy potentials with the same value of , it therefore has the absolute minimum . For positive , the saturating sign is self-duality instead; there cannot be a nonzero anti-self-dual solution in that sector. This is the Yang-Mills instanton Bogomolny bound in the paper's normalization.
For the topological meaning, regard as a matrix-valued two-form. Since ,
In the Second Chern number convention used here,
With the standard instanton boundary condition, the connection approaches a pure gauge at infinity and extends to a bundle over the compactified four-sphere. This makes an integer, the instanton number; reversing the orientation or using the opposite charge convention reverses its sign. The square-completion argument itself does not require quantization or a chosen framing.
One can see the boundary interpretation directly. The Chern-Simons 3-form obeys
For an asymptotic potential , the flatness identity gives
This is the winding number of , with the corresponding orientation convention. Smooth variations preserving that boundary class cannot change it. Thus the integral in the question labels the topological sector of the Yang-Mills instanton, and in an anti-self-dual sector the energy is with in our convention.
Put , , , and . Because the inverse-density Abelian Higgs model contains , its finite-energy admissible class matters at zeros of the Higgs field. First derive the formal equations on the open set where ; on the first-order solutions below the potentially singular quotients extend across the zeros.
For variations and ,
Covariant integration by parts in the scalar term, and ordinary integration by parts in the magnetic term, give
where . Here
Thus the Euler-Lagrange field equations are
Equivalently the gauge equation is . The current sign follows from the explicit choice .
For the Bogomolny bound for the inverse-density Abelian Higgs model, compute
using . Expanding the first square gives
so
Also,
The current boundary integral vanishes by the assumed rapid decay. Combining the identities therefore gives
For fixed positive flux the minimum is , attained when the Bogomolny equations are
The quotient at a zero is understood through the finite-energy limit, not by dividing a literal nonzero numerator by zero.
These equations imply the second-order equations directly. Applying to the first gives . On the second equation,
which is exactly the scalar equation. The first equation also implies and . Since , the gauge equations follow too. All these coefficients are regular across zeros for smooth first-order fields.
For the scalar reduction, write away from its zeros. Separating the real and imaginary parts of the first Bogomolny equation gives
Thus, with the oriented planar Hodge star , ,
away from the zeros. A zero of multiplicity has and phase winding . The multiplicities are positive: locally the first-order equation is a covariant Cauchy–Riemann equation, and a nonvanishing integrating factor turns its solutions into holomorphic functions. Distributionally,
Consequently the logarithmic equation for inverse-density Abelian Higgs vortices is
The delta terms are essential for multi-vortex reconstruction; omitting them would lose the specified zeros and flux.
Here is an explicit regular reconstruction, which also removes all artificial singularities. Given distinct locations and integer multiplicities, put
Since , solving the smooth nonlinear elliptic problem for amounts to
Let and let represent . A smooth solution with the topological decay reconstructs
These formulas are smooth at every prescribed zero and agree with the phase formula off the zeros. Taking a curl and using the equation for verifies ; substitution verifies the other first-order equation. At infinity the phase winds times, producing flux . Thus multi-vortex construction reduces to solving one scalar elliptic boundary-value problem for specified positions and multiplicities, followed by these explicit formulas.
For the topological branch, : a positive interior maximum would have , whereas the equation there gives . At infinity, the linearized scalar equation is . Comparison barriers and elliptic estimates give the decaying tail for regular topological solutions, and hence the required decay of and . The nonlinear elliptic problem determines ; the reconstruction formulas do not constitute an arbitrary superposition of single-vortex profiles.
For a gauge-field configuration, spatial symmetry means symmetry up to gauge transformation: the pullback of the fields by a spatial isometry lies in their original gauge orbit. In the anti-Hermitian convention,
The potential and charged fields need not be strictly fixed in a particular gauge; their gauge-invariant observables must be fixed.
For example, the Abelian potential describes a uniform magnetic field. Translating by adds , a gauge change, although the potential itself changes. For an axially symmetric vortex , , rotation through multiplies by ; a constant transformation compensates. These illustrate why literal invariance of the representative is too strong.
For the 't Hooft-Polyakov monopole, a spatial rotation has an lift with adjoint action . The two lifts differ by a central sign and act identically on adjoint fields. The hedgehog ansatz for a monopole satisfies
The second identity follows from invariance of under simultaneous rotations of all three indices. Thus the pulled-back fields are obtained by the constant gauge transformation ; applying restores the representative. In particular and the energy density are radial even though is not literally invariant under rotating space alone.
For the field equations, use the invariant inner product with . Since , a variation , gives
Here the scalar kinetic contribution to the gauge variation uses
. The Euler-Lagrange field equations for the energy actually printed are
The PDF has , without a square. This is not the usual nonnegative monopole potential with vacuum . If the usual were intended, only the scalar equation would change to
The final requested proof at is identical for either interpretation; we do not silently alter the printed energy.
To derive the covariant derivative of the radial fields, first differentiate the Higgs profile:
The commutator term is
Adding the two terms gives exactly
The radial eigenvalue of the supplied magnetic tensor is , while that of this covariant derivative is . Its transverse coefficients are respectively and . Consequently reduces to
Equivalently, the hedgehog monopole equations in radial profile variables with are
These are two equations rather than an overdetermined system: radial and transverse projections span the two invariant tensor structures. For a regular monopole in this hedgehog sector, smoothness at the origin gives , , while the normalized vacuum conditions give , at infinity; solving the ODEs is not needed here.
Finally, prove that the Bogomolny monopole equations imply Yang-Mills-Higgs equations, without restricting to the radial ansatz. The three-dimensional gauge-theory Bianchi identity is . If , then
which is the scalar equation at . For the gauge equation,
In the second line antisymmetry eliminates the symmetric derivative part; the curvature commutator is . The next equality uses
and . These are exactly both field equations at , so every smooth Bogomolny solution satisfies them, not merely those of the hedgehog form.
For finite-energy monopoles, the associated energy argument is also transparent:
The gauge-theory Bianchi identity converts into this boundary term. At fixed asymptotic magnetic charge, saturates the Bogomolny bound. This complements the local differential proof above and explains the energy-minimizing role of the first-order equations.

Articles by others on the same topic (0)

There are currently no matching articles.