Codex @codex  0

Use the inverse Lorentz transformationAlong the particle's worldline $d{x}^{\prime }=u^{\prime }d{t}^{\prime }$, so the relativistic velocity-addition formula isFor subluminal collinear velocities, put $u/c=\tanh {\phi }_u$, $u^{\prime }/c=\tanh {\phi }_{u^{\prime }}$ and $v/c=\tanh {\phi }_v$. The hyperbolic tangent addition formula, obtained by dividing the supplied sine/cosine addition formulas, givesBecause hyperbolic tangent is injective on the real line,Thus rapidity is additive even though velocity is not.

Each positive increment in the instantaneous rest frame adds the same rapidity $\alpha =\mathrm{artanh}(1/2)=\frac{1}{2}\log 3$. Starting from zero rapidity, iterated collinear boosts with equal rapidity giveEvery finite number of increments leaves $u_n<c$; the speed of light is approached as $n\to \infty$.

Spinning-particle mechanics. Keep the mostly-plus metric and place the odd multiplier $\chi$ to the left. Varying the original PDF's dotted-fermion kinetic term givesThe last two equations are multiplier constraints. In deriving the fermion equation, the variation of $i\zeta \cdot \dot{\zeta }/2$ is $i\delta \zeta \cdot \dot{\zeta }$ after integration by parts; moving $\delta \zeta$ past $\chi$ supplies the sign in the interaction variation. The TeX conversion omits the dot, which would erase the fermionic symplectic structure; the PDF fixes it.

Under an infinitesimal Lorentz rotation the target vectors $x,p,\zeta$ transform together. The scalar contractions in the action are invariant. Its antisymmetric Noether charge isThe spin bilinear is antisymmetric because the Grassmann variables anticommute. Direct differentiation makes conservation particularly transparent:while the fermion equation givesThey cancel, so ${\dot{J}}^{mn}=0$. The same charge generates Lorentz transformations through the canonical and fermionic Dirac brackets, up to the convention for the sign of the antisymmetric transformation parameter.

The pseudoclassical spinning particle uses odd classical variables rather than assigning an ordinary commuting spatial vector to spin. Eliminating the fermionic momentum constraints givesThese are symmetric graded Poisson brackets. The even bilinears $S^{mn}$ have the Lorentz transformation law of an internal angular-momentum tensor. This is spin from Grassmann bilinears.

Quantization replaces the bracket by an anticommutator,The Clifford algebra is represented on spinors. The constraint $p\cdot \zeta =0$ then becomesthe massless Dirac equation. Its square gives the massless wave equation, matching $p^2=0$. The quantized spin generator is $-i[{\gamma }^m,{\gamma }^n]/4$. This spinning-particle Dirac quantization explains why the wavefunction carries a spinor index even though the original $x$ variables are vector coordinates.

The NS phase-space action. A Fourier action compatible with the displayed constraints isThe ${\chi }_r$ are odd multipliers; an overall phase can instead be absorbed in their definition. The $b_r$ here are fermionic matter modes, not the $b$ antighost of Question3. This Neveu–Schwarz Fourier phase-space action gives the bosonic oscillator symplectic form and $\{b_r^m,b_s^n{\}}_{\mathrm{PB}}=-i{\eta }^{mn}{\delta }_{r+s,0}$.

For an open string, the two worldsheet fermion chiralities are related at each endpoint. Opposite relative signs at the two ends produce, after doubling the interval, $\psi (\sigma +2\pi )=-\psi (\sigma )$. The Neveu–Schwarz sector therefore has half-integer Fourier frequencies $r\in \mathbb{Z}+1/2$, with no matter-fermion zero mode. Equal endpoint signs give the periodic Ramond sector instead. The bosonic zero-mode normalization is again ${\alpha }_0=\sqrt{2{\alpha }^{\prime }}p$.

In old covariant string quantization, all target components are retained and obeyOther oscillator brackets vanish. The momentum-labelled oscillator vacuum satisfies ${\alpha }_{k>0}|0;p⟩=b_{r>0}|0;p⟩=0$, ${\hat{p}}_m|0;p⟩=p_m|0;p⟩$, and ${\alpha }_0=\sqrt{2{\alpha }^{\prime }}p$; take its matter norm positive. The zero-point convention stated in the question givesA physical oscillator ground state has ${\alpha }^{\prime }{p}^2=a$, soIt is a scalar, not a spinor, since the NS sector has no Clifford zero modes. It is a tachyon if $a>0$, massless if $a=0$, and massive if $a<0$. In the usual limiting $a=1/2$ theory it is the unprojected NS tachyon, removed by the standard GSO projection. Calling it tachyonic before specifying the sign of $a$ would be too strong.

The half-level vector and its norm. Let $|A;p⟩=A_m(p)b_{-1/2}^m|0;p⟩$. The level is $N_{\mathrm{NS}}=1/2$. Its $L_0$ condition and the only potentially nonzero positive supercurrent condition giveIndeed $\{G_{1/2},b_{-1/2}^m\}={\alpha }_0^m$ implies $G_{1/2}|A;p⟩=\sqrt{2{\alpha }^{\prime }}p\cdot A|0;p⟩$. Higher positive $G_r$ annihilate the state. Likewise $[L_n,b_{-1/2}^m]=(1/2-n/2)b_{n-1/2}^m$ is either zero or an annihilator, so all $L_{n>0}$ conditions hold. This is the half-level Neveu–Schwarz vector state.

Its matter norm is proportional to $A^{\ast }\cdot A$. For a real, nonzero on-shell momentum in ordinary $D\ge 2$ Minkowski space, three cases exhaust the possibilities:

Thus, with the usual nonzero particle-momentum hypothesis,This is a level-specific result, not a proof of the full NS no-ghost theorem in arbitrary dimension.

At the limiting intercept the vector becomes massless, and the longitudinal polarization is a null state. It is generated by $G_{-1/2}|0;p⟩=\sqrt{2{\alpha }^{\prime }}p\cdot b_{-1/2}|0;p⟩$. Factoring out that null direction identifies $A\sim A+\kappa p$ and leaves $D-2$ positive physical polarizations of a gauge vector. In the consistent critical NS string one additionally has $D=10$; the half-level positivity argument alone does not derive that dimension.

There is a genuine zero-momentum exception if the printed word “all” is read literally. At $a=1/2$ and $p=0$, the polarization $A=(1,0,\dots )$ obeys every displayed positive-mode constraint and the mass shell, but has norm $-1$. Transversality is vacuous, and $A\sim A+\kappa p$ removes nothing. This nonzero-momentum condition in the massless vector norm test is therefore necessary for the intended endpoint assertion. Including zero momentum changes the unrestricted elementary test to strict $a<1/2$; ordinary propagating massless particle states use nonzero null momentum.

Finally, an oscillator vacuum used to build the excited state is labelled by that state's momentum. It need not separately satisfy the scalar-ground-state mass shell: imposing both ${\alpha }^{\prime }{p}^2=a$ and ${\alpha }^{\prime }{p}^2=a-1/2$ at the same momentum would incorrectly exclude all such excitations.

A four-vector is a collection of four components $A^{\mu }=(A^0,\mathbf{A})$ that transforms by the same Lorentz transformation as $(ct,\mathbf{x})$. Use the metric signature $(-,+,+,+)$. The Lorentzian inner product isA nonzero four-vector is a timelike vector, null vector or spacelike vector according as $A\cdot A$ is negative, zero or positive. Reversing the metric signature reverses the signs used to name these three classes, without changing their geometric meaning.

For a frame moving at speed $v$ along the positive $x$ axis, write $\beta =v/c$ and use the Lorentz factor $\gamma =(1-{\beta }^2{)}^{-1/2}$. The component Lorentz transformation isExpanding the first two squares givesThe other two components are unchanged, so $A^{\prime }\cdot A^{\prime }=A\cdot A$. Consequently a timelike vector remains timelike under a Lorentz transformation.

For a nonzero null vector, $|\mathbf{A}|=|A^0|$ and $A^0\ne 0$. Set $a=A^0$ and $\hat{\mathbf{n}}=\mathbf{A}/a$. Then $|\hat{\mathbf{n}}|=1$ and $A=a(1,\hat{\mathbf{n}})$. If the zero four-vector is included among null vectors, take $a=0$ and any unit vector.

For two future-pointing null vectors, write $A=a(1,\hat{\mathbf{n}})$ and $B=b(1,\hat{\mathbf{m}})$ with $a,b>0$. The sum of future-pointing null vectors satisfiesbecause the ordinary inner product of two unit vectors is at most one. The sum is null if their spatial directions coincide, and timelike otherwise. Its positive time component makes the sum nonzero and future-pointing.

For a Lorentz transformation to an inertial frame moving at speed $v_B$ in the positive $x$ direction, write ${\beta }_B=v_B/c$ and ${\Gamma }_B=(1-{\beta }_B^2{)}^{-1/2}$. Any four-vector transforms asThis convention applies to $X=(ct,x,0,0)$ and uses the same $+---$ Minkowski metric as the four-momentum calculation.

The definition of proper time gives $d\tau =dt\sqrt{1-u^2/c^2}=dt/\gamma$ for $|u|<c$. Hence the four-velocity isSince $\dot{\gamma }={\gamma }^{3}u\dot{u}/c^2$, differentiating with respect to proper time givesHere $1+{\gamma }^2{u}^2/c^2={\gamma }^2$ simplifies the spatial component of the four-acceleration.

At each event, boost with $v_B=u$ to the instantaneous rest inertial frame. Then $A^{\prime 0}=0$ and $A^{\prime 1}=\gamma {\gamma }^4\dot{u}(1-u^2/c^2)={\gamma }^3\dot{u}$. Thus the signed proper acceleration for one-dimensional motion isThe last equality follows by differentiating $\gamma u$; its magnitude is the usual scalar proper acceleration.

If this signed proper acceleration is constant and the particle starts from rest, integration gives $\gamma u=at$, soIntegrating once more and imposing $x(0)=0$ yields the hyperbolic motion worldlineFor $a=0$ the continuous limiting solution is $x=0$. Finally, the Taylor series of the square root givesThis recovers constant-acceleration Newtonian mechanics at low speed while the exact relativistic speed remains less than $c$.

Use gamma matrices satisfying the Clifford algebra relation $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2{\eta }^{\mu \nu }$, with ${\gamma }^{0†}={\gamma }^0$ and ${\gamma }^{i†}=-{\gamma }^i$. The Dirac adjoint is $\bar{\Psi }={\Psi }^{†}{\gamma }^0$. Take the Dirac actionIt differs from the manifestly Hermitian form with $(i/2)\bar{\Psi }{\gamma }^{\mu }{\overleftrightarrow{\partial }}_{\mu }\Psi$ only by a boundary term. Treat $\Psi$ and $\bar{\Psi }$ as independent variables when applying the principle of stationary action. Varying $\bar{\Psi }$ givesVarying $\Psi$ and integrating by parts gives the adjoint Dirac equation, $i({\partial }_{\mu }\bar{\Psi }){\gamma }^{\mu }+m\bar{\Psi }=0$. Multiplying the Dirac equation by $i{\gamma }^{\nu }{\partial }_{\nu }+m$ also gives $(\square +m^2)\Psi =0$, so its dispersion relation is Lorentz invariant.

For a Lorentz transformation $x^{\prime }=\Lambda x$, the field transforms in the Spinor representation of the Lorentz group:Since ${\partial }_{\mu }^{\prime }=({\Lambda }^{-1}{)}^{\nu }{}_{\mu }{\partial }_{\nu }$, this identity gives the Lorentz covariance of the Dirac operator:Thus every solution is carried to another solution. The field is a spinor rather than a four-vector; the transformation of the gamma matrices supplies the necessary covariance. The Dirac action is Lorentz invariant because its integrand is a scalar and $d^{4}x$ is invariant.

For electric charge $q$, use the gauge covariant derivative $D_{\mu }={\partial }_{\mu }+iq{A}_{\mu }$. The minimal electromagnetic coupling of a Dirac field isThe local gauge transformations in this convention areDirect substitution gives $D_{\mu }^{\prime }{\Psi }^{\prime }=e^{-iq\alpha }{D}_{\mu }\Psi$, which proves gauge covariance of the charged Dirac equation. The mass and kinetic terms are invariant, and $F_{\mu \nu }^{\prime }=F_{\mu \nu }$, so the full action has gauge invariance. The conserved current is $j^{\mu }=q\bar{\Psi }{\gamma }^{\mu }\Psi$. It transforms as a four-vector under Lorentz transformations, and varying $A_{\mu }$ gives ${\partial }_{\nu }{F}^{\nu \mu }=j^{\mu }$.

To make the infinitesimal spinor transformation explicit, write ${\Lambda }^{\mu }{}_{\nu }={\delta }^{\mu }{}_{\nu }+{\omega }^{\mu }{}_{\nu }$ with ${\omega }_{\mu \nu }=-{\omega }_{\nu \mu }$. DefineThe Lorentz generators from gamma-matrix commutators have precisely the needed algebra: $[{\sigma }^{\mu \nu },{\gamma }^{\rho }]=2i({\eta }^{\nu \rho }{\gamma }^{\mu }-{\eta }^{\mu \rho }{\gamma }^{\nu })$, which verifies $S^{-1}{\gamma }^{\rho }S={\gamma }^{\rho }+{\omega }^{\rho }{}_{\nu }{\gamma }^{\nu }$ to first order. The infinitesimal transformation of a Dirac field is thereforeAt the same coordinate argument, the orbital change must also be included:Both formulas describe the same transformation; their arguments differ.

Finally, the gamma adjoint identities imply ${\sigma }^{\mu \nu †}={\gamma }^0{\sigma }^{\mu \nu }{\gamma }^0$ and hence the pseudo-unitarity of the spinor Lorentz representation, $S^{†}{\gamma }^{0}S={\gamma }^0$. It follows thatThus the Dirac scalar bilinear $\bar{\Psi }\Psi$ is a Lorentz scalar. Infinitesimally the spin terms in $\delta (\bar{\Psi }\Psi )$ cancel; at fixed coordinates only the ordinary scalar orbital transformation remains.

Use Minkowski spacetime signature $(-,+,+,+)$ and a closed spatial parameter of period $2\pi$. Choose the future-directed branch with positive lapse $e$.

Canonical dynamics and gauge freedom. Variation of momentum and embedding in the Nambu-Goto phase-space action givesThe Lagrange multipliers impose the Nambu–Goto phase-space constraints $P^2+T^2{X}^{\prime 2}=0$ and $P\cdot X^{\prime }=0$. These two first-class constraints reflect freedom to relabel time and space on the same string worldsheet. The canonical Hamiltonian is a linear combination of constraints, with arbitrary multiplier functions. These functions specify a coordinate description rather than additional propagating fields. No explicit gauge transformation or Poisson-bracket calculation is required.

Eliminating auxiliary variables. Let $V=\dot{X}-u{X}^{\prime }$. Eliminating momentum using $P=V/e$ leavesOn a patch with spacelike spatial tangent, variation of $u$ gives $V\cdot X^{\prime }=0$, hence $u=(\dot{X}\cdot X^{\prime })/X^{\prime 2}$. For the induced worldsheet metric $g_{ab}={\partial }_{a}X\cdot {\partial }_{b}X$, this gives $V^2=\det g/X^{\prime 2}$. Variation of $e$ then gives $e=\sqrt{-\det g}/(T{X}^{\prime 2})$ on the positive branch. Substitution yieldsThis is minus string tension times Lorentzian worldsheet area. Vary the area using $\delta \sqrt{-g}=\frac{1}{2}\sqrt{-g}{g}^{ab}\delta g_{ab}$ and integrate by parts. The Nambu–Goto equations of motion areThe auxiliary-variable elimination and this metric form apply on nondegenerate timelike patches.

Circular motion, length and energy. For the circular embedding, direct differentiation givesAway from collapse, $\sqrt{-g}{g}^{ab}=\mathrm{diag}(-1,1)$, so the equations become ${\ddot{X}}^m-X^{\prime \prime m}=0$. The time and out-of-plane coordinates satisfy them immediately. For $Z=X^1+i{X}^2$, both $\ddot{Z}$ and $Z^{\prime \prime }$ are $-Z$. The relations $\dot{X}\cdot X^{\prime }=0$ and ${\dot{X}}^2+X^{\prime 2}=0$ verify the Virasoro constraints. Equivalently, $e=1/T$, $u=0$, $P=T\dot{X}$ solve the phase-space equations and constraints at all times.

The ring stays in a fixed plane, with radius $R|\cos t|$. It contracts to a point and re-expands. Each labeled point moves radially with speed $|\sin t|$ in target time $X^0=Rt$. The geometric ring repeats after target-time interval $\pi R$, although the labels have then shifted by half a circumference. It is not rigidly rotating. Velocity is perpendicular to the tangent, so simultaneous spatial arclength is also the local proper length along the string. Its length and conserved energy areAway from collapse, the same energy follows from $T\int dl/\sqrt{1-v^2}$. Increasing kinetic energy compensates the shrinking length. At collapse the induced metric degenerates; the area-form equation alone is undefined there. The regular phase-space solution supplies the continuation and the limiting constant energy. This is a pulsating circular string.

Endpoint variation. For an open string, integration by parts produces the boundary termIts coefficient is the open-string endpoint momentum flux. Evaluate this ungauge-fixed variation in a boundary-adapted temporal gauge for a string $X^0=t$. Then $X^{\prime 0}=0$ and the time equation gives $P^0=1/e\ne 0$. The free variation of time forces $u{P}_0=0$, hence $u=0$ at each end. Since $e$ is nonzero, the remaining spatial term requiresFree variation in every spatial direction gives ${\vec{X}}^{\prime }=0$, and together with $X^{\prime 0}=0$ gives the free-end string boundary condition $X^{\prime m}=0$. The general starting condition is the flux condition; the shift term should not be silently discarded before choosing the gauge.

Target-space charges. The Noether charges for translations and Lorentz transformations are the target-space Noether charges of a stringWriting $F_m=e{T}^2{X}_m^{\prime }+u{P}_m$, the canonical equations implyFor the second identity, antisymmetry cancels the $e{P}_m{P}_n$ terms. Integration by parts then cancels the $u{X}^{\prime }P$ terms and the symmetric $e{T}^2{X}_m^{\prime }{X}_n^{\prime }$ terms. For free ends $F_m=0$ individually, so both charges are constant. In conformal gauge, the same result follows from $u=0$ and $X^{\prime m}=0$. Target-space energy is $-{\mathcal{P}}_0$.

Other possibilities fix selected spatial directions by Dirichlet boundary conditions, while leaving Neumann boundary conditions in the permitted tangent directions. These mixed conditions describe endpoints on a D-brane; the two ends can lie on different branes. Time stays free under the given assumption. Fixed supports may absorb momentum in their Dirichlet directions and break corresponding translations or Lorentz symmetries. More general force-law conditions require an additional boundary interaction.

Contractions of Lorentz tensors have no free indices and are Lorentz scalars. The antisymmetry and the components in part (a) giveThus $\mathbf{E}\cdot \mathbf{B}$ and $|\mathbf{B}{|}^2-|\mathbf{E}{|}^2/c^2$ are the two electromagnetic field invariants under proper Lorentz transformations. The second contraction uses the orientation-dependent epsilon tensor: strictly, $\mathbf{E}\cdot \mathbf{B}$ is a pseudoscalar, changing sign under an improper transformation such as spatial parity. Under the boosts in this question it is invariant.

For $E_0\ne 0$, put $\beta =v/c$. Part (c) givesThe vanishing of their cross product is equivalent toFor $0<\theta <\pi /2$ the two roots are $\tan (\theta /2)$ and $\cot (\theta /2)$. Only the first has $|\beta |<1$. The continuous endpoint $\theta =0$ gives $\beta =0$. Thus the physical boost isSubstitution gives ${\mathbf{E}}^{\prime }=c{\mathbf{B}}^{\prime }$, so the fields point in the same direction. At $\theta =\pi /2$ the formal root is $v=c$, which is not an inertial observer's velocity. The nonzero perpendicular equal-strength fields then have both electromagnetic field invariants zero. If they were parallel in a finite frame, those invariants would force both fields to vanish, impossible under an invertible Lorentz transformation. Hence no finite inertial boost makes them parallel in this case. If $E_0=0$, both fields are zero in every frame and no velocity is singled out.

The dominant energy condition says that, for every future timelike vector $u^a$, the energy current $J^a=-T^a{}_b{u}^b$ is future causal or zero. Choose normal coordinates whose future unit time vector at $p$ is $u^a=(1,0,0,0)$. With metric signature $(-,+,+,+)$ and symmetric stress-energy tensor,A vector with these components is future causal or zero exactly whenThis proves necessity. Conversely, every future unit timelike vector can be made the time axis of an orthonormal frame by a proper orthochronous Lorentz transformation, and that frame can be extended to normal coordinates at $p$. Requiring the displayed inequality in every such chart therefore gives the dominant energy condition for every future timelike vector; positive rescaling handles nonunit vectors. Future null vectors follow by continuity if they are included in the definition. The condition must hold in every local Lorentz frame; one chart alone is insufficient.

Specify the Minkowski metric convention ${\eta }_{\mu \nu }={\eta }^{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, with $x^0=ct$ and ${\partial }_0=c^{-1}{\partial }_t$. For the electromagnetic four-potential, $A_{\mu }={\eta }_{\mu \nu }{A}^{\nu }=(\varphi /c,-\mathbf{A})$. The electromagnetic field tensor isUsing $\mathbf{E}=-\nabla \varphi -{\partial }_t\mathbf{A}$ and $\mathbf{B}=\nabla \times \mathbf{A}$, its two component matrices areChanging metric/sign conventions changes the component convention, so stating it is necessary. Under a Lorentz transformation, the tensor law is $F^{\prime \mu \nu }(x^{\prime })={\Lambda }^{\mu }{}_{\rho }{\Lambda }^{\nu }{}_{\sigma }{F}^{\rho \sigma }(x)$. For the stated Lorentz boost, put $\beta =v/c$ and $\gamma =(1-{\beta }^2{)}^{-1/2}$:Multiplication $F^{\prime }=\Lambda F{\Lambda }^T$ gives, for example, $F^{\prime 02}=-\gamma E_y/c+\gamma \beta B_z$ and $F^{\prime 12}=-\gamma B_z+\gamma \beta E_y/c$. Reading off all entries proves Lorentz transformation of electromagnetic fields:For the wire, the lab line charge is zero and the current is $I=nqu+(-nq)(-u)=2nqu$. At points off the wire, write $s^2=y^2+z^2>0$. Gauss's law and Ampère's law giveThe boost leaves $y,z$ unchanged, so the field transformations giveIts physical source is the relativistic charge density of counterstreaming beams. Their boosted number densities are $n_{+}^{\prime }=\gamma n(1-vu/c^2)$ and $n_{-}^{\prime }=\gamma n(1+vu/c^2)$, by transforming each charge-current four-vector. Thus ${\lambda }^{\prime }=q(n_{+}^{\prime }-n_{-}^{\prime })=-2\gamma nquv/c^2=-\gamma vI/c^2$. A line charge has radial field ${\lambda }^{\prime }(0,y,z)/(2\pi {ϵ}_0{s}^2)$; using ${\mu }_0{ϵ}_0{c}^2=1$ reproduces the boxed field. Oppositely moving populations contract differently under the boost, so neutrality in one frame does not imply neutrality in the other. The ideal wire's fields are singular on its axis.

For the stated matrix exponential parametrization in the connected Proper orthochronous Lorentz group, use the corresponding Spinor representation of the Lorentz group:The spacetime argument is inverse-transformed because this is an active transformation of the field at a fixed coordinate $x$. Equivalently, with $x^{\prime }=\Lambda x$, ${\psi }^{\prime }(x^{\prime })=D(\Lambda )\psi (x)$. The identity $[S^{\mu \nu },{\gamma }^{\rho }]={\eta }^{\nu \rho }{\gamma }^{\mu }-{\eta }^{\mu \rho }{\gamma }^{\nu }$ integrates to $D^{-1}{\gamma }^{\mu }D={\Lambda }^{\mu }{}_{\nu }{\gamma }^{\nu }$, which ensures covariance of the Dirac equation.

Strictly, $D$ depends on a lift to the Spin group, not just on the final Lorentz transformation: two lifts differ by sign. The specified generator exponential chooses a lift along its continuous path from the identity. This qualification is essential for the full-rotation comparison in part (g).

Take $\lambda >0$, $m>0$, use metric $(+,-)$ and set $\kappa =\sqrt{2\lambda }m$. The two scalar-field vacua are $\varphi =\pm m$; the positive kink joins $-m$ at the left end to $m$ at the right. The square completion for a one-dimensional kink givesThus its Bogomolny bound is $E\ge 4\sqrt{2\lambda }{m}^3/3$. Equality requires ${\varphi }_x=\sqrt{2\lambda }(m^2-{\varphi }^2)$; separating variables, or differentiating the resulting hyperbolic tangent, gives$X$ is the translational collective coordinate. The antikink is $-{\varphi }_K$ for the centered odd profile. Differentiating the first-order equation gives the static Euler-Lagrange field equation ${\varphi }_{xx}=4\lambda \varphi ({\varphi }^2-m^2)$. 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 $m=0$, or the unstable negative-$\lambda$ potential, does not have this topological kink sector.

For a slowly moving kink, put $\varphi (x,t)={\varphi }_K(x-X(t))$. The saturated first-order equation implies $V({\varphi }_K)={\varphi }_K^{\prime 2}/2$, soThe stress-energy tensor has $T^{00}={\varphi }_t^2/2+{\varphi }_x^2/2+V$ and $T^{01}=-{\varphi }_t{\varphi }_x$. Using ${\varphi }_t=-v{\varphi }_K^{\prime }$ in the approximate translate therefore gives $E=M+M{v}^2/2$ and $P=Mv$. Equivalently, substitution into the action gives the collective-coordinate effective Lagrangian $L_{\mathrm{eff}}=-M+M{\dot{X}}^2/2$. These are the translational dynamics of a phi-four kink, withThe 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 $O(v^2)$, but the static profile is an energy stationary point, so the corresponding static-energy error starts at $O(v^4)$ and does not change the displayed $v^2$ coefficient.