Periodic Wirtinger inequality
= Periodic Wirtinger inequality
If a continuously differentiable $L$-periodic function $f$ has mean zero, then
$$
\int_0^L f(s)^2\,ds
\leq\frac{L^2}{4\pi^2}\int_0^L f'(s)^2\,ds.
$$
Equality holds exactly for $f(s)=A\cos(2\pi s/L)+B\sin(2\pi s/L)$.