next up previous
Next: Appendix C: Proof of Up: Bibliography Previous: Appendix A: Proof of

Appendix B: Wavelet transform

First, we summarize the wavelet transform and the inverse wavelet transform[Chui1992] for designing a constant Q filterbank.

The integral wavelet transform for f(t) is defined by

 \begin{displaymath}\tilde{f}(a,b)=\frac{1}{\sqrt{\vert a\vert}}\int_{-\infty}^\infty f(t)\overline{\psi\left(\frac{t-b}{a}\right)}dt,
\end{displaymath} (42)

where a is the ``scale parameter,'' b is the ``shift parameter,'' $a,b \in {\bf {R}}$ with $a\not=0$, and $\overline{\psi}$ is the conjugate of $\psi$. The integral basis function is $\psi (t)$ scale-transformed by parameter a and shifted by parameter b. The selection of $\psi (t)$ allows much mathematical freedom; however, in general, $\psi (t)$ is determined to be an integrable function that satisfies the following ``admissibility condition'':

 \begin{displaymath}G_{\psi}:=\int_{-\infty}^{\infty} \frac{\vert\hat{\psi}(\omega)\vert^2}{\vert\omega\vert}d\omega < \infty,
\end{displaymath} (43)

where $\hat{\psi}$ is the Fourier transform of $\psi$, It follows that $\hat{\psi}$ is a continuous function, so that the finiteness of $G_{\psi}$ in Eq. (43) implies that $\hat{\psi}(0)=0$, or equivalently, $\int_{-\infty}^{\infty} \psi(t)dt=0$. If the above equation is satisfied, $\psi$ is called a ``basic wavelet,'' and a unique inverse transform exists as follows:

 \begin{displaymath}f(t)=\frac{1}{G_\psi} \int_{-\infty}^\infty \int_{-\infty}^\infty \tilde{f}(a,b)\psi\left(\frac{t-b}{a}\right)\frac{dadb}{a^2}
\end{displaymath} (44)

Since the analyzing wavelet $\psi (t)$ in Eq. (20) approximately satisfies the admissibility condition because $\vert\psi(0)\vert\approx 0$, it can be considered that this analyzing wavelet is the basic wavelet.

Equations. (42)-(44) are a continuous wavelet transform. The discrete wavelet transform corresponding to these equations is represented by

\begin{displaymath}\psi_{p,q}(t):=\alpha^{-p/2}\psi \left(\frac{t-q\cdot b}{\alpha^p}\right),
\end{displaymath} (45)


\begin{displaymath}\tilde{f}_{p,q}:=\tilde{f}(\alpha^p,q/f_s)=\int_{-\infty}^\infty f(t)\overline{\psi}_{p,q}(t)dt,
\end{displaymath} (46)

and

\begin{displaymath}f(t)=\frac{1}{G_{p,q}}\sum_p\sum_q \tilde{f}_{p,q}\psi_{p,q}(t),
\end{displaymath} (47)

where p and q are integer parameters.


next up previous
Next: Appendix C: Proof of Up: Bibliography Previous: Appendix A: Proof of
Masashi Unoki
2000-11-07