Compactly supported (bi)orthogonal wavelets generated by interpolatory refinable functions

This paper provides several constructions of compactly supported wavelets generated by interpolatory refinable functions. It was shown in [7] that there is no real compactly supported orthonormal symmetric dyadic refinable function, except the trivial case; and also shown in [10,18] that there is no compactly supported interpolatory orthonormal dyadic refinable function. Hence, for the dyadic dilation case, compactly supported wavelets generated by interpolatory refinable functions have to be biorthogonal wavelets. The key step to construct the biorthogonal wavelets is to construct a compactly supported dual function for a given interpolatory refinable function. We provide two explicit iterative constructions of such dual functions with desired regularity. When the dilation factors are larger than 3, we provide several examples of compactly supported interpolatory orthonormal symmetric refinable functions from a general method. This leads to several examples of orthogonal symmetric (anti‐symmetric) wavelets generated by interpolatory refinable functions. This revised version was published online in June 2006 with corrections to the Cover Date.     

Examples of refinable componentwise polynomials

This short note presents four examples of compactly supported symmetric refinable componentwise polynomial functions: (i) a componentwise constant interpolatory continuous refinable function and its derived symmetric tight wavelet frame; (ii) a componentwise constant continuous orthonormal and interpolatory refinable function and its associated symmetric orthonormal wavelet basis; (iii) a differentiable symmetric componentwise linear polynomial orthonormal refinable function; (iv) a symmetric refinable componentwise linear polynomial which is interpolatory and differentiable.     

A new factorization technique of the matrix mask of univariate refinable functions

Summary. A univariate compactly supported refinable function can always be written as the convolution product , with the B-spline of order k,f a compactly supported distribution, and k the approximation orders provided by the underlying shift-invariant space . Factorizations of univariate refinable vectors were also studied and utilized in the literature. One of the by-products of this article is a rigorous analysis of that factorization notion, including, possibly, the first precise definition of that process. The main goal of this article is the introduction of a special factorization algorithm of refinable vectors that generalizes the scalar case as closely (and unexpectedly) as possible: the original vector is shown to be `almost' in the form , with F still compactly supported and refinable, andk the approximation order of . The algorithm guarantees F to retain the possible favorable properties of , such as the stability of the shifts of and/or the polynomiality of the mask symbol. At the same time, the theory and the algorithm are derived under relatively mild conditions and, in particular, apply to whose shifts are not stable, as well as to refinable vectors which are not compactly supported. The usefulness of this specific factorization for the study of the smoothness of FSI wavelets (known also as `multiwavelets' and `multiple wavelets') is explained. The analysis invokes in an essential way the theory of finitely generated shift-invariant (FSI) spaces, and, in particular, the tool of superfunction theory. Received June 10, 1998 / Revised version received June 14, 1999 / Published online August 2, 2000     

Symmetric multivariate orthogonal refinable functions

In this paper, we shall investigate the symmetry property of a multivariate orthogonal M-refinable function with a general dilation matrix M. For an orthogonal M-refinable function such that is symmetric about a point (centro-symmetric) and provides the approximation order k, we show that must be an orthogonal M-refinable function that generates a generalized coiflet of order k. Next, we show that there does not exist a real-valued compactly supported orthogonal 2I_s-refinable function in any dimension such that is symmetric about a point and generates a classical coiflet. Finally, we prove that if a real-valued compactly supported orthogonal dyadic refinable function L₂(R^s) has the axis symmetry, then cannot be a continuous function and can provide the approximation order at most one. The results in this paper may provide a better picture about symmetric multivariate orthogonal refinable functions. In particular, one of the results in this paper settles a conjecture in [D. Stanhill, Y.Y. Zeevi, IEEE Trans. Signal Process. 46 (1998), 183–190] about symmetric orthogonal dyadic refinable functions.     

Pairs of Dual Wavelet Frames from Any Two Refinable Functions

Starting from any two compactly supported refinable functions in L₂(R) with dilation factor d,we show that it is always possible to construct 2d wavelet functions with compact support such that they generate a pair of dual d-wavelet frames in L₂(R). Moreover, the number of vanishing moments of each of these wavelet frames is equal to the approximation order of the dual MRA; this is the highest possible. In particular, when we consider symmetric refinable functions, the constructed dual wavelets are also symmetric or antisymmetric. As a consequence, for any compactly supported refinable function in L₂(R), it is possible to construct, explicitly and easily, wavelets that are finite linear combinations of translates (d · – k), and that generate a wavelet frame with an arbitrarily preassigned number of vanishing moments.We illustrate the general theory by examples of such pairs of dual wavelet frames derived from B-spline functions.     

Regularity of Multivariate Refinable Functions

The regularity of a univariate compactly supported refinable function is known to be related to the spectral properties of an associated transfer operator. In the case of multivariate refinable functions with a general dilation matrix A , although factorization techniques, which are typically used in the univariate setting, are no longer applicable, we derive similar results that also depend on the spectral properties of A . September 30, 1996. Dates revised: December 1, 1996; February 14, 1997; August 1, 1997; November 11, 1997. Date accepted: November 14, 1997.     

Structure of refinable splines

A refinable spline is a compactly supported refinable function that is piecewise polynomial. Refinable splines, such as the well known B-splines, play a key role in computer aided geometric designs. Refinable splines have been studied in several papers, most noticeably in [W. Lawton, S.L. Lee, Z. Shen, Characterization of compactly supported refinable splines, Adv. Comput. Math. 3 (1995) 137–145] for integer dilations and [X. Dai, D.-J. Feng, Y. Wang, Classification of refinable splines, Constr. Approx. 24 (2) (2006) 187–200] for real dilations. There are general characterizations in these papers, but these characterizations are not explicit enough to tell us the structures of refinable splines. In this paper, we give complete characterization of the structure of refinable splines.     

Algorithms for wavelet construction on Vilenkin groups

In this paper, some algorithms for constructing orthogonal and biorthogonal compactly supported wavelets on Vilenkin groups are suggested. As application, several examples of p-adic wavelets, which correspond to the refinable functions presented recently by the first author, are given.     

Compactly Supported Tight Frames Associated with Refinable Functions

It is well known that in applied and computational mathematics, cardinal B-splines play an important role in geometric modeling (in computer-aided geometric design), statistical data representation (or modeling), solution of differential equations (in numerical analysis), and so forth. More recently, in the development of wavelet analysis, cardinal B-splines also serve as a canonical example of scaling functions that generate multiresolution analyses of L²(−∞,∞). However, although cardinal B-splines have compact support, their corresponding orthonormal wavelets (of Battle and Lemarie) have infinite duration. To preserve such properties as self-duality while requiring compact support, the notion of tight frames is probably the only replacement of that of orthonormal wavelets. In this paper, we study compactly supported tight frames Ψ={ψ¹,…,ψ^N} for L²(−∞,∞) that correspond to some refinable functions with compact support, give a precise existence criterion of Ψ in terms of an inequality condition on the Laurent polynomial symbols of the refinable functions, show that this condition is not always satisfied (implying the nonexistence of tight frames via the matrix extension approach), and give a constructive proof that when Ψ does exist, two functions with compact support are sufficient to constitute Ψ, while three guarantee symmetry/anti-symmetry, when the given refinable function is symmetric.     

On progressive functions

Progressive functions at time t involve only the progressive functions at time before t and some nice compactly supported function at time t. We give sufficient conditions and explicit formulas to construct progressive functions with exponential decay and characterize the conditions on which the positive integer translates of a progressive function are orthonormal or a Riesz sequence. We provide explicit ways for construction of orthonormal progressive functions and for construction of the biorthogonal functions of nonorthogonal progressive functions. Such progressive functions can be used to construct wavelets with arbitrary smoothness on the half line if they are generated by a smooth refinable compactly supported function.     

Multivariate Compactly Supported Fundamental Refinable Functions, Duals, and Biorthogonal Wavelets

In areas of geometric modeling and wavelets, one often needs to construct a compactly supported refinable function φ which has sufficient regularity and which is fundamental for interpolation [that means, φ(0)=1 and φ(α)=0 for all α∈ Z ^s ∖{0}].
Low regularity examples of such functions have been obtained numerically by several authors, and a more general numerical scheme was given in [1]. This article presents several schemes to construct compactly supported fundamental refinable functions, which have higher regularity, directly from a given, continuous, compactly supported, refinable fundamental function φ. Asymptotic regularity analyses of the functions generated by the constructions are given.The constructions provide the basis for multivariate interpolatory subdivision algorithms that generate highly smooth surfaces.
A very important consequence of the constructions is a natural formation of pairs of dual refinable functions, a necessary element in constructing biorthogonal wavelets. Combined with the biorthogonal wavelet construction algorithm for a pair of dual refinable functions given in [2], we are able to obtain symmetrical compactly supported multivariate biorthogonal wavelets which have arbitrarily high regularity. Several examples are computed.     

The Sobolev Regularity of Refinable Functions

Refinable functions underlie the theory and constructions of wavelet systems on the one hand and the theory and convergence analysis of uniform subdivision algorithms on the other. The regularity of such functions dictates, in the context of wavelets, the smoothness of the derived wavelet system and, in the subdivision context, the smoothness of the limiting surface of the iterative process. Since the refinable function is, in many circumstances, not known analytically, the analysis of its regularity must be based on the explicitly known mask. We establish in this paper a formula that computes, for isotropic dilation and in any number of variables, the sharp L₂-regularity of the refinable function φ in terms of the spectral radius of the restriction of the associated transfer operator to a specific invariant subspace. For a compactly supported refinable function φ, the relevant invariant space is proved to be finite dimensional and is completely characterized in terms of the dependence relations among the shifts of φ together with the polynomials that these shifts reproduce. The previously known formula for this compact support case requires the further assumptions that the mask is finitely supported and that the shifts of φ are stable. Adopting a stability assumption (but without assuming the finiteness of the mask), we derive that known formula from our general one. Moreover, we show that in the absence of stability, the lower bound provided by that previously known formula may be abysmal. Our characterization is further extended to the FSI (i.e., vector) case, to the unisotropic dilation matrix case, and to even snore general setups. We also establish corresponding results for refinable distributions.     

Some Smooth Compactly Supported Tight Wavelet Frames with Vanishing Moments

Let \(A \in \mathbb {R}^{d \times d}\), \(d \ge 1\) be a dilation matrix with integer entries and \(| \det A|=2\). We construct several families of compactly supported Parseval framelets associated to A having any desired number of vanishing moments. The first family has a single generator and its construction is based on refinable functions associated to Daubechies low pass filters and a theorem of Bownik. For the construction of the second family we adapt methods employed by Chui and He and Petukhov for dyadic dilations to any dilation matrix A. The third family of Parseval framelets has the additional property that we can find members of that family having any desired degree of regularity. The number of generators is \(2^d+d\) and its construction involves some compactly supported refinable functions, the Oblique Extension Principle and a slight generalization of a theorem of Lai and Stöckler. For the particular case \(d=2\) and based on the previous construction, we present two families of compactly supported Parseval framelets with any desired number of vanishing moments and degree of regularity. None of these framelet families have been obtained by means of tensor products of lower-dimensional functions. One of the families has only two generators, whereas the other family has only three generators. Some of the generators associated with these constructions are even and therefore symmetric. All have even absolute values.     

Multiwavelet Frames from Refinable Function Vectors

Starting from any two compactly supported d-refinable function vectors in (L ₂(R)) ^r with multiplicity r and dilation factor d, we show that it is always possible to construct 2rd wavelet functions with compact support such that they generate a pair of dual d-wavelet frames in L ₂(R) and they achieve the best possible orders of vanishing moments. When all the components of the two real-valued d-refinable function vectors are either symmetric or antisymmetric with their symmetry centers differing by half integers, such 2rd wavelet functions, which generate a pair of dual d-wavelet frames, can be real-valued and be either symmetric or antisymmetric with the same symmetry center. Wavelet frames from any d-refinable function vector are also considered. This paper generalizes the work in [5,12,13] on constructing dual wavelet frames from scalar refinable functions to the multiwavelet case. Examples are provided to illustrate the construction in this paper.     

Linear independence of pseudo-splines

In this paper, we show that the shifts of a pseudo-spline are linearly independent. This is stronger than the (more obvious) statement that the shifts of a pseudo-spline form a Riesz system. In fact, the linear independence of a compactly supported (refinable) function and its shifts has been studied in several areas of approximation and wavelet theory. Furthermore, the linear independence of the shifts of a pseudo-spline is a necessary and sufficient condition for the existence of a compactly supported function whose shifts form a biorthogonal dual system of the shifts of the pseudo-spline.

     

支于自仿射Tile上的细分分布

In this paper,some conditions which assure the compactly supported refinable distributions supported on a self-affine tile to be Lebesgue-Stieltjes measures or absolutely continuous measures with respect to Lebesgue-Stieltjes measures are given.     

Biorthogonal Wavelet Expansions

This paper is concerned with developing conditions on a given finite collection of compactly supported algebraically linearly independent refinable functions that insure the existence of biorthogonal systems of refinable functions with similar properties. In particular, we address the close connection of this issue with stationary subdivision schemes. Date received: May 20, 1995. Date revised: March 2, 1996.     

Compactly supported tight and sibling frames with maximum vanishing moments

The notion of vanishing-moment recovery (VMR) functions is introduced in this paper for the construction of compactly supported tight frames with two generators having the maximum order of vanishing moments as determined by the given refinable function, such as the mth order cardinal B-spline N_m. Tight frames are also extended to “sibling frames” to allow additional properties, such as symmetry (or antisymmetry), minimum support, “shift-invariance,” and inter-orthogonality. For N_m, it turns out that symmetry can be achieved for even m and antisymmetry for odd m, that minimum support and shift-invariance can be attained by considering the frame generators with two-scale symbols 2^−m(1−z)^m and 2^−mz(1−z)^m, and that inter-orthogonality is always achievable, but sometimes at the sacrifice of symmetry. The results in this paper are valid for all compactly supported refinable functions that are reasonably smooth, such as piecewise Lipα for some α>0, as long as the corresponding two-scale Laurent polynomial symbols vanish at z=−1. Furthermore, the methods developed here can be extended to the more general setting, such as arbitrary integer scaling factors, multi-wavelets, and certainly biframes (i.e., allowing the dual frames to be associated with a different refinable function).     

Biorthogonal wavelets on Vilenkin groups

We describe algorithms for constructing biorthogonal wavelet systems and refinable functions whose masks are generalized Walsh polynomials. We give new examples of biorthogonal compactly supported wavelets on Vilenkin groups.     

Symmetric orthonormal scaling functions and wavelets with dilation factor 4

It is well known that in the univariate case, up to an integer shift and possible sign change, there is no dyadic compactly supported symmetric orthonormal scaling function except for the Haar function. In this paper we are concerned with the construction of symmetric orthonormal scaling functions with dilation factor d=4. Several examples of such orthonormal scaling functions are provided in this paper. In particular, two examples of C ¹ orthonormal scaling functions, which are symmetric about 0 and 1/6, respectively, are presented. We will then discuss how to construct symmetric wavelets from these scaling functions. We explicitly construct the corresponding orthonormal symmetric wavelets for all the examples given in this paper. This revised version was published online in June 2006 with corrections to the Cover Date.