Dual multiwavelet frames with high balancing order and compact fast frame transform. (English) Zbl 1154.42007

Han, Bin

Appl. Comput. Harmon. Anal. 26, No. 1, 14-42 (2009).

Summary: An interesting method called oblique extension principle (OEP) has been proposed in the literature for constructing compactly supported MRA tight and dual wavelet frames with high vanishing moments and high frame approximation orders. Many compactly supported MRA wavelet frames have been recently constructed from scalar refinable functions via OEP. Despite the great flexibility and popularity of OEP for constructing compactly supported MRA wavelet frames in the literature, however, the associated fast frame transform is generally not compact and a deconvolution appears in the frame transform. Here we say that a frame transform is compact if it can be implemented by convolutions, coupled with upsampling and downsampling, using only finite-impulse-response (FIR) filters. In this paper we shall address several fundamental issues on MRA dual wavelet frames and fast frame transforms. Basically, we present two complementary results on dual wavelet frames which are obtained via OEP from scalar refinable functions (= refinable function vectors with multiplicity one) and from truly refinable function vectors with multiplicity greater than one. On the one hand, by a nontrivial argument, we show that from any pair of compactly supported refinable spline functions \(\phi\) and \(\tilde {\phi}\) (not necessarily having stable integer shifts) with finitely supported masks, if we require that the associated fast frame transform be compact, then any compactly supported dual wavelet frames derived via OEP from \(\phi\) and \(\tilde {\phi}\) can have vanishing moments at most one and the frame approximation order at most two. On the other hand, we prove in a constructive way that from any pair of compactly supported refinable function vectors \(\phi\) and \(\tilde {\phi}\) with multiplicity at least two and with finitely supported masks, then we can always build a pair of compactly supported dual multiwavelet frames in \(L_2(\mathbb R)\) with the following properties:
(i) The associated fast frame transform is compact; therefore, no deconvolution appears in the fast frame transform.
(ii) All the frame generators achieve the highest possible order of vanishing moments; the pair of dual multiwavelet frames has the highest possible frame approximation order.
(iii) The pair of dual multiwavelet frames and its fast frame transform have the highest possible balancing order; therefore, the difficulty of approximation inefficiency facing most multiwavelet transforms does not appear here in the associated fast frame transform.
In short, the two desirable properties (i) and (ii) of dual wavelet frames obtained via OEP from scalar refinable functions are generally mutually conflicting, while they coexist very well for truly refinable function vectors and multiwavelets with the additional property of high balancing orders in (iii). In this paper, we shall present a comprehensive study of the frame approximation order, balancing order and the fast frame transform associated with the dual multiwavelet frames derived from refinable function vectors via OEP. One of the key ingredients in our study of MRA multiwavelet frames is an interesting canonical form of a matrix mask which greatly facilitates the investigation of refinable function vectors and multiwavelets. An algorithm is given in this paper for constructing pairs of dual wavelet frames with compact fast frame transforms and high balancing orders. An example of balanced spline dual wavelet frames with compact fast frame transforms is provided to illustrate the algorithm and results of this paper.

MSC:

42C40	Nontrigonometric harmonic analysis involving wavelets and other special systems
65T50	Numerical methods for discrete and fast Fourier transforms

Keywords:

dual multiwavelet frames; compact fast frame transform; balancing order; OEP; canonical form of a matrix mask; refinable function vectors; vanishing moments; splines

References:

[1]	Chui, C. K.; He, W.; Stöckler, J., Compactly supported tight and sibling frames with maximum vanishing moments, Appl. Comput. Harmon. Anal., 13, 224-262 (2002) · Zbl 1016.42023
[2]	Chui, C. K.; He, W.; Stöckler, J., Nonstationary tight wavelet frames. II. Unbounded interval, Appl. Comput. Harmon. Anal., 18, 25-66 (2005) · Zbl 1067.42022
[3]	Chui, C. K.; He, W.; Stöckler, J.; Sun, Q., Compactly supported tight affine frames with integer dilations and maximum vanishing moments, Adv. Comput. Math., 18, 159-187 (2003) · Zbl 1059.42022
[4]	Chui, C. K.; Jiang, Q. T., Balanced multi-wavelets in \(R^s\), Math. Comp., 74, 1323-1344 (2000) · Zbl 1061.42023
[5]	Daubechies, I., The wavelet transform, time-frequency localization and signal analysis, IEEE Trans. Inform. Theory, 36, 961-1005 (1990) · Zbl 0738.94004
[6]	Daubechies, I., Ten Lectures on Wavelets, CBMS-NSF Series (1992), SIAM: SIAM Philadelphia · Zbl 0776.42018
[7]	Daubechies, I.; Han, B., Pairs of dual wavelet frames from any two refinable functions, Constr. Approx., 20, 325-352 (2004) · Zbl 1055.42025
[8]	Daubechies, I.; Han, B.; Ron, A.; Shen, Z. W., Framelets: MRA-based constructions of wavelet frames, Appl. Comput. Harmon. Anal., 14, 1-46 (2003) · Zbl 1035.42031
[9]	Han, B., On dual wavelet tight frames, Appl. Comput. Harmon. Anal., 4, 380-413 (1997) · Zbl 0880.42017
[10]	Han, B., Approximation properties and construction of, Hermite interpolants and biorthogonal multiwavelets, J. Approx. Theory, 110, 18-53 (2001) · Zbl 0986.42020
[11]	Han, B., Compactly supported tight wavelet frames and orthonormal wavelets of exponential decay with a general dilation matrix, J. Comput. Appl. Math., 155, 43-67 (2003) · Zbl 1021.42020
[12]	Han, B., Vector cascade transforms and refinable function vectors in Sobolev spaces, J. Approx. Theory, 124, 44-88 (2003) · Zbl 1028.42019
[13]	Han, B., Construction of wavelets and framelets by the projection method, Int. J. Appl. Math. Appl., 1, 1-40 (2008) · Zbl 1148.42012
[14]	Han, B.; Mo, Q., Multiwavelet frames from refinable function vectors, Adv. Comput. Math., 18, 211-245 (2003) · Zbl 1059.42030
[15]	Han, B.; Mo, Q., Tight wavelet frames generated by three symmetric B-spline functions with high vanishing moments, Proc. Amer. Math. Soc., 132, 77-86 (2004) · Zbl 1040.42030
[16]	Han, B.; Mo, Q., Symmetric MRA tight wavelet frames with three generators and high vanishing moments, Appl. Comput. Harmon. Anal., 18, 67-93 (2005) · Zbl 1057.42026
[17]	Jetter, K.; Zhou, D. X., Order of linear approximation from shift-invariant spaces, Constr. Approx., 11, 423-438 (1995) · Zbl 0840.41025
[18]	K. Jetter, D.X. Zhou, Approximation order of linear operators and finitely generated shift-invariant spaces, preprint, 1998; K. Jetter, D.X. Zhou, Approximation order of linear operators and finitely generated shift-invariant spaces, preprint, 1998
[19]	Lawton, W.; Lee, S. L.; Shen, Z., Complete characterization of refinable splines, Adv. Comput. Math., 3, 137-145 (1995) · Zbl 0828.41006
[20]	Lebrub, J.; Vetterli, M., Balanced multiwavelets: Theory and design, IEEE Trans. Signal Process., 46, 1119-1125 (1998)
[21]	Ron, A.; Shen, Z., Affine systems in \(L_2(R^d)\): The analysis of the analysis operator, J. Funct. Anal., 148, 408-447 (1997) · Zbl 0891.42018
[22]	Ron, A.; Shen, Z., Affine systems in \(L_2(R^d)\). II. Dual systems, J. Fourier Anal. Appl., 3, 617-637 (1997) · Zbl 0904.42025
[23]	Selesnick, I. W., Balanced multiwavelet bases based on symmetric FIR filters, IEEE Trans. Signal Process., 48, 184-191 (2000) · Zbl 1012.94507
[24]	Selesnick, I. W., Smooth wavelet tight frames with zero moments, Appl. Comput. Harmon. Anal., 10, 163-181 (2000) · Zbl 0972.42025