Szemerédi regularity lemma

A multiresolution analysis (MRA) or multiscale approximation (MSA) is the design method of most of the practically relevant discrete wavelet transforms (DWT) and the justification for the algorithm of the fast wavelet transform (FWT). It was introduced in this context in 1988/89 by Stephane Mallat and Yves Meyer and has predecessors in the microlocal analysis in the theory of differential equations (the ironing method) and the pyramid methods of image processing as introduced in 1981/83 by Peter J. Burt, Edward H. Adelson and James Crowley.

Definition

A multiresolution analysis of the space $L^2(\mathbb{ℝ})$ consists of a sequence of nested subspaces

$\{0\}\dots \subset V_0\subset V_1\subset \dots \subset V_n\subset V_{n+1}\subset \dots \subset L^2(\mathbb{ℝ})$

that satisfies certain self-similarity relations in time/space and scale/frequency, as well as completeness and regularity relations.

• Self-similarity in time demands that each subspace V_k is invariant under shifts by integer multiples of 2^-k. That is, for each $f\in V_k,m\in \mathbb{\mathbb{Z}}$ there is a $g\in V_k$ with $\mathrm{\forall }x\in \mathbb{ℝ}:f(x)=g(x+m{2}^{-k})$.
• Self-similarity in scale demands that all subspaces $V_k\subset V_l,k<l,$ are time-scaled versions of each other, with scaling respectively dilation factor 2^l-k. I.e., for each $f\in V_k$ there is a $g\in V_l$ with $\mathrm{\forall }x\in \mathbb{ℝ}:g(x)=f(2^{l-k}x)$. If f has limited support, then as the support of g gets smaller, the resolution of the l-th subspace is higher than the resolution of the k-th subspace.

• Regularity demands that the model subspace V₀ be generated as the linear hull (algebraically or even topologically closed) of the integer shifts of one or a finite number of generating functions $\varphi$ or ${\varphi }_1,\dots ,{\varphi }_r$. Those integer shifts should at least form a frame for the subspace $V_0\subset L^2(\mathbb{ℝ})$, which imposes certain conditions on the decay at infinity. The generating functions are also known as scaling functions or father wavelets. In most cases one demands of those functions to be piecewise continuous with compact support.

• Completeness demands that those nested subspaces fill the whole space, i.e., their union should be dense in $L^2(\mathbb{ℝ})$, and that they are not too redundant, i.e., their intersection should only contain the zero element.

Important conclusions

In the case of one continuous (or at least with bounded variation) compactly supported scaling function with orthogonal shifts, one may make a number of deductions. The proof of existence of this class of functions is due to Ingrid Daubechies.

Assuming the scaling function has compact support, then $V_0\subset V_1$ implies that there is a finite sequence of coefficients $a_k=2⟨\varphi (x),\varphi (2x-k)⟩$ for $\left|k\right|\le N$, and $a_k=0$ for $\left|k\right|>N$, such that

$\varphi (x)=\sum _{k=-N}^N{a}_k\varphi (2x-k).$

Defining another function, known as mother wavelet or just the wavelet

$\psi (x):=\sum _{k=-N}^N(-1{)}^k{a}_{1-k}\varphi (2x-k).$

One can show that the space $W_0\subset V_1$, which is defined as the (closed) linear hull of the mother wavelet's integer shifts, is the orthogonal complement to $V_0$ inside $V_1$.Template:Cn Or put differently, $V_1$ is the orthogonal sum (denoted by $\oplus$) of $W_0$ and $V_0$. By self-similarity, there are scaled versions $W_k$ of $W_0$ and by completeness one hasTemplate:Cn

$L^2(\mathbb{ℝ})=\text{closure of }\underset{k\in \mathbb{\mathbb{Z}}}{⨁}{W}_k,$

thus the set

$\{{\psi }_{k,n}(x)={\sqrt{2}}^k\psi (2^{k}x-n):k,n\in \mathbb{\mathbb{Z}}\}$

is a countable complete orthonormal wavelet basis in $L^2(\mathbb{ℝ})$.

See also

• Multiscale modeling
• Scale space
• Wavelet

References

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534

External links

• A Concise Introduction to Wavelets (with coverage of multiresolution analysis) by René Puchinger.