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.     

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.     

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.     

Fourier Inequalities and Moment Subspaces in Weighted Lebesgue Spaces

For define where Pointwise estimates and weighted inequalities describing the local Lipschitz continuity of are established. Sufficient conditions are found for the boundedness of from into and a spherical restriction property is proved. A study of the moment subspaces of is next developed in the one-variable case, for locally integrable, a.e. It includes a decomposition theorem and a complete classification of all possible sequences of moment subspaces in Characterizations are also given for each class. Applications related to the approximation and decomposition of are discussed.     

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.     

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.     

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.     

Singular Value Estimates for Certain Convolution-Product Operators

This paper presents an expansion for radial tempered distributions on in terms of smooth, radial analyzing and synthesizing functions with space-frequency localization properties similar to standard wavelets. Scales of quasi-norms are defined for the coefficients of the expansion that characterize, via Littlewood-Paley-Stein theory, when a radial distribution belongs to a Triebel-Lizorkin or Besov space. These spaces include, for example, the spaces, Hardy spaces Sobolev spaces and Lipschitz spaces We also present a smooth radial atomic decomposition and norm estimates for sums of smooth radial molecules. The radial wavelets, atoms, and molecules that we consider are localized near certain annuli, as opposed to cubes in the usual, nonradial setting. The radial wavelet expansion is multiscale, where the functions in the different scales are related by dilation. However, there is no translation structure within a given scale, unlike the situation with standard wavelet systems.     

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.     

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.     

The Entropy in Learning Theory. Error Estimates

We continue the investigation of some problems in learning theory in the setting formulated by F. Cucker and S. Smale. The goal is to find an estimator on the base of given data that approximates well the regression function of an unknown Borel probability measure defined on We assume that belongs to a function class It is known from previous works that the behavior of the entropy numbers of in the uniform norm plays an important role in the above problem. The standard way of measuring the error between a target function and an estimator is to use the norm ( is the marginal probability measure on X generated by ). This method has been used in previous papers. We continue to use this method in this paper. The use of the norm in measuring the error has motivated us to study the case when we make an assumption on the entropy numbers of in the norm. This is the main new ingredient of thispaper. We construct good estimators in different settings: (1) we know both and ; (2) we know but we do not know and (3) we only know that is from a known collection of classes but we do not know An estimator from the third setting is called a universal estimator.     

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      

Uniformly Elliptic PDEs with Bounded,Measurable Coefficients

Let $L[\,\cdot\,]Let be a nondivergent linear second-order uniformly elliptic partial differential operator defined on functions with domain Consider the question, "When is a function u a solution of on ?" The naive answer, "u is a solution of on if and for all " is clearly too limited. Indeed, if the coefficients of L are in then L can be rewritten in divergence form for which the notion of a "weak" solution can be applied. In this case there could be infinitely many functions that are "weak" but not classical solutions. More importantly, even if the coefficients of L are just bounded and measurable, the recent results of Krylov permit us to construct "solutions" of on and these "solutions" are generally no better than continuous; the "weak" solutions previously mentioned can be obtained by this construction, too. The preceding discussion provides us with an adequate extrinsic definition of solution (i.e., given a function u we either prove that it is or is not the result of such a construction) that has been used by several authors, but one that is not particularly satisfying or illuminating. Our major contribution in this paper is to show the following. I. There is an intrinsic definition of solution that is equivalent to the extrinsic one. II. Furthermore, the intrinsic definition is just the (now) well-known Crandall-Lions viscosity solution, modified in a natural way to accommodate measurable coefficients.     

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.     

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

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).     

A Weighted Tauberian Theorem

We prove a Tauberian theorem of the form as where p(x) is a bounded periodic function and w(x) is a weighted function of power growth. It can be used to study the weighted average of the form      

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.     

Affine pseudo-planes with torus actions

An affine pseudo-plane X is a smooth affine surface defined over which is endowed with an -fibration such that every fiber is irreducible and only one fiber is a multiple fiber. If there is a hyperbolic -action on X and X is an -surface, we shall show that the universal covering is isomorphic to an affine hypersurface in the affine 3-space and X is the quotient of by the cyclic group via the action where and It is also shown that a -homology plane X with and a nontrivial -action is an affine pseudo-plane. The automorphism group is determined in the last section.