<< Chapter < Page | Chapter >> Page > |
We will need the Fourier transform of which, if it exists, is defined to be
and the discrete-time Fourier transform (DTFT) [link] of defined to be
where and is an integer ( ). If convolution with is viewed as a digital filter, as defined in Section: Analysis - From Fine Scale to Coarse Scale , then the DTFT of is the filter's frequency response, [link] , [link] which is periodic.
If exists, the defining recursive equation [link] becomes
which after iteration becomes
if and is well defined. This may be a distribution or it may be asmooth function depending on and, therefore, [link] , [link] . This makessense only if is well defined. Although [link] and [link] are equivalent term-by-term, the requirement of being well defined and the nature of the limits in the appropriate function spacesmay make one preferable over the other. Notice how the zeros of determine the zeros of .
There are two matrices that are particularly important to determining the properties of wavelet systems. The first is the refinement matrix , which is obtained from the basic recursion equation [link] by evaluating at integers [link] , [link] , [link] , [link] , [link] . This looks like a convolution matrix with the even (or odd) rows removed.Two particular submatrices that are used later in [link] to evaluate on the dyadic rationals are illustrated for by
which we write in matrix form as
with being the matrix of the and being vectors of integer samples of . In other words, the vector with entries is the eigenvector of for an eigenvalue of unity.
The second submatrix is a shifted version illustrated by
with the matrix being denoted . The general refinement matrix is the infinite matrix of which and are partitions. If the matrix is the convolution matrix for , we can denote the matrix by to indicate the down-sampled convolution matrix . Clearly, for to be defined on the dyadic rationals, must have a unity eigenvalue.
A third, less obvious but perhaps more important, matrix is called the transition matrix and it is built up from the autocorrelation matrix of . The transition matrix is constructed by
This matrix (sometimes called the Lawton matrix) was used by Lawton (who originally called it the Wavelet-Galerkin matrix) [link] to derive necessary and sufficient conditions for an orthogonal wavelet basis.As we will see later in this chapter, its eigenvalues are also important in determining the properties of and the associated wavelet system.
Theorem 1 If is a solution to the basic recursion equation [link] and if , then
The proof of this theorem requires only an interchange in the order of a summation and integration (allowed in ) but no assumption of orthogonality of the basis functions or any otherproperties of other than a nonzero integral. The proof of this theorem and several of the others stated here are contained inAppendix A.
Notification Switch
Would you like to follow the 'Wavelets and wavelet transforms' conversation and receive update notifications?