Write and expand
At order , the assumptions and the orthogonality normalization leave a homogeneous equation for with no forcing, hence .
At order , project the equation onto the null mode . Since
the Fredholm solvability condition obtained directly from the definitions printed in the question is
The paper asks for in place of , but that coefficient is incompatible with and : differentiating at gives . Thus the displayed target appears to contain a reciprocal typo. It would agree with the expansion only under a correspondingly rescaled definition of the small parameter.
The imposed orthogonality of every , , removes the freedom to transfer a multiple of between and the higher-order terms.
The linear mode has frequency squared , so . To resolve the small frequency near threshold, write
The leading equation
and the initial data give
At , the equation for has a forcing whose component is
The Fredholm solvability condition removes this secular term and yields the slow amplitude equation
It has the conserved energy
The potential has maxima at
A periodic orbit launched from , exists only when that turning point lies inside the two maxima, namely
At equality the orbit is the separatrix; below it, the assumed real periodic oscillation is lost. Therefore