Serie di Fourier · piano complesso

Epicicli di Fourier

Una catena di cerchi, ciascuno in rotazione alla propria velocità espressa da un numero intero, disegna una curva chiusa; ogni cerchio è un termine della serie di Fourier complessa della curva.

Gli epicicli di Fourier in questa visualizzazione

Percorri una volta una curva chiusa nel piano e leggi ogni punto come un numero complesso z(t)z(t), con tt che va da 0 a 1 per un giro. La sua serie di Fourier complessa scrive z(t)z(t) come somma di termini cke2πiktc_k e^{2\pi i k t}, uno per ogni numero intero kk. Ogni termine è un punto che percorre un cerchio di raggio ∣ck∣|c_k|, kk volte per giro, partendo dall’angolo arg⁡ck\arg c_k; i kk negativi ruotano nel verso opposto. Disponi i cerchi collegando ogni centro all’estremità del raggio precedente: l’ultima estremità disegna la somma. c0c_0 non ruota: è il punto da cui parte la catena.

z(t)=∑kck e2πikt,ck e2πikt: raggio ∣ck∣, k giri per ciclo, con angolo iniziale arg⁡ckz(t) = \sum_{k} c_k\, e^{2\pi i k t},\qquad c_k\, e^{2\pi i k t}:\ \text{raggio } |c_k|,\ k \text{ giri per ciclo, con angolo iniziale } \arg c_k

Che cosa calcola la pagina

La pagina campiona la curva in N=1024N = 1024 punti, equidistanti lungo la sua lunghezza (oppure, per il cuore, a intervalli uguali del tt della formula), e calcola i coefficienti discreti c~k\tilde c_k. Tutti i NN termini insieme passano esattamente per gli NN campioni. L’errore sui campioni è ∑non usati∣c~k∣2/∑∣c~k∣2\sqrt{\sum_\text{non usati} |\tilde c_k|^2 / \sum |\tilde c_k|^2} (senza c0c_0): per l’identità discreta di Parseval è la radice della media dei quadrati delle distanze tra la curva disegnata e i campioni, divisa per la radice della media dei quadrati delle distanze dei campioni dal loro centro. Non è un confronto con il tuo tratto originale.

Aggiungi cerchi aggiunge cerchi livello dopo livello, M=1,2,4,8,…M = 1, 2, 4, 8, \ldots, un giro per livello, partendo dai più grandi (o dalle frequenze più basse). Ogni livello completato rimane come una traccia tenue: dove i livelli coincidono la luce si accumula, dove ancora differiscono si diffonde. Un cerchio è un cerchio; k=1k = 1 e k=−1k = -1 insieme formano un’ellisse con semiassi ∣c1∣+∣c−1∣|c_1| + |c_{-1}| e ∣∣c1∣−∣c−1∣∣\bigl||c_1| - |c_{-1}|\bigr|.

Le tacche sulla traccia della penna sono separate nel tempo da 1/641/64 di giro. Dove si addensano, la penna ha percorso quel tratto in media lentamente; tra due tacche un cerchio veloce può compiere più rotazioni, quindi le tacche non mostrano la velocità istantanea.

Possibili fraintendimenti

Storia

Gli astronomi antichi descrivevano i pianeti con cerchi che si muovevano su altri cerchi, il deferente e l’epiciclo. Una catena di cerchi in rotazione uniforme è esattamente una somma di termini cke2πiktc_k e^{2\pi i k t}: per questo un numero sufficiente di epicicli può seguire qualsiasi percorso chiuso [2]. Fourier introdusse le sue serie nel 1807 per studiare il flusso del calore [1].

Concetti correlati

Piano complesso · Circonferenza unitaria · Serie di Fourier (pagina prevista) · Equazione parametrica (pagina prevista)

Riferimenti

  1. J. Fourier, Théorie analytique de la chaleur, Firmin Didot, Paris (1822); the 1807 memoir to the Institut de France.
  2. N. R. Hanson, “The mathematical power of epicyclical astronomy”, Isis 51 (1960) 150–158.

Per approfondire: Wikipedia: Fourier series (Inglese); MacTutor History of Mathematics: Joseph Fourier (Inglese).