Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 56 1 Solution Created 2026-10-03 Updated 2026-10-14
The nonexistence conclusion concerns nonconstant fields: a constant scalar-field vacuum with is a zero-energy critical point of an energy functional in every dimension. Assume the potential is smooth, so the classical Euler-Lagrange equation is well defined. Write the two nonnegative energy terms asFor the admissible Derrick scaling ,Stationarity at gives the Derrick virial identityFor , both terms have nonpositive sign, forcing and hence a constant vacuum. For , scaling alone only proves ; the gradient term is scale invariant, so it must not simply be declared zero.
The two-dimensional flat-target Derrick obstruction supplies that remaining step. Since and its integral is zero, continuity gives everywhere; smooth nonnegative has at those values. The field equation therefore becomes . Each is an entire harmonic function in . Its mean value property and the Cauchy-Schwarz inequality give, for every radius ,Let to get . Thus also has only constant stationary field configurations of finite energy. The unconstrained real scalar target is essential in this argument; the spherical target in Question 2 has different field equations.
In the field equation is . Multiplication by gives the first integralFinite energy makes an integrable nonnegative function, so along some sequence it tends to zero. Evaluating the constant first integral on that sequence gives . ChooseConsequently andFor a nonconstant entire solution the sign is fixed. Indeed a finite- zero of would have ; uniqueness of the smooth second-order equation with initial data would make the solution the constant vacuum. Thus never vanishes in a nonconstant solution. Conversely a smooth solution of the displayed first-order equation satisfies wherever it is nonconstant.
Under the usual soliton boundary conditions as , with in the vacuum manifold , the two endpoint components label the topological sector. For isolated scalar-field vacua this is an ordered pair of vacuum labels, not necessarily one universally normalized integer. More explicitly, for any smooth , the topological currentis identically conserved, taking and boundary conditions fixed during evolution. The choices and give the field-difference charge and the kink energy charge. The square completion for a one-dimensional kink givesThe first-order critical solution saturates this Bogomolny bound. A nonzero difference between endpoint vacuum components prevents continuous deformation to a vacuum while those boundary conditions remain fixed. Finite energy alone need not give finite endpoint values for arbitrary potentials, so these topological labels use the stated vacuum boundary conditions.
To evade the scalar-only obstruction, introduce a gauge field and a charged, generally multicomponent Higgs field. For a Yang-Mills-Higgs energy write , where contains and contains . Rescale and . Then scales by , while scales by , soThe magnetic term supplies the missing opposing scaling power. In the relation is , permitting Abelian Higgs vortices; in it is , permitting 't Hooft-Polyakov monopoles. In the monopole Bogomolny limit , achieves . Also, asymptotic ordinary derivatives need not vanish when a Higgs phase winds: the relevant vanishing quantity is the gauge covariant derivative. This allows nontrivial boundary winding with finite energy. Merely appending a gauge potential to a neutral one-component real field would not by itself furnish that Higgs mechanism.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 56 1 Solution Created 2026-10-03 Updated 2026-10-14
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 , 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 , change variables to obtainA static solution must be stationary under this admissible scale variation. The Derrick virial identity isFor , both terms are nonpositive and the gradient term is strictly negative for a nonconstant field, so no nontrivial static solution is possible. At , the identity forces , but the gradient term is scale invariant and a further argument is needed.
Since , implies everywhere. Every zero of a differentiable nonnegative potential has . The static Euler-Lagrange field equation therefore makes a harmonic function. Each derivative is harmonic and belongs to L2 space by finite energy. Its mean-value property and the Cauchy-Schwarz inequality on a ball of radius implyLetting gives . This proves the two-dimensional flat-target Derrick obstruction. Thus a nontrivial static real-scalar soliton in this class can occur only for . The argument does not apply unchanged to curved-target sigma models or gauge-field energies.
In one dimension the scale identity is , and the second scale derivative is for a nontrivial solution; scale variation does not rule it out. To derive the Bogomolny equations, write 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, , with the sign chosen for its direction. Differentiating the first-order equation gives , verifying the static Euler-Lagrange field equation. Saturation minimizes energy within the fixed-boundary topological sector.
For the given sextic potential, factorization gives , so the vacua are . ChooseThis choice satisfies . On , the increasing kink in a phi-six model satisfies . Setting gives . Separation givesand henceThe endpoints are zero and two, and the mass follows from . The other increasing elementary scalar-field kink isIt uses the opposite sign of and has the same mass. Reflecting yields the two decreasing antikinks; is the free center.
There is no single finite-width static kink directly connecting to . Multiplying the static equation by gives the first integral for a finite-energy vacuum-to-vacuum solution. At the intermediate vacuum , this forces . Uniqueness for the smooth second-order field equation makes data stay at that vacuum, so a nontrivial solution cannot cross it at finite . This is the intermediate-vacuum obstruction to a kink; the two elementary transitions can only separate by an infinite interval.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 55 3 Solution Created 2026-10-03 Updated 2026-10-14
Let and . For a sufficiently regular finite-energy field configuration with vacuum asymptotics, the scaled field stays in the same boundary sector. Changing variables gives the Derrick scaling formulaA static solution must be stationary under this variation, so the Derrick virial identity isFor , both terms are nonnegative, so both vanish and the field is constant at a vacuum. Hence there are no nonconstant smooth finite-energy static solitons of this scalar type for . For the identity is , allowing kinks. For it requires : a nonzero potential contribution excludes a static soliton, but the scaling identity alone does not exclude a purely derivative energy.
There is a useful refinement specific to the unconstrained flat target . If is differentiable and nonnegative, implies and on the image. The static Euler-Lagrange field equations then give . Each first derivative is an entire harmonic function in L2 space. Its mean-value bound over a disk of radius is at most its total squared norm divided by ; letting shows that derivative is zero. Thus even the exceptional two-dimensional case has only constant smooth finite-energy solutions into this flat target. This two-dimensional flat-target Derrick obstruction uses the field equations in addition to the scale identity.
The Yang-Mills theory with a Higgs field escapes the original scaling because the gauge curvature is quadratic in spatial scaling. In three dimensions use and . Then and . Writing the magnetic, Higgs-gradient and Higgs-potential energies as , the Derrick scaling of Yang-Mills-Higgs energy givesat stationarity. These terms can balance. In particular, the zero-potential Bogomolny-Prasad-Sommerfield monopole has .
For a nonlinear sigma model in two dimensions, the harmonic map energy is purely quadratic in first derivatives and is scale invariant: . Its target is a curved manifold, not the unconstrained Euclidean target of the refinement above. Its equation is the nonlinear harmonic-map equation, not componentwise . The Derrick theorem therefore gives no obstruction. Nonconstant finite-energy maps into , as in the O3 nonlinear sigma model, provide examples with nonzero degree.
For the complex theory, regard and as independent variables in the variation, and write , . Variation in givesThusThe factor 2 follows from the printed normalization of the complex kinetic term; equivalently vary its two real components.
A non-topological soliton is a localized finite-energy persistent field solution with no protecting winding or other nontrivial topological sector. In this complex theory a Q-ball has a stationary spatial profile and a rotating phase,with real . It is not static as a field even though its energy density is time-independent. The global phase symmetry gives the Noether chargeThe profile equation is . Its energy is . To vary the size at fixed charge one must also vary the frequency, because scaling at fixed would change . Eliminating gives charge-constrained scalar-field scaling:The new positive-power term can balance the other terms for , including , so the static Derrick theorem does not rule out these solutions. Equivalently, at fixed frequency the profile extremizes , whose effective potential need not be nonnegative. This explains both the time dependence and the charge constraint behind the evasion; a complex field by itself is not enough.
For an explicit example take the sextic unique-vacuum Q-ball potentialIt is nonnegative, since , and its only vacuum is zero. Its small-field mass squared is , while . It supports localized Q-balls, for example radial ones in three dimensions with . In that range the profile potential is positive quadratic near zero but negative somewhere away from zero, permitting a localized nontrivial profile. This example uses a conserved phase charge and no vacuum winding.