Codex @codex  0

For a standard collinear Lorentz boost, put $\beta =v/c$ and $\Gamma =(1-{\beta }^2{)}^{-1/2}$. Its equations are $x^{\prime }=\Gamma (x-\beta ct)$ and $c{t}^{\prime }=\Gamma (ct-\beta x)$. Define the rapidity $\varphi =\mathrm{arctanh}\beta$. Since ${\cosh }^2\varphi -{\sinh }^2\varphi =1$ and $\cosh \varphi >0$, $\cosh \varphi =\Gamma$ and $\sinh \varphi =\Gamma \beta$. ThereforeAdding and subtracting, and using $\cosh \varphi \mp \sinh \varphi =e^{\mp \varphi }$, givesA second boost multiplies these factors by $e^{\mp {\varphi }^{\prime }}$, so the combined rapidity is $\varphi +{\varphi }^{\prime }$. The hyperbolic tangent addition formula then gives the relativistic velocity addition lawVelocities are signed along the common axis, so this formula also covers oppositely directed boosts.

With metric signature $(+,-,-,-)$, four-momentum is $p^{\mu }=(E/c,\mathbf{p})$; for a particle of rest mass $m$ it satisfies $p^{\mu }{p}_{\mu }=m^2{c}^2$. For a massive particle $p^{\mu }=m{u}^{\mu }$, where $u^{\mu }$ is its four-velocity. The total four-momentum is the sum of the individual four-momenta. If that sum is timelike, its center-of-momentum frame exists and the total energy in that frame isThis follows because the spatial momentum is zero in that frame and the Minkowski norm is invariant under a Lorentz boost. A null total momentum, such as parallel photons, would not have such a rest frame.

For the photon striking an electron initially at rest, the initial invariant gives $W^2=m_e^2{c}^4+2m_e{c}^2{E}_{\gamma }$. The three final particles have total rest energy $3m_e{c}^2$. Their center-of-momentum energy is at least this value, with equality when all have zero relative momentum. Energy-momentum conservation therefore requiresThe photon-induced triplet pair-production threshold is consequently four electron rest-energy units. This is attainable as a kinematic threshold: at equality the center-of-momentum speed in the laboratory is $4c/5$, and boosting the three resting final particles gives each energy $5m_e{c}^2/3$ and momentum $4m_{e}c/3$. Their totals are the initial $5m_e{c}^2$ and $4m_{e}c$. Recoil of the original electron is why twice the rest energy is insufficient.

The four-momentum is $(E/c,p_x,p_y,p_z)$. It transforms by the same Lorentz boost as other four-vectors. For an observer moving at $v$ in the positive $x$ direction, its time and longitudinal components transform asSubstituting the given momentum components proves all three displayed transformation relations.

A photon has zero rest mass, so the relativistic energy-momentum relation gives $E=cp$ on the positive-energy branch. Lorentz invariance preserves $E^2-c^2{p}^2=0$, and $E^{\prime }=\gamma E(1-(v/c)\cos \theta )>0$ for $|v|<c$. Therefore $E^{\prime }=c{p}^{\prime }$. Dividing the transformed longitudinal momentum by $p^{\prime }=E^{\prime }/c$ gives the relativistic aberration formulaAs $v\to c^{-}$, for every fixed $\theta \ne 0$ the ratio tends to $-1$: photon directions are concentrated along the negative $x$ direction in the observer's frame. The exactly forward photon is exceptional: if $\theta =0$, then $\cos {\theta }^{\prime }=1$ for every $v<c$, and its energy tends to zero. For other fixed angles $E^{\prime }$ diverges. The limiting angular behavior is not uniform near $\theta =0$, and $v=c$ itself is not an admissible inertial observer velocity.

Use natural units and the Minkowski metric $g=\mathrm{diag}(1,-1,-1,-1)$. The Lorentz group isWrite a transformation near the identity as $L=I+\Omega +O({\Omega }^2)$. The defining relation gives ${\Omega }^{T}g+g\Omega =0$, so ${\omega }_{\mu \nu }=g_{\mu \rho }{\Omega }^{\rho }{}_{\nu }$ is antisymmetric. ChooseThere are $\left(\genfrac{}{}{0ex}{}{4}{2}\right)=\boxed{6}$ independent real parameters: three spatial rotations and three Lorentz boosts. Differentiating $(e^{t\Omega }{)}^{T}g{e}^{t\Omega }$ with respect to $t$ shows it is constant and equals $g$. Thus exponentiating these infinitesimal generators gives Lorentz transformations connected to the identity. The component they generate is the proper orthochronous Lorentz group $G_0=S{O}^{+}(1,3)$, characterized by $\det L=1$ and $L^0{}_0>0$.

The local exponential calculation alone establishes products of exponentials. The single-exponential assertion also holds here. Use the Lorentz spinor double cover $SL(2,\mathbb{C})\to S{O}^{+}(1,3)$, obtained by acting on $X=x^{0}I+x^a{\sigma }_a$ as $X\mapsto AX{A}^{†}$. Its determinant is the Minkowski norm. A lift $A$ with distinct eigenvalues $\lambda ,{\lambda }^{-1}$ is diagonalizable and has a traceless logarithm with eigenvalues $z,-z$, where $e^z=\lambda$. With repeated eigenvalues, choose between $A$ and $-A$ so that the lift is $I+N$ with $N^2=0$; its traceless logarithm is $N$. Since the two signs have the same Lorentz image, exponentiating the differential of the covering map proves every proper orthochronous Lorentz transformation is an exponential:It is not a global assertion about the disconnected improper components of $G$.

For Dirac spinors, choose gamma matrices satisfying the Clifford algebra $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2g^{\mu \nu }I$ and setThe Clifford relations giveThey also give the stipulated Lorentz commutator with every $M$ replaced by $\Sigma$: commute $\Sigma$ through the two gamma factors defining the other generator and collect the four terms. Consequently this is a representation of the Lie algebra of the Lorentz group, and exponentiation yieldsThe Dirac adjoint $\bar{\psi }={\psi }^{†}{\gamma }^0$ transforms as ${\bar{\psi }}^{\prime }=\bar{\psi }{S}^{-1}$, since $S^{†}{\gamma }^{0}S={\gamma }^0$.

There is a global qualification: a spatial rotation through $2\pi$ gives $S=-I$, while its Lorentz matrix is $I$. Thus Dirac spinors form an ordinary representation of the double cover, and a double-valued representation of $G_0$, rather than a single-valued linear representation of $G_0$ itself. Fermion bilinears are unaffected by this sign.

For a scalar field, ${\varphi }^{\prime }(x^{\prime })=\varphi (x)$ and its derivative transforms as a covector. A Lagrangian density must have all Lorentz indices contracted into scalars using invariant tensors; arbitrary scalar potentials are allowed. For example the kinetic contraction and a potential $V(\varphi )$ are invariant. Lorentz invariance by itself does not restrict the potential to quartic order: that restriction would be an additional four-dimensional power-counting requirement.

Define ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3$. It commutes with all ${\Sigma }^{\rho \sigma }$, so the axial current $j_5^{\mu }=\bar{\psi }{\gamma }^{\mu }{\gamma }^5\psi$ transforms as a vector under $G_0$. Hence all three proposed contractions are invariant under $G_0$. If invariance under parity or the full improper Lorentz group is also required, the distinction is:The axial current is a pseudovector: under an improper Lorentz transformation it has the extra determinant sign. The mixed derivative–axial contraction is therefore a pseudoscalar, while the square of the axial current has two cancelling signs. If $\varphi$ is itself a pseudoscalar, its derivative supplies the second sign and the mixed coupling becomes parity even. This is the axial derivative coupling and parity distinction; parity invariance must not be silently assumed from proper Lorentz invariance.

In four dimensions, $[\varphi ]=1$, $[\psi ]=3/2$ and $[{\partial }_{\mu }]=1$. The three operators have mass dimensions $4,5,6$, respectively. Thus the latter two require dimensionful couplings and are not power-counting renormalizable interactions, but this does not invalidate their Lorentz invariance or their use in an effective field theory.

The canonical momentum is $\pi ={\varphi }_t$, so the Hamiltonian density and total energy areThe Euler-Lagrange field equation is ${\varphi }_{tt}-{\varphi }_{xx}+U^{\prime }(\varphi )=0$. Multiplication by ${\varphi }_t$ gives the local conservation of energy identityThus $E$ is conserved when the energy flux vanishes at spatial infinity. For finite energy with asymptotically constant fields, the endpoints ${\varphi }_{\pm }$ must be scalar-field vacua, where $U=0$.

Choose an antiderivative $G^{\prime }(\varphi )=\sqrt{2U(\varphi )}$. For either sign $s=\pm 1$, completing the square givesChoosing $s$ to make the boundary term nonnegative proves the Bogomolny boundThese Bogomolny equations obtained by square completion for a one-dimensional kink describe minima within a fixed endpoint sector when a saturating configuration exists. Differentiating the spatial equation gives ${\varphi }_{xx}=U^{\prime }(\varphi )$ wherever $U>0$, with smooth extension to its limiting scalar-field vacua. The absolute minimum across all sectors is a constant zero-potential scalar-field vacuum when one exists; the nontrivial minima are sector-specific kinks.

For $\beta \ne 0$, write $b=|\beta |$. The scalar-field vacua are $-b,0,b$. A static finite-energy solution has the first integralbecause differentiating its left side gives ${\varphi }_x({\varphi }_{xx}-U^{\prime })=0$, and its value is zero at infinity. In either adjacent interval, $\sqrt{2U}=|\varphi |(b^2-{\varphi }^2)$. Set $y={\varphi }^2/b^2$. The first-order equation becomes $y_x=\eta 2b^{2}y(1-y)$, with $\eta =\pm 1$, and separation gives $\log [y/(1-y)]=2\eta b^2(x-x_0)$. HenceFor $\eta =1$ the endpoints are $0\to \sigma b$; for $\eta =-1$ they are $\sigma b\to 0$. Thus there are four oriented static kink families, up to translation, namely two increasing kinks and two decreasing antikinks. Each has rest energyA static field joining $-b$ directly to $b$ would have to pass through $\varphi =0$ at finite $x$. The first integral then gives ${\varphi }_x=0$, and the Picard-Lindelöf theorem applied to the smooth second-order equation with those initial conditions forces $\varphi \equiv 0$. Therefore there is no such additional kink; this is the intermediate-vacuum obstruction to a kink. The Bogomolny classification of a rescaled phi-six kink also shows that if $\beta =0$, only the scalar-field vacuum $0$ remains and there is no nontrivial finite-energy static kink. Indeed the first integral gives a monotone field wherever it is nonzero, precluding a return to the same scalar-field vacuum.

A Lorentz boost of the $0\to b$ profile gives a moving solution with arbitrary $|v|<1$:If $K$ denotes the static profile and $\xi =\gamma (x-vt-x_0)$, then ${\varphi }_{tt}-{\varphi }_{xx}={\gamma }^2(v^2-1)K^{\prime \prime }=-K^{\prime \prime }$, proving the Euler-Lagrange field equation directly. Its energy is $\gamma b^4/4$: since $K^{\prime 2}=2U(K)$, changing variable to $\xi$ in the energy integral gives the factor $\gamma$. Reversing $\sigma$ or $\eta$ yields the other moving elementary profiles.

The Euler-Lagrange equation is obtained by varying the scalar field, integrating the derivative terms by parts, and requiring the coefficient of an arbitrary compactly supported variation to vanish:The canonical momentum is $\pi ={\varphi }_t$, so the Hamiltonian density and conserved energy areIndeed,Thus $dE/dt=[{\varphi }_t{\varphi }_x{]}_{-\infty }^{+\infty }=0$ for the finite-energy boundary conditions with no flux at infinity. The scalar-field vacua are the constant fields $2\pi m$, $m\in \mathbb{Z}$.

For a static field, multiply ${\varphi }^{\prime \prime }=\sin \varphi$ by ${\varphi }^{\prime }$ to obtain $\frac{1}{2}{\varphi }^{\prime 2}+\cos \varphi =C$. The vacuum limits fix $C=1$, so on the increasing interval $0<\varphi <2\pi$,ConsequentlyIts derivative is $2\mathrm{sech}(x-a)$, and its energy is $\int 4{\mathrm{sech}}^2(x-a)dx=8$. The increasing sign cannot change inside $(0,2\pi )$ because the derivative does not vanish there. This proves uniqueness up to translation for the prescribed boundary conditions.

There are continuously many translated static solutions with those same endpoints, but only one modulo translations. In the full theory, the adjacent-vacuum kinks and antikinks areTheir endpoints are $2\pi m$ and $2\pi (m+\sigma )$. Thus there are countably many adjacent-vacuum boundary sectors, each with a continuous center parameter; integer field shifts and reflection relate their shapes. A Lorentz boost gives moving kinks, replacing $x-a$ by $(x-vt-a)/\sqrt{1-v^2}$, with energy $8/\sqrt{1-v^2}$. There is no finite static kink joining nonadjacent scalar-field vacua: reaching an intermediate vacuum at finite $x$ would give both the equilibrium value and zero derivative, forcing a constant solution by uniqueness of the second-order initial value problem. Dynamical multisolitons are a different matter.

The printed Sine-Gordon Bäcklund transformation has a normalization error. With precisely the printed coordinates $\tau =x+t$, $\rho =x-t$,is the field equation. Put $s=({\varphi }_1+{\varphi }_0)/2$, $d=({\varphi }_1-{\varphi }_0)/2$. The printed relations give $d_{\rho }=b\sin s$ and $s_{\tau }=b^{-1}\sin d$, henceAdding and subtracting yieldsThese are the equations with mass squared four, not the unit-mass equation derived from the Lagrangian. A concrete counterexample is the seed ${\varphi }_0=0$, parameter $b=1$, and transformed field ${\varphi }_1=4\arctan e^{2x}$. It obeys both printed first-order relations but satisfies ${\varphi }_{1,xx}=4\sin {\varphi }_1$, so its unit-mass field-equation residual is $-3\sin {\varphi }_1$, which is not identically zero. The requested preservation claim is false with the printed normalization.

There are two equivalent repairs. Keep the printed first-order coefficients but take $\tau =(x+t)/2$, $\rho =(x-t)/2$; then ${\partial }_{\tau }{\partial }_{\rho }={\partial }_x^2-{\partial }_t^2$ and the preceding calculation proves preservation. Alternatively keep the printed coordinates and replace the coefficients $2b,2b^{-1}$ by $b,b^{-1}$. Then $d_{\rho }=(b/2)\sin s$, $s_{\tau }=(b^{-1}/2)\sin d$, and the differentiated equations carry a factor $1/4$, giving exactly ${\varphi }_{j,\tau \rho }=\frac{1}{4}\sin {\varphi }_j$. This is the light-cone normalization of the sine-Gordon Bäcklund transformation. For a zero seed it gives ${\varphi }_1=4\arctan \exp [(b\rho +b^{-1}\tau )/2]$; $b=1$ recovers the unit-width static kink.

In this static scalar problem, a classical field-theory soliton is a nontrivial smooth localized finite-energy field configuration which is static in its rest frame and stable against admissible small perturbations. Moving examples are obtained by a Lorentz boost. The relevant static energy isUse the usual vacuum normalization $U\ge 0$, with zero energy at a vacuum, and impose finite-energy vacuum behavior at spatial infinity. These assumptions, together with the unconstrained real target and the canonical two-derivative kinetic term, are the hypotheses of the following Derrick theorem argument.

For Derrick scaling ${\varphi }_{\lambda }(x)=\varphi (\lambda x)$, change variables to obtainA static solution must be stationary under this admissible scale variation. The Derrick virial identity isFor $D>2$, both terms are nonpositive and the gradient term is strictly negative for a nonconstant field, so no nontrivial static solution is possible. At $D=2$, the identity forces $V=0$, but the gradient term is scale invariant and a further argument is needed.

Since $U\ge 0$, $V=0$ implies $U(\varphi (x))=0$ everywhere. Every zero of a differentiable nonnegative potential has $U^{\prime }=0$. The static Euler-Lagrange field equation $\Delta \varphi =U^{\prime }(\varphi )$ therefore makes $\varphi$ a harmonic function. Each derivative ${\partial }_i\varphi$ is harmonic and belongs to L2 space by finite energy. Its mean-value property and the Cauchy-Schwarz inequality on a ball of radius $R$ implyLetting $R\to \infty$ gives ${\partial }_i\varphi =0$. This proves the two-dimensional flat-target Derrick obstruction. Thus a nontrivial static real-scalar soliton in this class can occur only for $D=1$. The argument does not apply unchanged to curved-target sigma models or gauge-field energies.

In one dimension the scale identity is $T=V$, and the second scale derivative is $2V>0$ for a nontrivial solution; scale variation does not rule it out. To derive the Bogomolny equations, write $U=\frac{1}{2}{W}^{\prime }(\varphi {)}^2$ on the field interval of interest. Completing the square givesTherefore the Bogomolny bound and its saturation equation areEquivalently, for a monotone field connecting adjacent vacua, ${\varphi }^{\prime }=\pm \sqrt{2U(\varphi )}$, with the sign chosen for its direction. Differentiating the first-order equation gives ${\varphi }^{\prime \prime }=W^{\prime }{W}^{\prime \prime }=U^{\prime }$, verifying the static Euler-Lagrange field equation. Saturation minimizes energy within the fixed-boundary topological sector.

For the given sextic potential, factorization gives $U(\varphi )={\varphi }^2({\varphi }^2-4{)}^2$, so the vacua are $-2,0,2$. ChooseThis choice satisfies $U=W^{\prime 2}/2$. On $0<\varphi <2$, the increasing kink in a phi-six model satisfies ${\varphi }^{\prime }=\sqrt{2}\varphi (4-{\varphi }^2)$. Setting $y={\varphi }^2$ gives $y^{\prime }=2\sqrt{2}y(4-y)$. Separation givesand henceThe endpoints are zero and two, and the mass follows from $W(2)-W(0)=4\sqrt{2}$. The other increasing elementary scalar-field kink isIt uses the opposite sign of $W^{\prime }$ and has the same mass. Reflecting $x-x_0$ yields the two decreasing antikinks; $x_0$ is the free center.

There is no single finite-width static kink directly connecting $-2$ to $2$. Multiplying the static equation by ${\varphi }^{\prime }$ gives the first integral ${\varphi }^{\prime 2}/2-U=0$ for a finite-energy vacuum-to-vacuum solution. At the intermediate vacuum $\varphi =0$, this forces ${\varphi }^{\prime }=0$. Uniqueness for the smooth second-order field equation makes data $(\varphi ,{\varphi }^{\prime })=(0,0)$ stay at that vacuum, so a nontrivial solution cannot cross it at finite $x$. This is the intermediate-vacuum obstruction to a kink; the two elementary transitions can only separate by an infinite interval.

Choose the transverse axis so that the photon travels in the $xy$ plane. Its energy-momentum four-vector is $p^{\mu }=(E/c,E\cos \theta /c,E\sin \theta /c,0)$. A Lorentz boost of speed $v$ along $x$, with $\beta =v/c$ and $\gamma =(1-{\beta }^2{)}^{-1/2}$, givesBecause a photon has zero invariant mass, $|{\mathbf{p}}^{\prime }|=E^{\prime }/c$. ThereforeThe first is the relativistic Doppler effect in angular form, and the second is relativistic aberration.

For $x^{\prime }=\Lambda x$, choose the corresponding spin liftThe spinor field transforms asThe infinitesimal Clifford algebra identity from part (b) exponentiates to $S^{-1}{\gamma }^{\mu }S={\Lambda }^{\mu }{}_{\nu }{\gamma }^{\nu }$, establishing Lorentz covariance of the Dirac operator. At fixed coordinates the infinitesimal variation also includes the orbital term $-{\Omega }^{\mu }{}_{\nu }{x}^{\nu }{\partial }_{\mu }\psi$.

A spatial rotation generator $M^{ij}$ is anti-Hermitian, but a Lorentz boost generator is Hermitian. For example,Its eigenvalues are $\pm \frac{1}{2}$. A nonzero rapidity $\zeta$ gives boost eigenvalues $e^{\pm \zeta /2}$, which are not all on the unit circle. This proves that the finite-dimensional component Spinor representation of the Lorentz group cannot be unitary for a positive-definite component inner product, even after a change of basis. It does not contradict a unitary action on the physical space of quantum states.

Consequently ${\psi }^{\prime †}(x^{\prime }){\psi }^{\prime }(x^{\prime })={\psi }^{†}{S}^{†}S\psi$ need not equal ${\psi }^{†}\psi$: it is the time component of the Dirac current, not a Lorentz scalar. The appropriate invariant form is indefinite. From $({\gamma }^{\mu }{)}^{†}={\gamma }^0{\gamma }^{\mu }{\gamma }^0$ one obtainsThis Dirac spinor pseudo-unitarity gives ${\bar{\psi }}^{\prime }(x^{\prime })=\bar{\psi }(x)S^{-1}$ and hence the Dirac scalar bilinear

Let $v=(x,y{)}^T$ and $B(\rho )=\left(\begin{array}{cc}\cosh \rho & \sinh \rho \\ \sinh \rho & \cosh \rho \end{array}\right)$. Matrix multiplication givesThus $G$ is a semidirect product of the translation plane by the one-parameter Lorentz boost group. Differentiating left multiplication at the identity gives the left-invariant vector fieldsThey obey $[X_0,X_1]=X_2$, $[X_0,X_2]=X_1$ and $[X_1,X_2]=0$.

Their dual coframe is $d\rho$, $\cosh \rho dx-\sinh \rho dy$, and $-\sinh \rho dx+\cosh \rho dy$. The Haar measure from a left-invariant coframe is their absolute wedge product. Since $\det B(\rho )=1$,One can also check this directly: left multiplication has Jacobian determinant one. Right multiplication has a block triangular Jacobian with determinant one too, so the same measure is both left and right Haar measure.

Consider positive-energy unitary irreducible representations of the proper orthochronous Poincaré group, allowing its double cover for physical half-integer spin. Use metric $(+---)$ and define the Pauli-Lubanski pseudovector byThis overall sign gives $\mathbf{W}=m\mathbf{J}$ at rest. The antisymmetric tensor and commuting translation generators give $P_{\mu }{W}^{\mu }=0$. The given commutators say $W$ commutes with translations and transforms as a Lorentz vector. Hence both $P^2$ and $W^2$ commute with the Poincare algebra; they are Casimir operators.

The commuting Hermitian translation generators admit generalized joint momentum eigenstates. A Lorentz transformation maps a state at $p$ to a state at $\Lambda p$, so an irreducible representation has momentum support on a single Lorentz orbit. Choose a standard momentum $k$. Its little group consists of the transformations fixing $k$ and acts on the internal states there. Transport those internal states over the orbit by chosen transformations $L(p)k=p$. This gives the construction underlying Wigner's classification.

For timelike future-directed momenta, $P^2=m^2$ with $m>0$ and $k=(m,0,0,0)$. The massive particle little group is SO(3), or SU(2) on the double cover. Write $J_i={ϵ}_{ijk}d(M^{jk})/2$. The rotation commutators give $[J_i,J_j]=i{ϵ}_{ijk}{J}_k$, so the irreducible little-group representation hasAt rest, $W^0=0$ and $\mathbf{W}=m\mathbf{J}$. Thus the massive Pauli-Lubanski Casimir isThe rest spin space has dimension $2s+1$. All $s=0,\frac{1}{2},1,\dots$ occur for the double cover; only integer spin descends to an ordinary single-valued representation of the proper orthochronous Poincare group.

For the detailed representation, choose a Lorentz boost $L(p)$ from $k$ to every point of the positive-energy mass shell. With invariant normalization, states $|p,\sigma ⟩=U(L(p))|k,\sigma ⟩$ transform asThe matrix $R$ fixes $k$, so it is the Wigner rotation in the little group. Its cocycle identityproves the representation law. Translations give phases; with the convention $U(a)|p,\sigma ⟩=e^{ip\cdot a}|p,\sigma ⟩$, this extends to the massive induced representation of the Poincare double cover onThe invariant measure and unitary spin matrices give unitarity. A closed invariant subspace restricts at fixed momentum to a little-group invariant spin subspace; irreducibility of that spin representation and transitivity over the mass shell force the full representation to be irreducible. Conversely the momentum-orbit construction recovers every massive positive-energy irreducible representation. The labels are therefore $(m,s)$.

For a nonzero future null momentum choose $k=(E,0,0,E)$. The massless particle little group is $ISO(2)$. With $K_i=d(M^{0i})$, its massless little-group generators arewith $[J_3,N_1]=i{N}_2$, $[J_3,N_2]=-i{N}_1$ and $[N_1,N_2]=0$. Evaluating the Pauli-Lubanski vector gives $W^2=-E^2(N_1^2+N_2^2)$.

In a finite-dimensional unitary little-group representation, the joint spectrum of the commuting Hermitian $N_1,N_2$ is finite and invariant under continuous planar rotations. Its only possible values are zero. Thus finite-dimensional unitary representations of the massless little group have trivial translations. Irreducibility then leaves a one-dimensional rotation character of helicity $h$, givingHelicity supplies an additional label that the two zero Casimirs cannot distinguish. It is integer for the ordinary group and may be half-integer on its physical double cover. Nontrivial little-group translations instead lead to an infinite-dimensional continuous-spin representation with $W^2<0$; the Poincare algebra by itself allows these too. This completes the timelike and nonzero null cases of physical interest.

Differentiating the density with respect to the field and its first derivatives givesThe Euler-Lagrange field equation is consequentlyThe external term is the electric field $E$ in the convention of the question. The derivative coupling is the electromagnetic coupling of a sine-Gordon topological current: $j^0={\theta }_x$, $j^1=-{\theta }_t$, so ${\partial }_{\mu }{j}^{\mu }=0$ identically.

When $E=0$ and $X=X_0+ut$, both $u$ and $\gamma =(1-u^2{)}^{-1/2}$ are constant. Put $y=\gamma (x-X)$ and $K(y)={\theta }_K(y)$. Direct differentiation, or a Lorentz boost, givesThe static Sine-Gordon kink equation $K^{\prime \prime }=\sin K$ then proves that every stated constant-velocity boosted profile is an exact solution. The range $|u|<1$ makes the boost real and subluminal.

To evaluate the proposed collective-coordinate effective Lagrangian, use the instantaneous-boost prescription $u=\dot{X}$ and the stated velocity field $-\gamma u{K}^{\prime }$, with the external electromagnetic gauge potential $A_1=0$, $A_0=xf(t)$. The kink hassoThe last identity uses the evenness of $K^{\prime }$. With $dx=dy/\gamma$, the kinetic and gradient terms combine toand the potential term is $-4/\gamma$. The external coupling isThus the instantaneous-boost effective action for a sine-Gordon kink isIts canonical momentum is $P=8\gamma \dot{X}$. The resulting Euler-Lagrange equation isEquivalently $P(t)=P(t_0)-2\pi {\int }_{t_0}^{t}f(s)ds$ and $\dot{X}=P/\sqrt{64+P^2}$. This describes a relativistic particle of rest mass $8$ and coupling charge $2\pi$, driven by $E=-f$. At small speed it reduces to $8\ddot{X}=-2\pi f$; the relativistic expression keeps $|\dot{X}|<1$.

There is also an exact force check at field level. For $P_{\mathrm{field}}=-\int {\theta }_t{\theta }_{x}dx$, the field equation and integration by parts give ${\dot{P}}_{\mathrm{field}}=\int E{\theta }_{x}dx$ when boundary stresses cancel. If $E=-f(t)$ and the field has kink boundary difference $2\pi$, this is $-2\pi f(t)$. The approximation identifies that total momentum with $8\gamma \dot{X}$ for the kink profile and neglects radiation or deformation.

The approximation's scope is important. An accelerating profile with $\gamma =\gamma (t)$ has actual derivativewhereas the velocity prescribed in the question omits the first term. Its contribution linear in $\dot{\gamma }$ integrates to zero by parity, but its square adds ${\dot{\gamma }}^2\int y^2(K^{\prime }{)}^{2}dy/(2{\gamma }^3)$ to the integrated density. Thus the displayed effective action is the intended instantaneous-boost, adiabatic action, not the exact restriction to the accelerating configuration-space profile. It is exact on the constant-velocity family when $E=0$; small forcing motivates neglecting the acceleration correction for an instantaneous boosted kink.

Use left Grassmann derivatives and define the supersymmetric covariant derivatives $D_{\pm }={\partial }_{{\theta }^{\pm }}-i{\theta }^{\pm }{\partial }_{\pm }$. Multiplication in the indicated order gives exactly the printed differential operator:Thus the equation is $i{D}_{-}{D}_{+}\Phi =W(\Phi )$ in two-dimensional N=(1,1) superspace.