Il teorema di Plancherel afferma che la trasformata di Fourier può essere estesa in modo naturale allo spazio L^2 e che, con la normalizzazione opportuna, conserva il prodotto scalare e l’energia. È il risultato che permette di trattare Fourier non solo come formula integrale per funzioni assolutamente integrabili, ma come trasformazione isometrica sui segnali a energia finita.
Enunciato energetico
Con la convenzione
il teorema stabilisce che, per f\in L^2(\mathbb{R}),
Il fattore 1/(2\pi) dipende dalla convenzione scelta per la trasformata e l’antitrasformata. Con normalizzazioni simmetriche può scomparire, ma il contenuto fisico resta lo stesso: l’energia nel dominio del tempo coincide con l’energia nel dominio della frequenza.
Forma con prodotto scalare
Una forma più generale riguarda due funzioni f,g\in L^2(\mathbb{R}):
Qui il prodotto scalare è quello naturale di L^2:
Questa formulazione mostra che Fourier preserva non solo le norme, ma anche l’ortogonalità e gli angoli tra segnali, a fattori di normalizzazione.
Perché è importante
Molti segnali ingegneristici non sono comodamente trattabili come funzioni L^1, ma hanno energia finita e appartengono a spazi L^p, in particolare a L^2. Plancherel garantisce che l’analisi in frequenza resti ben definita anche in questo contesto.
In telecomunicazioni, controllo e analisi dei segnali, il teorema giustifica il passaggio tra tempo e frequenza senza perdere informazione energetica. È alla base dell’interpretazione dello spettro come distribuzione dell’energia tra frequenze.
Relazione con Parseval
L’identità di Parseval è la versione per serie di Fourier: l’energia di una funzione periodica si esprime come somma dei quadrati dei coefficienti. Plancherel è la controparte per la trasformata di Fourier su domini continui.
In entrambi i casi l’idea è la stessa: si decompone una funzione in componenti ortogonali e l’energia totale si conserva nella rappresentazione trasformata.
Errori comuni
Un errore frequente è ignorare la convenzione di normalizzazione. Formule apparentemente diverse possono essere equivalenti se usano definizioni diverse della trasformata.
Un secondo errore è pensare che Plancherel richieda funzioni classiche ben comportate in ogni punto. Il teorema vive naturalmente in L^2, dove le funzioni sono considerate a meno di insiemi di misura nulla.
Infine, conservare l’energia non significa che il segnale abbia la stessa forma nei due domini. Il teorema garantisce uguaglianza di norma, non uguaglianza punto per punto. Per il principio operativo della trasformata, vedi anche il principio di funzionamento della trasformata di Fourier.