Хорошо, я отвечу на это аргументом, который имеют «противники» моей жесткой нацистской позиции в отношении ДПФ.
Во- первых, моя жесткая, нацистская позиция : ряды ДПФ и Дискрета Фурье - одно и то же. DFT отображает одну бесконечную и периодическую последовательность с периодом во «временной» области в другую бесконечную и периодическую последовательность , опять же с периодом , в «частотную» область. и iDFT отображает его обратно. и они «инъективны» или «обратимы» или «один-к-одному».x[n]NX[k]N
DFT:
X[k]=∑n=0N−1x[n]e−j2πnk/N
iDFT:
x[n]=1N∑k=0N−1X[k]ej2πnk/N
это наиболее фундаментально, что такое DFT. это по своей сути периодическая или круглая вещь.
но отрицатели периодичности хотели бы сказать это о ДПФ. это правда, это просто не меняет ничего из вышеперечисленного.
Итак, предположим, что у вас есть последовательность конечной длины длины и вместо того, чтобы периодически ее расширять (что и делает DFT), вы добавляете эту последовательность конечной длины с нулями бесконечно слева и справа. такx[n]N
x^[n]≜⎧⎩⎨x[n]0for 0≤n≤N−1otherwise
Теперь, это неповторяющаяся бесконечная последовательность делает иметь ДВПФ:
DTFT:
X^(ejω)=∑n=−∞+∞x^[n]e−jωn
X^(ejω) - это Z-преобразование вычисленное на единичной окружности для бесконечного множества вещественных значения . Теперь, если вам нужно будет сэмплировать этот DTFT в одинаково расположенных точках на единичной окружности, с одной точкой в , вы получитеx^[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]
именно так связаны DFT и DTFT. выборка DTFT с равными интервалами в «частотной» области приводит к тому, что во «временной» области исходная последовательность повторяется и сдвигается на все кратные и добавляется перекрытие. это то, что равномерная выборка в одном домене вызывает в другом домене. но, поскольку предполагается , что равно вне интервала , это добавление с перекрытием ничего не делает. он просто периодически расширяет ненулевую часть , нашей исходной последовательности конечной длины, .x^[n]Nx^[n]00≤n≤N−1x^[n]x[n]