Teorema di Plancherel

In matematica, in particolare in analisi armonica, il teorema di Plancherel permette di definire la trasformata di Fourier di funzioni che appartengono all'intersezione dello spazio delle funzioni integrabili secondo Lebesgue, denotato con $L^1$, e lo spazio delle funzioni a quadrato sommabile, denotato con $L^2$. In particolare, l'applicazione che associa ad una funzione la sua trasformata, che appartiene ad $L^2$, è un'isometria da $L^1\cap L^2$ in $L^2$ che può essere estesa in maniera unica ad un'isometria da $L^2$ in sé.

Il teorema, provato per primo da Michel Plancherel, è valido nella versione astratta e sui gruppi abeliani localmente compatti. In maniera più generale, esiste una versione del teorema che ha senso per i gruppi non commutativi (non abeliani) localmente compatti che soddisfano determinate condizioni iniziali, ed è un problema dell'analisi armonica non commutativa.

Un caso particolare di questo teorema è il teorema di Parseval, nonostante quest'ultimo termine sia spesso utilizzato per descrivere l'unitarietà di ogni trasformata di Fourier, in particolar modo in fisica e in ingegneria.

Il teorema

Il teorema di Plancherel afferma che è possibile associare ad ogni funzione $f$ di $L^2$ una funzione $\hat{f}$ di $L^2$ tale da soddisfare le seguenti proprietà:

• Se $f\in L^1\cap L^2$, allora $\hat{f}$ è la trasformata di Fourier di $f$.
• Per ogni $f\in L^2$ si ha:

$\Vert \hat{f}{\Vert }_2=\Vert f{\Vert }_2$

• L'applicazione $f\to \hat{f}$ è un isomorfismo da $L^2$ in sé.
• Se:

${\varphi }_A(t)=\frac{1}{\sqrt{2\pi }}\underset{-A}{\overset{A}{\int }}f(x)e^{-ixt}dx$

e se:

${\psi }_A(x)=\frac{1}{\sqrt{2\pi }}\underset{-A}{\overset{A}{\int }}\hat{f}(t)e^{ixt}dt$

allora:

$\underset{A\to \mathrm{\infty }}{\lim }\Vert {\varphi }_A-\hat{f}{\Vert }_2=0\underset{A\to \mathrm{\infty }}{\lim }\Vert {\psi }_A-f{\Vert }_2=0$

Dal momento che $L^1\cap L^2$ è denso in $L^2$, le prime due proprietà implicano che l'applicazione $f\to \hat{f}$ è unica, mentre l'ultima è detta anche teorema di inversione di $L^2$.

Dimostrazione

$\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}f(t)g^{*}(t)dt=$

$\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\hat{f}(n)e^{i2\pi nt}dn{(\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\hat{g}(m)e^{i2\pi mt}dm)}^{*}dt$

$\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\hat{f}(n)e^{i2\pi nt}dn\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\hat{g}(m{)}^{*}{e}^{-i2\pi mt}dmdt$

$=\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\hat{f}(n)\hat{g}(m{)}^{*}{e}^{-i2\pi (m-n)t}dtdndm$

$=\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\hat{f}(n)\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\hat{g}(m{)}^{*}\delta (m-n)dmdn$

$=\underset{-\mathrm{\infty }}{\overset{+\mathrm{\infty }}{\int }}\hat{f}(n)\hat{g}(n{)}^{*}dn$

Bibliografia

• Template:Cita libro
• Plancherel, Michel (1910) "Contribution a l'etude de la representation d'une fonction arbitraire par les integrales définies," Rendiconti del Circolo Matematico di Palermo, vol. 30, pages 298-335.

Voci correlate

• Integrale di Lebesgue
• Identità di Parseval
• Serie di Fourier
• Spazio Lp
• Teorema di Parseval
• Teorema di Pitagora
• Trasformata di Fourier

Collegamenti esterni

• Template:EnPlancherel's Theorem on Mathworld