Differentiability of multivariate refinable functions and factorization

The paper develops a necessary condition for the regularity of a multivariate refinable function in terms of a factorization property of the associated subdivision mask. The extension to arbitrary isotropic dilation matrices necessitates the introduction of the concepts of restricted and renormalized convergence of a subdivision scheme as well as the notion of subconvergence, i.e., the convergence of only a subsequence of the iterations of the subdivision scheme. Since, in addition, factorization methods pass even from scalar to matrix valued refinable functions, those results have to be formulated in terms of matrix refinable functions or vector subdivision schemes, respectively, in order to be suitable for iterated application. Moreover, it is shown for a particular case that the the condition is not only a necessary but also a sufficient one. Dedicated to Charles A. Micchelli, a unique person, friend, mathematician and collaborator, on the occasion of his sixtieth birthday Mathematics subject classifications (2000) 65T60, 65D99.     

Two-direction refinable functions and two-direction wavelets with high approximation order and regularity

The concept of two-direction refinable functions and two-direction wavelets is introduced. We investigate the existence of distributional(or L~2-stable) solutions of the two-direction refinement equation: (?)(x)=(?)p_k~ (?)(mx-k) (?)p_k~-(?)(k-mx), where m≥2 is an integer.Based on the positive mask {p_k~ } and negative mask {p_k~-},the conditions that guarantee the above equation has compactly distributional solutions or L~2-stable solutions are established.Furthermore,the condition that the L~2-stable solution of the above equation can generate a two-direction MRA is given.The support interval of (?)(x) is discussed amply.The definition of orthogonal two-direction refinable function and orthogonal two-direction wavelets is presented,and the orthogonality criteria for two-direction refinable functions are established.An algorithm for construct- ing orthogonal two-direction refinable functions and their two-direction wavelets is presented.Another construction algorithm for two-direction L~2-refinable functions,which have nonnegative symbol masks and possess high approximation order and regularity,is presented.Finally,two construction examples are given.     

Quincunx fundamental refinable functions and quincunx biorthogonal wavelets

We analyze the approximation and smoothness properties of quincunx fundamental refinable functions. In particular, we provide a general way for the construction of quincunx interpolatory refinement masks associated with the quincunx lattice in . Their corresponding quincunx fundamental refinable functions attain the optimal approximation order and smoothness order. In addition, these examples are minimally supported with symmetry. For two special families of such quincunx interpolatory masks, we prove that their symbols are nonnegative. Finally, a general way of constructing quincunx biorthogonal wavelets is presented. Several examples of quincunx interpolatory masks and quincunx biorthogonal wavelets are explicitly computed.

     

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.     

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.     

Vector subdivision schemes and multiple wavelets

We consider solutions of a system of refinement equations written in the form

where the vector of functions is in and is a finitely supported sequence of matrices called the refinement mask. Associated with the mask is a linear operator defined on by . This paper is concerned with the convergence of the subdivision scheme associated with , i.e., the convergence of the sequence in the -norm.

Our main result characterizes the convergence of a subdivision scheme associated with the mask in terms of the joint spectral radius of two finite matrices derived from the mask. Along the way, properties of the joint spectral radius and its relation to the subdivision scheme are discussed. In particular, the -convergence of the subdivision scheme is characterized in terms of the spectral radius of the transition operator restricted to a certain invariant subspace. We analyze convergence of the subdivision scheme explicitly for several interesting classes of vector refinement equations.

Finally, the theory of vector subdivision schemes is used to characterize orthonormality of multiple refinable functions. This leads us to construct a class of continuous orthogonal double wavelets with symmetry.

     

Regularity of refinable functions with exponentially decaying masks

The regularity of refinable functions is an important issue in all multiresolution analysis and has a strong impact on applications of wavelets to image processing, geometric and numerical solutions of elliptic partial differential equations. The purpose of this paper is to characterize the regularity of refinable functions with exponentially decaying masks and a dilation matrix whose eigenvalues have the same modulus. The main results of this paper are really extensions of some results in Cohen et al. (1999) [5], Jia (1999) [17] and Lorentz and Oswald (2000) [28].     

Polynomial interpolation, ideals and approximation order of multivariate refinable functions

The paper identifies the multivariate analog of factorization properties of univariate masks for compactly supported refinable functions, that is, the ``zero at '-property, as containment of the mask polynomial in an appropriate quotient ideal. In addition, some of these quotient ideals are given explicitly.

     

On multivariate subdivision schemes with nonnegative finite masks

We study the convergence of multivariate subdivision schemes with nonnegative finite masks. Consequently, the convergence problem for the multivariate subdivision schemes with nonnegative finite masks supported on centered zonotopes is solved. Roughly speaking, the subdivision schemes defined by these masks are always convergent, which gives an answer to a question raised by Cavaretta, Dahmen and Micchelli in 1991.

     

Local bases for refinable spaces

We provide a new representation of a refinable shift invariant space with a compactly supported generator, in terms of functions with a special property of homogeneity. In particular, these functions include all the homogeneous polynomials that are reproducible by the generator, which links this representation to the accuracy of the space. We completely characterize the class of homogeneous functions in the space and show that they can reproduce the generator. As a result we conclude that the homogeneous functions can be constructed from the vectors associated to the spectrum of the scale matrix (a finite square matrix with entries from the mask of the generator). Furthermore, we prove that the kernel of the transition operator has the same dimension as the kernel of this finite matrix. This relation provides an easy test for the linear independence of the integer translates of the generator. This could be potentially useful in applications to approximation theory, wavelet theory and sampling.

     

On polynomial symbols for subdivision schemes

Given a dilation matrix A :ℤ^d→ℤ^d, and G a complete set of coset representatives of 2π(A ^−Tℤ^d/ℤ^d), we consider polynomial solutions M to the equation ∑ _g∈G M(ξ+g)=1 with the constraints that M≥0 and M(0)=1. We prove that the full class of such functions can be generated using polynomial convolution kernels. Trigonometric polynomials of this type play an important role as symbols for interpolatory subdivision schemes. For isotropic dilation matrices, we use the method introduced to construct symbols for interpolatory subdivision schemes satisfying Strang–Fix conditions of arbitrary order. Research partially supported by the Danish Technical Science Foundation, Grant No. 9701481, and by the Danish SNF-PDE network.     

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 limits of refinable functions

A function is refinable ( ) if it is in the closed span of . This set is not closed in , and we characterize its closure. A necessary and sufficient condition for a function to be refinable is presented without any information on the refinement mask. The Fourier transform of every vanishes on a set of positive measure. As an example, we show that all functions with Fourier transform supported in are the limits of refinable functions. The relation between a refinable function and its mask is studied, and nonuniqueness is proved. For inhomogeneous refinement equations we determine when a solution is refinable. This result is used to investigate refinable components of multiple refinable functions. Finally, we investigate fully refinable functions for which all translates (by any real number) are refinable.

     

Classification of qt=P(x, t, q, qx, qxx)

The classification of q_t = P ( x ,  t ,  q ,  q_x ,  q_xx ) is given by using linearization. Two types of integrable equations which are generalizations of the integrable equations of Fokas and Svinolupov are given. Results are compared with Fokas's symmetry and the Mikhailov–Shabat–Sokolov formal symmetry approaches.     

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.     

Supports of fourier transforms of refinable frame functions and their applications to FMRA

Let M be a d × d expansive matrix, and FL ²(??) be a reducing subspace of L ²(? ^d ). This paper characterizes bounded measurable sets in ? ^d which are the supports of Fourier transforms of M-refinable frame functions. As applications, we derive the characterization of bounded measurable sets as the supports of Fourier transforms of FMRA (W-type FMRA) frame scaling functions and MRA (W-type MRA) scaling functions for FL ²(??), respectively. Some examples are also provided.     

Multivariate matrix refinable functions with arbitrary matrix dilation

Characterizations of the stability and orthonormality of a multivariate matrix refinable function with arbitrary matrix dilation are provided in terms of the eigenvalue and -eigenvector properties of the restricted transition operator. Under mild conditions, it is shown that the approximation order of is equivalent to the order of the vanishing moment conditions of the matrix refinement mask . The restricted transition operator associated with the matrix refinement mask is represented by a finite matrix , with and being the Kronecker product of matrices and . The spectral properties of the transition operator are studied. The Sobolev regularity estimate of a matrix refinable function is given in terms of the spectral radius of the restricted transition operator to an invariant subspace. This estimate is analyzed in an example.

     

具有多项式衰减面具的向量细分格式

具有多项式衰减面具的向量细分方程在刻画小波Riesz基和双正交小波等方面有着重要作用.本文主要研究这类方程解的性质.向量的细分方程具有形式：Ф=∑α∈Zsa（α）（2·-α）,其中Ф=（Ф1,...,Фr）T是定义在Rs上的向量函数,a：=（a（α））α∈Zs是一个具有多项式衰减的r×r矩阵序列称为面具.关于面具a定义一个作用在（Lp（Rs））r上的线性算子Qa,Qaf：=∑α∈Zsa（α）f（2·α）.迭代格式（Qanf）n=1,2,...称为向量细分格式或向量细分算法.本文证明如果具有多项式衰减面具的向量细分格式在（L2（Rs））r中收敛,那么其收敛的极限函数将自动具有多项式衰减.另外,给出了当迭代的初始函数满足一定的条件时的向量细分格式的收敛阶.     

Refinable subspaces of a refinable space

Local refinable finitely generated shift-invariant spaces play a significant role in many areas of approximation theory and geometric design. In this paper we present a new approach to the construction of such spaces. We begin with a refinable function which is supported on . We are interested in spaces generated by a function built from the shifts of .

     

Subdivision Schemes and Refinement Equations with Nonnegative Masks

We consider the two-scale refinement equation f(x)=∑^N_n=0 c_nf(2x−n) with ∑_n c_2n=∑_n c_2n+1=1 where c₀, c_N≠0 and the corresponding subdivision scheme. We study the convergence of the subdivision scheme and the cascade algorithm when all c_n0. It has long been conjectured that under such an assumption the subdivision algorithm converge, and the cascade algorithm converge uniformly to a continuous function, if and only if only if 0<c₀, c_N<1 and the greatest common divisor of S={n: c_n>0} is 1. We prove the conjecture for a large class of refinement equations.