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.     

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.     

Construction of Compactly Supported Shearlet Frames

Shearlet tight frames have been extensively studied in recent years due to their optimal approximation properties of cartoon-like images and their unified treatment of the continuum and digital settings. However, these studies only concerned shearlet tight frames generated by a band-limited shearlet, whereas for practical purposes compact support in spatial domain is crucial.     

Compactly Supported Tight Affine Frames with Integer Dilations and Maximum Vanishing Moments

When a cardinal B-spline of order greater than 1 is used as the scaling function to generate a multiresolution approximation of L ²=L ²(R) with dilation integer factor M2, the standard matrix extension approach for constructing compactly supported tight frames has the limitation that at least one of the tight frame generators does not annihilate any polynomial except the constant. The notion of vanishing moment recovery (VMR) was introduced in our earlier work (and independently by Daubechies et al.) for dilation M=2 to increase the order of vanishing moments. This present paper extends the tight frame results in the above mentioned papers from dilation M=2 to arbitrary integer M2 for any compactly supported M-dilation scaling functions. It is shown, in particular, that M compactly supported tight frame generators suffice, but not M–1 in general. A complete characterization of the M-dilation polynomial symbol is derived for the existence of M–1 such frame generators. Linear spline examples are given for M=3,4 to demonstrate our constructive approach.     

Characterization and Computation of Canonical Tight Windows for Gabor Frames

Let (\gnm)_{n,m ? \Zst}(\gnm)_{n,m\in\Zst} be a Gabor frame for \LtR\LtR for given window gg. We show that the window \ho = \SQI g\ho=\SQI g that generates the canonically associated tight Gabor frame minimizes ||g-h||\|g-h\| among all windows hh generating a normalized tight Gabor frame. We present and prove versions of this result in the time domain, the frequency domain, the time-frequency domain, and the Zak transform domain, where in each domain the canonical \ho\ho is expressed using functional calculus for Gabor frame operators. Furthermore, we derive a Wiener--Levy type theorem for rationally oversampled Gabor frames. Finally, a Newton-type method for a fast numerical calculation of \ho\ho is presented. We analyze the convergence behavior of this method and demonstrate the efficiency of the proposed algorithm by some numerical examples.     

Compactly Supported Frames for Decomposition Spaces

In this article we study a construction of compactly supported frame expansions for decomposition spaces of Triebel-Lizorkin type and for the associated modulation spaces. This is done by showing that finite linear combinations of shifts and dilates of a single function with sufficient decay in both direct and frequency space can constitute a frame for Triebel-Lizorkin type spaces and the associated modulation spaces. First, we extend the machinery of almost diagonal matrices to Triebel-Lizorkin type spaces and the associated modulation spaces. Next, we prove that two function systems which are sufficiently close have an almost diagonal “change of frame coefficient” matrix. Finally, we approximate to an arbitrary degree an already known frame for Triebel-Lizorkin type spaces and the associated modulation spaces with a single function with sufficient decay in both direct and frequency space.     

On Multivariate Compactly Supported Bi-Frames

In this article, we construct compactly supported multivariate pairs of dual wavelet frames, shortly called bi-frames, for an arbitrary dilation matrix. Our construction is based on the mixed oblique extension principle, and it provides bi-frames with few wavelets. In the examples, we obtain optimal bi-frames, i.e., primal and dual wavelets are constructed from a single fundamental refinable function, whose mask size is minimal w.r.t. sum rule order and smoothness. Moreover, the wavelets reach the maximal approximation orderw.r.t. the underlying refinable function. For special dilation matrices, we derive very simple but optimal arbitrarily smooth bi-frames in arbitrary dimensions with only two primal and dual wavelets.     

Smooth Wavelet Tight Frames with Zero Moments

This paper considers the design of wavelet tight frames based on iterated oversampled filter banks. The greater design freedom available makes possible the construction of wavelets with a high degree of smoothness, in comparison with orthonormal wavelet bases. In particular, this paper takes up the design of systems that are analogous to Daubechies orthonormal wavelets—that is, the design of minimal length wavelet filters satisfying certain polynomial properties, but now in the oversampled case. Gröbner bases are used to obtain the solutions to the nonlinear design equations. Following the dual-tree DWT of Kingsbury, one goal is to achieve near shift invariance while keeping the redundancy factor bounded by 2, instead of allowing it to grow as it does for the undecimated DWT (which is exactly shift invariant). Like the dual tree, the overcomplete DWT described in this paper is less shift-sensitive than an orthonormal wavelet basis. Like the examples of Chui and He, and Ron and Shen, the wavelets are much smoother than what is possible in the orthonormal case.     

局部域上Gabor紧框架的特征

主要讨论局部域上的Gabor紧框架.首先,建立局部域上Gabor系{xm(bx)g(x-u(n)a)}m.n∈p构成L~2(K)上紧框架的特征.其次,给出Gabor系{X_m(bx)g(x-u(n)a)}_(m,n∈p)成为L~2(K)上标准正交基的充要条件.     

On Generating Tight Gabor Frames at Critical Density

We consider the construction of tight Gabor frames (h, a=1, b=1) from Gabor systems (g, a=1, b=1) with g a window having few zeros in the Zak transform domain via the operation h=Z ^-1(Zg/|Zg|), where Z is the standard Zak transform. We consider this operation with g the Gaussian, the hyperbolic secant, and for g belonging to a class of positive, even, unimodal, rapidly decaying windows of which the two-sided exponential is a typical example. All these windows g have the property that Zg has a single zero, viz. at (1/2,\1/2), in the unit square [0,1)². The Gaussian and hyperbolic secant yield a frame for any a,b > 0 with ab < 1, and we show that so does the two-sided exponential. For these three windows it holds that S _a ^-1/2 g h as a 1, where S _a is the frame operator corresponding to the Gabor frame (g,a,a). It turns out that the hs corresponding to gs of the above type look and behave quite similarly when scaling parameters are set appropriately. We give a particular detailed analysis of the h corresponding to the two-sided exponential. We give several representations of this h, and we show that , and is continuous and differentiable everywhere except at the half-integers, etc., and we pay particular attention to the cases that the time constant of the two-sided exponential g tends to . We also consider the cases that the time constants of the Gaussian and of the hyperbolic secant tend to 0 or to . It so turns out that h thus obtained changes from the box function into its Fourier transform when the time constant changes from 0 to      

Tight Gabor Frames Associated with Non-separable Lattices and the Hyperbolic Secant

We consider Gabor systems generated by a window given by the hyperbolic secant function. We show that such a system forms a Parseval frame for L ²(?) when the translations and modulations of the window are associated with certain non-separable lattices in ?² which we explicitly describe. We also study the more general problem of characterizing the positive Borel measures μ on ?²ⁿ with the property that the short-time Fourier transform defines an isometric embedding from L ²(? ⁿ ) to L _μ ² (?²ⁿ ) when the window belongs to the Schwartz class and, in particular, we characterize the extreme points of this set. In the case where the window is the hyperbolic secant function, we consider the situation where the measure is discrete with constant weights and supported on a non-separable lattice yielding a Parseval frame. We provide arithmetic conditions on the parameters defining the lattice characterizing when the associated measure is an extreme point.     

Construction of k-Angle Tight Frames

Frames have become standard tools in signal processing due to their robustness against transmission errors and their resilience to noise. Equiangular tight frames (ETFs) are particularly useful and have been shown to be optimal for transmission under a certain number of erasures. Unfortunately, ETFs do not exist in many cases and are hard to construct when they do exist. However, it is known that an ETF of d + 1 vectors in a d dimensional space always exists. This article gives an explicit construction of ETFs of d + 1 vectors in a d dimensional space. This construction works for both real and complex cases and is simpler than existing methods. The absence of ETFs of arbitrary sizes in a given space leads to generalizations of ETFs. One way to do this to consider tight frames where the set of (acute) angles between pairs of vectors has k distinct values. This article presents a construction of tight frames such that for a given value of k, the angles between pairs of vectors take at most k distinct values. These tight frames can be related to regular graphs and association schemes.     

An Algebraic Perspective on Multivariate Tight Wavelet Frames

Recent advances in real algebraic geometry and in the theory of polynomial optimization are applied to answer some open questions in the theory of multivariate tight wavelet frames whose generators have at least one vanishing moment. Namely, several equivalent formulations of the so-called Unitary Extension Principle (UEP) are given in terms of Hermitian sums of squares of certain nonnegative Laurent polynomials and in terms of semidefinite programming. These formulations merge recent advances in real algebraic geometry and wavelet frame theory and lead to an affirmative answer to the long-standing open question of the existence of tight wavelet frames in dimension d=2. They also provide, for every d, efficient numerical methods for checking the existence of tight wavelet frames and for their construction. A class of counterexamples in dimension d=3 show that, in general, the so-called sub-QMF condition is not sufficient for the existence of tight wavelet frames. Stronger sufficient conditions for determining the existence of tight wavelet frames in dimension d≥3 are derived. The results are illustrated on several examples.     

Smooth Compactly Supported Solutions of Some Underdetermined Elliptic PDE,with Gluing Applications

We give sufficient conditions for some underdetermined elliptic PDE of any order to construct smooth compactly supported solutions. In particular we show that two smooth elements in the kernel of certain underdetermined linear elliptic operators P can be glued in a chosen region in order to obtain a new smooth solution. This new solution is exactly equal to the initial elements outside the gluing region. This result completely contrasts with the usual unique continuation for determined or overdetermined elliptic operators. As a corollary we obtain compactly supported solutions in the kernel of P and also solutions vanishing in a chosen relatively compact open region. We apply the result for natural geometric and physics contexts such as divergence free fields or TT-tensors.     

二元紧支撑正交小波的构造

§ 1.　Introduction　　SinceDAUBECHIES [1 ]gavethewellknownconstructionofunivariatecompactlysup portedorthonormalwavelets,considerableattertionhasbeenspentonconstructingmultivariatecompactlysupportedorthonormalwavelets [2— 5etc.] .Althoughmanyspecialbivariatenon separablewaveletshavebeenconstructed ,itisstillanopenproblemhowtoconstructbivariatecompactlyorthonormalwaveletsforanygivencompactlysupportedscalingfunction .Thepur poseofthispaperistoconstructcompactlysupportedorthogonalwaveletass…     

Construction of Two-Dimensional Compactly Supported Orthogonal Wavelets Filters with Linear Phase

In this paper, a large class of two-dimensional orthogonal wavelet filters, (lowpass and highpass), are presented in explicit expression. We also characterize the filters with linear phase in this case. Some examples are also given, including non-separable filters with linear phase. Received September 28, 1999, Accepted July 24, 2000     

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.     

Limit Properties of Systems of Integer Translates and Functions Generating Tight Gabor Frames

Mathematical Notes - Tangent-valued forms, tangent and cotangent vectors of the first and the second order are considered. For an affine connection, second-order tangent-valued (vertical and...     

对称反对称紧支撑正交多小波的构造

对于给定的对称反对称紧支撑正交r重尺度函数,给出一种构造对称反对称紧支撑正交多小波的方法.通过此方法构造的多小波与尺度函数有相同的对称性与反对称性,并且给出算例.