next up previous
Next: Solution Notes Up: Continuous Mathematics Previous: Solution Notes

Solution Notes -- Example Problem Set 6

1.
Gabor wavelets are defined as the following 3-parameter functions:

\begin{displaymath}f(x)=e^{-i \mu_{0} x} e^{-(x-x_{0})^{2}/a^{2} }
\end{displaymath}

The meanings of the three parameters are: localization at ``epoch" x0, modulation by frequency $\mu_{0}$, and wavelet size or spread constant a.
2.
Gabor-Heisenberg-Weyl Uncertainty Relation. If we define the ``effective support" of a function f(x) by its normalized variance, or the normalized second-moment

\begin{displaymath}(\Delta x)^{2} = \frac{\displaystyle \int_{-\infty}^{+\infty}...
... dx}
{\displaystyle \int_{-\infty}^{+\infty} f(x) f^{*}(x) dx}
\end{displaymath} (1)

where x0 is the mean value, or first-moment, of the function

\begin{displaymath}x_{0} = \frac{\displaystyle \int_{-\infty}^{+\infty} x f(x) f...
... dx}
{\displaystyle \int_{-\infty}^{+\infty} f(x) f^{*}(x) dx}
\end{displaymath} (2)

and if we similarly define the effective support of the Fourier Transform $F(\mu)$ of the function by its normalized variance in the Fourier domain

\begin{displaymath}(\Delta \mu)^{2} = \frac{\displaystyle \int_{-\infty}^{+\inft...
...\displaystyle \int_{-\infty}^{+\infty} F(\mu) F^{*}(\mu) d\mu}
\end{displaymath} (3)

where $\mu_{0}$ is the mean value, or first-moment, of the Fourier transform $F(\mu)$

\begin{displaymath}\mu_{0} = \frac{\displaystyle \int_{-\infty}^{+\infty} \mu F(...
...\displaystyle \int_{-\infty}^{+\infty} F(\mu) F^{*}(\mu) d\mu}
\end{displaymath} (4)

then it can be proven (by Schwartz Inequality arguments) that there exists a fundamental lower bound on the product of these two ``spreads," regardless of the function f(x)

\begin{displaymath}\fbox{$(\Delta x) (\Delta \mu) \ge \frac{1}{4 \pi} $\space }\end{displaymath} (5)

This is the Gabor-Heisenberg-Weyl Uncertainty Principle, and the unique family of signals that actually achieve its lower bound are the complex exponentials multiplied by Gaussians. These are the ``Gabor wavelets."
3.
The smallest possible area that any function can occupy in the Information Diagram is: $(\Delta x) (\Delta \mu) = \frac{1}{4 \pi} $. Gabor wavelets, regardless of their parameter values, always achieve this lower bound on area. Their shapes may of course differ, as the diagram shows, but their jointly occupied areas are always equal. All other functions will occupy areas larger than this in the Information Diagram, and thus have less sharp information resolution.
4.
To compute the representation of a signal or of data in the Gabor domain, we find its expansion in terms of elementary functions having the form

\begin{displaymath}f(x)=e^{-i \mu_{0} x} e^{-(x-x_{0})^{2}/a^{2} }
\end{displaymath} (6)

The single parameter a (the space-constant in the Gaussian term) actually builds a continuous bridge between the time domain and the Fourier domain: if the parameter a is made very large, then the second exponential above approaches 1.0, and so in the limit our expansion basis becomes

\begin{displaymath}\lim_{a \rightarrow \infty} f(x)=e^{-i \mu_{0} x}
\end{displaymath} (7)

the ordinary Fourier basis. If the parameter a is instead made very small, the Gaussian term becomes the approximation to a delta function at location xo, and so the expansion basis implements (if we set $\mu_{0}$ to 0) pure space-domain sampling:

\begin{displaymath}\lim_{\mu_{0},a \rightarrow 0} f(x)=\delta(x-x_{0})
\end{displaymath} (8)

Hence the Gabor expansion basis ``contains" both domains at once. It allows us to make a continuous deformation that selects a representation lying anywhere on a one-parameter continuum between two domains that were hitherto distinct and mutually unapproachable. The price paid for this unification of the two domains is that the new expansion basis is, in general, non-orthogonal. This makes it much more difficult to obtain the coefficients for the expansion.


next up previous
Next: Solution Notes Up: Continuous Mathematics Previous: Solution Notes
Neil Dodgson
2000-10-20