DSPRelated.com
Free Books
   Free Books    Spectral Audio Signal Processing  

Convolution Theorem

The convolution theorem for Fourier transforms states that convolution in the time domain equals multiplication in the frequency domain. The continuous-time convolution of two signals $ x(t)$ and $ y(t)$ is defined by

$\displaystyle (x\ast y)(t) \isdef \ensuremath{\int_{-\infty}^{\infty}}x(\tau)y(t-\tau)d\tau.$ (B.15)

The Fourier transform is then

\begin{eqnarray*} \hbox{\sc FT}_\omega(x\ast y) &\isdef & \int_{-\infty}^\infty \left[\ensuremath{\int_{-\infty}^{\infty}}x(\tau)y(t-\tau)d\tau\right] e^{-j\omega t}dt\\ &=& \int_{-\infty}^\infty d\tau\, x(\tau) \ensuremath{\int_{-\infty}^{\infty}}dt\, y(t-\tau)e^{-j\omega t}\\ &=& \int_{-\infty}^\infty d\tau\, x(\tau) e^{-j\omega\tau}Y(\omega) \quad\mbox{(by the \emph{shift theorem})}\\ &=& X(\omega)Y(\omega), \end{eqnarray*}

or,

$\displaystyle \zbox {x\ast y \;\longleftrightarrow\;X\cdot Y.}$ (B.16)

Exercise: Show that

$\displaystyle \zbox {x\cdot y \;\longleftrightarrow\;\frac{1}{2\pi}X\ast Y}$ (B.17)

when frequency-domain convolution is defined by

$\displaystyle (X\ast Y)(\omega) \isdef \ensuremath{\int_{-\infty}^{\infty}}X(\nu) Y(\omega-\nu) d\nu,$ (B.18)

where $ \nu$ is in radians per second, and that

$\displaystyle \zbox {x\cdot y \;\longleftrightarrow\;X\ast Y}$ (B.19)

when frequency-domain convolution is defined by

$\displaystyle (X\ast Y)(f) \isdef \ensuremath{\int_{-\infty}^{\infty}}X(\nu) Y(f-\nu) d\nu,$ (B.20)

with $ \nu$ in Hertz.

Next Section:
Flip Theorems
Previous Section:
Modulation Theorem (Shift Theorem Dual)