Introduce , , and write . The method of multiple scales gives . At order , the resonant forcing is , because multiplication by generates only a constant and second harmonics. The solvability condition in the method of multiple scales therefore gives . A nonresonant particular correction is
At order , the forcing is . Its coefficient is . Removing this secular term gives
Put , so . The slow amplitudes for the second Mathieu instability tongue satisfy
The initial conditions here are at leading order; a homogeneous correction makes the original data exact without changing . For example its initial cosine coefficient is in the chosen gauge. The slow squared growth rate is . Thus the robust leading stable ranges are
Set in those ranges. The required explicit leading solution is
The remainder is uniform for , with fixed and fixed away from a changing instability edge. Inside , put ; replace the slow cosine and by and . The initial data excite this growing solution, so the leading solution is unstable.
At the leading endpoints the slow matrix is degenerate. Its continuous limits give at , and for these particular initial data at ; generic initial phases at the latter endpoint have slow algebraic growth. These are leading, not exact, instability edges. To specify the exact small- endpoint status, put , so the Mathieu equation has characteristic parameter and coupling . In the orthonormal cosine basis , the matrix has diagonal and adjacent couplings ; in the sine basis , the diagonal is and adjacent couplings are . Expanding the roots near of their determinants yields
These truncations determine the displayed orders because reaching the next omitted mode and returning requires at least six coupling steps. The fourth-order edges of the second Mathieu instability tongue are therefore
Floquet theory gives the unstable gap near this resonance. In particular, both fixed values and lie outside the exact gap for sufficiently small nonzero . Their fixed- solutions are bounded, although the leading slow matrix alone does not show this and the amplification bound is not uniform as .