Showing papers in "arXiv: Classical Analysis and ODEs in 2004"

Near Optimal Signal Recovery From Random Projections: Universal Encoding Strategies?

Abstract: Suppose we are given a vector $f$ in $\R^N$. How many linear measurements do we need to make about $f$ to be able to recover $f$ to within precision $\epsilon$ in the Euclidean ($\ell_2$) metric? Or more exactly, suppose we are interested in a class ${\cal F}$ of such objects--discrete digital signals, images, etc; how many linear measurements do we need to recover objects from this class to within accuracy $\epsilon$? This paper shows that if the objects of interest are sparse or compressible in the sense that the reordered entries of a signal $f \in {\cal F}$ decay like a power-law (or if the coefficient sequence of $f$ in a fixed basis decays like a power-law), then it is possible to reconstruct $f$ to within very high accuracy from a small number of random measurements.

On hypergeometric functions and Pochhammer $k$-symbol

Abstract: We introduce the $k$-generalized gamma function $\Gamma_k$, beta function $B_k$, and Pochhammer $k$-symbol $(x)_{n,k}$. We prove several identities generalizing those satisfied by the classical gamma function, beta function and Pochhammer symbol. We provided integral representation for the $\Gamma_k$ and $B_k$ functions.

Some Recent Progress on the Restriction Conjecture

Abstract: The purpose of these notes is describe the state of progress on the restriction problem in harmonic analysis, with an emphasis on the developments of the past decade or so on the Euclidean space version of these problems for spheres and other hypersurfaces. As the field is quite large and has so many applications, it will be impossible to completely survey the field, but we will try to at least give the main ideas and developments in this area. The restriction problem are connected to many other conjectures, notably the Kakeya and Bochner-Riesz conjectures, as well as PDE conjectures such as the local smoothing conjecture. For reasons of space, we will not be able to discuss all these connections in detail; our main focus will be on proving restriction theorems for the Fourier transform.

Complex Hadamard matrices and the Spectral Set Conjecture

Abstract: By analyzing the connection between complex Hadamard matrices and spectral sets we prove the direction ``spectral -> tile'' of the Sectral Set Conjecture for all sets A of size at most 5 in any finite Abelian group. This result is then extended to the infinite grid $\Z^d$ for any dimension d, and finally to Euclidean space. It was pointed out recently by Tao that the corresponding statement fails for |A|=6 in the group $\Z_3^5$, and this observation quickly led to the failure of the Spectral Set Conjecture in $\R^5$ (Tao), and subsequently in $\R^4$ (Matolcsi). In the second part of this note we reduce this dimension further, showing that the direction ``spectral -> tile'' of the Spectral Set Conjecture is false already in dimension 3. In a computational search for counterexamples in lower dimension (one and two) one needs, at the very least, to be able to decide efficiently if a set is a tile (in, say, a cyclic group) and if it is spectral. Such efficient procedures are lacking however and we make a few comments for the computational complexity of some related problems.

Tiles with no spectra

Abstract: We exhibit a subset of a finite Abelian group, which tiles the group by translation, and such that its tiling complements do not have a common spectrum (orthogonal basis for their $L^2$ space consisting of group characters). This disproves the Universal Spectrum Conjecture of Lagarias and Wang. Further, we construct a set in some finite Abelian group, which tiles the group but has no spectrum. We extend this last example to the groups $\ZZ^d$ and $\RR^d$ (for $d \ge 5$) thus disproving one direction of the Spectral Set Conjecture of Fuglede. The other direction was recently disproved by Tao.

The Study of Translational Tiling with Fourier Analysis

Abstract: In this survey I will try to describe how Fourier analysis is used in the study of translational tiling. Right away I will emphasize two restrictions that separate this area from the general theory of tilings.

The dbar steepest descent method and the asymptotic behavior of polynomials orthogonal on the unit circle with fixed and exponentially varying nonanalytic weights

Abstract: We develop a new asymptotic method for the analysis of matrix Riemann-Hilbert problems. Our method is a generalization of the steepest descent method first proposed by Deift and Zhou; however our method systematically handles jump matrices that need not be analytic. The essential technique is to introduce nonanalytic extensions of certain functions appearing in the jump matrix, and to therefore convert the Riemann-Hilbert problem into a dbar problem. We use our method to study several asymptotic problems of polynomials orthogonal with respect to a measure given on the unit circle, obtaining new detailed uniform convergence results, and for some classes of nonanalytic weights, complete information about the asymptotic behavior of the individual zeros.

Multi-parameter paraproducts

Abstract: We prove that the classical Coifman-Meyer theorem holds on any polydisc $\T^d$ of arbitrary dimension $d\geq 1$.

Paley-Wiener theorems for the Dunkl transform

Abstract: We conjecture a geometrical form of the Paley-Wiener theorem for the Dunkl transform and prove three instances thereof, one of which involves a limit transition from Opdam's results for the graded Hecke algebra. Furthermore, the connection between Dunkl operators and the Cartan motion group is established. It is shown how the algebra of radial parts of invariant differential operators can be described explicitly in terms of Dunkl operators, which implies that the generalized Bessel functions coincide with the spherical functions. In this context, the restriction of Dunkl's intertwining operator to the invariants can be interpreted in terms of the Abel transform. Using shift operators we also show that, for certain values of the multiplicities of the restricted roots, the Abel transform is essentially inverted by a differential operator.

Algebraic transformations of Gauss hypergeometric functions

Abstract: This article gives a classification scheme of algebraic transformations of Gauss hypergeometric functions, or pull-back transformations between hypergeometric differential equations. The classification recovers the classical transformations of degree 2, 3, 4, 6, and finds other transformations of some special classes of the Gauss hypergeometric function. The other transformations are considered more thoroughly in a series of supplementing articles.

Riesz transform and Riesz potentials for Dunkl transform

Abstract: Analogous of Riesz potentials and Riesz transforms are defined and studied for the Dunkl transform associated with a family of weighted functions that are invariant under a reflection group. The $L^p$ boundedness of these operators is established in certain cases.

Martingales, endomorphisms, and covariant systems of operators in hilbert space

Abstract: In the theory of wavelets, in the study of subshifts, in the analysis of Julia sets of rational maps of a complex variable, and, more generally, in the study of dynamical systems, we are faced with the problem of building a unitary operator from a mapping r in a compact metric space X The space X may be a torus, or the state space of subshift dynamical systems, or a Julia set While our motivation derives from some wavelet problems, we have in mind other applications as well; and the issues involving covariant operator systems may be of independent interest

Some Systems of Multivariable Orthogonal q-Racah polynomials

Abstract: In 1991 Tratnik derived two systems of multivariable orthogonal Racah polynomials and considered their limit cases. q-Extensions of these systems are derived, yielding systems of multivariable orthogonal q-Racah polynomials, from which systems of multivariable orthogonal q-Hahn, dual q-Hahn, q-Krawtchouk, q-Meixner, and q-Charlier polynomials follow as special or limit cases.

Inversions of integral operators and elliptic beta integrals on root systems

Abstract: We prove a novel type of inversion formula for elliptic hypergeometric integrals associated to a pair of root systems. Using the (A,C) inversion formula to invert one of the known C-type elliptic beta integrals, we obtain a new elliptic beta integral for the root system of type A. Validity of this integral is established by a different method as well.

Integrals of polylogarithmic functions, recurrence relations, and associated Euler sums

Abstract: We show that integrals of the form \[ \dint_{0}^{1} x^{m}{\rm Li}_{p}(x){\rm Li}_{q}(x)dx, (m\geq -2, p,q\geq 1) \] and \[ \dint_{0}^{1} \frac{\ds \log^{r}(x){\rm Li}_{p}(x){\rm Li}_{q}(x)}{\ds x}dx, (p,q,r\geq 1) \] satisfy certain recurrence relations which allow us to write them in terms of Euler sums. From this we prove that, in the first case for all $m,p,q$, and in the second when $p+q+r$ is even, these integrals are reducible to zeta values. In the case of odd $p+q+r$, we combine the known results for Euler sums with the information obtained from the problem in this form, to give an estimate on the number of {\it new} constants which are needed to express the above integrals for a given weight $p+q+r$. The proofs are constructive, giving a method for the evaluation of these and other similar integrals, and we present a selection of explicit evaluations in the last section.

Quantitative Robust Uncertainty Principles and Optimally Sparse Decompositions

Abstract: We develop a robust uncertainty principle for finite signals in C^N which states that for almost all subsets T,W of {0,...,N-1} such that |T|+|W| ~ (log N)^(-1/2) N, there is no sigal f supported on T whose discrete Fourier transform is supported on W. In fact, we can make the above uncertainty principle quantitative in the sense that if f is supported on T, then only a small percentage of the energy (less than half, say) of its Fourier transform is concentrated on W. As an application of this robust uncertainty principle (QRUP), we consider the problem of decomposing a signal into a sparse superposition of spikes and complex sinusoids. We show that if a generic signal f has a decomposition using spike and frequency locations in T and W respectively, and obeying |T| + |W| <= C (\log N)^{-1/2} N, then this is the unique sparsest possible decomposition (all other decompositions have more non-zero terms). In addition, if |T| + |W| <= C (\log N)^{-1} N, then this sparsest decomposition can be found by solving a convex optimization problem.

Commutators of singular integrals on generalized $L^p$ spaces with variable exponent

Abstract: A classical theorem of Coifman, Rochberg, and Weiss on commutators of singular integrals is extended to the case of generalized $L^p$ spaces with variable exponent.

Inequalities of Gruss Type for the Stieltjes Integral and Applications

Abstract: Sharp bounds of two Cebysev functionals for the Stieltjes integrals and applications for quadrature rules are given.

On discrete orthogonal polynomials of several variables

Abstract: Let $V$ be a set of isolated points in $\RR^d$. Define a linear functional $\CL$ on the space of real polynomials restricted on $V$, $\CL f = \sum_{x \in V} f(x)\rho(x)$, where $\rho$ is a nonzero function on $V$. Polynomial subspaces that contain discrete orthogonal polynomials with respect to the bilinear form $ = \CL(f g)$ are identified. One result shows that the discrete orthogonal polynomials still satisfy a three-term relation and Favard's theorem holds in this general setting.

Minimal representations of unitary operators and orthogonal polynomials on the unit circle

Abstract: In this paper we prove that the simplest band representations of unitary operators on a Hilbert space are five-diagonal. Orthogonal polynomials on the unit circle play an essential role in the development of this result, and also provide a parametrization of such five-diagonal representations which shows specially simple and interesting decomposition and factorization properties. As an application we get the reduction of the spectral problem of any unitary Hessenberg matrix to the spectral problem of a five-diagonal one. Two applications of these results to the study of orthogonal polynomials on the unit circle are presented: the first one concerns Krein's Theorem; the second one deals with the movement of mass points of the orthogonality measure under monoparametric perturbations of the Schur parameters.

Rogers-Ramanujan and the Baker-Gammel-Wills (Pad\'e) conjecture

Abstract: In 1961, Baker, Gammel and Wills conjectured that for functions $f$ meromorphic in the unit ball, a subsequence of its diagonal Pade approximants converges uniformly in compact subsets of the ball omitting poles of $f$. There is also apparently a cruder version of the conjecture due to Pade himself, going back to the earlier twentieth century. We show here that for carefully chosen $q$ on the unit circle, the Rogers-Ramanujan continued fraction $$1+\frac{qz|}{|1}+\frac{q^{2}z|}{|1}+\frac{q^{3}z|}{|1}+... $$ provides a counterexample to the conjecture. We also highlight some other interesting phenomena displayed by this fraction.

The heat kernel transform for the Heisenberg group

Abstract: The heat kernel transform H_t for the Heisenberg group is studied in detail. The main result shows that the image of H_t is a direct sum of two weighted Bergman spaces whose associated weighted functions are of oscillatory nature, i.e. attain positive and negative values.

Riemann-Hilbert analysis for Jacobi polynomials orthogonal on a single contour

Abstract: Classical Jacobi polynomials $P_{n}^{(\alpha,\beta)}$, with $\alpha, \beta>-1$, have a number of well-known properties, in particular the location of their zeros in the open interval $(-1,1)$. This property is no longer valid for other values of the parameters; in general, zeros are complex. In this paper we study the strong asymptotics of Jacobi polynomials where the real parameters $\alpha_n,\beta_n$ depend on $n$ in such a way that $$ \lim_{n\to\infty}\frac{\alpha_{n}}{n}=A, \quad \lim_{n\to\infty}\frac{\beta_{n}}{n}=B, $$ with $A,B \in \mathbb{R}$. We restrict our attention to the case where the limits $A,B$ are not both positive and take values outside of the triangle bounded by the straight lines A=0, B=0 and $A+B+2=0$. As a corollary, we show that in the limit the zeros distribute along certain curves that constitute trajectories of a quadratic differential. The non-hermitian orthogonality relations for Jacobi polynomials with varying parameters lie in the core of our approach; in the cases we consider, these relations hold on a single contour of the complex plane. The asymptotic analysis is performed using the Deift-Zhou steepest descent method based on the Riemann-Hilbert reformulation of Jacobi polynomials.

The capacity associated to signed Riesz kernels, and Wolff potentials

Abstract: There is a natural capacity associated to any vector valued Riesz kernel of a given homogeneity. If we are in the plane and the kernel is the Cauchy kernel, then this capacity is analytic capacity. Our main result states that if the homogeneity of the kernel is negative and larger than minus one, then the capacity is comparable to one of the well studied capacities of non-linear potential theory.

Apparent Singularities of Linear Difference Equations with Polynomial Coefficients

Abstract: Let L be a linear difference operator with polynomial coefficients. We consider singularities of L that correspond to roots of the trailing (resp. leading) coefficient of L. We prove that one can effectively construct a left multiple with polynomial coefficients L' of L such that every singularity of L' is a singularity of L that is not apparent. As a consequence, if all singularities of L are apparent, then L has a left multiple whose trailing and leading coefficients equal 1.

Variations on the Theme of Journe's Lemma

Abstract: Journe's Lemma is a critical component of many questions related to the product ${BMO}$ theory of S-Y Chang and R Fefferman This article presents several different variants of the Lemma, some known, some implicit in the literature, and some new

Second order difference equations and discrete orthogonal polynomials of two variables

Abstract: The second order partial difference equation of two variables $ \CD u:= A_{1,1}(x) \Delta_1 abla_1 u + A_{1,2}(x) \Delta_1 abla_2 u + A_{2,1}(x) \Delta_2 abla_1 u + A_{2,2}(x) \Delta_2 abla_2 u & \qquad \qquad \qquad \qquad + B_1(x) \Delta_1 u + B_2(x) \Delta_2 u = \lambda u, $ is studied to determine when it has orthogonal polynomials as solutions. We derive conditions on $\CD$ so that a weight function $W$ exists for which $W \CD u$ is self-adjoint and the difference equation has polynomial solutions which are orthogonal with respect to $W$. The solutions are essentially the classical discrete orthogonal polynomials of two variables.

A Modified Multifractal Formalism for a Class of Self-Similar Measures

Abstract: The multifractal spectrum of a Borel measure $\mu$ in $\mathbb{R}^n$ is defined as \[ f_\mu(\alpha) = \dim_H {x:\lim_{r\to 0} \frac{\log \mu(B(x,r))}{\log r}=\alpha} \] For self-similar measures under the open set condition the behavior of this and related functions is well-understood; the situation turns out to be very regular and is governed by the so-called ''multifractal formalism'' Recently there has been a lot of interest in understanding how much of the theory carries over to the overlapping case; however, much less is known in this case and what is known makes it clear that more complicated phenomena are possible Here we carry out a complete study of the multifractal structure for a class of self-similar measures with overlap which includes the 3-fold convolution of the Cantor measure Among other things, we prove that the multifractal formalism fails for many of these measures, but it holds when taking a suitable restriction

Gauusian quadrature for multiple orthogonal polynomials

Abstract: We study multiple orthogonal polynomials of type I and type II which have orthogonality conditions with respect to r measures. These polynomials are connected by their recurrence relation of order r+1. First we show a relation with the eigenvalue problem of a banded lower Hessenberg matrix L_n, containing the recurrence coefficients. As a consequence, we easily find that the multiple orthogonal polynomials of type I and type II satisfy a generalized Christoffel-Darboux identity. Furthermore, we explain the notion of multiple Gaussian quadrature (for proper multi-indices), which is an extension of the theory of Gaussian quadrature for orthogonal polynomials and was introduced by C. F. Borges. In particular we show that the quadrature points and quadrature weights can be expressed in terms of the eigenvalue problem of L_n.

On Some Sums of Digamma and Polygamma functions

Abstract: Many formula involving sums of digamma and polygamma functions, few of which appear in standard reference works or the literature, but which commonly arise in applications, are collected and developed. Along the way, a new evaluation for some particular members of the family of hypergeometric functions - 4F3(1) - is presented, and a connection is made with Euler sums. All proofs are sketched.