Averaged Lagrangian (source code)

= Averaged Lagrangian
{title2=$\overline L$}

The averaged Lagrangian is the phase average of a Lagrangian evaluated on a periodic wave profile. Variation with respect to profile parameters gives the local dispersion relation, while variation of the slow phase gives a modulation conservation law.