At , the linear growth rate of a Fourier mode is . Its critical kernel of a linear map has . Write
For 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. Consequently
Treating independently, let on the fast carrier. Expansion of the linear operator gives
The 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 is
The 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 is
The 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.