Poisson Summation Formula

As shown in §B.1.14 above, the Fourier transform of an impulse train is an impulse train with inversely proportional spacing:

$$\psi_R(t)\;\longleftrightarrow\;{\frac{1}{R}}\cdot\psi_{\frac{1}{... ...isebox{0.8em}{\rotatebox{-90}{\resizebox{1em}{1em}{\ensuremath{\exists}}}}(Rf)$$

where

$$\psi_R(t) \isdef \sum_{m=-\infty}^\infty \delta(t-mR) = \frac{1}... ...box{-90}{\resizebox{1em}{1em}{\ensuremath{\exists}}}}\left(\frac{t}{R}\right).$$

Using this Fourier theorem, we can derive the continuous-time PSF using the convolution theorem for Fourier transforms:^B.1

$$\sum_m w(t-mR) = \psi_R \ast w \;\longleftrightarrow\; \Psi_R \cdot W = \frac{1}{R}\cdot\psi_{\frac{1}{R}}\cdot W$$

Using linearity and the shift theorem for inverse Fourier transforms, the above relation yields

$$\begin{eqnarray*} \sum_m w(t-mR) &=& \frac{1}{R} \hbox{\sc IFT}_t \left[W(f)\... ...) \right]\\ [5pt] &=& \frac{1}{R} \sum_k W(f_k)e^{j 2\pi f_k t}. \end{eqnarray*}$$

We have therefore shown

$$\zbox {\sum_{m=-\infty}^{\infty} w(t-mR) = \frac{1}{R} \sum_{k=-\infty}^{\infty} W(f_k)e^{j 2\pi f_k t}, \quad f_k\isdef \frac{k}{R}.} \protect$$ (B.8)

Compare this result to Eq.$\,$(7.4). The left-hand side of (B.8) can be interpreted $s_R(t)=\hbox{\sc Alias}_R(w)$, i.e., the time-alias of $w$ on a block of length $R$. The function $s_R(t)$ is periodic with period $R$ seconds. The right-hand side of (B.8) can be interpreted as the inverse Fourier series of $W(f)$ sampled at invervals of $1/R$ Hz. This sampling of $W(\omega)$ in the frequency domain corresponds to the aliasing of $w(t)$ in the time domain.