Oto nieco inne podejście. Zobaczmy, która funkcja okresowa ma transformatę Fouriera dokładnie z częstotliwością .−1
Jest to funkcja dla t ∈ [ 0 , 1 ] .t↦e−2πit=cos(−2πt)+isin(−2πt)=cos(2πt)−isin(2πt)t∈[0,1]
Zauważ, że ta funkcja ma tę samą rzeczywistą część, co funkcja
. Ta ostatnia funkcja ma tylko jeden składnik częstotliwości - częstotliwość 1 .t↦e2πit1
Powodem, dla którego te ujemne częstotliwości pojawiają się przy rozpatrywaniu tylko sygnałów rzeczywistych, jest to, że dają one łatwiejszy sposób na opisanie ściśle złożonych wartości własnych działania koła jednostkowego na jego przestrzeń funkcyjną.
Edycja: Aby rozwinąć ostatni komentarz, aby przeprowadzić analizę częstotliwości, naprawdę chcieliśmy zrobić miejsce na funkcje o wartościach rzeczywistych na , F ( [ 0 , 1 ] , R ) i móc wyrażać dowolną funkcję f ∈ F ( [ 0 , 1 ] , R ) w kategoriach pewnej naturalnej podstawy F ( [ 0 , 1 ] , R )[0,1]F([0,1],R)f∈F([0,1],R)F([0,1],R). Zgadzamy się, że to naprawdę nie robi wiele, jeśli zaczniemy nasz okres wynosi do 1 lub 1 / 2 do 3 / 2 tak naprawdę będzie pragnąć, że ta podstawa dobrze zachowują się w stosunku do operatora przesunięcie f ( x ) ↦ f ( a + x ) .011/23/2f(x)↦f(a+x)
Problem polega na tym, że przy odpowiednich przymiotnikach nie jest bezpośrednią sumą funkcji, które zachowują się dobrze w odniesieniu do przesunięcia. Jest to (uzupełniona) bezpośrednia suma dwuwymiarowych przestrzeni wektorowych, które zachowują się dobrze w odniesieniu do operatora zmiany biegów. Wynika to z faktu, że macierz reprezentująca mapę f ( x ) ↦ f ( a + x ) ma złożone wartości własne. Matryce te będą ukośne (odpowiednio), jeśli skomplikujemy sytuację. Dlatego badamy F ( [ 0 , 1 ]F([0,1],R)f(x)↦f(a+x) zamiast. Wprowadzenie liczb zespolonych ma jednak pewną karę - otrzymujemy koncepcję częstotliwości ujemnych.F([0,1],C)
To wszystko jest trochę abstrakcyjne, ale aby zobaczyć konkretnie to, o czym mówię, rozważ moje dwie ulubione funkcje:
sin(2πt)=1
cos(2πt)=12(e2πit+e−2πit)
sin(2πt)=12i(e2πit−e−2πit)
Rozważ zmianę o ,s(f(x))=f(x+114.
s(cos(2πt))=-sin(2πt)s(sin(2πt))=cos(2πt)
Rzeczywista rozpiętość przestrzeni wektorowejcos(2πt)isin(2πt)jest dwuwymiarową przestrzenią wektorową funkcji, która jest zachowana przezss(f(x))=f(x+14)
s(cos(2πt))=−sin(2πt)
s(sin(2πt))=cos(2πt)
cos(2πt)sin(2πt)ss2=−1s±i
se2π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.