Aquí hay un enfoque ligeramente diferente. Veamos qué función periódica tiene transformada de Fourier exactamente con frecuencia .−1
Es la función para t ∈ [ 0 , 1 ] .t↦e−2πit=cos(−2πt)+isin(−2πt)=cos(2πt)−isin(2πt)t∈[0,1]
Observe que esta función tiene la misma parte real que la función
. Esta última función tiene un solo componente de frecuencia: la frecuencia 1 .t↦e2πit1
La razón por la que estas frecuencias negativas aparecen cuando se consideran solo señales reales es porque proporcionan una manera más fácil de describir valores propios estrictamente complejos de la acción del círculo unitario en su espacio de funciones.
Editar: para ampliar el último comentario, para hacer un análisis de frecuencia, lo que realmente deseamos hacer es tomar el espacio de las funciones de valor real en , F ( [ 0 , 1 ] , R ) y poder expresar cualquier función f ∈ F ( [ 0 , 1 ] , R ) en términos de alguna base natural de F ( [ 0 , 1 ] , R )[0,1]F([0,1],R)f∈F([0,1],R)F([0,1],R). Estamos de acuerdo en que no lo hace realmente mucho si empezamos nuestra época es a 1 o 1 / 2 a 3 / 2 por lo que realmente desearíamos que esto comporte base bien con respecto al operador de desplazamiento f ( x ) ↦ f ( a + x ) .011/23/2f(x)↦f(a+x)
El problema es, con adjetivos apropiados, no es una suma directa de funciones que se comportan bien con respecto al desplazamiento. Es una suma directa (completa) de espacios vectoriales bidimensionales que se comportan bien con respecto al operador de desplazamiento. Esto se debe a que la matriz que representa el mapa f ( x ) ↦ f ( a + x ) tiene valores propios complejos. Estas matrices serán diagonales (en una base apropiada) si complicamos la situación. Por eso estudiamos F ( [ 0 , 1 ]F([0,1],R)f(x)↦f(a+x) lugar. Sin embargo, introducir números complejos tiene una penalización: obtenemos un concepto de frecuencias negativas.F([0,1],C)
Todo esto es un poco abstracto, pero para ver concretamente de qué estoy hablando, considere mis dos funciones favoritas:
sin(2πt)=1
cos(2πt)=12(e2πit+e−2πit)
sin(2πt)=12i(e2πit−e−2πit)
Considere el cambio por ,s(f(x))=f(x+114.
s(cos(2πt))=-sin(2πt)s(sin(2πt))=cos(2πt)
El espacio de espacio vectorial real decos(2πt)ysin(2πt)es un espacio vectorial bidimensional de funciones que es preservado porss(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πite−2πit
se−2πit