Dual Wavelet Frames and Riesz Bases in Sobolev Spaces

This paper generalizes the mixed extension principle in L ₂(ℝ ^d ) of (Ron and Shen in J. Fourier Anal. Appl. 3:617–637, 1997) to a pair of dual Sobolev spaces H ^s (ℝ ^d ) and H ^−s (ℝ ^d ). In terms of masks for φ,ψ ¹,…,ψ ^L ∈H ^s (ℝ ^d ) and , simple sufficient conditions are given to ensure that (X ^s (φ;ψ ¹,…,ψ ^L ), forms a pair of dual wavelet frames in (H ^s (ℝ ^d ),H ^−s (ℝ ^d )), where For s>0, the key of this general mixed extension principle is the regularity of φ, ψ ¹,…,ψ ^L , and the vanishing moments of , while allowing , to be tempered distributions not in L ₂(ℝ ^d ) and ψ ¹,…,ψ ^L to have no vanishing moments. So, the systems X ^s (φ;ψ ¹,…,ψ ^L ) and may not be able to be normalized into a frame of L ₂(ℝ ^d ). As an example, we show that {2 ^j(1/2−s) B _m (2 ^j ⋅−k):j∈ℕ₀,k∈ℤ} is a wavelet frame in H ^s (ℝ) for any 0<s<m−1/2, where B _m is the B-spline of order m. This simple construction is also applied to multivariate box splines to obtain wavelet frames with short supports, noting that it is hard to construct nonseparable multivariate wavelet frames with small supports. Applying this general mixed extension principle, we obtain and characterize dual Riesz bases in Sobolev spaces (H ^s (ℝ ^d ),H ^−s (ℝ ^d )). For example, all interpolatory wavelet systems in (Donoho, Interpolating wavelet transform. Preprint, 1997) generated by an interpolatory refinable function φ∈H ^s (ℝ) with s>1/2 are Riesz bases of the Sobolev space H ^s (ℝ). This general mixed extension principle also naturally leads to a characterization of the Sobolev norm of a function in terms of weighted norm of its wavelet coefficient sequence (decomposition sequence) without requiring that dual wavelet frames should be in L ₂(ℝ ^d ), which is quite different from other approaches in the literature.