A matrix pencil approach to the existence of compactly supported reconstruction functions in average sampling

The aim of this work is to solve a question raised for average sampling in shift-invariant spaces by using the well-known matrix pencil theory. In many common situations in sampling theory, the available data are samples of some convolution operator acting on the function itself: this leads to the problem of average sampling, also known as generalized sampling. In this paper we deal with the existence of a sampling formula involving these samples and having reconstruction functions with compact support. Thus, low computational complexity is involved and truncation errors are avoided. In practice, it is accomplished by means of a FIR filter bank. An answer is given in the light of the generalized sampling theory by using the oversampling technique: more samples than strictly necessary are used. The original problem reduces to finding a polynomial left inverse of a polynomial matrix intimately related to the sampling problem which, for a suitable choice of the sampling period, becomes a matrix pencil. This matrix pencil approach allows us to obtain a practical method for computing the compactly supported reconstruction functions for the important case where the oversampling rate is minimum. Moreover, the optimality of the obtained solution is established.     

Bilinear operators with non-smooth symbol, I

This article proves the L^p-boundedness of general bilinear operators associated to a symbol or multiplier which need not be smooth. The Main Theorem establishes a general result for multipliers that are allowed to have singularities along the edges of a cone as well as possibly at its vertex. It thus unifies earlier results of Coifman-Meyer for smooth multipliers and ones, such the Bilinear Hilbert transform of Lacey-Thiele, where the multiplier is not smooth. Using a Whitney decomposition in the Fourier plane, a general bilinear operator is represented as infinite discrete sums of time-frequency paraproducts obtained by associating wave-packets with tiles in phase-plane. Boundedness for the general bilinear operator then follows once the corresponding L^p-boundedness of time-frequency paraproducts has been established. The latter result is the main theorem proved in Part in Part II, our subsequent article [11], using phase-plane analysis. In memory of A.P. Calderón     

Application of the symmetry principle for biharmonic functions to a problem in fracture mechanics

It is shown that a well-known series expansion of the stress function around a tip of a crack in an elastic plate, converges on a two-sheet Riemann surface. Explicit expressions for its coefficients, the stress intensity factors, are obtained. More generally, a new series expansion around the whole crack is found and investigated.     

Focal points and support functions in affine differential geometry

The notions of focal point and support function are considered for a nondegenerate hypersurfaceM ⁿ in affine spaceR ⁿ⁺¹ equipped with an equiaffine transversal field. IfM ⁿ is locally strictly convex, these two concepts are related via an Index theorem concerning the critical points of the support functions onM ⁿ . This is used to obtain characterizations of spheres and ellipsoids in terms of the critical point behavior of certain classes of affine support functions.Research supported by NSF Grant No. DMS-9101961.     

On constructing new expansions of functions using linear operators

Let T,U be two linear operators mapped onto the function f such that U(T(f))=f, but T(U(f))≠f. In this paper, we first obtain the expansion of functions T(U(f)) and U(T(f)) in a general case. Then, we introduce four special examples of the derived expansions. First example is a combination of the Fourier trigonometric expansion with the Taylor expansion and the second example is a mixed combination of orthogonal polynomial expansions with respect to the defined linear operators T and U. In the third example, we apply the basic expansion U(T(f))=f(x) to explicitly compute some inverse integral transforms, particularly the inverse Laplace transform. And in the last example, a mixed combination of Taylor expansions is presented. A separate section is also allocated to discuss the convergence of the basic expansions T(U(f)) and U(T(f)).     

Gabor frames, unimodularity, and window decay

We study time-continuous Gabor frame generating window functions g satisfying decay properties in time and/or frequency with particular emphasis on rational time-frequency lattices. Specifically, we show under what conditions these decay properties of g are inherited by its minimal dual γ⁰ and by generalized duals γ. We consider compactly supported, exponentially decaying, and faster than exponentially decaying (i.e., decay like |g(t)|≤Ce^{−α|t| 1/α} for some 1/2≤α<1) window functions. Particularly, we find that g and γ⁰ have better than exponential decay in both domains if and only if the associated Zibulski-Zeevi matrix is unimodular, i.e., its determinant is a constant. In the case of integer oversampling, unimodularity of the Zibulski-Zeevi matrix is equivalent to tightness of the underlying Gabor frame. For arbitrary oversampling, we furthermore consider tight Gabor frames canonically associated to window functions g satisfying certain decay properties. Here, we show under what conditions and to what extent the canonically associated tight frame inherits decay properties of g. Our proofs rely on the Zak transform, on the Zibulski-Zeevi representation of the Gabor frame operator, on a result by Jaffard, on a functional calculus for Gabor frame operators, on results from the theory of entire functions, and on the theory of polynomial matrices.     

Gibbs' phenomenon for sampling series and what to do about it

Gibbs' phenomenon occurs for most orthogonal wavelet expansions. It is also shown to occur with many wavelet interpolating series, and a characterization is given. By introducing modifications in such a series, it can be avoided. However, some series that exhibit Gibbs' phenomenon for orthogonal series do not for the associated sampling series.     

Efficient computation of Fourier transforms on compact groups

This article genralizes the fast Fourier transform algorithm to the computation of Fourier transforms on compact Lie groups. The basic technique uses factorization of group elements and Gel'fand-Tsetlin bases to simplify the computations, and may be extended to treat the computation of Fourier transforms of finitely supported distributions on the group. Similar transforms may be defined on homogeneous spaces; in that case we show how special function properties of spherical functions lead to more efficient algorithms. These results may all be viewed as generalizations of the fast Fourier transform algorithms on the circle, and of recent results about Fourier transforms on finite groups. Acknowledgements and Notes. This paper was written while the author was supported by the Max-Planck-Institut für Mathematik, Bonn, Germany.     

On reconstruction of objects from measurements of the diffracted field (*)

The aim of this paper is the shape restoration of a plane object from measurements of its diffracted field at a discrete and finite set of points. The plane sampling lattice is supposed: i) rectangular; ii)periodic.

The problem is approached as an interpolation one. A numerical algorithm for practical reconstructions is presented. A-priori limitations on the perimeter of the object and conditions on the samples lead to a-priori bounds able to estimate the precision of the reconstruction.     

The Lagrangian Gauss image of a compact surface in Minkowski 3-Space

A generic compact surfaceQ in Minkowski 3-Space is naturally stratified by the loci where the orthogonal line bundle is tangent to the next lower stratum,SP D ⁰ Q M³. To each component inD ⁰ we associate a light-like hypersurface and in turn a Lagrangian loop in the cotangent bundle of the circle. We then establish an inequality relating the Euler characteristic of the indefinite component ofQ with the total Gauß-Maslov index of the associated Lagrangian loops.     

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 ⁻¹ .     

On lower bounds of exponential frames

Lower frame bounds for sequences of exponentials are obtained in a special version of Avdonin's theorem on 1/4 in the mean [1] and in a theorem of Duffin and Schaeffer [4].     

Matrix summability and a generalized Gibbs phenomenon

Letf be a real-valued function sequence {f _k } that converges to on a deleted neighborhoodD of . If there is a subsequence {f _k(j) } and a number sequencex such that lim _j x _j = and either lim _j f _k(j) (x _j )>lim sup _x (x) or lim _j f _k(j) (x _j ) x (x), thenf is said to display theGibbs phenomenon at . IfA is a (real) summability matrix, thenAf is a function sequence given by(Af) _n (x)= _k=0 a _n,k f _k (x). IfAf displays the Gibbs phenomenon wheneverf does, thenA is said to beGP-preserving. By replacingf _k (x) withf _k (x _j )F _k,j , the Gibbs phenomenon is viewed as a property of the matrixF, andGP-preserving matrices are determined by properties of the matrix productAF. The general results give explicit conditions on the entries {a _n,k } that are necessary and/or sufficient forA to beGP-preserving. For example: if(x)0 thenF displaysGP iff lim _k,j F _k,j 0, and ifA isGP-preserving then lim _n,k A _n,k 0. IfA is a triangular matrix that is stronger than convergence, thenA is notGP-preserving. The general results are used to study the preservation of the Gibbs phenomenon by matrix methods of Nörlund, Hausdorff, and others.     

Gabor systems and almost periodic functions

Inspired by results of Kim and Ron, given a Gabor frame in $L^2(\mathbb{R})$, we determine a non-countable generalized frame for the non-separable space ${\mathit{AP}}_2(\mathbb{R})$ of the Besicovic almost periodic functions. Gabor type frames for suitable separable subspaces of ${\mathit{AP}}_2(\mathbb{R})$ are constructed. We show furthermore that Bessel-type estimates hold for the AP norm with respect to a countable Gabor system using suitable almost periodic norms of sequences.     

Wavelet Frames on Groups and Hypergroups via Discretization of Calderón Formulas

Continuous wavelets are often studied in the general framework of representation theory of square-integrable representations, or by using convolution relations and Fourier transforms. We consider the well-known problem whether these continuous wavelets can be discretized to yield wavelet frames. In this paper we use Calderón-Zygmund singular integral operators and atomic decompositions on spaces of homogeneous type, endowed with families of general translations and dilations, to attack this problem, and obtain strong convergence results for wavelets expansions in a variety of classical functional spaces and smooth molecule spaces. This approach is powerful enough to yield, in a uniform way, for example, frames of smooth wavelets for matrix dilations in ⁿ, for an affine extension of the Heisenberg group, and on many commutative hypergroups.     

Average sampling and reconstruction in a reproducing kernel subspace of homogeneous type space

In this paper, we first introduce a reproducing kernel subspace of , where is a homogeneous type space. Then we consider average sampling and reconstruction of signals in the reproducing kernel subspace of . We show that signals in the reproducing kernel subspace of could be stably reconstructed from its average samples taken on a relatively‐separated set with small gap. Exponential convergence is established for the iterative approximation‐projection reconstruction algorithm.     

Variational analysis of functions of the roots of polynomials

The Gauss-Lucas Theorem on the roots of polynomials nicely simplifies the computation of the subderivative and regular subdifferential of the abscissa mapping on polynomials (the maximum of the real parts of the roots). This paper extends this approach to more general functions of the roots. By combining the Gauss-Lucas methodology with an analysis of the splitting behavior of the roots, we obtain characterizations of the subderivative and regular subdifferential for these functions as well. In particular, we completely characterize the subderivative and regular subdifferential of the radius mapping (the maximum of the moduli of the roots). The abscissa and radius mappings are important for the study of continuous and discrete time linear dynamical systems. Dedicated to R. Tyrrell Rockafellar on the occasion of his 70th birthday. Terry is one of those rare individuals who combine a broad vision, deep insight, and the outstanding writing and lecturing skills crucial for engaging others in his subject. With these qualities he has won universal respect as a founding father of our discipline. We, and the broader mathematical community, owe Terry a great deal. But most of all we are personally thankful to Terry for his friendship and guidance. Research supported in part by the National Science Foundation Grant DMS-0203175. Research supported in part by the Natural Sciences and Engineering Research Council of Canada. Research supported in part by the National Science Foundation Grant DMS-0412049.     

Multiplier Theorems for the Short-Time Fourier Transform

So-called short-time Fourier transform multipliers (also called Anti-Wick operators in the literature) arise by applying a pointwise multiplication operator to the STFT before applying the inverse STFT. Boundedness results are investigated for such operators on modulation spaces and on L _p -spaces. Because the proofs apply naturally to Wiener amalgam spaces the results are formulated in this context. Furthermore, a version of the Hardy-Littlewood inequality for the STFT is derived. This paper was written while the author was researching at University of Vienna (NuHAG) supported by Lise Meitner fellowship No M733-N04. This research was also supported by the Hungarian Scientific Research Funds (OTKA) No K67642.