Тут дещо інший підхід. Подивимося, яка періодична функція має перетворення Фур'є саме з частотою .−1
Це функція для t ∈ [ 0 , 1 ] .t↦e−2πit=cos(−2πt)+isin(−2πt)=cos(2πt)−isin(2πt)t∈[0,1]
Зауважте, що ця функція має ту саму реальну частину, що і функція
. Ця остання функція має лише одну частотну складову - частоту 1 .t↦e2πit1
Причина, коли ці негативні частоти виявляються при розгляді лише реальних сигналів, полягає в тому, що вони дають більш простий спосіб описати строго складні власні значення дії одиничного кола на його функціональний простір.
Редагувати: Щоб розширити останній коментар, для того, щоб зробити аналіз частоти, що ми дійсно хотіли зробити, це зайняти простір реальних значущих функцій на , F ( [ 0 , 1 ] , R ) і мати можливість виразити будь-яку функцію f ∈ F ( [ 0 , 1 ] , R ) через деяку природну основу F ( [ 0 , 1 ] , R )[0,1]F([0,1],R)f∈F([0,1],R)F([0,1],R). Ми згодні з тим , що це не так вже й багато , якщо ми почнемо наш період до 1 або 1 / 2 до +3 / 2 , так що ми дійсно бажаємо , щоб ця основи поводитися добре по відношенню до оператора зсуву F ( х ) ↦ ф ( a + x ) .011/23/2f(x)↦f(a+x)
Проблема полягає у тому, що з відповідними прикметниками не є прямою сумою функцій, які добре поводяться щодо зсуву. Це (завершена) пряма сума двовимірних векторних просторів, які добре поводяться відносно оператора зсуву. Це тому, що матриця, що представляє карту f ( x ) ↦ f ( a + x ), має складні власні значення. Ці матриці будуть діагональними (у відповідній основі), якщо ми ускладнимо ситуацію. Ось чому ми вивчаємо F ( [ 0 , 1 ]F([0,1],R)f(x)↦f(a+x) замість цього. За введення складних чисел є штраф - ми отримуємо поняття негативних частот.F([0,1],C)
Це все трохи абстрактно, але конкретніше, про що я говорю, розгляньте дві мої улюблені функції:
sin(2πt)=1
cos(2πt)=12(e2πit+e−2πit)
sin(2πt)=12i(e2πit−e−2πit)
Розглянемо зсув на ,s(f(x))=f(x+114.
s(cos(2πt))=-sin(2πt)s(sin(2πt))=cos(2πt)
Реальний векторний простір просторуcos(2πt)іsin(2πt)- двовимірний векторний простір функцій, який зберігаєтьсяss(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)s. Ми можемо бачити, що
тому
s має власні значення
± is2=−1s±i
Цей двовимірний простір функцій не можна розкласти на власні простори для якщо ми не ускладнимо його. У цьому випадку власними векторами будуть e 2 π i t і e - 2 π i t .se2πite−2πit
Для резюмування ми почали з двох позитивних частот, але для діагоналізації дії нам довелося додати функцію негативної частоти e - 2 π i t .se−2πit