Adapted Wavelet Analysis from Theory to Software

Prove Equation 5.11, using the argument in Proposition 5.1.
Prove the estimate in Equation 5.51.
Prove that we can always conventionally normalize the high-pass filters in a biorthogonal set of CDFs, as claimed after Lemma 5.2.
Compute H*Hu( t), G*Gu( t), H*Gu( t), and G*Hu( t) for a pair H, G of orthogonal QFs acting on functions.
Prove Equation 5.23, the second part of Lemma 5.5.
Prove Equations 5.80 and 5.81.
Find ? n( t) in the Shannon case. That is, compute the inverse Fourier transform of the function in Theorem 5.19. This is called the Shannon wavelet.
Write a pseudocode program that takes a low-pass QF sequence and produces a complete PQF data structure. Then write a second program that produces its conventionally indexed and normalized conjugate.
Implement adjoint periodic convolution-decimation using the "mod" operator. Compare its speed on your computer with the "non-mod" implementation.
Implement sequential output adjoint periodic convolution-decimation using Equation 5.5. Compare its results with the implementation of acdpo() given in the text.
Implement periodic convolution-decimation using FFT. For what length filters does this realize a speed gain?
Start with an aperiodic sequence supported in [ a, b] and apply the convolution-decimation F (supported in [0, R - 1]) a total of L times. What is the support of the resulting filtered sequence? Now apply F* L times to the filtered sequence. What is...