Aquí hay un enfoque ligeramente diferente. Veamos qué función periódica tiene una transformada de Fourier exactamente con frecuencia \$-1\$.
Es la función \$t \mapsto e^{-2\pi \mathrm{i} t} = \cos(-2\pi t) + \mathrm{i}\sin(-2\pi t) = \cos(2\pi t) - \mathrm{i}\sin(2\pi t) \$ para \$ t \in [0,1]\$.
Nota que esta función tiene la misma parte real que la función \$t \mapsto e^{2\pi \mathrm{i}t}\$. Esta última función tiene solo un componente de frecuencia: la frecuencia \$1\$.
La razón por la que estas frecuencias negativas aparecen al considerar solo señales reales es porque proporcionan una forma más sencilla de describir los autovalores estrictamente complejos de la acción del círculo unitario en su espacio de funciones.
Editar: Para ampliar el comentario anterior, para realizar un análisis de frecuencia lo que realmente deseamos hacer es tomar el espacio de funciones de valores reales en \$[0,1]\$, \$F([0,1], \mathbb{R})\$ y poder expresar cualquier función \$f \in F([0,1], \mathbb{R})\$ en términos de alguna base natural de \$F([0,1], \mathbb{R})\$. Estamos de acuerdo en que realmente no importa si comenzamos nuestro período en \$0\$ a \$1\$ o en \$1/2\$ a \$3/2\$, por lo que realmente desearíamos que esta base se comporte bien con respecto al operador de desplazamiento \$f(x) \mapsto f(a+x)\$.
El problema es que, con adjetivos apropiados, \$F([0,1], \mathbb{R})\$ no es una suma directa de funciones que se comportan bien con respecto al desplazamiento. Es una suma directa (completa) de espacios vectoriales de dos dimensiones que se comportan bien con respecto al operador de desplazamiento. Esto se debe a que la matriz que representa la transformación \$f(x) \mapsto f(a+x)\$ tiene autovalores complejos. Estas matrices estarán diagonalizadas (en una base apropiada) si complejizamos la situación. Por eso estudiamos \$F([0,1], \mathbb{C})\$ en su lugar. Sin embargo, al introducir números complejos, existe una penalización: obtenemos un concepto de frecuencias negativas.
Todo esto es un poco abstracto, pero para ver concretamente de lo que estoy hablando, considera mis dos funciones favoritas: $$\cos(2\pi t) = \frac{1}{2}(e^{2\pi \mathrm{i} t} + e^{-2\pi \mathrm{i} t})$$ $$\sin(2\pi t) = \frac{1}{2 \mathrm{i}}(e^{2\pi \mathrm{i} t} - e^{-2\pi \mathrm{i} t})$$
Considera el desplazamiento por \$\frac{1}{4}\$, \$s(f(x)) = f(x+\frac{1}{4})\$. $$s(\cos(2\pi t)) = -\sin(2 \pi t)$$ $$s(\sin(2\pi t)) = \cos(2 \pi t)$$
El espacio vectorial real generado por \$\cos(2 \pi t)\$ y \$\sin(2 \pi t)\$ es un espacio vectorial de dos dimensiones de funciones que se conserva con \$s\$. Podemos ver que \$s^2 = -1\$, por lo que \$s\$ tiene autovalores \$\pm \mathrm{i}\$
Este espacio de funciones de dos dimensiones no se puede descomponer en espacios propios para \$s\$ a menos que lo complejifiquemos. En este caso, los autovectores serán \$e^{2\pi \mathrm{i} t}\$ y \$e^{-2 \pi \mathrm{i}t}\$.
En resumen, comenzamos con dos frecuencias positivas pero para diagonalizar la acción de \$s\$ tuvimos que agregar la función de frecuencia negativa \$e^{-2 \pi \mathrm{i} t}\$.
2 votos
Por favor, echa un vistazo a esta pregunta de DSP SE - dsp.stackexchange.com/questions/431/…
0 votos
Esta pregunta es mucho más fácil cuando se tiene un sólido dominio de la representación compleja (I/Q) de las señales. Ver Constelaciones en Comunicación Digital y ¿Qué son el I y el Q en el muestreo en cuadratura?.