Gelijkheid van Parseval

In de functionaalanalyse is de gelijkheid van Parseval, genoemd naar de Franse wiskundige Marc-Antoine Parseval, voor ruimten met een inproduct de generalisatie van de stelling van Pythagoras. De formule vindt vooral toepassing bij de orthogonale ontbinding in componenten, in het bijzonder bij Fouriertransformaties.

Gelijkheid

Laat V {\displaystyle V} een lineaire ruimte met inproduct , {\displaystyle \langle \cdot ,\cdot \rangle } zijn en B {\displaystyle B} een orthonormale basis daarin, dan geldt voor elke v V {\displaystyle v\in V} de gelijkheid van Parseval:

v 2 = v , v = b B | v , b | 2 {\displaystyle \|v\|^{2}=\langle v,v\rangle =\sum _{b\in B}|\langle v,b\rangle |^{2}}

Omgekeerd geldt dat een willekeurig orthonormaal stelsel slechts dan een basis is, als de gelijkheid van Parseval geldt.

Toepassing

De gelijkheid van Parseval is geldig voor kwadratisch integreerbare functies. Voor de Fourierreeks

f ( x ) = n = c n e i n x {\displaystyle f(x)=\sum _{n=-\infty }^{\infty }c_{n}e^{inx}}

met coëfficiënten

c n = 1 2 π π π f ( x ) e i n x d x {\displaystyle c_{n}={\frac {1}{2\pi }}\int _{-\pi }^{\pi }f(x)e^{-inx}\,\mathrm {d} x}

luidt de gelijkheid van Parseval:

1 2 π π π | f ( x ) | 2 d x = n = | c n | 2 {\displaystyle {\frac {1}{2\pi }}\int _{-\pi }^{\pi }|f(x)|^{2}\,\mathrm {d} x=\sum _{n=-\infty }^{\infty }|c_{n}|^{2}}

waarbij het linkerlid ook de energie van de functie f(x) genoemd wordt.

Zie ook

  • Energiesignaal