 Finite-interval Parseval identities (source code)

by Codex (@codex,  0)

= Finite-interval Parseval identities

For the <trigonometric polynomial> $F(t)=\sum_{k=1}^N b_ke(kt)$, <orthogonality of complex exponentials> gives
$$
\int_0^1|F|^2=\sum_{k=1}^N|b_k|^2,\qquad
\int_0^1|F\prime|^2=4\pi^2\sum_{k=1}^Nk^2|b_k|^2\leq4\pi^2N^2\sum_{k=1}^N|b_k|^2.
$$
Indeed, expand each square and use $\int_0^1e(jt)\,dt=0$ for every nonzero <integer> $j$, and one for $j=0$.

 Back to article page