Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 70 3 Solution Created 2026-10-03 Updated 2026-10-14
Put . Substituting the plane wave into the quintic real Ginzburg-Landau equation givesso the two nonzero branches areThe upper branch has and exists for . The lower branch is positive when ; at it reaches the zero solution. The two branches meet at the fold , . Thus for a given , nonzero waves exist only if , withThe zero solution exists for every independently of , because its spatial phase has no meaning.
For stability, write with real small . Linearizing and using the steady-wave condition givesDefine . A sideband of wavenumber has matrixand exact growth ratesOn the lower branch , the uniform amplitude perturbation already grows at rate , so that branch is unstable. On the upper branch , the fast amplitude mode decays and the slow phase mode hasThe coefficient of phase diffusion gives the Eckhaus boundary for a subcritical quintic amplitude equation:for robust stability to long wavelengths. At equality, ; the leading diffusion coefficient is marginal, while nonzero sufficiently long-wave linear perturbations still decay at the next spatial order. Indeed when , the matrix trace is negative and its determinant is , proving linear non-growth at every , not just asymptotically small . The neutral phase mode reflects the constant phase symmetry.
At the fold, . If , is positive for small , so the fold wave is unstable. At , the fold is a marginal linear point, but uniform amplitude perturbations have the one-sided nonlinear instability of a saddle-node; it is not a robust stable state. For the trivial state the linear growth rate is , so it is stable for and only linearly marginal at .
The requested regions can be expressed without eliminating . In the plane, nonzero waves exist wherever . The robust stable part isThe left boundary is the zero-detuning wave ; the right boundary is the marginal Eckhaus curve. Both meet at . At fixed , an equivalent description iswith the lower endpoint added if only marginal linear stability is required.
In the plane, eliminate from the marginal condition. It gives , henceThe equality curve is the marginal boundary; the existence boundary is . They touch at but separate for nonzero detuning, leaving an unstable wave band. Equivalently, for fixed the robust stable interval isThe stable amplitude is the upper root throughout this interval. The sketch uses scaled coordinates , so it applies to every fixed positive . Green denotes stable nonzero waves; the marginal curves form its boundaries, while the surrounding gray region contains existing but unstable nonzero waves.
