The generalized Segal--Bargmann transform and special functions

DOI10.1023/B:ACAP.0000024193.17395.D7MaRDI QIDQ1876542zbMATH OpenFDO

Authors Mark G. Davidson, Gestur Ólafsson

Publication date 20 August 2004

Published in Acta Applicandae Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0307343

zbMATH Keywords

bounded symmetric domainshighest weight representationsholomorphic discrete seriesLaguerre functions and polynomialsLaplace transformMeixner--Pollachek polynomialsorthogonal polynomials

Mathematics Subject Classification ID

Semisimple Lie groups and their representations (22E46) Hermitian symmetric spaces, bounded symmetric domains, Jordan algebras (complex-analytic aspects) (32M15) Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.) (33C45) Harmonic analysis on homogeneous spaces (43A85) Laplace transform (44A10)

Abstract: Analysis of function spaces and special functions are closely related to the representation theory of Lie groups. We explain here the connection between the Laguerre functions, the Laguerre polynomials, and the Meixner-Pollacyck polynomials on the one side, and highest weight representations of Hermitian Lie groups on the other side. The representation theory is used to derive differential equations and recursion relations satisfied by those special functions.

Review text

This is an overview article based on results of the authors, G.~Zhang, B.~Ørsted, J.~Faraut, A.~Koranyi and others. The paper is within the framework of the approach to the theory of special functions as part of the representation theory of Lie groups. Let \(\mathcal D\) be a bounded symmetric domain in \({\mathbb C}^d\), \(0\in\mathcal D\). It is a homogeneous space \(G/K\), a symmetric space. We can consider \(G\) to be simple. Assume \(\mathcal D\) to be isomorphic to a tube type domain \(T(\Omega)=\Omega+i{\mathbb R}^d\) where \(\Omega\subset{\mathbb R}^d\) is a symmetric cone. The cone \(\Omega\) is the image under the Cayley transform of a submanifold \({\mathcal D}_{\mathbb R}\subset \mathcal D\). It is a real symmetric space \(H/K\cap H\) where \(H\) is a fixed point subgroup for an involution of the group \(G\) (a ``real part \ of \(G\)). There is a canonical series of highest weight representations of the group \(G\) on the spaces \({\mathbf H}_\nu(\mathcal D)\). Here \(\nu\) is a real parameter running in the so-called Berezin-Wallach set. The space \({\mathbf H}_\nu(\mathcal D)\) is a Hilbert space consisting of holomorphic functions on \(\mathcal D\). The authors show how to construct the Berezin transform and the generalized Segal-Bargmann transform using the ``restriction map \(R_\nu:{\mathbf H}_\nu({\mathcal D})\to C^\infty({\mathcal D}_{\mathbb R})\). The map \(R_\nu\) is the restriction to \({\mathcal D}_{\mathbb R}\) with multiplication by some function. The Berezin transform is \(R_\nu R^\star_\nu\) and the generalized Segal--Bargmann transform is the unitary part of \(R^\star_\nu\), i.e. \(R^\star_\nu=U_\nu(R_\nu R^\star_\nu)^{1/2}\). Let \(\varphi_\lambda(x)\) be a spherical function on \(H/K\cap H\), \(\Delta(x)\) the determinant function on the Jordan algebra \({\mathbb R}^d\). The decomposition of \(\Delta(e-x^2)^{-\nu/2}\varphi_\lambda(x)\) in elements of a \(K\cap H\)-invariant basis \(\psi_m(x)\) where \(m=(m_1,\ldots,m_r)\), \(r\) being the rank of \(G/K\), has coefficients \(p_{\nu,m}(\lambda)\), the generalized Meixner-Pollachek polynomials. For these polynomials, recurrence relations and difference relations are written (the latter contain shifts in arguments). In the unbounded realization (\(T(\Omega)\)) the map \(R_\nu\) is simply the restriction to \(\Omega\) and the unitary part becomes the Laplace transform \({\mathcal L}_\nu\). Here the authors focus their attention on Laguerre polynomials \(L^\nu_m(x)\) and Laguerre functions \({\ell}^\nu_m(x)\) on the cone \(\Omega\) introduced by Faraut and Koranyi. They provide a generating function for the Laguerre polynomials and recurrence relations for the Laguerre functions. For the case when \(\Omega\) is the cone of positive definite Hermitian matrices, some differential equations for the Laguerre functions are given. The Laplace transform \({\mathcal L}_\nu\) transfers the Laguerre functions \({\ell}^\nu_m(x)\) to elements of an orthogonal basis in the space \({\mathbf H}_\nu(T(\Omega))^{K\cap H}\).

Recommendations

• scientific article; zbMATH DE number 1264595
• Gutzmer's formula and the Segal-Bargmann transform
• Composition of Segal-Bargmann transforms
• The Segal-Bargmann transform in Clifford analysis
• Non-trivial 1d and 2d Segal-Bargmann transforms
• Segal-Bargmann transform, functional calculus on matrix spaces and the theory of semi-circular and circular systems
• The complex-time Segal-Bargmann transform
• Bounds on the Segal-Bargmann transform of \(L^p\) functions
• The Segal-Bargmann transform for Lévy functionals

Cited in

(8)

• Branching coefficients of holomorphic representations and Segal-Bargmann transform
• Differential recursion relations for Laguerre functions on symmetric cones.
• Remarks on isometric mappings between the Hardy–Szegö and Bergman–Selberg spaces: wavelet transforms and Laguerre functions
• scientific article; zbMATH DE number 1264595 (Why is no real title available?)
• scientific article; zbMATH DE number 1867168 (Why is no real title available?)
• The Poisson transform on a compact real analytic Riemannian manifold
• Generating functions associated to highest weight representations
• Laguerre functions on symmetric cones and recursion relations in the real case

This page was built for publication: The generalized Segal--Bargmann transform and special functions

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