DSPRelated.com
Free Books
The 2025 DSP Online Conference

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)
The 2025 DSP Online Conference