tudo bem, eu vou responder isso com um argumento que os "oponentes" à minha rígida posição nazista em relação à DFT têm.
Em primeiro lugar, minha posição rígida e nazista : a DFT e a Discrete Fourier Series são a mesma coisa. o DFT mapeia uma sequência infinita e periódica, x[n] com o período N no domínio "tempo" para outra sequência infinita e periódica, X[k] , novamente com o período N , no domínio "frequência". e o iDFT mapeia de volta. e são "injetáveis" ou "invertíveis" ou "particulares".
DFT:
X[k]=∑n=0N−1x[n]e−j2πnk/N
iDFT:
x[n]=1N∑k=0N−1X[k]ej2πnk/N
isso é fundamentalmente o que é o DFT. é inerentemente uma coisa periódica ou circular.
mas os negadores da periodicidade gostam de dizer isso sobre a DFT. é verdade, simplesmente não altera nenhuma das opções acima.
então, suponha que você tenha uma sequência de comprimento finito x[n] de comprimento N e, em vez de estendê-la periodicamente (que é o que a DFT faz inerentemente), acrescente essa sequência de comprimento finito com zeros infinitamente à esquerda e à direita. então
x^[n]≜⎧⎩⎨x[n]0for 0≤n≤N−1otherwise
agora, esta sequência infinita não-repetição faz ter uma DTFT:
TFTD:
X ( de e j ω ) = + ∞ Σ n = - ∞ x [ n ] e - j ω nX^(ejω)=∑n=−∞+∞x^[n]e−jωn
X^(ejω)é a transformada z de x [n]avaliadas na unidade círculoz=ejωpara infinitamente muitasverdadeirosvalores deω. Agora, se estivesse a amostra que TFTD X (de ejω)emNpontos igualmente espaçados sobre o círculo unitário, com um ponto emz=ejω=1, que se obtémx^[n]z=ejωωX^(ejω)Nz=ejω=1
X^(ejω)∣∣∣ω=2πkN=∑n=−∞+∞x^[n]e−jωn∣∣∣ω=2πkN=∑n=−∞+∞x^[n]e−j2πkn/N=∑n=0N−1x^[n]e−j2πkn/N=∑n=0N−1x[n]e−j2πkn/N=X[k]
é exatamente assim que o DFT e o DTFT estão relacionados. amostragem da TFTD em intervalos uniformes nas causas de domínio "frequência", no domínio de "tempo", a sequência original x [ n ] para ser repetido e deslocado por todos os múltiplos de N e adicionou-se sobrepõem. é isso que a amostragem uniforme em um domínio causa no outro domínio. mas, uma vez que x [ n ] é a hipótese de ser 0 no exterior do intervalo de 0 ≤ n ≤ N - 1 , que se sobrepõem-adição não faz nada. que apenas periodicamente se estende a parte diferente de zero de x [ nx^[n]Nx^[n]00≤n≤N−1x^[n] , nossa sequência de comprimento finito original,x[n] .