Ecco un approccio leggermente diverso. Vediamo quale funzione periodica ha trasformata di Fourier esattamente con la frequenza .−1
È la funzione per t ∈ [ 0 , 1 ] .t↦e−2πit=cos(−2πt)+isin(−2πt)=cos(2πt)−isin(2πt)t∈[0,1]
Notare che questa funzione ha la stessa parte reale della funzione
. Quest'ultima funzione ha un solo componente di frequenza: la frequenza 1 .t↦e2πit1
Il motivo per cui queste frequenze negative si manifestano quando si considerano solo segnali reali è perché forniscono un modo più semplice per descrivere autovalori rigorosamente complessi dell'azione del cerchio unitario sul suo spazio funzionale.
Modifica: per espandere l'ultimo commento, al fine di fare analisi di frequenza ciò che desideravamo veramente fare è occupare lo spazio delle funzioni con valori reali su , F ( [ 0 , 1 ] , R ) ed essere in grado di esprimere qualsiasi funzione f ∈ F ( [ 0 , 1 ] , R ) in termini di alcune basi naturali di F ( [ 0 , 1 ] , R )[0,1]F([0,1],R)f∈F([0,1],R)F([0,1],R). Siamo d'accordo che in realtà non più di tanto se iniziamo il nostro periodo è a 1 o 1 / 2 a 3 / 2 quindi abbiamo davvero sarebbe desiderare che questo si comportano bene basi rispetto alla operatore di spostamento f ( x ) ↦ f ( a + x )011/23/2f(x)↦f(a+x) .
Il problema è, con gli aggettivi appropriati, non una somma diretta di funzioni che si comportano bene rispetto allo spostamento. È una somma diretta (completata) di spazi vettoriali bidimensionali che si comportano bene rispetto all'operatore del turno. Questo perché la matrice che rappresenta la mappa f ( x ) ↦ f ( a + x ) ha autovalori complessi. Queste matrici saranno diagonali (in modo appropriato) se complessiamo la situazione. Ecco perché studiamo F ( [ 0 , 1 ]F([0,1],R)f(x)↦f(a+x)F([0,1],C)
cos(2πt)=12(e2πit+e−2πit)
sin(2πt)=12i(e2πit−e−2πit)
Consider the shift by 14, s(f(x))=f(x+14).
s(cos(2πt))=−sin(2πt)
s(sin(2πt))=cos(2πt)
The real vector space span of
cos(2πt) and
sin(2πt) is a two dimensional vector space of functions which is preserved by
s. We can see that
s2=−1 so
s has eigenvalues
±i
This two dimensional space of functions cannot be decomposed into eigenspaces for s unless we complexify it. In this case the eigenvectors will be e2πit and e−2πit.
To recap, we started with two positive frequencies but in order to diagonalize the action of s we had to add in the negative frequency function e−2πit.