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.     

Affine Frames of Multivariate Box Splines and their Affine Duals

We give a simple and explicit construction of primal and dual wavelet filters based on refinable multivariate splines (with respect to dilation matrices M) such that the corresponding wavelet functions generate dual affine frames of arbitrarily high regularity. Furthermore, the number of wavelets does not depend on the regularity. We apply the method also to generalized B-splines.     

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.     

Refinable Function-Based Construction of Weak (Quasi-)Affine Bi-Frames

Refinable function-based affine frames and affine bi-frames have been extensively studied in the literature. All these works are based on some restrictions on refinable functions. This paper addresses what are expected from two general refinable functions. We introduce the notion of weak (quasi-) affine bi-frame; present a refinable function-based construction of weak (quasi-) affine bi-frames; and obtain a fast algorithm associated with weak affine bi-frames. An example is also given to show that our construction is optimal in some sense.     

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.     

Nonlinear approximation schemes associated with nonseparable wavelet bi-frames

In the present paper, we study nonlinear approximation properties of multivariate wavelet bi-frames. For a certain range of parameters, the approximation classes associated with best N-term approximation are determined to be Besov spaces and thresholding the wavelet bi-frame expansion realizes the approximation rate. Our findings extend results about dyadic wavelets to more general scalings. Finally, we verify that the required linear independence assumption is satisfied for particular families of nondyadic wavelet bi-frames in arbitrary dimensions.     

On a Class of Weak Nonhomogeneous Affine Bi-frames for Reducing Subspaces of L~2(R~d)

For refinable function-based affine bi-frames, nonhomogeneous ones admit fast algorithms and have extension principles as homogeneous ones. But all extension principles are based on some restrictions on refinable functions. So it is natural to ask what are expected from general refinable functions. In this paper, we introduce the notion of weak nonhomogeneous affine bi-frame(WNABF).Under the setting of reducing subspaces of L~2(R~d), we characterize WNABFs and obtain a mixed oblique extension principle for WNABFs based on general refinable functions.     

小波分析中一个逆问题

本文证明:如果来自多尺度分析(伸缩因子为矩阵)的小波是标准正交的,那么相对应的尺度函数也是标准正交的,其中函数f_s(x)∈L~2(R~n)(s=1,2,…,r,r是正整数)的标准正交性是指f_s(x)的整平移所构成的函数族为L~2(R~n)的标准正交系。结果表明,如果我们想从多尺度分析出发构造正交小波,那么该多尺度分析必须有正交尺度函数。     

Construction of biorthogonal wavelets from pseudo-splines

Pseudo-splines constitute a new class of refinable functions with B-splines, interpolatory refinable functions and refinable functions with orthonormal shifts as special examples. Pseudo-splines were first introduced by Daubechies, Han, Ron and Shen in [Framelets: MRA-based constructions of wavelet frames, Appl. Comput. Harmon. Anal. 14(1) (2003), 1–46] and Selenick in [Smooth wavelet tight frames with zero moments, Appl. Comput. Harmon. Anal. 10(2) (2001) 163–181], and their properties were extensively studied by Dong and Shen in [Pseudo-splines, wavelets and framelets, 2004, preprint]. It was further shown by Dong and Shen in [Linear independence of pseudo-splines, Proc. Amer. Math. Soc., to appear] that the shifts of an arbitrarily given pseudo-spline are linearly independent. This implies the existence of biorthogonal dual refinable functions (of pseudo-splines) with an arbitrarily prescribed regularity. However, except for B-splines, there is no explicit construction of biorthogonal dual refinable functions with any given regularity. This paper focuses on an implementable scheme to derive a dual refinable function with a prescribed regularity. This automatically gives a construction of smooth biorthogonal Riesz wavelets with one of them being a pseudo-spline. As an example, an explicit formula of biorthogonal dual refinable functions of the interpolatory refinable function is given.     

New Stable Biorthogonal Spline-Wavelets on the Interval

In this paper we present the construction of new stable biorthogonal spline-wavelet bases on the interval [0, 1] for arbitrary choice of spline-degree. As starting point, we choose the well-known family of compactly supported biorthogonal spline-wavelets presented by Cohen, Daubechies and Feauveau. Firstly, we construct biorthogonal MRAs (multiresolution analysis) on [0, 1]. The primal MRA consists of spline-spaces concerning equidistant, dyadic partitions of [0, 1], the so called Schoenberg-spline bases. Thus, the full degree of polynomial reproduction is preserved on the primal side. The construction, that we present for the boundary scaling functions on the dual side, guarantees the same for the dual side. In particular, the new boundary scaling functions on both, the primal and the dual side have staggered supports. Further, the MRA spaces satisfy certain Jackson- and Bernstein-inequalities, which lead by general principles to the result, that the associated wavelets are in fact L ₂([0, 1])-stable. The wavelets however are computed with aid of the method of stable completion. Due to the compact support of all occurring functions, the decomposition and reconstruction transforms can be implemented efficiently with sparse matrices. We also illustrate how bases with complementary or homogeneous boundary conditions can be easily derived from our construction.     

Multivariate compactly supported biorthogonal spline wavelets

We study biorthogonal bases of compactly supported wavelets constructed from box splines in ℝ ^N with any integer dilation factor. For a suitable class of box splines we write explicitly dual low-pass filters of arbitrarily high regularity and indicate how to construct the corresponding high-pass filters (primal and dual). Received: August 23, 2000; in final form: March 10, 2001?Published online: May 29, 2002     

L2(Rs)中插值小波包的分裂技巧和精细分解

对具有任意伸缩矩阵A的插值加细函数，给出对应于L^2(R^s)中的小波包的一个构造方法．采样空间被直接分解来取代对加细函数的符号分解．按照这个方法构造的插值小波包能对基插值空间提供较为精细的分解，因而对自适应的插值给出较好的局部化．     

On a class of weak nonhomogeneous affine bi-frames for reducing subspaces of <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>(ℝ<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>)

For refinable function-based affine bi-frames, nonhomogeneous ones admit fast algorithms and have extension principles as homogeneous ones. But all extension principles are based on some restrictions on refinable functions. So it is natural to ask what are expected from general refinable functions. In this paper, we introduce the notion of weak nonhomogeneous affine bi-frame (WNABF). Under the setting of reducing subspaces of L ²(R ^d ), we characterize WNABFs and obtain a mixed oblique extension principle for WNABFs based on general refinable functions.     

Smoothness of multivariate refinable functions with infinitely supported masks

In this paper, we investigate the smoothness of multivariate refinable functions with infinitely supported masks and an isotropic dilation matrix. Using some methods as in [R.Q. Jia, Characterization of smoothness of multivariate refinable functions in Sobolev spaces, Trans. Amer. Math. Soc. 351 (1999) 4089–4112], we characterize the optimal smoothness of multivariate refinable functions with polynomially decaying masks and an isotropic dilation matrix. Our characterizations extend some of the main results of the above mentioned paper with finitely supported masks to the case in which masks are infinitely supported.     

Stability and independence of the shifts of finitely many refinable functions

Typical constructions of wavelets depend on the stability of the shifts of an underlying refinable function. Unfortunately, several desirable properties are not available with compactly supported orthogonal wavelets, e.g., symmetry and piecewise polynomial structure. Presently, multiwavelets seem to offer a satisfactory alternative. The study of multiwavelets involves the consideration of the properties of several (simultaneously) refinable functions. In Section 2 of this article, we characterize stability and linear independence of the shifts of a finite refinable function set in terms of the refinement mask. Several illustrative examples are provided. The characterizations given in Section 2 actually require that the refinable functions be minimal in some sense. This notion of minimality is made clear in Section 3, where we provide sufficient conditions on the mask to ensure minimality. The conditions are shown to be necessary also under further assumptions on the refinement mask. An example is provided illustrating how the software package MAPLE can be used to investigate at least the case of two simultaneously refinable functions.     

Optimal value range in interval linear programming

We deal with the linear programming problem in which input data can vary in some given real compact intervals. The aim is to compute the exact range of the optimal value function. We present a general approach to the situation the feasible set is described by an arbitrary linear interval system. Moreover, certain dependencies between the constraint matrix coefficients can be involved. As long as we are able to characterize the primal and dual solution set (the set of all possible primal and dual feasible solutions, respectively), the bounds of the objective function result from two nonlinear programming problems. We demonstrate our approach on various cases of the interval linear programming problem (with and without dependencies).     

Homogeneous wavelets and framelets with the refinable structure

Homogeneous wavelets and framelets have been extensively investigated in the classical theory of wavelets and they are often constructed from refinable functions via the multiresolution analysis. On the other hand, nonhomogeneous wavelets and framelets enjoy many desirable theoretical properties and are often intrinsically linked to the refinable structure and multiresolution analysis. In this paper, we provide a comprehensive study on connecting homogeneous wavelets and framelets to nonhomogeneous ones with the refinable structure. This allows us to understand better the structure of homogeneous wavelets and framelets as well as their connections to the refinable structure and multiresolution analysis.     

A limiting analysis on regularization of singular SDP and its implication to infeasible interior-point algorithms

We consider primal-dual pairs of semidefinite programs and assume that they are singular, i.e., both primal and dual are either weakly feasible or weakly infeasible. Under such circumstances, strong duality may break down and the primal and dual might have a nonzero duality gap. Nevertheless, there are arbitrary small perturbations to the problem data which would make them strongly feasible thus zeroing the duality gap. In this paper, we conduct an asymptotic analysis of the optimal value as the perturbation for regularization is driven to zero. Specifically, we fix two positive definite matrices, \(I_p\) and \(I_d\), say, (typically the identity matrices), and regularize the primal and dual problems by shifting their associated affine space by \(\eta I_p\) and \(\varepsilon I_d\), respectively, to recover interior feasibility of both problems, where \(\varepsilon \) and \(\eta \) are positive numbers. Then we analyze the behavior of the optimal value of the regularized problem when the perturbation is reduced to zero keeping the ratio between \(\eta \) and \(\varepsilon \) constant. A key feature of our analysis is that no further assumptions such as compactness or constraint qualifications are ever made. It will be shown that the optimal value of the perturbed problem converges to a value between the primal and dual optimal values of the original problems. Furthermore, the limiting optimal value changes “monotonically” from the primal optimal value to the dual optimal value as a function of \(\theta \), if we parametrize \((\varepsilon , \eta )\) as \((\varepsilon , \eta )=t(\cos \theta , \sin \theta )\) and let \(t\rightarrow 0\). Finally, the analysis leads us to the relatively surprising consequence that some representative infeasible interior-point algorithms for SDP generate sequences converging to a number between the primal and dual optimal values, even in the presence of a nonzero duality gap. Though this result is more of theoretical interest at this point, it might be of some value in the development of infeasible interior-point algorithms that can handle singular problems.

     

Construction of optimally conditioned cubic spline wavelets on the interval

The paper is concerned with a construction of new spline-wavelet bases on the interval. The resulting bases generate multiresolution analyses on the unit interval with the desired number of vanishing wavelet moments for primal and dual wavelets. Both primal and dual wavelets have compact support. Inner wavelets are translated and dilated versions of well-known wavelets designed by Cohen, Daubechies, and Feauveau. Our objective is to construct interval spline-wavelet bases with the condition number which is close to the condition number of the spline wavelet bases on the real line, especially in the case of the cubic spline wavelets. We show that the constructed set of functions is indeed a Riesz basis for the space L ² ([0, 1]) and for the Sobolev space H ^s ([0, 1]) for a certain range of s. Then we adapt the primal bases to the homogeneous Dirichlet boundary conditions of the first order and the dual bases to the complementary boundary conditions. Quantitative properties of the constructed bases are presented. Finally, we compare the efficiency of an adaptive wavelet scheme for several spline-wavelet bases and we show a superiority of our construction. Numerical examples are presented for the one-dimensional and two-dimensional Poisson equations where the solution has steep gradients.