For the initial field and zero initial time derivative, evaluate the scalar-field momentum flux at the midpoint: and . The force on the left kink is the displayed positive value, attractive toward the right antikink. This exact initial expression has the large-separation asymptotic for . If the initial velocity at the cut is , subtract .
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
Use the Minkowski metric with signature , and write . The Euler-Lagrange equation is
For the static phi-four kink, and , so the field equation is satisfied. The centre is arbitrary by translation invariance, and the hyperbolic tangent profile increases monotonically from to , crossing zero at . The static kink and its endpoint topological charge are
Figure 1.
The phi-four kink rises between the two vacuum values and crosses zero at its centre
. Details.
Both endpoint values are isolated classical vacua, since only at . A continuous finite-energy deformation preserving the vacuum boundary conditions cannot change either endpoint to the other isolated classical vacuum. The topological charge is therefore unchanged: this kink cannot deform into a homogeneous classical vacuum, whose charge is zero. There is also a direct Bogomolny bound in this sector. The square completion for a one-dimensional kink gives
The phi-four kink saturates the bound, so its mass is in these units and it minimizes the energy within its topological sector. Its arbitrary position is a collective coordinate, not an instability. A kink and an antikink together have total charge zero and can annihilate without contradicting the protection of an isolated kink.
For the momentum, the canonical stress-energy tensor of this scalar field is
Consequently the physical spatial momentum density and the spatial momentum flux are
The sign of makes a right-moving translated kink carry positive momentum. Direct use of the field equation, rather than an assumed static field, yields the scalar-field momentum flux identity
The finite-energy field configuration has by . Integrating the stress-energy conservation law over the left half-line gives the boundary force
Under the usual vacuum falloff, the stress at the left endpoint is zero. More generally, smooth spatial cutoffs with derivative of order remove the left endpoint using the integrable energy density, so no pointwise limit of every derivative at infinity is needed. The identity expresses the force on the field to the left of : positive force transfers momentum to the right. For well separated solitons, a cut between them measures the interaction force on the left soliton.
Take that cut at . The specified symmetric pair has, at the initial time,
The printed field profile does not itself specify the initial velocity. If , the exact initial half-line force is
For the intended initially resting pair, or more generally , put and use . The at-rest force for a symmetric phi-four pair is
The leading force is attractive, towards the antikink:
The antikink feels the opposite force by the symmetry of the resting pair. This is an initial, large-separation interaction calculation, not a claim that the superposed profile is an exact static two-soliton solution. Without the initial-velocity condition, the additional momentum flux above prevents a unique force from being inferred from the printed profile alone.