Multidimensional Heisenberg convolutions and product formulas for multivariate Laguerre polynomials

Let $p,q$ positive integers. The groups $U_p(\b C)$ and $U_p(\b C)\times U_q(\b C) $ act on the Heisenberg group $H_{p,q}:=M_{p,q}(\b C)\times \b R$ canonically as groups of automorphisms where $M_{p,q}(\b C)$ is the vector space of all complex $p\times q$-matrices. The associated orbit spaces may be identified with $Π_q\times \b R$ and $Ξ_q\times \b R$ respectively with the cone $Π_q$ of positive semidefinite matrices and the Weyl chamber $Ξ_q={x\in\b R^q: x_1\ge...\ge x_q\ge 0}$. In this paper we compute the associated convolutions on $Π_q\times \b R$ and $Ξ_q\times \b R$ explicitly depending on $p$. Moreover, we extend these convolutions by analytic continuation to series of convolution structures for arbitrary parameters $p\ge 2q-1$. This leads for $q\ge 2$ to continuous series of noncommutative hypergroups on $Π_q\times \b R$ and commutative hypergroups on $Ξ_q\times \b R$. In the latter case, we describe the dual space in terms of multivariate Laguerre and Bessel functions on $Π_q$ and $Ξ_q$. In particular, we give a non-positive product formula for these Laguerre functions on $Ξ_q$. The paper extends the known case $q=1$ due to Koornwinder, Trimeche, and others as well as the group case with integers $p$ due to Faraut, Benson, Jenkins, Ratcliff, and others. Moreover, it is closely related to product formulas for multivariate Bessel and other hypergeometric functions of Rösler.

No reviews yet.

No comments yet.