Il lemma di Riemann-Lebesgue afferma che le componenti oscillanti di alta frequenza di una funzione integrabile tendono a cancellarsi. In termini di serie di Fourier, se f è integrabile su un intervallo, i suoi coefficienti di Fourier tendono a zero:
Il risultato formalizza un’idea intuitiva: moltiplicando una funzione integrabile per seni, coseni o esponenziali sempre più oscillanti, le aree positive e negative si compensano in modo sempre più efficace.
Forma per serie di Fourier
Per una funzione f\in L^1([-\pi,\pi]), i coefficienti complessi di Fourier sono
Il lemma dice che
In forma reale, lo stesso vale per i coefficienti a_n e b_n associati a coseni e seni. L’ipotesi f\in L^1 è importante: non serve continuità, derivabilità o quadrato integrabile; basta l’integrabilità assoluta.
Forma per trasformata di Fourier
Se f\in L^1(\mathbb{R}), la trasformata di Fourier è
Il lemma di Riemann-Lebesgue afferma che
In analisi dei segnali, questo significa che una funzione integrabile non può mantenere una trasformata uniformemente grande a frequenze arbitrariamente alte. La trasformata può avere decadimento lento, ma deve tendere a zero.
Idea della dimostrazione
Per funzioni semplici o a gradini, l’effetto di cancellazione può essere visto direttamente calcolando gli integrali oscillanti. Poi si usa il fatto che le funzioni semplici sono dense in L^1: ogni funzione integrabile può essere approssimata in norma L^1 da funzioni più semplici.
La stima di base è
Poiché il fattore esponenziale ha modulo 1, l’errore di approssimazione in L^1 controlla l’errore nella trasformata. Si trasferisce quindi il decadimento dalle funzioni semplici alle funzioni integrabili generali.
Regolarità e velocità di decadimento
Il lemma garantisce solo che i coefficienti tendano a zero, non dice quanto velocemente. Maggiore regolarità della funzione produce decadimento più rapido. Per esempio, se una funzione periodica è sufficientemente liscia, i suoi coefficienti di Fourier decadono più velocemente rispetto a una funzione con discontinuità.
In modo qualitativo:
- discontinuità e spigoli generano decadimento lento;
- continuità e derivabilità migliorano il decadimento;
- funzioni molto regolari hanno coefficienti che possono decadere rapidamente.
Questo collegamento è fondamentale in approssimazione, compressione e analisi spettrale.
Cosa non dice il lemma
Il lemma non afferma che la serie di Fourier converga puntualmente alla funzione. Dice solo che i coefficienti devono tendere a zero. La convergenza della serie richiede ipotesi e teoremi ulteriori.
Inoltre il fatto che una successione di coefficienti tenda a zero non basta per garantire che sia la successione dei coefficienti di Fourier di una funzione regolare. La condizione è necessaria, non sufficiente.
Interpretazione ingegneristica
Nel dominio dei segnali, il lemma spiega perché un segnale integrabile non conserva energia significativa a frequenze infinitamente alte. Tuttavia non autorizza a troncare lo spettro senza analisi: un decadimento lento può rendere importanti molte armoniche, specialmente vicino a discontinuità o fronti ripidi.
Il risultato si collega all’identità di Parseval e al teorema di Plancherel quando si studia la distribuzione dell’energia nello spettro. Si collega anche al principio di indeterminazione, perché regolarità, localizzazione e contenuto spettrale non sono indipendenti.
Errori comuni
Il primo errore è leggere c_n\to0 come convergenza automatica della serie di Fourier. Il secondo è pensare che il lemma dia una stima quantitativa del decadimento. Il terzo è dimenticare l’ipotesi di integrabilità: senza controllo dell’integrale assoluto, la formulazione standard non si applica.
Per esercizi collegati si vedano serie di Fourier: coefficienti e simmetrie e serie di Fourier: convergenza e Parseval.