title: Teorema di Plancherel
text: # 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:
  
      $\|{\hat {f}}\|_{2}=\|f\|_{2}$
  * L'applicazione $f\to {\hat {f}}$ è un isomorfismo da $L^{2}$ in sé.
  * Se:
  
      $\phi _{A}(t)={\frac {1}{\sqrt {2\pi }}}\int _{-A}^{A}f(x)e^{-ixt}\,dx$
      e se:
      $\psi _{A}(x)={\frac {1}{\sqrt {2\pi }}}\int _{-A}^{A}{\hat {f}}(t)e^{ixt}\,dt$
      allora:
      $\lim _{A\to \infty }\|\phi _{A}-{\hat {f}}\|_{2}=0\qquad \lim _{A\to \infty }\|\psi _{A}-f\|_{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
  
      $\int _{-\infty }^{+\infty }f(t)g^{*}(t)dt=$
      $\int _{-\infty }^{+\infty }\int _{-\infty }^{+\infty }{\hat {f}}(n)e^{i2\pi nt}dn(\int _{-\infty }^{+\infty }{\hat {g}}(m)e^{i2\pi mt}dm)^{*}\,dt$
      $\int _{-\infty }^{+\infty }\int _{-\infty }^{+\infty }{\hat {f}}(n)e^{i2\pi nt}dn\int _{-\infty }^{+\infty }{\hat {g}}(m)^{*}e^{-i2\pi mt}dm\,dt$
      $=\int _{-\infty }^{+\infty }\int _{-\infty }^{+\infty }\int _{-\infty }^{+\infty }{\hat {f}}(n){\hat {g}}(m)^{*}e^{-i2\pi (m-n)t}dtdndm$
      $=\int _{-\infty }^{+\infty }{\hat {f}}(n)\int _{-\infty }^{+\infty }{\hat {g}}(m)^{*}\delta (m-n)dmdn$
      $=\int _{-\infty }^{+\infty }{\hat {f}}(n){\hat {g}}(n)^{*}dn$
  