Laplace and Segal-Bargmann transforms on Hermitian symmetric spaces and orthogonal polynomials

Let be a complex bounded symmetric domain of tube type in a complex Jordan algebra V and let be its real form in a formally real Euclidean Jordan algebra J⊂V; is a bounded realization of the symmetric cone in J. We consider representations of H that are gotten by the generalized Segal-Bargmann transform from a unitary G-space of holomorphic functions on to an L²-space on . We prove that in the unbounded realization the inverse of the unitary part of the restriction map is actually the Laplace transform. We find the extension to of the spherical functions on and find their expansion in terms of the L-spherical polynomials on , which are Jack symmetric polynomials. We prove that the coefficients are orthogonal polynomials in an L²-space, the measure being the Harish-Chandra Plancherel measure multiplied by the symbol of the Berezin transform. We prove the difference equation and recurrence relation for those polynomials by considering the action of the Lie algebra and the Cayley transform on the polynomials on . Finally, we use the Laplace transform to study generalized Laguerre functions on symmetric cones.     

Estimate of the L-Fourier transform norm on nilpotent Lie groups

Let 1<p?2 and q be such that . It is well known that the norm of the L^p-Fourier transform of the additive group is , where . For a nilpotent Lie group G, we obtain the estimate , where m is the maximal dimension of the coadjoint orbits. Such a result was known only for some particular cases.     

Kolmogorov and linear widths of weighted Besov classes

We study the Kolmogorov m-widths and the linear m-widths of the weighted Besov classes on [−1,1], where Lq,μ, 1?q?∞, denotes the Lq space on [−1,1] with respect to the measure , μ>0. Optimal asymptotic orders of and as m→∞ are obtained for all 1?p,τ?∞. It turns out that in many cases, the orders of are significantly smaller than the corresponding orders of the best m-term approximation by ultraspherical polynomials, which is somewhat surprising.     

Holomorphy of spectral multipliers of the Ornstein-Uhlenbeck operator

Let γ be the Gauss measure on and the Ornstein-Uhlenbeck operator. For every p in [1,∞)?{2}, set , and consider the sector . The main results of this paper are the following. If p is in (1,∞)?{2}, and , i.e., if M is an Lp(γ)uniform spectral multiplier of in our terminology, and M is continuous on , then M extends to a bounded holomorphic function on the sector . Furthermore, if p=1 a spectral multiplier M, continuous on , satisfies the condition if and only if M extends to a bounded holomorphic function on the right half-plane, and its boundary value M(i·) on the imaginary axis is the Euclidean Fourier transform of a finite Borel measure on the real line. We prove similar results for uniform spectral multipliers of second order elliptic differential operators in divergence form on belonging to a wide class, which contains . From these results we deduce that operators in this class do not admit an H^∞ functional calculus in sectors smaller than .     

A compactly supported solution to a three-dimensional uniformly elliptic equation without zero-order term

A second order, nonvariational, elliptic operator L and a function V are constructed in with the following properties: the operator L is uniformly elliptic, without zero-order term and smooth almost everywhere in ; the function (1<p<3) solves the equation LV=0 in , it has compact support but it is not identically zero.     

When subset-sums do not cover all the residues modulo p

Let . We prove that a subset of , where p is a prime number, with cardinality larger than such that its subset sums do not cover has an automorphic image which is rather concentrated; more precisely, there exists s prime to p such that

     

Quartic residues and binary quadratic forms

Let be a prime, m∈Z and . In this paper we obtain a general criterion for m to be a quartic residue in terms of appropriate binary quadratic forms. Let d>1 be a squarefree integer such that , where is the Legendre symbol, and let ε_d be the fundamental unit of the quadratic field . Since 1942 many mathematicians tried to characterize those primes p so that ε_d is a quadratic or quartic residue . In this paper we will completely solve these open problems by determining the value of , where p is an odd prime, and . As an application we also obtain a general criterion for , where {u_n(a,b)} is the Lucas sequence defined by and .     

Exponentiable monomorphisms in categories of domains

We give a characterization of exponentiable monomorphisms in the categories of ω-complete posets, of directed complete posets and of continuous directed complete posets as those monotone maps f that are convex and that lift an element (and then a queue) of any directed set (ω-chain in the case of ) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f:X→B in (, ) exponentiable in w.r.t. the Scott topology is exponentiable also in (, ). We prove that the converse is true in the category , but neither in , nor in .     

Convergence in mean of some random Fourier series

For a symmetric stable process X(t,ω) with index α∈(1,2], f∈Lp[0,2π], p?α, and , we establish that the random Fourier-Stieltjes (RFS) series converges in the mean to the stochastic integral , where fβ is the fractional integral of order β of the function f for . Further it is proved that the RFS series is Abel summable to . Also we define fractional derivative of the sum of order β for an, An(ω) as above and . We have shown that the formal fractional derivative of the series of order β exists in the sense of mean.     

Independence of ? in Lafforgue's theorem

Let X be a smooth curve over a finite field of characteristic p, let ?≠p be a prime number, and let be an irreducible lisse -sheaf on X whose determinant is of finite order. By a theorem of L. Lafforgue, for each prime number ?′≠p, there exists an irreducible lisse -sheaf on X which is compatible with , in the sense that at every closed point x of X, the characteristic polynomials of Frobenius at x for and are equal. We prove an “independence of ?” assertion on the fields of definition of these irreducible ?′-adic sheaves : namely, that there exists a number field F such that for any prime number ?′≠p, the -sheaf above is defined over the completion of F at one of its ?′-adic places.     

Non-commutative Arens algebras and their derivations

Given a von Neumann algebra M with a faithful normal semi-finite trace τ, we consider the non-commutative Arens algebra Lω(M,τ)=_?p?1Lp(M,τ) and the related algebras and which are proved to be complete metrizable locally convex *-algebras. The main purpose of the present paper is to prove that any derivation of the algebra is inner and all derivations of the algebras Lω(M,τ) and are spatial and implemented by elements of . In particular we obtain that if the trace τ is finite then any derivation on the non-commutative Arens algebra Lω(M,τ) is inner.     

Majorization of regular measures and weights with finite and positive critical exponent

For the sets , 1?p<∞, of positive finite Borel measures μ on the real axis with the set of algebraic polynomials P dense in Lp(R,dμ), we establish a majorization principle of their “boundaries,” i.e. for every there exists such that dμ/dν?1. A corresponding principle holds for the sets , p>0, of non-negative upper semi-continuous on R functions (weights) w such that P is dense in the space : For every there exists such that w?ω.     

Comodules and Landweber exact homology theories

We show that, if E is a commutative MU-algebra spectrum such that is Landweber exact over , then the category of -comodules is equivalent to a localization of the category of -comodules. This localization depends only on the heights of E at the integer primes p. It follows, for example, that the category of -comodules is equivalent to the category of -comodules. These equivalences give simple proofs and generalizations of the Miller-Ravenel and Morava change of rings theorems. We also deduce structural results about the category of -comodules. We prove that every -comodule has a primitive, we give a classification of invariant prime ideals in , and we give a version of the Landweber filtration theorem.     

Weighted inequalities for commutators of fractional integrals on spaces of homogeneous type

Let 0<γ<1, b be a BMO function and the commutator of order m for the fractional integral. We prove two type of weighted Lp inequalities for in the context of the spaces of homogeneous type. The first one establishes that, for A_∞ weights, the operator is bounded in the weighted Lp norm by the maximal operator Mγ(Mm), where Mγ is the fractional maximal operator and Mm is the Hardy-Littlewood maximal operator iterated m times. The second inequality is a consequence of the first one and shows that the operator is bounded from to , where [(m+1)p] is the integer part of (m+1)p and no condition on the weight w is required. From the first inequality we also obtain weighted Lp-Lq estimates for generalizing the classical results of Muckenhoupt and Wheeden for the fractional integral operator.