Past exam of the mathematics course of the University of Cambridge / 2003 / iii / Paper 52 / 1

For a compactly supported variation $\varphi \mapsto \varphi +\epsilon \eta$, the first variation of the energy functional isIntegration by parts has no endpoint term. Since $\eta$ is arbitrary, the static Euler-Lagrange field equation isIntegrating the specified polynomial derivative gives $U(\varphi )={\varphi }^2/2-{\varphi }^4+{\varphi }^6/2+C$. The polynomial factors as a nonnegative square times ${\varphi }^2$; its global minimum is zero when $C=0$. ThereforeThese are the three constant scalar-field vacua. For a localized finite-energy kink, the two ends approach vacua and the derivative tends to zero. Multiplying the field equation by ${\varphi }^{\prime }$ gives the first integralA nonconstant kink must stay within one interval between neighboring vacua. A proposed direct connection from $-1$ to $1$ would reach $\varphi =0$ at some finite point, where the first integral forces ${\varphi }^{\prime }=0$. Uniqueness for the smooth second-order differential equation then forces the identically zero solution, a contradiction. This is the intermediate-vacuum obstruction to a kink; two elementary kinks can span the outer vacua only in an infinite-separation limit, not as one finite-width static kink.

There are consequently four oriented elementary sectors: $-1\to 0$, $0\to -1$, $0\to 1$ and $1\to 0$. If opposite orientations are grouped together, there are two kink families and their antikinks. Spatial reflection reverses orientation, and $\varphi \mapsto -\varphi$ exchanges the two adjacent intervals; both preserve the energy. All four therefore have the same rest mass, even though the central and outer vacua have different fluctuation curvatures.

For the sector $0\to 1$, define $W(\varphi )={\varphi }^2/2-{\varphi }^4/4$, so $U=(W^{\prime }{)}^2/2$ and $W^{\prime }=\varphi (1-{\varphi }^2)$. The Bogomolny bound follows by completing the square:It is saturated by the Bogomolny equationLet $y={\varphi }^2$ on this positive branch. Then $y^{\prime }=2y(1-y)$, so $\log [y/(1-y)]=2(x-x_0)$. Thus the explicit kink in a phi-six model isIt has the required limits and satisfies the first integral. The translated center $x_0$ is arbitrary. All oriented elementary solutions areFor $\eta =1$ the endpoints are $0\to \sigma$, and for $\eta =-1$ they are $\sigma \to 0$. Direct evaluation ${\int }_0^1\sqrt{2U(\varphi )}d\varphi ={\int }_0^1\varphi (1-{\varphi }^2)d\varphi =1/4$ independently gives their common mass.