Differential recursion relations for Laguerre functions on symmetric cones.

Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.) (33C45) Orthogonal polynomials and functions associated with root systems (33C52) Connections of hypergeometric functions with groups and algebras, and related topics (33C80) Harmonic analysis on homogeneous spaces (43A85)

Abstract: Let

O m e g a

be a symmetric cone and

V

the corresponding simple Euclidean Jordan algebra. In cite{ado,do,do04,doz2} we considered the family of generalized Laguerre functions on

O m e g a

that generalize the classical Laguerre functions on

m a t h b b R^{+}

. This family forms an orthogonal basis for the subspace of

L

-invariant functions in

L^{2} (O m e g a, d m u_{u})

, where

d m u_{u}

is a certain measure on the cone and where

L

is the group of linear transformations on

V

that leave the cone

O m e g a

invariant and fix the identity in

O m e g a

. The space

L^{2} (O m e g a, d m u_{u})

supports a highest weight representation of the group

G

of holomorphic diffeomorphisms that act on the tube domain

T (O m e g a) = O m e g a + i V .

In this article we give an explicit formula for the action of the Lie algebra of

G

and via this action determine second order differential operators which give differential recursion relations for the generalized Laguerre functions generalizing the classical creation, preservation, and annihilation relations for the Laguerre functions on

m a t h b b R^{+}

.

Review text

The authors present some differential recursion relations for Laguerre functions on symmetric cones \(\Omega\). In particular, generalizations of the classical creation, preservation, and annihilation relations are derived from a second-order differential equation. The Laguerre functions on \(\Omega\) are invariant under the compact group \(L\) of linear transformations which leave \(\Omega\) invariant and fix the identity in \(\Omega\); they form an orthogonal basis of all \(L\)-invariant functions in \(L^2(\Omega)\) with respect to a certain measure on \(\Omega\). By taking these symmetries into account, the Laguerre functions on \(\Omega\) may be regarded as Laguerre functions on the quotient. In fact, one obtains well-known Laguerre functions on Weyl chambers associated with Calogero-Moser-Sutherland models and Dunkl operators (mainly in the \(B_n\)-case). These polynomials were studied earlier e.g. by T. H. Baker and P. J. Forrester, J. F. van Diejen, and M. Rösler. In particular, several results of the paper under review can be found already in papers of T. H. Baker and P. J. Forrester modulo this identification of Laguerre functions.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Differential recursion relations for Laguerre functions on symmetric cones.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2490765)