Cuando obtenemos una señal discreta a muestrear una señal análoga, la frecuencia Nyquist corresponde a la frecuencia discreta
12
1
2
. Para demostrar esto, note que un senosoidal en la frecuencia Nyquist
12
T
s
1
2
T
s
tiene una forma muestreada que iguala
cos2π12
T
s
n
T
s
=cosπn=-1n
2
1
2
T
s
n
T
s
n
1
n
(1)
El exponencial en la DTFT en la frecuencia
12
1
2
igual
ⅇ-ⅈ2πn2=ⅇ-ⅈπn=-1n
2
n
2
n
1
n
, lo que significa que la correspondencia entre una frecuencia análoga y una frecuencia discreta es establecida:
f
D
=
f
A
T
s
f
D
f
A
T
s
(2)
onde
f
D
f
D
y
f
A
f
A
representan las variables de frecuencia análoga y frecuencia discreta, respectivamente. La figura de aliasing provee otra manera para derivar este resultado. Conforme la duración de cada punto en la señal de muestreo periódica
p
T
s
t
p
T
s
t
se hace mas pequeña, las amplitudes de las repeticiones del espectro de la señal, que son gobernadas por los coeficientes de la series de Fourier de
p
T
s
t
p
T
s
t
, se vuelve iguales.
Así, el espectro muestrario de la señal se convierte periódico con periodo
1
T
s
1
T
s
. Así la frecuencia Nyquist
12
T
s
1
2
T
s
corresponde a la frecuencia
12
1
2
.
La transformada inversa de Fourier discreta en el tiempo se deriva fácilmente en la siguiente relación:
∫-1212ⅇ-ⅈ2πfmⅇ+ⅈπfndf=1ifm=n0ifm≠n
1
2
1
2
f
2
f
m
f
n
1
m
n
0
m
n
(3)
Así como encontramos que
∫-1212Sⅇⅈ2πfⅇ+ⅈ2πfndf=∫-1212∑msmⅇ-ⅈ2πfmⅇ+ⅈ2πfndf=∑msm∫-1212ⅇ-ⅈ2πfm-ndf=sn
f
1
2
1
2
S
2
f
2
f
n
f
1
2
1
2
m
m
s
m
2
f
m
2
f
n
m
m
s
m
f
1
2
1
2
2
f
m
n
s
n
(4)
Los pares para la transformada de Fourier discretos en el tiempo son
Sⅇⅈ2πf=∑nsnⅇ-ⅈ2πfn
S
2
f
n
n
s
n
2
f
n
(5)
sn=∫-1212Sⅇⅈ2πfⅇ+ⅈ2πfndf
s
n
f
1
2
1
2
S
2
f
2
f
n
(6)