Next: Solution Notes
Up: Continuous Mathematics
Previous: Solution Notes
- 1.
- Gabor wavelets are defined as the following 3-parameter functions:
The meanings of the three parameters are:
localization at ``epoch" x0, modulation by frequency
,
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
 |
(1) |
where x0 is the mean value, or first-moment, of the function
 |
(2) |
and if we similarly define the effective support of the Fourier Transform
of the function by its normalized variance in the Fourier domain
 |
(3) |
where
is the mean value, or first-moment, of the Fourier transform
 |
(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)
 |
(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:
.
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
 |
(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
 |
(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
to 0)
pure space-domain sampling:
 |
(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: Solution Notes
Up: Continuous Mathematics
Previous: Solution Notes
Neil Dodgson
2000-10-20