From continuous to discrete Weyl-Heisenberg frames through sampling

In this article we consider the question when one can generate a Weyl- Heisenberg frame for l ² (ℤ) with shift parameters N, M ⁻¹ (integer N, M) by sampling a Weyl-Heisenberg frame for L ² (ℝ) with the same shift parameters at the integers. It is shown that this is possible when the window g ε L ² (ℝ) generating the Weyl-Heisenberg frame satisfies an appropriate regularity condition at the integers. When, in addition, the Tolimieri-Orr condition A is satisfied, the minimum energy dual window ^o γ ε L ² (ℝ) can be sampled as well, and the two sampled windows continue to be related by duality and minimality. The results of this article also provide a rigorous basis for the engineering practice of computing dual functions by writing the Wexler-Raz biorthogonality condition in the time-domain as a collection of decoupled linear systems involving samples of g and ^o γ as knowns and unknowns, respectively. We briefly indicate when and how one can generate a Weyl-Heisenberg frame for the space of K-periodic sequences, where K=LCM (N, M), by periodization of a Weyl-Heisenberg frame for ℓ ² ℤ with shift parameters N, M ⁻¹ .     

Functional Gabor frame multipliers

A Gabor frame multiplier is a bounded operator that maps normalized tight Gabor frame generators to normalized tight Gabor frame generators. While characterization of such operators is still unknown, we give a complete characterization for the functional Gabor frame multipliers. We prove that a L^∞ -function h is a functional Gabor frame multiplier (for the time-frequency lattice aℤ × bℤ) if and only if it is unimodular and is a-periodic. Along the same line, we also characterize all the Gabor frame generators g (resp. frame wavelets ψ) for which there is a function ∈ L^∞(ℝ) such that {wg_mn} (resp. ωψ_k,ℝ) is a normalized tight frame.     

Generalized low pass filters and MRA frame wavelets

A tight frame wavelet ψ is an L ²(ℝ) function such that {ψ jk(x)} = {2^j/2 ψ(2 ^j x −k), j, k ∈ ℤ},is a tight frame for L ² (ℝ).We introduce a class of “generalized low pass filters” that allows us to define (and construct) the subclass of MRA tight frame wavelets. This leads us to an associated class of “generalized scaling functions” that are not necessarily obtained from a multiresolution analysis. We study several properties of these classes of “generalized” wavelets, scaling functions and filters (such as their multipliers and their connectivity). We also compare our approach with those recently obtained by other authors.     

Dilations and Completions for Gabor Systems

Let be a full rank time-frequency lattice in ℝ ^d ×ℝ ^d . In this note we first prove that any dual Gabor frame pair for a Λ-shift invariant subspace M can be dilated to a dual Gabor frame pair for the whole space L ²(ℝ ^d ) when the volume v(Λ) of the lattice Λ satisfies the condition v(Λ)≤1, and to a dual Gabor Riesz basis pair for a Λ-shift invariant subspace containing M when v(Λ)>1. This generalizes the dilation result in Gabardo and Han (J. Fourier Anal. Appl. 7:419–433, [2001]) to both higher dimensions and dual subspace Gabor frame pairs. Secondly, for any fixed positive integer N, we investigate the problem whether any Bessel–Gabor family G(g,Λ) can be completed to a tight Gabor (multi-)frame G(g,Λ)∪(∪ _j=1 ^N G(g _j ,Λ)) for L ²(ℝ ^d ). We show that this is true whenever v(Λ)≤N. In particular, when v(Λ)≤1, any Bessel–Gabor system is a subset of a tight Gabor frame G(g,Λ)∪G(h,Λ) for L ²(ℝ ^d ). Related results for affine systems are also discussed. Communicated by Chris Heil.     

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.     

Characterization of Sobolev spaces of arbitrary smoothness using nonstationary tight wavelet frames

In this paper we shall characterize Sobolev spaces of an arbitrary order of smoothness using nonstationary tight wavelet frames for L ₂(ℝ). In particular, we show that a Sobolev space of an arbitrary fixed order of smoothness can be characterized in terms of the weighted ℓ₂-norm of the analysis wavelet coefficient sequences using a fixed compactly supported nonstationary tight wavelet frame in L ₂(ℝ) derived from masks of pseudosplines in [15]. This implies that any compactly supported nonstationary tight wavelet frame of L ₂(ℝ) in [15] can be properly normalized into a pair of dual frames in the corresponding pair of dual Sobolev spaces of an arbitrary fixed order of smoothness. Research supported in part by NSERC Canada under Grant RGP 228051. Research supported in part by Grant R-146-000-060-112 at the National University of Singapore.     

A unified characterization of reproducing systems generated by a finite family

This article presents a general result from the study of shift-invariant spaces that characterizes tight frame and dual frame generators for shift-invariant subspaces of L²(ℝⁿ). A number of applications of this general result are then obtained, among which are the characterization of tight frames and dual frames for Gabor and wavelet systems.     

Time Frequency Representations of Almost Periodic Functions

In this paper, we characterize the space of almost periodic (AP) functions in one variable using either a Weyl–Heisenberg (WH) system or an affine system. Our observation is that the sought-for characterization of the AP space is valid if and only if the given WH (respectively, affine) system is an L ₂(ℝ)-frame. Moreover, the frame bounds of the system are also the sharpest bounds in our characterization. This draws an intriguing and quite unexpected connection between L ₂(ℝ) representations and AP-representations.      

Operators commuting with a discrete subgroup of translations

We study the structure of operators from the Schwartz space S(ℝ ⁿ ) into the tempered distributions S′(ℝ ⁿ ) that commute with a discrete subgroup of translations. The formalism leads to simple derivations of recent results about the frame operator of shift-invariant systems, Gabor, and wavelet frames.     

On translation and dilation invariant subspaces of L p (ℝn), 0 < p < 1

We prove that each translation and dilation invariant subspace X ⊂ L ^p (ℝⁿ), X ≠ L ^p (ℝⁿ), is contained in a maximal translation and dilation invariant subspace of L ^p (ℝⁿ). Moreover, we prove that the set of all maximal translation and dilation invariant subspaces of L ^p (ℝⁿ) has the power of continuum. Bibliography: 6 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 345, 2007, pp. 5–21.     

Proof of a conjecture on the supports of Wigner distributions

In this note we prove that the Wigner distribution of an f ∈ L₂(ℝ_n) cannot be supported by a set of finite measure in ℝ_2n unless f=0. We prove a corresponding statement for cross-ambiguity functions. As a strengthening of the conjecture we show that for an f ∈ L₂(ℝ_n) its Wigner distribution has a support of measure 0 or ∞ in any half-space of ℝ_2n.     

Large classes of minimally supported frequency wavelets of<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>(ℝ) and<Emphasis Type="Italic">H</Emphasis><Superscript>2</Superscript>(ℝ)

We introduce a new method to construct large classes of minimally supported frequency (MSF) wavelets of the Hardy space H ² (ℝ)and symmetric MSF wavelets of L ² (ℝ),and discuss the classification of such wavelets. As an application, we show that there are uncountably many such wavelet sets of L ² (ℝ)and H ² (ℝ).We also enumerate some of the symmetric wavelet sets of L ² (ℝ)and all wavelet sets of H ² (ℝ)consisting of three intervals. Finally, we construct families of MSF wavelets of L ₂ (ℝ)with Fourier transform even and not vanishing in any neighborhood of the origin.     

The Structure of Finitely Generated Shift-Invariant Subspaces in Super Hilbert Spaces

We study the structure of finitely generated shift-invariant subspaces with generators from the super Hilbert space L ²(? ^d )^(N). We give a characterization for these subspaces. Moreover, we show that every finitely generated shift-invariant subspace possesses a tight frame. We also give a necessary and sufficient condition for such a space to be principal. Our results generalize similar ones for which generators are from L ²(? ^d ).     

Marcinkiewicz Integrals with Non-Doubling Measures

Let μ be a positive Radon measure on which may be non doubling. The only condition that μ must satisfy is μ(B(x, r)) ≤ Cr ⁿ for all , r > 0 and some fixed constants C > 0 and n ∈ (0, d]. In this paper, we introduce the Marcinkiewicz integral related to a such measure with kernel satisfying some H?rmander-type condition, and assume that it is bounded on L ²(μ). We then establish its boundedness, respectively, from the Lebesgue space L ¹(μ) to the weak Lebesgue space L ^1,∞(μ), from the Hardy space H ¹(μ) to L ¹(μ) and from the Lebesgue space L ^∞(μ) to the space RBLO(μ). As a corollary, we obtain the boundedness of the Marcinkiewicz integral in the Lebesgue space L ^p (μ) with p ∈ (1,∞). Moreover, we establish the boundedness of the commutator generated by the RBMO(μ) function and the Marcinkiewicz integral with kernel satisfying certain slightly stronger H?rmander-type condition, respectively, from L ^p (μ) with p ∈ (1,∞) to itself, from the space L log L(μ) to L ^1,∞(μ) and from H ¹(μ) to L ^1,∞(μ). Some of the results are also new even for the classical Marcinkiewicz integral. The third (corresponding) author was supported by National Science Foundation for Distinguished Young Scholars (No. 10425106) and NCET (No. 04-0142) of China.     

Multiwavelet packets and frame packets ofL 2(ℝ d )

The orthonormal basis generated by a wavelet ofL ²(ℝ) has poor frequency localization. To overcome this disadvantage Coifman, Meyer, and Wickerhauser constructed wavelet packets. We extend this concept to the higher dimensions where we consider arbitrary dilation matrices. The resulting basis ofL ²(ℝ ^d ) is called the multiwavelet packet basis. The concept of wavelet frame packet is also generalized to this setting. Further, we show how to construct various orthonormal bases ofL ²(ℝ ^d ) from the multiwavelet packets.     

A necessary and sufficient condition for dual Weyl-Heisenberg frames to be compactly supported

In this note we consider continuous-time Weyl-Heisenberg (Gabor) frame expansions with rational oversampling. We present a necessary and sufficient condition on a compactly supported function g(t) generating a Weyl-Heisenberg frame for L² () for its minimal dual (Wexler-Razdual) ⁰ (t) to be compactly supported. We furthermore provide a necessary and sufficient condition for a band-limited function g(t) generating a Weyl-Heisenberg frame for L² () to have a band-limited minimal dual ⁰ (t). As a consequence of these conditions, we show that in the cases of integer oversampling and critical sampling a compactly supported (band-limited) g(t) has a compactly supported (band-limited) minimal dual ⁰(t) if and only if the Weyl-Heisenberg frame operator is a multiplication operator in the time (frequency) domain. Our proofs rely on the Zak transform, on the Zibulski-Zeevi representation of the Weyl-Heisenberg frame operator, and on the theory of polynomial matrices.on leave from Department of Communications, Vienna University of TechnologyThis work was supported in part by FWF grants P10531-ÖPH, P12228-TEC, and J1629-TEC.     

On wavelet sets

It is proved that associated with every wavelet set is a closely related “regularized” wavelet set which has very nice properties. Then it is shown that for many (and perhaps all) pairs E, F, of wavelet sets, the corresponding MSF wavelets can be connected by a continuous path in L²(ℝ) of MSF wavelets for which the Fourier transform has support contained in E ∪ F. Our technique applies, in particular, to the Shannon and Journe wavelet sets.     

A bounded compactness theorem forL 1-embeddability of metric spaces in the plane

LetM=(W, d) be a metric space. LetL ¹ denote theL ¹ metric. AnL ¹-embedding ofM into Cartesiank-space ℝ ^k is a distance-preserving map from (W, d) into (ℝ ^k ,L ¹). Letc(k) be the smallest integer such that for every metric spaceM, M isL ¹-embeddable inR ^k iff everyc(k)-sized subspace ofM isL ¹-embeddable inR ^k. A special case of a theorem of Menger (see p. 94 of [5]) says thatc(1) exists and equals 4. We show thatc(2) exists and satisfies 6≦c(2)≦11. Whether or notc(k) exists for anyk≧3 is an open question. The research of S. M. Malitz was partially supported by NSF Grant CCR-8909953.     

On the existence of square-integrable solutions for systems with weak nonlinearity

The paper considers the problem of structural stability of systems under disturbance of coefficients having small L ²(ℝ)-norm. We derive conditions which guarantee that for every solution of the perturbed system there exists a solution of the original system which is close to the former in L ²(ℝ)-norm.     

Some simple Haar-type wavelets in higher dimensions

An orthonormal wavelet system in ℝ^d, d ∈ ℕ, is a countable collection of functions {ψ _j,k ^ℓ }, j ∈ ℤ, k ∈ ℤ^d, ℓ = 1,..., L, of the form that is an orthonormal basis for L² (ℝ^d), where a ∈ GL_d (ℝ) is an expanding matrix. The first such system to be discovered (almost 100 years ago) is the Haar system for which L = d = 1, ψ¹(x) = ψ(x) = κ[0,1/2)^(x) − κ_[l/2,1) ^(x), a = 2. It is a natural problem to extend these systems to higher dimensions. A simple solution is found by taking appropriate products Φ(x₁, x₂, ..., x_d) = φ₁ (x₁)φ₂(x₂) ... φ_d(x_d) of functions of one variable. The obtained wavelet system is not always convenient for applications. It is desirable to find “nonseparable” examples. One encounters certain difficulties, however, when one tries to construct such MRA wavelet systems. For example, if a = ( _1-1 ^{1 1} ) is the quincunx dilation matrix, it is well-known (see, e.g., [5]) that one can construct nonseparable Haar-type scaling functions which are characteristic functions of rather complicated fractal-like compact sets. In this work we shall construct considerably simpler Haar-type wavelets if we use the ideas arising from “composite dilation” wavelets. These were developed in [7] and involve dilations by matrices that are products of the form a^jb, j ∈ ℤ, where a ∈ GL_d(ℝ) has some “expanding” property and b belongs to a group of matrices in GL_d(ℝ) having |det b| = 1.