<< Chapter < Page | Chapter >> Page > |
Theorems [link] , [link] , and [link] show that has the characteristics of a lowpass FIR digital filter. We will later see that the FIR filter made up of the wavelet coefficients is ahigh pass filter and the filter bank view developed in Chapter: Filter Banks and the Discrete Wavelet Transform and Section: Multiplicity-M (M-Band) Scaling Functions and Wavelets further explains this view.
Theorem 16 If has finite support and if , then has finite support [link] .
If is not restricted to , it may have infinite support even if has finite support.
These theorems give a good picture of the relationship between the recursive equation coefficients and the scaling function as a solution of [link] . More properties and characteristics are presented in [link] .
One of the main purposes for presenting the rather theoretical results of this chapter is to set up the conditions for designing wavelet systems.One approach is to require the minimum sufficient conditions as constraints in an optimization or approximation,then use the remaining degrees of freedom to choose that will give the best signalrepresentation, decomposition, or compression. In some cases, the sufficient conditions are overly restrictive and it is worthwhile to usethe necessary conditions and then check the design to see if it is satisfactory. In many cases, wavelet systems are designed by a frequencydomain design of using digital filter design techniques with wavelet based constraints.
Although this chapter is primarily about the scaling function, some basic wavelet properties are included here.
Theorem 17 If the scaling coefficients satisfy the conditions for existence and orthogonality of the scaling function and the wavelet is defined by [link] , then the integer translates of this wavelet span , the orthogonal compliment of , both being in , i.e., the wavelet is orthogonal to the scaling function at the samescale,
if and only if the coefficients are given by
where is an arbitrary odd integer chosen to conveniently position .
An outline proof is in Appendix A.
Theorem 18 If the scaling coefficients satisfy the conditions for existence and orthogonality of the scaling function and the wavelet is defined by [link] , then the integer translates of this wavelet span , the orthogonal compliment of , both being in ; i.e., the wavelet is orthogonal to the scaling function at the samescale. If
then
which is derived in Appendix A, [link] .
The translation orthogonality and scaling function-wavelet orthogonality conditions in [link] and [link] can be combined to give
if is defined as .
Theorem 19 If satisfies the linear and quadratic admissibility conditions of [link] and [link] , then
and
The wavelet is usually scaled so that its norm is unity.
The results in this section have not included the effects of integer shifts of the scaling function or wavelet coefficients or . In a particular situation, these sequences may be shifted to make thecorresponding FIR filter causal.
Notification Switch
Would you like to follow the 'Wavelets and wavelet transforms' conversation and receive update notifications?