Decimation  x[nN] ⟺ \frac{1}{N} ∑_{k=0}^{N−1} X(\frac{ϕ − k}{N})  (1)