離散時間Fourier変換
$ x:\Z\to\Complexの変換
$ \mathcal F_{DT}(x_\bullet)(\omega):=\sum_{n\in\Z}x_ne^{-i\omega n}
$ {\mathcal F_{DT}}^{-1}(X)_n:=\frac1{2\pi}\int_{-\pi}^\pi X(\omega)e^{i\omega n}\mathrm d\omega
複素Fourier係数$ c_nと$ {\mathcal F_{DT}}^{-1}(X)_n=c_{-n}の関係にある