Haar Wavelets

• Mar 1st 2011, 11:27 AM
mathematicalbagpiper
Haar Wavelets
Show that the rescaled Haar wavelets $\displaystyle \psi_{jk}(x)=2^{j/2}\psi(2^jx-k)$ form an orthonormal basis basis for $\displaystyle L^2(\mathbb{R})$.

So I know that what I have to show is that:

$\displaystyle \int_{\mathbb{R}}\psi_{jk}(x)\psi_{lm}(x)dx=\delta _{jl}\delta_{km}$

I'm just stuck as to how to simplify that integral.
• Mar 1st 2011, 07:07 PM
Ackbeet
Hmm. Maybe this might help:

$\displaystyle \psi_{jk}(x)=2^{j/2}\begin{cases} 1,&\quad 0\le 2^{j}x-k<1/2\\ -1,&\quad 1/2\le 2^{j}x-k<1\\ 0,&\quad\text{otherwise} \end{cases}=2^{j/2}\begin{cases} 1,&\quad k\le 2^{j}x<1/2+k\\ -1,&\quad 1/2+k\le 2^{j}x<1+k\\ 0,&\quad\text{otherwise} \end{cases}$

$\displaystyle =2^{j/2}\begin{cases} 1,&\quad 2^{-j}k\le x<2^{-j}(1/2+k)\\ -1,&\quad 2^{-j}(1/2+k)\le x<2^{-j}(1+k)\\ 0,&\quad\text{otherwise} \end{cases}.$

Here I'm using the mother wavelet function $\displaystyle \psi(x)$ as defined in the wiki. So the only points at which this function is nonzero are in the half-open interval $\displaystyle [2^{-j}k,2^{-j}(k+1)).$

Now, what if you could show that $\displaystyle [2^{-j}k,2^{-j}(k+1))\cap[2^{-l}m,2^{-l}(m+1))=\varnothing$ if either $\displaystyle j\not= l$ or $\displaystyle k\not=m?$ That would certainly be sufficient to show the zero part of the delta functions, wouldn't it? Because then, under the integral sign, each function would drag the other one down to zero.

What happens when both $\displaystyle j=l$ and $\displaystyle k=m?$ What does the integrand do?