Next  |  Prev  |  Up  |  Top  |  Index  |  JOS Index  |  JOS Pubs  |  JOS Home  |  Search

Alternate Proof

The Fourier transform of a complex Gaussian can also be derived using the differentiation theorem and its dual (§B.2).D.1

Proof: Let

$\displaystyle g(t)\isdefs e^{-pt^2} \;\longleftrightarrow\;G(\omega).$ (D.19)

Then by the differentiation theorem (§B.2),

$\displaystyle g^\prime(t) \;\longleftrightarrow\;j\omega G(\omega).$ (D.20)

By the differentiation theorem dual (§B.3),

$\displaystyle -jtg(t) \;\longleftrightarrow\;G^\prime(\omega).$ (D.21)

Differentiating $ g(t)$ gives

$\displaystyle g^\prime(t) \eqsp -2ptg(t) \eqsp \frac{2p}{j}[-jtg(t)] \;\longleftrightarrow\;\frac{2p}{j}G^\prime(\omega).$ (D.22)


$\displaystyle j\omega G(\omega) \eqsp \frac{2p}{j}G^\prime(\omega)$ (D.23)


$\displaystyle \left[\ln G(\omega)\right]^\prime \eqsp \frac{G^\prime(\omega)}{G(\omega)} \eqsp -\frac{\omega}{2p} \eqsp \left(-\frac{\omega^2}{4p}\right)^\prime.$ (D.24)

Integrating both sides with respect to $ \omega$ yields

$\displaystyle \ln G(\omega) \eqsp -\frac{\omega^2}{4p} + \ln G(0).$ (D.25)

In §D.7, we found that $ G(0)=\sqrt{\pi/p}$ , so that, finally, exponentiating gives

$\displaystyle G(\omega) \eqsp \sqrt{\frac{\pi}{p}}\,e^{-\frac{\omega^2}{4p}}$ (D.26)

as expected.

The Fourier transform of complex Gaussians (``chirplets'') is used in §10.6 to analyze Gaussian-windowed ``chirps'' in the frequency domain.

Next  |  Prev  |  Up  |  Top  |  Index  |  JOS Index  |  JOS Pubs  |  JOS Home  |  Search

[How to cite this work]  [Order a printed hardcopy]  [Comment on this page via email]
[Watch the Video]  [Work some Exercises]  [Examination]  
``Spectral Audio Signal Processing'', by Julius O. Smith III, W3K Publishing, 2011, ISBN 978-0-9745607-3-1.
Copyright © 2015-02-01 by Julius O. Smith III
Center for Computer Research in Music and Acoustics (CCRMA),   Stanford University