Olshanski spherical functions for infinite dimensional motion groups of fixed rank

Consider the Gelfand pairs $(G_p,K_p):=(M_{p,q} \rtimes U_p,U_p)$ associated with motion groups over the fields $\mathbb F=\mathbb R,\mathbb C,\mathbb H$ with $p\geq q$ and fixed $q$ as well as the inductive limit $p\to\infty$,the Olshanski spherical pair $(G_\infty,K_\infty)$. We classify all Olshanski spherical functions of $(G_\infty,K_\infty)$ as functions on the cone $\Pi_q$ of positive semidefinite $q\times q$-matrices and show that they appear as (locally) uniform limits of spherical functions of $(G_p,K_p)$ as $p\to\infty$. The latter are given by Bessel functions on $\Pi_q$. Moreover, we determine all positive definite Olshanski spherical functions and discuss related positive integral representations for matrix Bessel functions. We also extend the results to the pairs $(M_{p,q} \rtimes (U_p\times U_q),(U_p\times U_q))$ which are related to the Cartan motion groups of non-compact Grassmannians. Here Dunkl-Bessel functions of type B (for finite $p$) and of type A (for $p\to\infty$) appear as spherical functions

A Central Limit Theorem for Random Walks on the Dual of a Compact Grassmannian

We consider compact Grassmann manifolds $G/K$ over the real, complex or quaternionic numbers whose spherical functions are Heckman-Opdam polynomials of type $BC$. From an explicit integral representation of these polynomials we deduce a sharp Mehler-Heine formula, that is an approximation of the Heckman-Opdam polynomials in terms of Bessel functions, with a precise estimate on the error term. This result is used to derive a central limit theorem for random walks on the semi-lattice parametrizing the dual of $G/K$, which are constructed by successive decompositions of tensor powers of spherical representations of $G$. The limit is the distribution of a Laguerre ensemble in random matrix theory. Most results of this paper are established for a larger continuous set of multiplicity parameters beyond the group cases

A multivariate version of the disk convolution

We present an explicit product formula for the spherical functions of the compact Gelfand pairs $(G,K_1)= (SU(p+q), SU(p)\times SU(q))$ with $p\ge 2q$, which can be considered as the elementary spherical functions of one-dimensional $K$-type for the Hermitian symmetric spaces $G/K$ with $K= S(U(p)\times U(q))$. Due to results of Heckman, they can be expressed in terms of Heckman-Opdam Jacobi polynomials of type $BC_q$ with specific half-integer multiplicities. By analytic continuation with respect to the multiplicity parameters we obtain positive product formulas for the extensions of these spherical functions as well as associated compact and commutative hypergroup structures parametrized by real $p\in]2q-1,\infty[$. We also obtain explicit product formulas for the involved continuous two-parameter family of Heckman-Opdam Jacobi polynomials with regular, but not necessarily positive multiplicities. The results of this paper extend well known results for the disk convolutions for $q=1$ to higher rank

Limit theorems for radial random walks on pxq-matrices as p tends to infinity

The radial probability measures on $R^p$ are in a one-to-one correspondence with probability measures on $[0,\infty[$ by taking images of measures w.r.t. the Euclidean norm mapping. For fixed $\nu\in M^1([0,\infty[)$ and each dimension p, we consider i.i.d. $R^p$-valued random variables $X_1^p,X_2^p,...$ with radial laws corresponding to $\nu$ as above. We derive weak and strong laws of large numbers as well as a large deviation principle for the Euclidean length processes $S_k^p:=\|X_1^p+...+X_k^p\|$ as k,p\to\infty in suitable ways. In fact, we derive these results in a higher rank setting, where $R^p$ is replaced by the space of $p\times q$ matrices and $[0,\infty[$ by the cone $\Pi_q$ of positive semidefinite matrices. Proofs are based on the fact that the $(S_k^p)_{k\ge 0}$ form Markov chains on the cone whose transition probabilities are given in terms Bessel functions $J_\mu$ of matrix argument with an index $\mu$ depending on p. The limit theorems follow from new asymptotic results for the $J_\mu$ as $\mu\to \infty$. Similar results are also proven for certain Dunkl-type Bessel functions.Comment: 24 page

Biorthogonal polynomials associated with reflection groups and a formula of Macdonald

Dunkl operators are differential-difference operators on \b R^N which generalize partial derivatives. They lead to generalizations of Laplace operators, Fourier transforms, heat semigroups, Hermite polynomials, and so on. In this paper we introduce two systems of biorthogonal polynomials with respect to Dunkl's Gaussian distributions in a quite canonical way. These systems, called Appell systems, admit many properties known from classical Hermite polynomials, and turn out to be useful for the analysis of Dunkl's Gaussian distributions. In particular, these polynomials lead to a new proof of a generalized formula of Macdonald due to Dunkl. The ideas for this paper are taken from recent works on non-Gaussian white noise analysis and from the umbral calculus.Comment: 14 pages, Latex2

A Limit Relation for Dunkl-Bessel Functions of Type A and B

We prove a limit relation for the Dunkl-Bessel function of type $B_N$ with multiplicity parameters $k_1$ on the roots $\pm e_i$ and $k_2$ on $\pm e_i\pm e_j$ where $k_1$ tends to infinity and the arguments are suitably scaled. It gives a good approximation in terms of the Dunkl-type Bessel function of type $A_{N-1}$ with multiplicity $k_2$. For certain values of $k_2$ an improved estimate is obtained from a corresponding limit relation for Bessel functions on matrix cones.Comment: This is a contribution to the Special Issue on Dunkl Operators and Related Topics, published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA

Integral representation and sharp asymptotic results for some Heckman-Opdam hypergeometric functions of type BC

The Heckman-Opdam hypergeometric functions of type BC extend classical Jacobi functions in one variable and include the spherical functions of non-compact Grassmann manifolds over the real, complex or quaternionic numbers. There are various limit transitions known for such hypergeometric functions. In the present paper, we use an explicit form of the Harish-Chandra integral representation as well as an interpolated variant, in order to obtain limit results for three continuous classes of hypergeometric functions of type BC which are distinguished by explicit, sharp and uniform error bounds. The first limit realizes the approximation of the spherical functions of infinite dimensional Grassmannians of fixed rank; here hypergeometric functions of type A appear as limits. The second limit is a contraction limit towards Bessel functions of Dunkl type