next Scaling Theorem
previous Continuous Fourier Theorems
up Continuous Fourier Theorems   Contents   Global Contents
global_index Global Index   Index   Search


Differentiation Theorem

Let $ x(t)$ denote a function differentiable for all $ t$ such that $ x(\pm\infty)=0$ and the Fourier transforms (FT) of both $ x(t)$ and $ x^\prime(t)$ exist, where $ x^\prime(t)$ denotes the time derivative of $ x(t)$. Then we have

$\displaystyle \zbox {x^\prime(t) \leftrightarrow j\omega X(\omega)}
$

where $ X(\omega)$ denotes the Fourier transform of $ x(t)$. In operator notation:

$\displaystyle \zbox {\hbox{\sc FT}_{\omega}(x^\prime) = j\omega X(\omega)}
$

Proof: This follows immediately from integration by parts:

\begin{eqnarray*}
\hbox{\sc FT}_{\omega}(x^\prime)
&\isdef & \int_{-\infty}^\in...
...\infty x(t) (-j\omega)e^{-j\omega t} dt\\
&=& j\omega X(\omega)
\end{eqnarray*}

since $ x(\pm\infty)=0$.

The differentiation theorem was implicitly used in §A.6 to show that audio signals are perceptually equivalent to bandlimited signals which are infinitely differentiable for all time.


next Scaling Theorem
previous Continuous Fourier Theorems
up Continuous Fourier Theorems   Contents   Global Contents
global_index Global Index   Index   Search

``Mathematics of the Discrete Fourier Transform (DFT)'', by Julius O. Smith III, W3K Publishing, 2003, ISBN 0-9745607-0-7.

(Browser settings for best viewing results)
(How to cite this work)
(Order a printed hardcopy)

Copyright © 2003-10-09 by Julius O. Smith III
Center for Computer Research in Music and Acoustics (CCRMA),   Stanford University
CCRMA  (automatic links disclaimer)