La serie di Fourier

La serie di Fourier, introdotta da Jean-Baptiste Joseph Fourier nel 1807 nella sua Théorie analytique de la chaleur, è lo strumento matematico che permette di scrivere qualsiasi funzione periodica (di periodo T) come somma di seni e coseni:

f(x) = a₀ + Σ_n=1^∞ [a_n·cos(n·ω·x) + b_n·sin(n·ω·x)]

dove ω = 2π/T è la pulsazione fondamentale, e i coefficienti aₙ, bₙ si calcolano con gli integrali:

a_n = (2/T)·∫_−T/2^T/2 f(x)·cos(nωx) dx,    b_n = (2/T)·∫_−T/2^T/2 f(x)·sin(nωx) dx

Fourier dimostrò questo risultato nel contesto dello studio della diffusione del calore in una sbarra, ma l'applicazione è universale: acustica, elettronica, elaborazione dei segnali, meccanica quantistica, finanza, immagini digitali (JPEG), audio (MP3), comunicazioni (5G-OFDM).

Le quattro modalità del calcolatore

1. Onde preset: seleziona tra onda quadra, dente di sega, triangolare o semionda rettificata. Il calcolatore usa le formule analitiche esatte per i coefficienti e calcola la somma parziale S_N(x) confrontandola con il valore esatto.
2. Funzione f(x) personalizzata: inserisci un'espressione JavaScript. Il calcolatore calcola numericamente i primi N coefficienti via regola del punto medio con 2048 campioni, sufficienti per funzioni regolari.
3. Teorema di Parseval: verifica la conservazione dell'energia, secondo cui (1/T)·∫|f(x)|² dx = |a₀|² + ½·Σ(aₙ² + bₙ²). L'energia della funzione si distribuisce in tutti i coefficienti armonici.
4. Convergenza: mostra come S_k(x) si avvicina al valore esatto man mano che k cresce da 0 a N. Utile per vedere il fenomeno di Gibbs nelle discontinuità.

Sviluppi notevoli

Tre onde classiche hanno coefficienti semplici e memorabili:

• Onda quadra (ampiezza ±1, periodo 2π): f(x) = (4/π)·Σ_k=1,3,5,… sin(kx)/k. Solo armoniche dispari, decadimento 1/k — lento, per questo le discontinuità producono il fenomeno di Gibbs.
• Dente di sega (f(x) = x su [−π, π]): f(x) = 2·Σ_n≥1 (−1)ⁿ⁺¹·sin(nx)/n. Solo seni, decadimento 1/n.
• Triangolare: f(x) = (8/π²)·Σ_k=1,3,5,… (−1)^(k−1)/2·sin(kx)/k². Solo armoniche dispari, decadimento 1/k² — molto più veloce perché la funzione è continua con derivata limitata.

La regola generale: se f è continua ma la derivata ha discontinuità, i coefficienti decadono come 1/n². Se anche la derivata è continua, come 1/n³. In generale, se la derivata k-esima è la prima ad avere discontinuità, |aₙ|, |bₙ| ≈ 1/n^(k+1).

Il fenomeno di Gibbs

Nelle discontinuità della funzione, la somma parziale S_N(x) non converge uniformemente al valore medio: presenta un "overshoot" del ≈ 9% della discontinuità, indipendentemente da N. Aumentando N le oscillazioni si restringono al punto di discontinuità ma non si riducono in ampiezza. Fu osservato sperimentalmente da Albert Michelson nel 1898 e spiegato da Josiah Willard Gibbs nel 1899. È il motivo per cui filtri digitali rigidi producono artefatti ai bordi delle immagini.

Applicazioni moderne

• Audio digitale: MP3, AAC, OGG Vorbis usano varianti della FFT (Fast Fourier Transform) per rappresentare audio efficientemente scartando frequenze impercettibili.
• Immagini: JPEG comprime le immagini usando la trasformata discreta del coseno (DCT, una variante della serie di Fourier) a blocchi 8×8.
• Comunicazioni: OFDM (Wi-Fi 6, 5G, DVB) suddivide il canale in migliaia di sottoportanti ortogonali calcolate via FFT.
• Meccanica quantistica: il principio di indeterminazione è una conseguenza di Parseval applicato a coppie di variabili coniugate (posizione-quantità di moto, energia-tempo).
• Analisi dei segnali EEG: l'attività cerebrale si decompone in bande (delta, theta, alpha, beta, gamma) analizzando i coefficienti di Fourier dei segnali rilevati.
• Tomografia (TAC, risonanza magnetica): la ricostruzione dell'immagine 3D dai dati grezzi usa il teorema della proiezione centrale, applicazione 2D della trasformata di Fourier.
• Risoluzione di equazioni differenziali: la serie di Fourier trasforma l'equazione del calore, l'equazione delle onde e l'equazione di Laplace in sistemi disaccoppiati su ciascuna armonica — metodo di Fourier.

Teorema di Parseval

Una delle identità più eleganti dell'analisi matematica: l'energia di una funzione periodica si conserva passando dal dominio del tempo a quello della frequenza.

(1/T)·∫₀^T |f(x)|² dx = |a₀|² + ½·Σ_n≥1 (a_n² + b_n²)

Il calcolatore verifica numericamente questo bilancio energetico fornendo la somma sui coefficienti. Per funzioni lisce l'energia si concentra nelle prime armoniche; per onde con discontinuità l'energia si spande su molti più termini a causa del decadimento lento dei coefficienti.

Fourier e la nascita dell'analisi armonica

La serie prende il nome da Joseph Fourier, che nel 1807 la introdusse studiando la propagazione del calore, sostenendo l'idea allora rivoluzionaria che qualsiasi funzione periodica potesse essere scritta come somma di seni e coseni. L'idea suscitò lo scetticismo di matematici come Lagrange, ma si rivelò uno degli strumenti più potenti della matematica applicata. Il calcolatore mostra i coefficienti analitici delle onde classiche e calcola numericamente quelli di funzioni arbitrarie, evidenziando la convergenza, il fenomeno di Gibbs e la verifica del teorema di Parseval.

Aggiornato a luglio 2026