Convergence of subdivision schemes in L p spaces

Abstract. In this paper it is proved that Lp solutions of a refinement equation exist if and only ifthe corresponding subdivision scheme with suitable initial function converges in Lp without anyassumption on the stability of the solutions of the refinement equation. A characterization forconvergence of subdivision scheme is also given in terms of the refinement mask. Thus a com-plete answer to the relation between the existence of Lp solutions of the refinement equation andthe convergence of the corresponding subdivision schemes is given.     

Regularity of refinable function vectors

We study the existence and regularity of compactly supported solutions φ = (φ_v) _v=0 ^/r−1 of vector refinement equations. The space spanned by the translates of φ_v can only provide approximation order if the refinement maskP has certain particular factorization properties. We show, how the factorization ofP can lead to decay of |̸_v(u)| as |u| → ∞. The results on decay are used to prove uniqueness of solutions and convergence of the cascade algorithm.     

On the Norm of the Fourier—Gegenbauer Projection in Weighted L p Spaces

We extend the results of Pollard [4] and give asymptotic estimates for the norm of the Fourier—Gegenbauer projection operator in the appropriate weighted L _p space. In particular, we settle the question of whether the projection is bounded for p=(2λ+1)/λ and p=(2λ+1)/(λ+1) , where λ is the index for the family of Gegenbauer polynomials under consideration. March 19, 1997. Date revised: June 3, 1998. Date accepted: August 1, 1998.     

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.     

Variational Principles and Sobolev-Type Estimates for Generalized Interpolation on a Riemannian Manifold

The purpose of this paper is to study certain variational principles and Sobolev-type estimates for the approximation order resulting from using strictly positive definite kernels to do generalized Hermite interpolation on a closed (i.e., no boundary), compact, connected, orientable, m -dimensional C ^∞ Riemannian manifold , with C ^∞ metric g _ij . The rate of approximation can be more fully analyzed with rates of approximation given in terms of Sobolev norms. Estimates on the rate of convergence for generalized Hermite and other distributional interpolants can be obtained in certain circumstances and, finally, the constants appearing in the approximation order inequalities are explicit. Our focus in this paper will be on approximation rates in the cases of the circle, other tori, and the 2 -sphere. April 10, 1996. Dates revised: March 26, 1997; August 26, 1997. Date accepted: September 12, 1997. Communicated by Ronald A. DeVore.     

Refinement equations with nonnegative coefficients

In this paper we analyze solutions of the n-scale functional equation Ф(x) = Σ_k∈ℤ ^Pk Ф(nx−k), where n≥2 is an integer, the coefficients {P_k} are nonnegative and Σpk = 1. We construct a sharp criterion for the existence of absolutely continuous solutions of bounded variation. This criterion implies several results concerning the problem of integrable solutions of n-scale refinement equations and the problem of absolutely continuity of distribution function of one random series. Further we obtain a complete classification of refinement equations with positive coefficients (in the case of finitely many terms) with respect to the existence of continuous or integrable compactly supported solutions.     

Orthogonality criteria for compactly supported refinable functions and refinable function vectors

A refinable function φ(x):ℝⁿ→ℝ or, more generally, a refinable function vector Φ(x)=[φ₁(x),...,φ_r(x)]^T is an L¹ solution of a system of (vector-valued) refinement equations involving expansion by a dilation matrix A, which is an expanding integer matrix. A refinable function vector is called orthogonal if {φ_j(x−α):α∈ℤⁿ, 1≤j≤r form an orthogonal set of functions in L²(ℝⁿ). Compactly supported orthogonal refinable functions and function vectors can be used to construct orthonormal wavelet and multiwavelet bases of L²(ℝⁿ). In this paper we give a comprehensive set of necessary and sufficient conditions for the orthogonality of compactly supported refinable functions and refinable function vectors.     

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.     

Inhomogeneous refinement equations

Equations with two time scales (refinement equations or dilation equations) are central to wavelet theory. Several applications also include an inhomogeneous forcing term F(t). We develop here a part of the existence theory for the inhomogeneous refinement equation

Compactly Supported Distributional Solutions of Nonstationary Nonhomogeneous Refinement Equations

Let A be a matrix with the absolute values of all eigenvalues strictly larger than one, and let Z ₀ be a subset of Z such than n∈Z ₀ implies n + 1 ∈Z ₀. Denote the space of all compactly supported distributions by D′, and the usual convolution between two compactly supported distributions f and g by f*g. For any bounded sequence G _n and H _n , n∈Z ₀, in D′, define the corresponding nonstationary nonhomogeneous refinement equation Φ _n =H _n *Φ _n+1 (A·)+G _n for all n∈Z ₀ where Φ _n , n∈Z ₀, is in a bounded set of D′. The nonstationary nonhomogeneous refinement equation (*) arises in the construction of wavelets on bounded domain, multiwavelets, and of biorthogonal wavelets on nonuniform meshes. In this paper, we study the existence problem of compactly supported distributional solutions Φ _n , n∈Z ₀, of the equation (*). In fact, we reduce the existence problem to finding a bounded solution of the linear equations for all n∈Z ₀ where the matrices S _n and the vectors , n∈Z ₀, can be constructed explicitly from H _n and G _n respectively. The results above are still new even for stationary nonhomogeneous refinement equations. Received December 30, 1999, Accepted June 15, 2000     

Orthogonal two-direction multiscaling functions

The concept of a two-direction multiscaling functions is introduced. We investigate the existence of solutions of the two-direction matrix refinable equation

Subspaces and Orthogonal Decompositions Generated by Bounded Orthogonal Systems

We investigate properties of subspaces of L₂ spanned by subsets of a finite orthonormal system bounded in the L_∞ norm. We first prove that there exists an arbitrarily large subset of this orthonormal system on which the L₁ and the L₂ norms are close, up to a logarithmic factor. Considering for example the Walsh system, we deduce the existence of two orthogonal subspaces of L₂ⁿ, complementary to each other and each of dimension roughly n/2, spanned by ± 1 vectors (i.e. Kashin’s splitting) and in logarithmic distance to the Euclidean space. The same method applies for p > 2, and, in connection with the Λ_p problem (solved by Bourgain), we study large subsets of this orthonormal system on which the L₂ and the L_p norms are close (again, up to a logarithmic factor). Partially supported by an Australian Research Council Discovery grant. This author holds the Canada Research Chair in Geometric Analysis.     

Approximation order provided by refinable function vectors

In this paper we considerL _p-approximation by integer translates of a finite set of functionsϕ _v (v=0, ...,r − 1) which are not necessarily compactly supported, but have a suitable decay rate. Assuming that the function vectorϕ=(ϕ ^=0/ r−1 is refinable, necessary and sufficient conditions for the refinement mask are derived. In particular, if algebraic polynomials can be exactly reproduced by integer translates ofϕ _v, then a factorization of the refinement mask ofϕ can be given. This result is a natural generalization of the result for a single functionϕ, where the refinement mask ofϕ contains the factor ((1 +e ^−iu )/2) ^m if approximation orderm is achieved. Dedicated to Professor L. Berg on the occasion of his 65th birthday     

Multivariate refinement equation with nonnegative masks

This paper is concerned with multivariate refinement equations of the type where (?) is the unknown function defined on the s-dimensional Euclidean space Rs, a is a finitely supported nonnegative sequence on Zs, and M is an s×s dilation matrix with m := |detM|. We characterize the existence of L2-solution of refinement equation in terms of spectral radius of a certain finite matrix or transition operator associated with refinement mask a and dilation matrix M. For s = 1 and M = 2, the sufficient and necessary conditions are obtained to characterize the existence of continuous solution of this refinement equation.     

Riesz's Theorem for Orthogonal Matrix Polynomials

We describe the image through the Stieltjes transform of the set of solutions V of a matrix moment problem. We extend Riesz's theorem to the matrix setting, proving that those matrices of measures of V for which the matrix polynomials are dense in the corresponding ² space are precisely those whose Stieltjes transform is an extremal point (in the sense of convexity) of the image set. May 20, 1997. Date revised: January 8, 1998.     

Convergence of nonstationary cascade algorithms

Summary. A nonstationary multiresolution of is generated by a sequence of scaling functions We consider that is the solution of the nonstationary refinement equations where is finitely supported for each k and M is a dilation matrix. We study various forms of convergence in of the corresponding nonstationary cascade algorithm as k or n tends to It is assumed that there is a stationary refinement equation at with filter sequence h and that The results show that the convergence of the nonstationary cascade algorithm is determined by the spectral properties of the transition operator associated with h. Received September 19, 1997 / Revised version received May 22, 1998 / Published online August 19, 1999     

Lp-Solutions of Vector Refinement Equations with General Dilation Matrix

The purpose of this paper is to investigate the solutions of refinement equations of the form ψ（x）∑α∈Z α（α）ψ（Mx-α）,x∈R, where the vector of functions ψ = （ψ1,..., ψr）^T is in （Lp（R^n））^r, 0 〈 p≤∞, α（α）, α ∈ Z^n, is a finitely supported sequence of r × r matrices called the refinement mask, and M is an s × s integer matrix such that limn→∞M^-n=0, In this article, we characterize the existence of an Lp=solution of the refinement equation for 0〈 p ≤∞, Our characterizations are based on the p-norm joint spectral radius.     

On the Degree of Approximation by Manifolds of Finite Pseudo-Dimension

The pseudo-dimension of a real-valued function class is an extension of the VC dimension for set-indicator function classes. A class of finite pseudo-dimension possesses a useful statistical smoothness property. In [10] we introduced a nonlinear approximation width = which measures the worst-case approximation error over all functions by the best manifold of pseudo-dimension n . In this paper we obtain tight upper and lower bounds on ρ _n (W ^r,d _p , L _q ) , both being a constant factor of n ^-r/d , for a Sobolev class W ^r,d _p , . As this is also the estimate of the classical Alexandrov nonlinear n -width, our result proves that approximation of W ^r,d _p by the family of manifolds of pseudo-dimension n is as powerful as approximation by the family of all nonlinear manifolds with continuous selection operators. March 12, 1997. Dates revised: August 26, 1997, October 24, 1997, March 16, 1998, June 15, 1998. Date accepted: June 25, 1998.     

Best Basis Selection for Approximation in L p

We study the approximation of a function class F in L _p by choosing first a basis B and then using n -term approximation with the elements of B . Into the competition for best bases we enter all greedy (i.e., democratic and unconditional [20]) bases for L _p . We show that if the function class F is well-oriented with respect to a particular basis B then, in a certain sense, this basis is the best choice for this type of approximation. Our results extend the recent results of Donoho [9] from L ₂ to L _p , p\neq 2 .     

Lagrange Interpolation in Weighted Besov Spaces

The behavior of the Lagrange polynomial L _m (w,f) , based on the zeros of the orthogonal polynomials, is studied in some weighted Besov spaces B ^p _r,q (u) . It is proved that L _m (w) is a uniformly bounded map under suitable conditions on the weight functions and the parameters p , r , and q . December 11, 1996. Date revised: October 29, 1997. Date accepted: June 15, 1998.