Здесь немного другой подход. Посмотрим, какая периодическая функция имеет преобразование Фурье именно с частотой .−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 ( х ) ↦ ф ( + х ) .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+1)14.
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