Wavelets and pre-wavelets in low dimensions

DOI10.1016/0021-9045(92)90129-CMaRDI QIDQ1198942zbMATH OpenFDO

Authors Sherman D. Riemenschneider, Zuowei Shen

Publication date 16 January 1993

Published in Journal of Approximation Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0021-9045(92)90129-C

box-splines multiresolution approximation prewavelet wavelet

Spline approximation (41A15) Approximation by other special function classes (41A30) Abstract approximation theory (approximation in normed linear spaces and other abstract spaces) (41A65)

Review text

Denote by \(L^ 2\) the space of \(\ell\)-periodic functions \(\varphi\) such that \(\varphi^ 0:=\sum_ j|\varphi(\cdot-j)|\in L^ 2([0,1]^ s)\) (all the sums in this review will be taken over \(Z^ s)\). It follows that \(L^ 2\) is a subspace of \(L^ 2(\mathbb{R}^ s)\) containing the functions with fast exponential decay and, in particular, the compactly supportd functions in \(L^ 2(\mathbb{R}^ s)\). A function \(\varphi\) is called refinable if \(\varphi(\cdot/2)/2^ s=\varphi*' a_ \varphi:=\sum_ j\varphi(\cdot-j)a_ \varphi(j)\), for some \(a_ \varphi\ell^ 2(Z^ s)\), and \(\ell\)-stable if \(\|\varphi *' a\|_ 2\geq\text{const.}\| a\|_ 2\), for all \(a\in\ell^ 2(Z^ s)\). Putting \(V_ 0:=\varphi *'(Z^ s)\) and \(V_ k:=\sigma_ k V_ 0\), where \(\sigma_ k f\mapsto f(2^ k)\), then \textit{R. Q. Jia} and \textit{C. A. Micchelli} [Proc. R. Soc. Edinb., Sect. A (to appear)] proved that if is refinable and \(\ell^ 2\)-stable then \(\{V_ k: k\in Z\}\) is a multiresolution approximation in \(L^ 2(\mathbb{R}^ s)\), i.e. (i) \(V_ k\subset V_{k+1}\); (ii) \(\bigcup_ k V_ k\) is dense in \(L^ 2(\mathbb{R}^ s)\) and \(\bigcap_ k V_ k=\{0\}\); (iii) \(f\in V_ k\Leftrightarrow f(2\cdot)\in V_{k+1}\); (iv) \(f\in V_ k\Rightarrow f(\cdot-2^{-k}\cdot j)\in V_ k\), \(\forall k\in Z\), \(\forall j\in Z^ s\); and (v) \(V_ 0\) has an unconditional basis. A prewavelet is a function \(\psi\) in the orthogonal complement of \(V_ 0\) in \(V_{-1}\). It follows that \(\psi(2^{k_ 1}\cdot-j_ 1)\perp\psi(2^{k_ 2}\cdot-j_ 2)\), for all \(k_ 1\neq k_ 2\), and \(\psi\) is called a wavelet if the above relation holds whenever \(k_ 1\neq k_ 2\) or \(j_ 1\neq j_ 2\). The aim of this paper is to construct compactly supported prewavelets in \(L^ 2(\mathbb{R}^ s)\), for \(s=1,2,3\), based on complex- valued skew-symmetric function \(\varphi\). A similar construction, but using box-splines, was given by the authors [Approximation theory and functional analysis. In honor of George G. Lorentz on the occasion of his 80th birthday, Sev. Pap. Conf., Austin/TX (USA) 1990, 133-149 (1991; Zbl 0719.41018)].

Recommendations

Cites work

Cited in

(54)

This page was built for publication: Wavelets and pre-wavelets in low dimensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1198942)