Computing With Daubechies' Wavelets: Adri B. Olde Daalhuis
Computing With Daubechies' Wavelets: Adri B. Olde Daalhuis
plays a fundamental role. With the farther wavelet </>, satisfying this equation, we
have the accompanying mother wavelet 'ljJ defined by
00
In Daubechies [1] for the first time a construction is given of wavelets resulting in
compactly supported orthonormal wavelet bases. (See also Heijmans [this volume,
§4].)
It is not difficult to put conditions on hn of (1.1) in order to obtain compactly
supported functions <f> and 'lj;. We only need to have just a finite number of {hn}
that are different from zero. In this section we give a proof of this property.
We use the fact that the solution <P of equation (1.1) can be constructed by the
following iteration scheme. Let
7Jo(x) = { ~ as-~<x<~
elsewhere.
(1.3)
That is, 7JO(x) is the characteristic function of[-~,~]. Next we define a sequence
of functions 7}1, l = 1, 2, ... , by writing
00
Then we have
<f>(x) = !-+co
lim r)l(x). (1.5)
The reader is referred to [1] for a proof of this constructive procedure, which may
also be used to draw pictures of solutions of (1.1).
Now, let just a finite number of filter coefficients hn of ( 1.1) be non-zero. That
is, assume that we have two integer numbers N_, N+ and that
n<N_, (1.6)
n>N+·
It is easily verified that the functions 7JL defined by (1.3) and (1.4) have compact
support. We have in fact
supp(711) = [Nz,-, Nz,+L
with
M - t
o,+ - ~'
Nz,+ = 2(N1-1,+ + N+).
Thus we have
Nz,---+ N_
as l ·-> oo,
Nz,+--+ N+
and it follows that
supp(<f>) c [N-,N+J, (1. 7)
In a recent paper ofLemarie-Rieusset & Malgouyres [3], it is proven that the support
of <:/> is indeed a connected interval.
Computing with Wavelets
95
We prescribe that all hn E lR, and just a finite number are non-zero. The function
H(€) is of fundamental importance in the theory. It generates the function ~(~):
00
where the function'(/;(€) denotes the Fourier transform of the function <P(x):
So, when H(€) is known, '(/;(€) and, hence, rjJ(x) can be constructed, and with (1.2)
the mother wavelet 1/J(x) can be constructed.
The construction uses the following important theorem:
(2.1)
n
where
(iv) :E lfnllnl" < oo for some e > 0,
n I"
(v ) supeElR .r -inel < 2N-l .
£....,n Jne
Define
00
j=l
n
96 A. B. Olde Daalhuis
Examples
1
(1) ho=h1 =- and
v'2
Thus the father wavelet </J(x) and the associated mother wavelet iji(x) are the Haar
wavelets:
1 asO<x<!
</J(x) ={1 as 0 < x < 1 iji(x) = { -1 !
as < x < 1
0 elsewhere
0 elsewhere.
The first example is speciai with respect of symmetry because:
Theorem 2. (Daubechies) The Haar basis (associated to the above example (1)) is
the only orthonormal basis of compactly supported wavelets for which the associated
function <P has a symmetry axis.
The construction of the compactly supported wavelets from the function H ( ~) starts
by writing
(2.2)
The function Q(x) is a polynomial with real coefficients. It is easy to see that (ii)
of Theorem 1 can be rewritten as
(2.3)
Computing with Wavelets 97
With (2.2) we have
(2.4)
Because of the coefficients of Q(x) being real, we have Q(e-•€) = Q(ei€), and it
follows that IQ(e-•€)12 can be rewritten as a polynomial in cosE", or, equivalently,
as a polynomial in sin2 t~- So, with y = sin 2 H,
there is a polynomial P(y) such
that
(2.5)
and
P(y) ~ 0 Vy E [O, 1]. (2.6)
With this new polynomial, (2.3) becomes
Lemma 1. (Riesz) Let A(~) = 'l:~=O a., cos~' with a., E lR, be a positive
trigonometric polynomial. Then there exists a trigonometric polynomial B(~)
'l:::=O b.. e-inf;, with bn E R, such that
The proof of this Lemma is given in [1], and it is constructive. We omit the proof.
A special solution of (2.6)-(2.7), which is given in [l], is
Exrunples
(3)
( 4)
Q3(~) = H1+v'1o+Js+2Ko + 2(1- v'i.O)e-ie
Theorem 4. (Daubechies) There exists,\> 0 such that, for all NE JN, N :'.'.: 2,
</;N,1/JN E c>..N.
In Daubechies [2, p. 226] it is proven that for large N the optimal >. is
ln3
,\ = 1 - ln4 "'0.2075.
100 A. B. Olde Daalhuis
(HNii)k = L
l=-oo
h1-2ka1, (3.1)
00
(3.3)
ho h1
The matrix-form of GN is the same, with h,.. replaced by g,,.. Filtering with these
!M x M-matrices will cause edge effects for.N > 1. For eliminating these edge
effects, we make these matrices periodic in the following way
(3.4)
ho
ho h1
Computing with Wavelets 101
with 9N the same as 1-lN with h.,. replaced by g.,.. This is the same as leaving the
filters HN and GN unchanged and making the signal a periodic to a l 00 -vector.
The total filtering is now
(3.5)
(3.6)
00
L hn-2k9n-2l = 0, (3.8)
n=-oo
L hn-2k9n-2l = L < </>1k, </>On >< </>0n, '!/J11 >=< </>1k, '!/Ju >= 0.
n=-oo n=-oo
We define
(3.9)
Then we define
Figure 1. Father (left) and mother wavelet for N = 1, the Haar functions.
Since 10 lies early in the hierarchical range 9-16, that wavelet lies on the left
side of the picture. Since 58 lies in a later (smaller scale) hierarchy, it is a narrower
wavelet.
The discrete wavelet transforms of the sinus-signal (see Figure 5) are calculated
for N = 1 and N = 10. They are shown in Figures 6 and 7.
l.
Figure 6. Discrete wavelet transform of the sinus-signal for N = 1.
References
1. Daubechies, I., Orthonormal bases of compactly supported wavelets, Comm.
Pure and Appl. Math. 41 (1988), 909-996.
2. Daubechies, I., Ten Lectures on Wavelets, CBMS-NSF, Regional Conference
Series in Applied Mathematics # 61, SIAM, Philadelphia, Pennsylvania, 1992.
3. Lemarie..Rieusset, P.G. and G. Malgouyres, Support des fonctions de base dans
une analyse multi-resolution, C. R. Acad. Sci. Paris Ser. I Math. 313 (1991),
377-380.
4. Press, W.H., Wavelet transforms, Harvard-Smithsonian Center for Astro-
physics, No. 3184, 1991, preprint.