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.
To keep the paper's coupling convention explicit, write and use physical coordinates , . Assume and weak coupling . The canonical real scalar field is , and the physical potential is
The symbol is the coupling usually appearing in canonical Sine-Gordon theory; the paper's is its square. The vacua have . A static Sine-Gordon kink has and satisfies . Since , its classical mass is
The topological sector is important: this energy is measured relative to a vacuum, and the kink joins distinct vacua at the two spatial ends. Expanding around a spatially constant vacuum cannot construct this state by any finite-order perturbation in .
For the general one-loop soliton mass correction, start with a canonical scalar field potential and a stable static soliton . Write . The term linear in vanishes by the classical Euler-Lagrange field equation. The quadratic fluctuation Hamiltonian is
Choose a common large box and a common finite-mode regularization in quantum field theory. Expand the nonzero normal modes as , with and normalized eigenfunctions. Each pair is a quantum harmonic oscillator contributing ground-state energy . In the vacuum, replace by . Subtract the two ground-state energies and add the local counterterms evaluated on the soliton relative to the vacuum. This derives the general formula
The prime excludes exact zero modes in field theory from oscillator quantization; their zero frequencies contribute no zero-point energy, but their role in mode counting must not be forgotten. The two sums mean a paired finite regulator, not separate subtractions of divergent answers. Equivalently the nonzero-mode term is the regulated difference of the square-root traces of the two fluctuation operators. Discrete bound states and continuum modes both contribute. This is a vacuum-subtracted soliton mass and the first term in the semiclassical soliton mass expansion.
Translation gives a zero mode in field theory because differentiating the static equation yields . A Gaussian oscillator or an unprimed functional determinant is inappropriate along this flat direction. Replace its amplitude by the position collective coordinate and require the residual fluctuation to obey , preventing double counting. The associated change-of-variables Jacobian supplies the zero-mode normalization. At low speed the collective-coordinate effective Lagrangian for a soliton is ; quantizing the position gives the soliton momentum and its translational states, not an extra oscillator rest energy. More generally, every physical continuous modulus needs a collective coordinate; gauge directions require gauge fixing rather than additional physical states.
The Sine-Gordon kink fluctuation operator is particularly simple:
while . This supersymmetric factorization of the one-soliton potential shows stability and generates all nonzero eigenfunctions from vacuum plane waves. The sole normalizable bound state is the translational zero mode of a sine-Gordon kink, proportional to ; there is no positive-frequency internal bound oscillator. The continuum has and no reflection. Applying to gives a transmission amplitude
This scattering phase shift changes the density of continuum modes. The high-frequency vacuum subtraction cancels the extensive vacuum contribution but still leaves a logarithmic ultraviolet divergence.
The finite part also requires consistent mode-number regularization of soliton masses. The periodic-box phase-shift quantization condition is . Match modes: the kink has its translation mode plus the two continuum modes at each , while the vacuum has the oscillator of frequency and the corresponding continuum pairs. With and , expanding gives
Integration by parts uses and yields
The cutoff surface term for a Sine-Gordon kink tends to . It cannot be dropped merely because : grows at the same time.
A renormalization condition must specify which mass and coupling are held fixed. For vacuum normal ordering, or cancellation of the vacuum tadpole diagram with the elementary mass fixed at , the quartic interaction gives the mass counterterm
Evaluating this Sine-Gordon vacuum tadpole counterterm on the kink gives
The logarithmic ultraviolet divergence cancels, leaving the renormalized one-loop Sine-Gordon kink mass in the stated vacuum scheme:
This example illustrates why a zero mode in field theory must be treated as a collective coordinate, why vacuum subtraction alone need not remove ultraviolet divergences, and why the finite relation between the two regulators matters. Different finite counterterms amount to different definitions of the renormalized parameters; an unregulated frequency difference without a renormalization condition is not a physical mass prediction.
Use the Minkowski metric , , and . The Proca field has nonzero mass . Vary its action, using the fact that the gauge field strength is an antisymmetric second-rank tensor:
The integration by parts discards a boundary term, with the variation fixed at the boundary. Thus the Euler-Lagrange field equation is the Proca equation
The minus sign on is required by the chosen Minkowski metric; after imposing the constraint below, the plane waves have positive energy .
For the real scalar field, the mostly-plus Minkowski metric gives a positive kinetic energy. Its canonical momentum and Hamiltonian operator are
The Euler-Lagrange field equation is , or . Canonical quantization of a real scalar field promotes the fields to Hermitian operators and replaces the equal-time Poisson brackets by canonical commutation relations:
The Heisenberg equation of motion then gives and , so the classical field equation remains an operator identity. Products at coincident points need a regulator; equivalently, the field is an operator-valued distribution.
Resolve the free field into positive- and negative-frequency plane waves. With and ,
Reality pairs the two terms by Hermitian conjugation. The equal-time canonical commutation relations are equivalent to
For example, the two mixed terms in each supply half the Dirac delta function. Thus the normalization is fixed, not optional. Each independent mode is a quantum harmonic oscillator, with and its annihilation operator and creation operator.
Choose the Fock vacuum by . Repeated creation operators construct the bosonic Fock space. Substitution into the Hamiltonian operator yields
where a finite volume can be used as a regulator. Normal ordering sets the flat-space vacuum reference to zero. The spatial momentum operator is
In particular, and . A one-particle state therefore has positive energy, momentum , and invariant mass . A scalar field transforms in the trivial spin representation, so its particles have spin zero. Because the field is real there is only one set of oscillators: the particle is its own antiparticle, with no distinct conserved particle-minus-antiparticle charge. The free theory does conserve its occupation-number sum, though generic scalar interactions need not.
A momentum eigenstate extends throughout space. A localized particle is described by a superposition such as
Its wave packet evolves through the phase ; a narrow packet has group velocity , whose magnitude is at most one. Localization and dispersion concern these superpositions, rather than classical trajectories attached to individual field modes.
Relativistic spacetime behavior is encoded by microcausality. Directly from the oscillator commutators,
This is a Lorentz-invariant distribution and vanishes at equal time. Any spacelike separation can be transformed to an equal-time separation, so for spacelike . Thus local operations at spacelike-separated points commute. The vacuum Wightman function need not vanish outside the light cone, but that correlation does not transmit a controllable signal. The Feynman propagator is
which propagates positive energy forward and negative energy backward in the time-ordered product. For causal response one uses the retarded Green function, whose support lies in or on the future light cone.
Finally, commuting creation operators imply
The multiparticle state is symmetric under the particle exchange operator, which is Bose statistics. For a normalized single mode, the occupation states are with : any number of identical bosons can occupy it. There is no Pauli exclusion principle for these particles. This construction agrees with the Spin-statistics theorem relating integer spin to bosonic exchange symmetry under relativistic locality and positive-energy assumptions. It demonstrates the required scalar case without assuming that theorem as the quantization prescription.
The quantized real scalar field describes positive-energy, mass-, spin-zero bosons that are their own antiparticles; commuting creation operators give Bose statistics, and local field commutators enforce microcausality.
The quantum harmonic oscillator has , with . Using and the canonical commutation relation gives
For , the Wronskian normalization is
Consequently
Equality requires and . The minimum-energy normalized oscillator mode is therefore
The constant phase is irrelevant. This mode also solves the oscillator equation of motion; an arbitrary squeezed mode would have larger vacuum energy.
For inflation, introduce the Mukhanov-Sasaki variable . Since depends only on conformal time,
Integrating the cross term by parts gives the canonical bulk action
up to the boundary term . The resulting Euler-Lagrange field equation and its Fourier transform are
At leading order in the slow-roll approximation, retain a small positive, nearly constant in , while approximating and as constant. Then , so
Strict exact de Sitter spacetime would have and would not supply the nonzero curvature kinetic coefficient assumed here; the calculation is the leading quasi-de Sitter limit, not a substitution of zero into .
For , the expansion correction is negligible and each canonical mode is a quantum harmonic oscillator of conformal frequency . The Bunch-Davies vacuum selects its positive-frequency, minimum-energy mode in that early subhorizon regime. It does not minimize an instantaneous Hamiltonian after the effective squared frequency has become negative outside the horizon.
A basis of exact solutions to the leading mode equation is and its complex conjugate. Write the normalized Bogoliubov transformation combination as
The Bunch-Davies vacuum boundary condition sets and up to phase. Hence
Substitution verifies the equation, and verifies the Wronskian normalization.
Dividing by gives the comoving curvature perturbation variance
This is the dimensional slow-roll curvature power spectrum in the printed normalization, with the reduced Planck mass set to one. The corresponding dimensionless cosmological power spectrum is , which is independent of at this order. Restoring the reduced Planck mass divides both power expressions by . Slowly varying background quantities are evaluated near each mode's horizon exit; their variation generates the small departure from exact scale invariance.
Choose boundary states with nonzero overlap with the lowest-energy state in the vacuum sector and in the one-kink topological sector . In a finite spatial box, a fixed scalar field configuration eigenstate may be used formally, with temporal endpoints equal to the chosen configuration. More generally, smear the endpoints with wavefunctionals . Their unitary time evolution kernels are
The inner scalar field path integral remains in the chosen topological sector, with . A zero-total-momentum projection can be included to select the rest state; alternatively, the translational prefactor does not change the large-time exponential. After a Wick rotation to physical Euclidean time , the energy eigenstate expansion gives . Thus the exact vacuum-subtracted soliton mass is
Equivalently it is at large time with a damping prescription. The ratio subtracts the vacuum energy; the Hamiltonian operator and action here are the fully regulated and renormalized ones, not merely their classical approximations.
With the dimensionless coordinates of this paper, the correctly normalized classical action is
For the static Sine-Gordon kink, and , so . Write . Expanding and integrating by parts gives
The first variation is , plus boundary terms. It vanishes because the kink satisfies the Euler-Lagrange field equation and the fluctuations have the prescribed temporal endpoints and admissible spatial boundary behavior. This is the principle of stationary action, not a symmetry assumption about .
The printed expansion omits despite the stated Lagrangian density. Its displayed form is the expansion of ; it is not the physical at arbitrary coupling. Alternatively, writing puts the quadratic term in canonical normalization, while leaving the classical term unchanged. This normalization repair does not change or the physical fluctuation frequencies.
The Sine-Gordon kink fluctuation operator has the useful factorization
It is nonnegative, and gives the normalized translational zero mode of a sine-Gordon kink:
A displacement changes by . Thus the zero mode in field theory is the position collective coordinate of the kink, reflecting translation invariance. It has no restoring force and no oscillator zero-point energy. Integrate that collective coordinate separately rather than inserting a zero factor into the Gaussian functional determinant.
Figure 1.
Sine-Gordon kink fluctuation potential and normalized translational zero mode
. Details.
In the Gaussian fluctuation approximation, the formal oscillator contribution to the one-loop soliton mass correction, before adding any counterterm, is
Use a common regulator for the two sums, include all discrete modes, and treat the translation mode as above. The vacuum sum is essential: subtracting only classical vacuum energy would leave an extensive oscillator energy. A periodic fluctuation and its derivative are matched at the two ends of the large box; the one-kink background lies in the twisted topological sector, and its infinite-line profile is accurate up to exponentially small boundary corrections.
For a continuum scattering wavefunction, equality of its two asymptotic values gives the periodic-box phase-shift quantization
Away from the threshold, expand at a matched mode number:
Since consecutive free wave numbers are separated by , replacing the continuum-mode sum by an integral proves the displayed continuum contribution:
The ultraviolet cutoff is retained until the counterterm is added.
There is a finite threshold issue if this expression is identified with the complete oscillator correction. It can be settled directly using the factorization: a continuum eigenfunction is . Its transmission phase obeys
with the odd phase branch that tends to zero at large . For , the continuum roots have labels ; there is no periodic continuum root at , since the limiting eigenfunction has opposite signs at the two ends. The bound state at replaces the free oscillator with . Consequently, in mode-number regularization of soliton masses,
The PDF's continuum-only formula misses this finite under this standard phase and mode-counting convention. It has the correct logarithmic ultraviolet divergence, but the missing term is not suppressed by large . Changing the phase branch requires changing the mode labels and endpoint terms consistently; it cannot erase a physical mode from the formal spectrum sum.
At high momentum, , so both expressions have divergent part . The canonical field has a quartic interaction with coupling . Its vacuum tadpole diagram shifts the squared mass by , where
The Sine-Gordon vacuum tadpole counterterm has and adds potential energy density . Since , its vacuum-subtracted kink energy is
which cancels the logarithmic ultraviolet divergence. Finite parts require a specified renormalization condition. As a consistency check, with this tadpole subtraction and matched mode-number cutoff, integration by parts yields
The complete semiclassical soliton mass is then in that convention. This last finite result uses the bound-mode term and is additional to the requested ultraviolet cancellation.
Write . The additional gauge fixing variation is . Integration by parts gives the Euler-Lagrange field equation , hence . This equation follows from the gauge-fixed density without imposing as a separate operator identity.
Direct differentiation of the density as printed gives the canonical momentum components conjugate to the lower-index fields:
There is a boundary-term convention to reconcile with part (c). The Feynman-gauge Maxwell kinetic density after a boundary-term subtraction is
It has the same Euler-Lagrange field equations, but its canonical momentum components are . The mode expansion supplied in part (c) is the expansion of these latter momenta. Thus it is valid after the stated boundary-term subtraction; it is not the direct derivative of the original density. For example, a time-independent spatially varying with gives but .
The boundary-term shift of canonical field momenta is a canonical transformation. If spatial boundary terms vanish, , and . This explains why the two conventions have the same dynamics while their momentum formulas differ.
Use a local first-derivative Lagrangian density with sufficient differentiability, and let variations have compact support or vanish at the spacetime boundary. If the phrase “a function of the field” were read literally as forbidding derivatives, the equation below would reduce to ; a propagating field requires derivative dependence. Varying the action gives
Integration by parts and arbitrary interior variations yield the Euler-Lagrange field equation,
The boundary condition is part of this derivation; if boundary variations are allowed, their separate boundary equations must also be imposed.
A variational symmetry of a Lagrangian density is an infinitesimal field change for which off shell. Equality to zero is sufficient but is not necessary: a divergence changes only the boundary contribution to the action. For fixed-coordinate field variations,
Equating the two expressions proves the scalar-field form of the Noether theorem:
Thus every differentiable one-parameter variational symmetry gives a conserved current, and its Noether charge is constant when the spatial boundary flux vanishes. This is the Noether current for a first-derivative scalar field; the same identity applies to several real components by summing over them. Identically conserved improvement terms can change its local expression without changing the charge under the same boundary assumptions.
For an active spacetime translation, and . If the Lagrangian density has no explicit coordinate dependence, , so . The Noether current is , where
These four translation currents are the canonical stress-energy tensor, also called the energy-momentum tensor. The sign in follows from the chosen active translation; the translation charges themselves can be labelled by .
For the free real scalar field, take the standard kinetic term and mass term. Its Lagrangian density and Klein-Gordon equation are
Here , so . Raising the charge index gives the four-momentum of a free real scalar field,
The first is total energy, and the three components of the second are physical spatial momentum. With signature , ; this explains the opposite sign if the conserved quantities are instead written with lower spatial indices. For example, a plane wave proportional to has momentum density along , confirming the sign. All charges require convergence of the integrals and vanishing boundary flux, or periodic boundary conditions in a finite box.
For the complex scalar field, treat and as independent variables when varying, equivalently use their two real components. The global phase symmetry of a complex scalar field is , for constant . Both the kinetic term and are invariant. This is a global internal symmetry of a classical field theory with circle group ; a spacetime-dependent phase would require a gauge connection.
Choosing this orientation for the phase parameter gives the Noether charge of a complex scalar field:
To check conservation directly, the Euler-Lagrange field equations are and their complex conjugates, assuming a real differentiable potential. Hence . Reversing the phase-parameter orientation reverses the current and charge, which is merely a convention. For a scalar carrying electric charge , the physical electric charge is after electromagnetic coupling. In a neutral theory the same global charge can instead label an internal conserved quantum number; the density alone does not identify it automatically with electricity.
Take , , use metric and set . The two scalar-field vacua are ; the positive kink joins at the left end to at the right. The square completion for a one-dimensional kink gives
Thus its Bogomolny bound is . Equality requires ; separating variables, or differentiating the resulting hyperbolic tangent, gives
is the translational collective coordinate. The antikink is for the centered odd profile. Differentiating the first-order equation gives the static Euler-Lagrange field equation . Hence the Bogomolny equation really does solve the second-order theory. The two distinct vacua and the above kink require the positive parameters; the degenerate case , or the unstable negative- potential, does not have this topological kink sector.
For a slowly moving kink, put . The saturated first-order equation implies , so
The stress-energy tensor has and . Using in the approximate translate therefore gives and . Equivalently, substitution into the action gives the collective-coordinate effective Lagrangian . These are the translational dynamics of a phi-four kink, with
The displayed remainder orders refer to the exact constant-velocity solution. The uncontracted translated profile is only an approximation: its error as a field starts at , but the static profile is an energy stationary point, so the corresponding static-energy error starts at and does not change the displayed coefficient.
Since the relativistic action is invariant under Lorentz transformations, a Lorentz boost gives the exact moving kink, for ,
Its conserved energy and momentum are and , whose expansions agree with the preceding calculation. The width contraction is essential to solving the exact time-dependent equation.
Use the centered profile . An appropriate approximate separated-lump initial condition is
It tends to as and as . Near and it is a positive kink, and near zero it is an antikink; the other two tails cancel to exponentially small accuracy. The condition makes these interpretations accurate. This sum is legitimate smooth initial data, not an exact static multi-kink solution. Its topological charge is
and its energy is close to , with exponentially small interactions.
Adjacent kink–antikink pairs attract: the kink–antikink attraction from the stress tensor gives a negative midpoint pressure and hence an inward force on each outside kink. Direct overlap of the two outer kink tails is exponentially smaller than each adjacent kink–antikink overlap. The initial field is odd and its velocity zero, so the equation's reflection-plus-sign symmetry preserves . The central zero remains at and the outer cores move in symmetrically. They collide with the central antikink. Excess energy can excite localized kink oscillations and outgoing radiation; the usual relaxational outcome is a remaining centered kink plus radiation after transient collisions or oscillations. On an infinite line radiation can carry energy away from the core even though total energy is conserved. Conservation of prevents complete disappearance into vacuum, but it does not determine every bounce or exclude a temporarily re-emerging kink–antikink pair. The nonintegrable collision should not be described as exact elastic passage of all three solitons.
In conformal gauge, . The Weyl invariance of the Polyakov action removes , leaving
Its complete variation is
Fix the string embedding map on the initial and final time slices. The interior Euler-Lagrange field equation is the wave equation
At each spatial endpoint the remaining variation vanishes under either Dirichlet boundary conditions, , or Neumann boundary conditions, , independently for each target-space component. Thus a fixed endpoint or a free endpoint makes the boundary contribution vanish. Fixing a spatial point throughout time imposes Dirichlet boundary conditions on its spatial coordinates, while the time coordinate may retain Neumann boundary conditions.
The independent metric tensor equation must also be retained after gauge fixing. Its Virasoro constraints are
Together with the wave equation, these ensure equivalence to the Nambu–Goto action; varying only the already fixed metric would lose these Virasoro constraints.
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 density
A finite-energy field configuration in this static sector must approach scalar-field vacua with 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. Thus
Taking the derivative of the equality equation gives , 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 , , and select the sector , . Then , and the increasing Bogomolny equation is . Separating variables yields
The integration constant is the translational collective coordinate. Directly, and its energy density is , whose integral is . The decreasing antikink has the reversed boundary values, profile , and the same energy. A Lorentz boost produces the exact uniformly moving kink , with Lorentz factor and energy .
In two spatial dimensions, choose the Abelian Higgs model at critical coupling, with , , and energy
The gauge covariant derivative is used throughout this normalization. Integration by parts, using , gives , 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 at infinity, and makes the magnetic flux equal to the phase winding . For ,
These are the Bogomolny vortex equations for an Abelian Higgs vortex. Opposite signs give antivortices and the bound . The coefficient follows from the explicit energy normalization above; other conventions can give . 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.
The Euler-Lagrange field equation obtained by varying the nonminimally coupled scalar field is
One can check stress-energy conservation directly. The divergence of the kinetic contribution is , because second derivatives of a scalar commute. With , the contracted Bianchi identity gives , while the Ricci identity gives
Consequently
Since , the full stress-energy tensor satisfies
The general reason is the diffeomorphism Noether identity for a scalar field. Under the Lie derivative along a compactly supported vector field , and . Invariance of the action under diffeomorphisms gives, after integration by parts,
Arbitrariness of gives the same divergence identity. Conservation requires the scalar equation of motion, with no need to impose the Einstein field equations for the background metric.
In conformal time, and . The inflaton action in an expanding universe becomes
Vary with compact support, integrate the derivative terms by parts, and discard the boundary term. The Euler-Lagrange field equation is
Dividing by proves
The factor two is the conformal-time form of Hubble friction. Using converts it to the usual inflaton equation of motion , providing a sign and normalization check.
A continuous symmetry is a family of transformations depending continuously on parameters for which the action is unchanged, possibly up to a spacetime boundary term. For an infinitesimal field variation , a Noether current obeys
when the Euler-Lagrange field equation holds. Its Noether charge
is conserved provided the flux vanishes.
Noether theorem gives the implication from a differentiable global variational symmetry to an on-shell conserved current. A conserved current gives a conserved charge only under suitable boundary and convergence conditions. Conversely, a conserved charge generates a continuous symmetry through Poisson brackets classically or a commutator quantum mechanically when a regular Hamiltonian formulation exists. Currents can be changed by identically conserved improvement terms, and inverse Noether statements require regularity and the exclusion of such trivial currents, so the three notions are related but not literally in one-to-one correspondence.
For spacetime translations, the canonical stress-energy tensor is
For
raising the second index gives the symmetric tensor
Translation invariance gives four conserved currents , one for each fixed , and the four conserved charges are the four-momentum
is the energy and is the spatial momentum.
The Lorentz transformation variation of a scalar is generated solely by its argument. The corresponding Lorentz current is
Using and symmetry of ,
In particular, conservation of the boost charge
implies
The quantity denoted in the question is therefore the conserved momentum component , assuming the same vanishing boundary flux.
The chain rule and
give
Applying the same rule to and in the Euler-Lagrange field equation yields the exact modulated equation
Multiply this equation by . Since and are independent of the fast phase,
The product rule then rearranges the field equation into the exact modulated-wave first integral
Average this identity over one period in . Periodicity kills the first term, while differentiation of the averaged Lagrangian gives
Consequently
The same two equations follow directly from the modulated variational principle. Varying gives
which is the exact field equation above. For a variation of , use and . Integration by parts in and gives the averaged equation. Thus variation with respect to the periodic profile reproduces the local wave equation, whereas variation with respect to its slow phase gives the Whitham modulation equation for wave action.