Duality and Biorthogonality for Weyl-Heisenberg Frames

Let and let In this paper we investigate the relation between the frame operator and the matrix whose entries are given by for Here , for any We show that is bounded as a mapping of into if and only if is bounded as a mapping of into Also we show that if and only if where denotes the identity operator of and respectively, and Next, when generates a frame, we have that has an upper frame bound, and the minimal dual function can be computed as The results of this paper extend, generalize, and rigourize results of Wexler and Raz and of Qian, D. Chen, K. Chen, and Li on the computation of dual functions for finite, discrete-time Gabor expansions to the infinite, continuous-time case. Furthermore, we present a framework in which one can show that certain smoothness and decay properties of a generating a frame are inherited by In particular, we show that when generates a frame Schwartz space). The proofs of the main results of this paper rely heavily on a technique introduced by Tolimieri and Orr for relating frame bound questions on complementary lattices by means of the Poisson summation formula.     

Hardy Spaces on the Plane and Double Fourier Transforms

We provide a direct computational proof of the known inclusion where is the product Hardy space defined for example by R. Fefferman and is the classical Hardy space used, for example, by E.M. Stein. We introduce a third space of Hardy type and analyze the interrelations among these spaces. We give simple sufficient conditions for a given function of two variables to be the double Fourier transform of a function in and respectively. In particular, we obtain a broad class of multipliers on and respectively. We also present analogous sufficient conditions in the case of double trigonometric series and, as a by-product, obtain new multipliers on and respectively.     

Nonlinear Approximation by Trigonometric Sums

We investigate the -error of approximation to a function by a linear combination of exponentials on where the frequencies are allowed to depend on We bound this error in terms of the smoothness and other properties of and show that our bounds are best possible in the sense of approximation of certain classes of functions.     

Nonperiodic Sampling of Bandlimited Functions on Unions of Rectangular Lattices

It is shown that a function is completely determined by the samples of on sets where and is irrational if and of If then the samples of on and only the first k derivatives of at 0 are required to determine f completely. Higher dimensional analogues of these results, which apply to functions and are proven. The sampling results are sharp in the sense that if any condition is omitted, there exist nonzero and satisfying the rest. It is shown that the one-dimensional sampling sets correspond to Bessel sequences of complex exponentials that are not Riesz bases for A signal processing application in which such sampling sets arise naturally is described in detail.     

Spherical Perturbations of Schrödinger Equations

We give conditions on radial nonnegative weights $W_1We give conditions on radial nonnegative weights and on , for which the a priori inequality holds with constant independent of . Here is the Laplace-Beltrami operator on the sphere . Due to the relation between and the tangential component of the gradient, , we obtain some "Morawetz-type" estimates for on . As a consequence we establish some new estimates for the free Schr?dinger propagator , which may be viewed as certain refinements of the -(super)smoothness estimates of Kato and Yajima. These results, in turn, lead to the well-posedness of the initial value problem for certain time dependent first order spherical perturbations of the dimensional Schr?dinger equation.     

Divergence of Spherical General Terms of Double Fourier Series

We prove the following theorem: For arbitrary there exists a nonnegative function such that and

On the Reproducing Formula of Calderon

Let and Under certain conditions on we shall prove that converges nontangentially to at for      

Orthogonal Algebraic Polynomial Schauder Bases of Optimal Degree

For any fixed we construct an orthonormal Schauder basis for C[-1,1] consisting of algebraic polynomials with The orthogonality is with respect to the Chebyshev weight.     

Weil Multipliers

This paper studies a class of linear operators on spaces of functions of one real variable, which correspond to multiplication by a measurable function under the Weil transform These operators are called Weil multipliers, and arise out of the authors' study of Gabor series and radar ambiguity functions. Representation theory provides a natural class of Weil multipliers: the set of doubly periodic functions with absolutely convergent Fourier series, It will be proved that functions in are multipliers for all and, therefore, define bounded linear endomorphisms of Also, we record the fact that the Wiener lemma tells us something about the orbit structure of these multipliers acting on function spaces on the Heisenberg nilmanifold. Linear maps that correspond to multiplication by a function under a unitary conjugacy have a particularly simple spectral decomposition, which yields an approximation theory for these operators and provides insight into the foundation of the authors' previous work on approximate orthonormal bases. Finally, the problem of inversion of a multiplier will be analyzed for smooth functions that have a specified structure near their zeros.     

Distributional Point Values and Convergence of Fourier Series and Integrals

In this article we show that the distributional point values of a tempered distribution are characterized by their Fourier transforms in the following way: If and , and is locally integrable, then distributionally if and only if there exists k such that , for each a > 0, and similarly in the case when is a general distribution. Here means in the Cesaro sense. This result generalizes the characterization of Fourier series of distributions with a distributional point value given in [5] by . We also show that under some extra conditions, as if the sequence belongs to the space for some and the tails satisfy the estimate ,\ as , the asymmetric partial sums\ converge to . We give convergence results in other cases and we also consider the convergence of the asymmetric partial integrals. We apply these results to lacunary Fourier series of distributions.     

Gabor Time-Frequency Lattices and the Wexler-Raz Identity

Gabor time-frequency lattices are sets of functions of the form generated from a given function by discrete translations in time and frequency. They are potential tools for the decomposition and handling of signals that, like speech or music, seem over short intervals to have well-defined frequencies that, however, change with time. It was recently observed that the behavior of a lattice can be connected to that of a dual lattice Here we establish this interesting relationship and study its properties. We then clarify the results by applying the theory of von Neumann algebras. One outcome is a simple proof that for to span the lattice must have at least unit density. Finally, we exploit the connection between the two lattices to construct expansions having improved convergence and localization properties.     

Direct Sum Decomposition of L2(Rn 1) into Subspaces Invariant under Fourier Transformation

Denote by the real-linear span of , where Under the concept of left-monogeneity defined through the generalized Cauchy-Riemann operator we obtain the direct sum decomposition of

Approximation and Spanning in the Hardy Space,by Affine Systems

We show that every function in the Hardy space can be approximated by linear combinations of translates and dilates of a synthesizer , provided only that and satisfies a mild regularity condition. Explicitly, we prove scale averaged approximation for each ,

Generating Self-Map Monoids of Infinite Sets

Let be a countably infinite set, the group of permutations of , and the monoid of self-maps of . Given two subgroups , let us write if there exists a finite subset such that the groups generated by and are equal. Bergman and Shelah showed that the subgroups which are closed in the function topology on S fall into exactly four equivalence classes with respect to . Letting denote the obvious analog of for submonoids of E, we prove an analogous result for a certain class of submonoids of E, from which the theorem for groups can be recovered. Along the way, we show that given two subgroups which are closed in the function topology on S, we have if and only if (as submonoids of E), and that for every subgroup (where denotes the closure of G in the function topology in S and its closure in the function topology in E).     

Multiresolution Analysis and Multivariate Approximation of Smooth Signals in CB(Rd

In this paper we derive rates of approximation for a class of linear operators on associated with a multiresolution analysis We show that for a uniformly bounded sequence of linear operators satisfying on the subspace a lower bound for the approximation order is determined by the number of vanishing moments of a prewavelet set. We consider applications to extensions of generalized projection operators as well as to sampling series.     

Coefficients of Orthogonal Polynomials on the Unit Circle and Higher-Order Szego Theorems

Let be a nontrivial probability measure on the unit circle the density of its absolutely continuous part, its Verblunsky coefficients, and its monic orthogonal polynomials. In this paper we compute the coefficients of in terms of the . If the function is in , we do the same for its Fourier coefficients. As an application we prove that if and if is a polynomial, then with and S the left-shift operator on sequences we have

Autocorrelation Functions as Translation Invariants in L1 and L2

The Adler-Konheim theorem [Proc. Amer. Math. Soc. 13 (1962), 425-428] states that the collection of nth-order autocorrelation functions is a complete set of translation invariants for real-valued L¹ functions on a locally compact abelian group. It is shown here that there are proper subsets of that also form a complete set of translation invariants, and these subsets are characterized. Specifically, a subset is complete if and only if it contains infinitely many even-order autocorrelation functions. In addition, any infinite subset of is complete up to a sign. While stated here for functions on the proofs presented hold for functions on any locally compact abelian group that is not compact, in particular, on and the integer lattice      

The Uniqueness of Shift-Generated Duals for Frames in Shift-Invariant Subspaces

Given an invertible matrix B and a finite or countable subset of , we consider the collection generating the closed subspace of . If that collection forms a frame for , one can introduce two different types of shift-generated (SG) dual frames for X, called type I and type II SG-duals, respectively. The main distinction between them is that a SG-dual of type I is required to be contained in the space generated by the original frame while, for a type II SG-dual, one imposes that the range of the frame transform associated with the dual be contained in the range of the frame transform associated with the original frame. We characterize the uniqueness of both types of duals using the Gramian and dual Gramian operators which were introduced in an article by Ron and Shen and are known to play an important role in the theory of shift-invariant spaces.     

Interassociates of the Free Commutative Semigroup on n Generators

The interassociates of the free commutative semigroup on n generators, for n > 1, are identified. For fixed n, let (S, ·) denote this semigroup. We show that every interassociate can be written in the form , depending only on a n-tuple . Next, if and are isomorphic interassociates of (S, ·) such that , for x_ii and x_j in the generating set of S, then . Moreover, if and only if is a permutation of .     

Density, Overcompleteness, and Localization of Frames. I. Theory

Frames have applications in numerous fields of mathematics and engineering. The fundamental property of frames which makes them so useful is their overcompleteness. In most applications, it is this overcompleteness that is exploited to yield a decomposition that is more stable, more robust, or more compact than is possible using nonredundant systems. This work presents a quantitative framework for describing the overcompleteness of frames. It introduces notions of localization and approximation between two frames and ( a discrete abelian group), relating the decay of the expansion of the elements of in terms of the elements of via a map . A fundamental set of equalities are shown between three seemingly unrelated quantities: The relative measure of , the relative measure of — both of which are determined by certain averages of inner products of frame elements with their corresponding dual frame elements — and the density of the set in . Fundamental new results are obtained on the excess and overcompleteness of frames, on the relationship between frame bounds and density, and on the structure of the dual frame of a localized frame. In a subsequent article, these results are applied to the case of Gabor frames, producing an array of new results as well as clarifying the meaning of existing results. The notion of localization and related approximation properties introduced in this article are a spectrum of ideas that quantify the degree to which elements of one frame can be approximated by elements of another frame. A comprehensive examination of the interrelations among these localization and approximation concepts is presented.