Modulated-wave first integral
= Modulated-wave first integral
Multiplying a one-dimensional Euler--Lagrange wave equation by the derivative of its periodic profile with respect to fast phase produces a phase first integral plus slow divergence terms. Phase averaging removes the periodic derivative and yields the slow phase equation.