Averaged Lagrangian
= 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.