\[\int_{a}^{b}{\left|f(x)\right|}^{2}\,\mathrm{d}x=\sum_{n=0}^{\infty}{\left|%
\widehat{f}(\lambda_{n})\right|}^{2}.\]