Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 85 4 a Solution Created 2026-10-03 Updated 2026-10-14
At , the linear growth rate of a Fourier mode is . Its critical kernel of a linear map has . WriteFor a compatible periodic carrier, the slowly varying envelope is periodic on . Small carrier detuning can alternatively be included in the envelope wave phase.
With , and , all three terms , , first appear at . Balancing the time derivative thus requires . Since the linear growth rate near is , spatial detuning must be to contribute at the same order. ConsequentlyTreating independently, let on the fast carrier. Expansion of the linear operator givesThe term annihilates , since . At orders two through four there is no nonresonant forcing, and kernel of a linear map corrections can be absorbed into the definition of , allowing . At order five the equation for isThe fast operator is a self-adjoint operator on periodic functions. Its Fredholm alternative requires the right-hand side to have zero inner product with each kernel of a linear map mode , equivalently to have zero resonant Fourier coefficients. The coefficient of in is , and in it is . Therefore the solvability condition isThe conjugate condition supplies the same real equation for the negative mode. The remaining noncritical harmonics determine without obstruction. This is the cubic-quintic Swift–Hohenberg amplitude reduction; it retains quintic saturation because the small positive cubic coefficient makes the onset mildly subcritical.