, ,

The Gaussian functions and the Hermite polynomials play an important role, in Fourier transform on Euclidean spaces; the Hermite polynomials diagonalize the harmonic oscillator and the corresponding Hermite type function diagonalize the Fourier transform, which make the Plancherel theory more transparent. The generalization of the Plancherel theory to any non-compact symmetric symmetric spaces has been studied intensively and in general there are still no general theory generalizing corresponding the results of Hermite polynomials and their Fourier transform, above all, no concrete orthogonal systems of functions with explicit spherical transforms are constructed. In the present paper we will establish such a theory for root system of type BC. Now associated with any root system in

R^{r}

there are two kinds of remarkable orthogonal polynomials, namely the Heckman-Opdam orthogonal polynomials giving the spectral decomposition of algebra of the Weyl group invariant polynomials of the Cherednik operators acting on certain

L^{2}

-space on the compact space

T^{r}

, and the Macdonald-Koornwinder polynomials orthogonal with respect to certain weight functions on

R^{r}

defined as a product of Gamma functions. Part of the product is in fact the Harish-Chandra Plancherel measure for the spectral decomposition of the algebra of the Weyl group invariant polynomials of the Cherednik operators on the non-compact space

R^{r}

. In the present paper we will introduce certain canonical weight function

f_{- 2 ν} (x)

for root system of type BC, and we compute its spherical transform

\tilde{f_{- 2 ν}} (λ)

. The product of

\tilde{f_{- 2 ν}} (λ)^{2}

with the the Harish-Chandra measure

| c (λ) |^{- 2}

gives precisely weight functions in the Macdonald-Koornwinder orthogonality relation; we prove further, roughly speaking, that the Jacobi polynomials on the compact space, after some change of variables, and multiplied by the function

f_{- 2 ν}

gives orthogonal system of the

L^{2}

-space on the non-compact space, and that their spherical transform are of the form

\tilde{f_{- 2 ν}} (λ) p (λ)

where

p (λ)

are the Macdonald-Koornwinder polynomials.

Thus the function

f_{- 2 ν}

plays the role of the Gaussian functions in the Fourier analysis where as the Jacobi and Macdonald-Koornwinder polynomials plays the role of the Hermite polynomials and their Fourier transforms (up to a multiple of the Gaussian). In rank one case this has been proved earlier by Koornwinder [5] .

We remark that we are studying here only the spherical transform of Weyl group invariant functions, yet we use the tools of the Cherednik operators acting on general no-invariant functions which makes the computation much easier. Some of our results can easily be generated to that setup.

Our results are motivated by the study of Berezin transform on bounded symmetric domains

G / K

([13] and [14] ). Berezin transform appears naturally in the study of branching rule of holomorphic representations and some results here have been proved in the symmetric space case. The Berezin transform is convolution operator with the kernel

h (z, z)^{ν}

where

h (z, w)^{- ν}

is the reproducing kernel for a weighted Bergman space. In the symmetric space case our function

f_{- 2 ν}

is just the kernel

h (z, z)^{ν}

written in terms of geodesic coordinates. The Berezin transform is invariant under

G

and is bounded on the

L^{2}

-space on

G / K

and is thus a function of a system of generators of invariant differential operators on

G / K

, also called the symbol of the Berezin transform. The symbol is thus the spherical transform of the function

h (z, z)^{ν}

. It is realized in [12] the orthogonality relation for the continuous dual Hahn

_{3} F_{2}

are Clebsch-Gordan coefficients for the tensor product of holomorphic and anti-holomorphic representations and that the orthogonality measure is actually the product of the Harish-Chandra measure

| c (λ) |^{- 2}

with the spectral symbol of Berezin transform, which has been computed earlier by Unterberger and Upmeier [8] . The Macdonald-Koornwinder polynomials are the multi-variable generalization of the Wilson's

_{4} F_{3}

hypergeometric orthogonal polynomials, and the orthogonal relation for the above

_{3} F_{2}

orthogonal polynomials can be viewed as the degenerate case of the

_{4} F_{3}

-orthogonality relation [9] . In this sense the orthogonality relation of the Macdonald-Koornwinder polynomials can be viewed as the most general case, our result in this paper concludes that the relation can be obtained from the more well-understood orthogonality of the Jacobi type polynomials and the Plancherel formula, by introducing the weight function.

The paper is organized as follows. In Section 1 we recall the Plancherel formula for Opdam-Cherednik transform. In Section 2 we find certain Bernstein-Sato type formula for the so-called canonical function

f_{δ}

. Its spherical transform is computed in Section 3. Finally we compute the spherical transform of certain Jacobi-type polynomials in Sections 4 and 5.

It is our belief that most results in this paper can be generalized to general root systems, that will provide a theory of Hermite-type functions on non-compact space and thus bring together the orthogonal polynomials on compact torus and spherical transform on non-compact space.

I would like to thank Professors Jacques Faraut, Toshiyuki Kobayashi, Erik Opdam and Harald Upmeier for some helpful discussions.

1 Spherical transform and Plancherel formula

Let

a = R^{r}

be an Euclidean space with inner product

(\cdot, \cdot)

and let

R \subset a^{*}

be a root system of type BC. A prototype of such root systems is the restricted root system of a bounded symmetric domain. We use some familiar notation, in order to be consistent with the notation in the context of bounded symmetric domain and also in the context of Plancherel formula for general root system [7] . We fix an orthonormal basis

{ξ_{j}}_{1}^{r}

a

and a dual basis

{ɛ_{j}}

a^{*}

, i.e.,

ɛ_{j} (ξ_{k}) = δ_{j k}

, so that the root system is of the form

R = {2 ɛ_{j}; j = 1, \dots, r} \cup {4 ɛ_{j}; j = 1, \dots, r} \cup {2 (ɛ_{j} \pm ɛ_{k}); j \neq k = 1, \dots, r}

, with respective multiplicities

(k_{1}, k_{2}, k_{3})

satisfying

2 (k_{1}, k_{2}, k_{3}) = (2 b, ι, a) .

We assume that

ι, a, b > 0

. We order the roots so that

ɛ_{1} > ɛ_{2} > \dots > ɛ_{r} > 0

The Weyl group is then

W = S_{r} \times Z_{2}^{r}

consisting of signed permutation o

{ξ_{j}}

. Let

ρ = \frac{1}{2} \sum_{α \in R^{+}} k_{α} α

be the half sum of positive roots. Then

ρ = \sum_{j = 1}^{r} ρ_{j} ɛ_{j} = \sum_{j = 1}^{r} (ι + b + (r - j) a) ɛ_{j} .

We recall briefly in this section the Plancherel formula for the spherical transform associated to the root system

R

developed by Heckman and Opdam ([4] , [3] and [7] ).

Let

d μ

be the measure

d μ (t) = d μ_{k} (t) = \prod_{α \in R_{+}} | 2 sinh (\frac{1}{2} α (t) |^{2 k_{α}} d t

a

, and let

L^{2} (a) = L^{2} (a, d μ)

and

L^{2} (a)^{W}

be the corresponding

L^{2}

space and its subspace of

W

-invariant functions.

Let

\begin{matrix} D_{j} & = \partial_{j} - a \sum_{i < j} \frac{1}{1 - e^{- 2 (t_{i} - t_{j})}} (1 - s_{i j}) + a \sum_{j < k} \frac{1}{1 - e^{- 2 (t_{j} - t_{k})}} (1 - s_{j k}) + & a \sum_{i \neq j} \frac{1}{1 - e^{- 2 (t_{j} + t_{k})}} (1 - σ_{j k}) + 2 ι \frac{1}{1 - e^{- 4 t_{j}}} (1 - σ_{j}) + 2 b \frac{1}{1 - e^{- 2 t_{j}}} (1 - σ_{j}) - ρ (ξ_{j}) \end{matrix}

be the Cherednik operators acting on functions

f (t)

a^{C}

, where we identify a function

f (t)

a^{C}

with

f (t_{1}, \dots, t_{r})

, for

t = t_{1} ξ_{1} + \dots + t_{r} ξ_{r}

. Here

s_{i j}, σ_{i j}, σ_{i}

are the elements in the Weyl group,

s_{i j} = (i j)

being the permutation of

ξ_{i}

and

ξ_{j}

σ_{i j}

the signed permutation,

σ_{i j} (ξ_{i}) = - ξ_{j}, σ_{i j} (ξ_{j}) = - ξ_{i}

σ_{i}

the reflection

σ_{i} (ξ_{i}) = - ξ_{i}

, and all mapping

ξ_{k} \to ξ_{k}

for

k \neq i, j

. For later purpose we will also rewrite it as

\begin{matrix} D_{j} & = \partial_{j} - a \sum_{i < j} \frac{e^{t_{i} - t_{j}}}{e^{t_{i} - t_{j}} - e^{- (t_{i} - t_{j})}} (1 - s_{i j}) + a \sum_{j < k} \frac{e^{t_{j} - t_{k}}}{e^{t_{j} - t_{k}} - e^{- (t_{j} - t_{k})}} (1 - s_{j k}) + & + a \sum_{i \neq j} \frac{e^{t_{j} + t_{k}}}{e^{t_{j} + t_{k}} - e^{- (t_{j} + t_{k})}} (1 - σ_{j k}) + 2 ι \frac{e^{2 t_{j}}}{e^{2 t_{j}} - e^{- 2 t_{j}}} (1 - σ_{j}) & + 2 b \frac{e^{t_{j}}}{e^{t_{j}} - e^{- t_{j}}} (1 - σ_{j}) - ρ_{j} . \end{matrix}

The operators

{D_{j}}

are then commuting, and the decomposition of

L^{2} (a)

with respect to the eigenfunctions of

{D_{j}}

is given by Opdam [7] in terms of the so-called Cherednik-Opdam, formulated in terms of decomposing representations of a Hecke algebra. We will mostly be concerned with the decomposition of

L^{2} (a)^{W}

under

W

-invariant polynomials of

D_{j}, j = 1, \dots, r

, which is given by spherical transform in terms of the Heckman-Opdam theory of hypergeometric functions ([4] and [3] ); we shall however use the operators

D_{j}

(in place of their symmetric polynomials) to compute the spherical transform of symmetric functions.

For

λ \in (a^{*})^{C}

let

φ_{λ}

be as in [7] the spherical function. In particular

\begin{matrix} p (D_{1}, \dots, D_{r}) φ_{λ} = p (λ (ξ_{1}), \dots, λ (ξ_{r})) φ_{λ}, \end{matrix}

(1.1)

for any

W

-invariant polynomial

p

. The spherical transform of a function

f \in L^{2} (a)^{W}

\tilde{f} (λ) = \int_{a} f (t) φ_{λ} (t) d μ (t) .

The corresponding Plancherel measure is given by

d \tilde{μ} (λ) = \frac{(2 π)^{- r} c_{0}^{2}}{c (λ) c (- λ)} d λ,

where

c (λ) =^{r} \prod_{j = 1} {\frac{Γ (λ_{j} + b) Γ (2 λ_{j})}{Γ (λ_{j} + b + \frac{ι}{2}) Γ (2 λ_{j} + 2 b)}}^{r} \prod_{1 \leq j < k \leq r} \frac{Γ (λ_{j} \pm λ_{k})}{Γ (λ_{j} \pm λ_{k} + \frac{a}{2})}

and

c_{0} = c (ρ) =^{r} \prod_{j = 1} {\frac{Γ (ρ_{j} + b + 1) Γ (2 ρ_{j} + 1)}{Γ (ρ_{j} + b + \frac{ι}{2} + 1) Γ (2 ρ_{j} + b + 1)}}^{r} \prod_{1 \leq j < k \leq r} \frac{Γ (ρ_{j} \pm ρ_{k} + 1)}{Γ (ρ_{j} \pm ρ_{k} + \frac{a}{2} + 1)} .

Namely, we have

\begin{matrix} \int_{a} | f (t) |^{2} d μ (t) = \int_{i a^{*}} | \tilde{f} (λ) |^{2} d \tilde{μ} (λ) . \end{matrix}

(1.2)

2 Bernstein-Sato type formula for the function $f_{δ}$

We define the weight function

f_{δ}

a

f_{δ} (t) =^{r} \prod_{j = 1} {cosh}^{δ} t_{j} .

Motivated by the Berezin transform ([8] , [10] , [13] ) we call

f_{δ}

the canonical function. In the case of bounded symmetric domains

f_{δ}

is the integral kernel of the Berezin transform considered as a convolution operator defining the so-called canonical representations, and is the analogue of the Gaussian functions in the Euclidean space, see loc. cit..

In this section we prove the following Bernstein-Sato type formula:

Theorem 2.1. There is a

W

-invariant polynomials of the Cherednik operators

D_{j}

mapping the canonical function

f_{δ}

f_{δ - 2}

; more precisely, we have

\begin{matrix} ^{r} \prod_{j = 1} (D_{j}^{2} - (δ + ρ (ξ_{1}))^{2}) f_{δ} =^{r} \prod_{j = 1} (δ + a (j - 1)) (1 - δ - ι - a (r - j)) f_{δ - 2} \end{matrix}

(2.1)

The proof of it will be divided into two technical lemmas.

Lemma 2.2. The following formula holds

^{j} \prod_{l = 1} (D_{l} + δ + ρ (ξ_{1})) f_{δ} (t) =^{j} \prod_{l = 1} (δ + a (l - 1)) f_{δ} (t)^{j} \prod_{l = 1} (1 + tanh t_{l})

Proof. We prove the lemma by induction on

j

. First we have, since

f_{δ}

is Weyl group invariant,

D_{1} f_{δ} = δ tanh t_{1} f_{δ} - ρ (ξ_{1}) f_{δ},

where we use

\frac{d}{d t} cosh t = tanh t cosh t

. Rewriting,

(D_{1} + δ + ρ (ξ_{1})) f_{δ} = δ (1 + tanh t_{1}) f_{δ},

which is the claim for

j = 1

. Assume that the equality is true for

\prod_{l = 1}^{j - 1} (D_{l} + (δ + ρ (ξ_{1})))

We consider it for

j

in place of

j - 1

. We need to compute the operator

D_{j} + δ + ρ (ξ_{1})

on the function

f_{δ} \prod_{l = 1}^{j - 1} (1 + tanh t_{l})

. This function is invariant under the permutations of the first

j - 1

coordinates and the signed permutations of the last

r - j

coordinates.

Thus

\begin{matrix} D_{j} f_{δ} \prod_{l \leq j - 1} (1 + tanh t_{l}) & = δ tanh t_{j} f_{δ} \prod_{l \leq j - 1} (1 + tanh t_{l}) & - a f_{δ} \sum_{i < j} \frac{e^{t_{i} - t_{j}}}{e^{t_{i} - t_{j}} - e^{- (t_{i} - t_{j})}} (tanh t_{i} - tanh t_{j}) \prod_{l \leq j - 1, l \neq i} (1 + tanh t_{l}) & + a f_{δ} \sum_{i < j} \frac{e^{t_{i} + t_{j}}}{e^{t_{i} + t_{j}} - e^{- (t_{i} + t_{j})}} (tanh t_{i} + tanh t_{j}) \prod_{l \leq j - 1, l \neq i} (1 + tanh t_{l}) & - ρ (ξ_{j}) f_{δ} \prod_{l \leq j - 1} (1 + tanh t_{l}) . \end{matrix}

Using the formulas

tanh x \pm tanh y = \frac{sinh (x \pm y)}{cosh x cosh y}

and

e^{x} = (1 + tanh x) cosh x

we see that the sum of the

i

th terms in the two summations is, apart form the factor

a f_{δ} \prod_{l \leq j - 1, l \neq i} (1 + tanh t_{l})

\begin{matrix} \frac{e^{t_{i} + t_{j}}}{e^{t_{i} + t_{j}} - e^{- (t_{i} + t_{j})}} (tanh t_{i} + tanh t_{j}) - \frac{e^{t_{i} - t_{j}}}{e^{t_{i} - t_{j}} - e^{- (t_{i} - t_{j})}} (tanh t_{i} - tanh t_{j}) & = 2 (1 + tanh t_{i}) tanh t_{j}, \end{matrix}

and thus

\begin{matrix} D_{j} f_{δ} \prod_{l \leq j - 1} (1 + tanh t_{l}) & = ((δ + a (j - 1)) tanh t_{j} - ρ (ξ_{j})) f_{δ} \prod_{l \leq j - 1} (1 + tanh t_{l}) . \end{matrix}

It follows then that

\begin{matrix} (D_{j} + δ + ρ (ξ_{1})) f_{δ} \prod_{l \leq j - 1} (1 + tanh t_{l}) & = (δ + a (j - 1)) f_{δ} \prod_{l \leq j} (1 + tanh t_{l}) + (ρ (ξ_{1}) - ρ (ξ_{j}) - a (j - 1)) f_{δ} \prod_{l \leq j - 1} (1 + tanh t_{l}) . \end{matrix}

But

ρ (ξ_{j}) = ι + b + a (r - j)

so the second term vanishes and this completes the proof. □

Lemma 2.3. The following formula holds

\begin{matrix} \prod_{l \geq j} (D_{l} - (δ + ρ (ξ_{1}))) f_{δ - 1} e^{t_{1} + \dots + t_{r}} & = \prod_{l \geq j} (1 - δ - ι - a (r - l)) f_{δ - 1} e^{t_{1} + \dots + t_{r}} \prod_{l \geq j} (1 - tanh t_{l}) \end{matrix}

Accepting temporarily the Lemma, we prove Theorem 2.1 . We write the LHS as

^{r} \prod_{l = 1} (D_{l} - (δ + ρ (ξ_{1})))^{r} \prod_{l = 1} (D_{l} + (δ + ρ (ξ_{1}))) f_{δ}

Taking

j = r

in Lemma 2.2 we see that

\prod_{l = 1}^{r} (D_{l} + (δ + ρ (ξ_{1}))) f_{δ}

is, disregarding the constant, given by,

{f_{δ}}^{r} \prod_{l = 1} (1 + tanh t_{j}) = f_{δ - 1} e^{t_{1} + \dots + t_{r}} .

Theorem 2.1 then follows from Lemma 2.3 for

j = 1

, by using the identity

f_{δ - 1} {e^{t_{1} + \dots + t_{r}}}^{r} \prod_{j = 1} (1 - tanh t_{j}) = f_{δ - 2} .

It remains to proof the Lemma.

Proof. We first compute

D_{r}

and use induction backward. We have

\begin{matrix} D_{r} f_{δ - 1} e^{t_{1} + \dots + t_{r}} & = f_{δ - 1} \prod_{l \leq r} e^{t_{l}} + (δ - 1) f_{δ - 1} tanh t_{r} \prod_{l \leq r} e^{t_{l}} & + a f_{δ - 1} \sum_{i < r} \frac{e^{t_{i} + t_{r}}}{e^{t_{i} + t_{r}} - e^{- (t_{i} + t_{r})}} (e^{t_{i} + t_{r}} - e^{- (t_{i} + t_{r})}) \prod_{l \leq r, l \neq i, r} e^{t_{l}} + & + 2 ι f_{δ - 1} \frac{e^{2 t_{r}}}{e^{2 t_{r}} - e^{- 2 t_{r}}} (e^{t_{r}} - e^{- t_{r}}) \prod_{l \leq r - 1} e^{t_{l}} + & + 2 b f_{δ - 1} \frac{e^{t_{r}}}{e^{t_{r}} - e^{- t_{r}}} (e^{t_{r}} - e^{- t_{r}}) \prod_{l \leq r - 1} e^{t_{l}} - ρ (ξ_{r}) f_{δ - 1} \prod_{l \leq r} e^{t_{l}} . \end{matrix}

The third term can be simplified as

a (r - 1) f_{δ - 1} \prod_{l \leq r} e^{t_{l}},

and the next two terms are

ι tanh t_{r} f_{δ - 1} \prod_{l \leq r} e^{t_{l}} + (ι + 2 b) f_{δ - 1} \prod_{l \leq r} e^{t_{l}} .

So that the previous formula is then

\begin{matrix} (δ - 1 + ι) tanh t_{r} f_{δ - 1} \prod_{l \leq r} e^{t_{l}} + (1 + ι + 2 b + a (r - 1) - ρ (ξ_{r})) f_{δ - 1} \prod_{l \leq r} e^{t_{l}} & = (δ - 1 + ι) tanh t_{r} f_{δ - 1} \prod_{l \leq r} e^{t_{l}} + (1 + b + ρ (ξ_{1}) - ρ (ξ_{r})) f_{δ - 1} \prod_{l \leq r} e^{t_{l}} \end{matrix}

and consequently

\begin{matrix} (D_{r} - (ρ_{1} + δ (ξ_{1}))) f_{δ - 1} e^{t_{1} + \dots + t_{r}} & = (δ - 1 + ι) tanh t_{r} f_{δ - 1} \prod_{l \leq r} e^{t_{l}} + (1 + b - δ - ρ (ξ_{r})) f_{δ - 1} \prod_{l \leq r} e^{t_{l}} & = (δ - 1 + ι) (tanh t_{r} - 1) f_{δ - 1} \prod_{l \leq r} e^{t_{l}}, \end{matrix}

since

1 + b - δ - ρ (ξ_{r}) = - (δ - 1 + ι)

. This is the Lemma for

j = r

Assume the lemma is true for the action of

\prod_{l \geq j + 1} (D_{l} - (δ + ρ (ξ_{1})))

. We compute

(D_{j} - (δ + ρ (ξ_{1}))) f_{δ - 1} \prod_{l \geq j + 1} (1 - tanh t_{l}) \prod_{l \leq r} e^{t_{l}}

and find it is

- (1 - tanh t_{j}) (a (r - j) + ι + δ - 1) f_{δ - 1} \prod_{l \geq j} (1 - tanh t_{l}) \prod_{l \leq r} e^{t_{l}}

by a straightforward yet tedious computation. □

Remark 2.4. Consider the double Hecke algebra generated by the Cherednik operators and the group ring

C [W]

and by

C [P]

of polynomials

e^{ɛ_{j}}

as multiplication operators on

C [P]

. Some refinements of the above computation then gives certain commutation relations of the Cherednik operators with

e^{ɛ_{1} + \dots + ɛ_{r}}

, which might be of independent interests. This Theorem (or its equivalent version under the spherical transform, see the proof of Theorem 3.2) can possibly be obtained also by using intertwining relations of the Cherednik-Opdam transform with the double Hecke algebras proved by Cherednik [1] , it would involves nevertheless many intriguing computations.

3 Spherical transform of the function $f_{δ}$

In this section we shall use Bernstein-Sato type formula for the function

f_{- 2 ν}

to derive a recursive formula for its spherical transform

\tilde{f_{- 2 ν}} (λ)

(for sufficiently large

ν

By using a limit formula we then derive a product and, consequently, a Gamma function formula for

{\tilde{f}}_{- 2 ν} (λ)

Denote

Γ_{a} (σ) =^{r} \prod_{j = 1} Γ (σ - \frac{a}{2} (j - 1)),

which in the symmetric domain case is the Gindikin Gamma function; it will be used to simplify certain product formulas.

We compute first some normalization constant, which corresponds to the spherical transform of

f_{- 2 ν}

λ = ρ

Lemma 3.1. Let

ν > ι + b + a (r - 1)

. The integral

N_{ν} = \int_{a} f_{- 2 ν} (t) d μ (t)

is given by

\begin{matrix} N_{ν} & = 2^{r (2 ι + 2 b + a (r - 1)} r! Γ_{a} (\frac{ι + 1 + 2 b + a (r - 1)}{2}) & \times \frac{Γ_{a} (ν - (\frac{a}{2} (r - 1) + ι + b))}{Γ_{a} (ν + \frac{1 - ι}{2})} \prod_{1 \leq i < j \leq r} \frac{Γ (\frac{a}{2} (j - i + 1)}{Γ (\frac{k_{3}}{2} (j - i)} . \end{matrix}

Proof. This follows from the Opdam proof of the Macdonald's conjecture. By symmetry we need only to integrate over all

s = (s_{1}, \dots, s_{r})

with

s_{j} \geq 0

. Making the change of variables

z_{j} = {tanh}^{2} t_{j}

, we find first that

\begin{matrix} N_{ν} & = 2^{(2 ι + 2 b + a (r - 1)) r} \int_{[0, 1]^{r}} | \prod_{i < j} (z_{i} - z_{j})^{a} |^{r} \prod_{i = 1} {z_{i}^{\frac{ι + 2 b - 1}{2}}}^{r} \prod_{i = 1} (1 - z_{i})^{ν - (1 + ι + b + a (r - 1))} d z_{1} \dots d z_{r} \end{matrix}

which is evaluated by the beta integral (see [6,Ex.7,Sect.10,Chapt.VII] ) that

\begin{matrix} \int_{[0, 1]^{r}} | \prod_{i < j} (t_{i} - t_{j})^{a} |^{r} \prod_{i = 1} {t_{i}^{α - \frac{a}{2} (r - 1) - 1}}^{r} \prod_{i = 1} (1 - t_{i})^{β - \frac{a}{2} (r - 1) - 1} d t_{1} \dots d t_{r} & = r! \prod_{1 \leq i < j \leq r} \frac{Γ (\frac{a}{2} (j - i + 1)}{Γ (\frac{a}{2} (j - i)} \frac{Γ_{k} (α) Γ_{k} (β)}{Γ_{k} (α + β)} . \end{matrix}

□

In particular it follows that

\frac{N_{ν + 1}}{N_{ν}} =^{r} \prod_{j = 1} \frac{ν - (\frac{a}{2} (r - 1) + ι + b) - \frac{a}{2} (j - 1)}{ν + \frac{1 - ι}{2} - \frac{a}{2} (j - 1)} .

Changing

j - 1

r - j

and using

ρ (ξ_{1}) = ι + b + a (r - 1)

, we can rewrite it as the following

\begin{matrix} \frac{N_{ν + 1}}{N_{ν}} =^{r} \prod_{j = 1} \frac{ν - \frac{1}{2} ρ (ξ_{1}) - \frac{1}{2} (ι + b + a (j - 1))}{ν + \frac{1 - ι}{2} - \frac{a}{2} (j - 1)} . \end{matrix}

(3.1)

Theorem 3.2. Let

ν > ι + b + a (r - 1)

. The spherical transform of

f_{- 2 ν}

is given by

\tilde{f_{- 2 ν}} (λ) = {N_{ν}}^{r} \prod_{j = 1} \frac{Γ (ν - \frac{1}{2} ρ (ξ_{1}) \pm \frac{1}{2} λ (ξ_{j}))}{Γ (ν - \frac{1}{2} ρ (ξ_{1}) \pm \frac{1}{2} (ι + b + a (j - 1)))}, λ \in i a^{*} .

The following result is elementary and we omit its proof; it is proved in [11] in the case when the root system corresponds to a bounded symmetric domain.

Lemma 3.3. Let

φ

be a bounded and continuous function on

a

. Then

{lim}_{ν \to \infty} \frac{1}{N_{ν}} \int_{a} f_{- 2 ν} (t) φ (t) d μ (t) = φ (0)

We prove now Theorem 3.2.

Proof. We write

β_{ν} (λ) = \frac{\tilde{f_{- 2 ν}} (λ)}{N_{ν}}

and compute it in terms of

β_{ν + 1} (λ)

. We note first that it is well-defined for

λ \in i a^{*}

. Indeed the spherical function

φ_{λ} (t)

is a bounded function [7] , and the function

f_{- 2 ν}

is in

L^{1} (a^{*}, d μ)

by Lemma 3.1. We perform the spherical transform on the identity ( 2.1 ) with

δ = - 2 ν

. Using ( 1.1 ) we have,

^{r} \prod_{j = 1} (λ (ξ_{j})^{2} - (- 2 ν + ρ (ξ_{1}))^{2}) β_{ν} (λ) =^{r} \prod_{j = 1} (- 2 ν + a (j - 1)) (1 + 2 ν - ι - a (r - j)) β_{ν + 1} (λ),

and

\begin{matrix} β_{ν} (λ) & =^{r} \prod_{j = 1} \frac{(- 2 ν + a (j - 1)) (1 + 2 ν - ι - a (r - j))}{(λ (ξ_{j})^{2} - (- 2 ν + ρ (ξ_{1}))^{2})} β_{ν + 1} (λ) & =^{r} \prod_{j = 1} \frac{(ν - \frac{a}{2} (j - 1)) (ν + \frac{1 - ι}{2} - \frac{a}{2} (r - j))}{((ν - \frac{1}{2} ρ (ξ_{1}) + \frac{1}{2} λ (ξ_{j})) ((ν - \frac{1}{2} ρ (ξ_{1}) + \frac{1}{2} λ (ξ_{j}))} β_{ν + 1} (λ) \end{matrix}

We write further the denominator as

\begin{matrix} ^{r} \prod_{j = 1} (ν - \frac{a}{2} (j - 1)) (ν + \frac{1 - ι}{2} - \frac{a}{2} (r - j)) & =^{r} \prod_{j = 1} (ν - \frac{1}{2} ρ (ξ_{1}) + \frac{1}{2} (ι + b + a (j - 1)) (ν + \frac{1 - ι}{2} - \frac{a}{2} (j - 1)) . \end{matrix}

Thus

β_{ν} (λ) = {\frac{N_{ν + 1}}{N_{ν}}}^{r} \prod_{j = 1} \frac{(ν - \frac{1}{2} ρ (ξ_{1}) + \frac{1}{2} (ι + b + a (j - 1))) (ν + \frac{1 - ι}{2} - \frac{a}{2} (j - 1))}{(ν - \frac{1}{2} ρ (ξ_{1}) + \frac{1}{2} λ (ξ_{j})) (ν - \frac{1}{2} ρ (ξ_{1}) - \frac{1}{2} λ (ξ_{j}))} β_{ν + 1} (λ) .

Using ( 3.1 ) this becomes

\begin{matrix} β_{ν} (λ) & = β_{ν + 1} (λ)^{r} \prod_{j = 1} \frac{(ν + \frac{1}{2} ρ (ξ_{1}) + \frac{1}{2} (ι + b + a (j - 1))) (ν + \frac{1}{2} ρ (ξ_{1}) - \frac{1}{2} (ι + b + a (j - 1)))}{(ν - \frac{1}{2} ρ (ξ_{1}) + \frac{1}{2} λ (ξ_{j})) (ν - \frac{1}{2} ρ (ξ_{1}) - \frac{1}{2} λ (ξ_{j}))} & = β_{ν + 1} (λ)^{r} \prod_{j = 1} (1 + \frac{\frac{1}{2} (ι + b + a (j - 1))}{ν - \frac{1}{2} ρ (ξ_{1})}) (1 - \frac{\frac{1}{2} (ι + b + a (j - 1))}{ν - \frac{1}{2} ρ (ξ_{1})}) & \times {(1 + \frac{\frac{1}{2} λ (ξ_{j})}{ν - \frac{1}{2} ρ (ξ_{1})})}^{- 1} {(1 - \frac{\frac{1}{2} λ (ξ_{j})}{ν - \frac{1}{2} ρ (ξ_{1})})}^{- 1} . \end{matrix}

Iterating we find

\begin{matrix} β_{ν} (λ) & = β_{ν + k} (λ)^{k} {\prod_{l = 1}}^{r} \prod_{j = 1} (1 + \frac{\frac{1}{2} (ι + b + a (j - 1))}{ν + l - 1 - \frac{1}{2} ρ (ξ_{1})}) (1 - \frac{\frac{1}{2} (ι + b + a (j - 1))}{ν + l - 1 - \frac{1}{2} ρ (ξ_{1})}) & \times {(1 + \frac{\frac{1}{2} λ (ξ_{j})}{ν + l - 1 - \frac{1}{2} ρ (ξ_{1})})}^{- 1} {(1 - \frac{\frac{1}{2} λ (ξ_{j})}{ν + l - 1 - \frac{1}{2} ρ (ξ_{1})})}^{- 1} \end{matrix}

However

\frac{1}{N_{ν + k}} b_{ν + k} (λ) \to 1

k \to \infty

by Lemma 3.3 since the function

φ_{λ} (t)

is a continuous bounded function for

λ \in i a^{*}

. We get thus

\begin{matrix} β_{ν} (λ) & =^{\infty} {\prod_{l = 1}}^{r} \prod_{j = 1} (1 + \frac{\frac{1}{2} (ι + b + a (j - 1))}{ν + l - 1 - \frac{1}{2} ρ (ξ_{1})}) (1 - \frac{\frac{1}{2} (ι + b + a (j - 1))}{ν + l - 1 - \frac{1}{2} ρ (ξ_{1})}) & \times {(1 + \frac{\frac{1}{2} λ (ξ_{j})}{ν + l - 1 - \frac{1}{2} ρ (ξ_{1})})}^{- 1} {(1 - \frac{\frac{1}{2} λ (ξ_{j})}{ν + l - 1 - \frac{1}{2} ρ (ξ_{1})})}^{- 1} . \end{matrix}

Our result follows rewriting the infinite product in terms of the Gamma function, using

\frac{Γ (A) Γ (B)}{Γ (A + C) Γ (B - C)} =^{\infty} \prod_{s = 0} (1 + \frac{C}{A + s}) (1 - \frac{C}{B + s});

see [2,p.5] . □

Remark 3.4. The function

\tilde{f_{- 2 ν}} (λ)

for

ν

as above has exponential decay and is a bounded function for

λ \in i a^{*}

, and holomorphic in a strip around

i a^{*}

. We can then define the Berezin transform on

L^{2} (a, d μ)^{W}

by the inverse spherical transform, namely

B_{ν} F (t) = \int \tilde{f_{- 2 ν}} (λ) \tilde{F} (λ) φ_{λ} (t) | c (λ) |^{- 2} d λ .

B_{ν}

is then a bounded and positive operator and it has an integral kernel

B (t, s)

. In particular

B (t, 0) = f_{- 2 ν} (t)

. It follows then from the selfadjoint property of

B

that

B (x, y) = f_{- 2 ν} (t) f_{- 2 ν} (s) L (t, s)

. It would be interesting to find a series expansion for the kernel

L (t, s)

in terms of the Jack symmetric polynomials (in the variables

({tanh}^{2} t_{1}, \dots, {tanh}^{2} t_{r})

). In the case of bounded symmetric domain, this is indeed possible, some degenerate cases of the expansion has been studied in [14] .

4 Spherical transform of a class of functions

We shall compute the spherical transform of a class of functions of the form

f_{- 2 ν} (t) p (x_{1}^{2}, \dots, x_{r}^{2}), x_{j} = tanh t_{j}, j = 1, \dots, r,

where

p (x_{1}^{2}, \dots, x_{r}^{2})

is a symmetric polynomial in

(x_{1}, \dots, x_{r})

. We will prove that they are of the form

\tilde{f_{- 2 ν}} (λ) q (λ)

where

q

is a symmetric polynomial in

(λ_{1}^{2}, \dots, λ_{r}^{2})

Eventually we will specify

p

to be Jacobi-type polynomials in the next section.

We denote

D_{j}

the conjugation of

D_{j}

by the canonical function

f_{δ}

D_{j} = D_{j}^{(δ)} = f_{- δ} D_{j} f_{δ}, j = 1, \dots, r .

The operator

D_{j}^{(δ)}

under the change of variables

x_{j} = tanh t_{j}

has the form

\begin{matrix} D_{j} & = δ x_{j} + (1 - x_{j}^{2}) \partial_{j} - \frac{a}{2} \sum_{i < j} \frac{1 + x_{i} - x_{j} - x_{i} x_{j}}{x_{i} - x_{j}} (1 - s_{i j}) & + \frac{a}{2} \sum_{j < k} \frac{1 + x_{j} - x_{k} - x_{i} x_{j}}{x_{j} - x_{k}} (1 - s_{j k}) + \frac{a}{2} \sum_{k \neq j} \frac{1 + x_{j} + x_{k} + x_{i} x_{j}}{x_{j} + x_{k}} (1 - σ_{j k}) & + ι (1 + \frac{1}{2} (x_{j} + \frac{1}{x_{j}})) (1 - σ_{j}) + b (1 + \frac{1}{x_{j}}) (1 - σ_{j}) - ρ_{j} \end{matrix}

We fix now the Bruhat ordering of the symmetric group

S_{r}

r

elements with generators

(1, 2), (2, 3), . . ., (r - 1, r)

. The corresponding partial ordering on the set

N^{r}

of all

r

-tuples of non-negative integers is then defined by the following: For any

η

let

η^{*}

be the unique partition in the

S_{r}

-orbit of

η

, and

w^{η}

the unique element in

S_{r}

with shortest length such that

η = w^{η} η^{*}

. Then we define

η \leq μ

η^{*} \leq μ^{*}

, and if

w^{η} \leq w^{ξ}

when

η^{*} = μ^{*}

The following lemma can be proved by direct computation, it is similar to the known results that the actions of the operators

D_{j}

C [P]

are upper triangular.

Lemma 4.1. The action of the operators

D_{j}

on the monomials

x^{η} = x_{1}^{η_{1}} \dots x_{r}^{η_{r}}

η \in N^{r}

, preserves the order in the sense that

D_{j} x^{η} = a_{η^{j}, η} x^{η^{j}} + \sum_{ζ < η^{j}} a_{ζ, η} x^{ξ},

where

η^{j} = η + (0, \dots, 0, 1, 0, \dots, 0)

and where the leading coefficient is

a_{η^{j}, η} = δ + a # {i < j : η_{i} > η_{j}} + \frac{ι}{2} (1 - (- 1)^{η_{j}}) .

Using the above lemma we can compute

D_{1}^{2 η_{1}} \dots D_{r}^{2 η_{r}} 1

successively and get

\begin{matrix} D_{1}^{2 η_{1}} \dots D_{r}^{2 η_{r}} 1 = d_{η} x^{2 η} + lower terms . \end{matrix}

(4.1)

where

\begin{matrix} d_{η} =^{r} {\prod_{j = 0}}^{η_{j} - 1} \prod_{k = 0} (δ + (r - j) - 2 k) (δ + (r - j) a + ι - 1 - 2 k) \end{matrix}

(4.2)

and where the “lower terms” here stands for a linear combination of

x_{1}^{μ_{1}} \dots x_{r}^{μ_{r}}

with

μ ≺ 2 η

. Denoting

m_{η}

the symmetric power sum

\begin{matrix} m_{η} (y_{1}, \dots, y_{r}) = \sum_{ζ \in S_{r} η} y_{1}^{ζ_{1}} \dots y_{r}^{ζ_{r}} \end{matrix}

(4.3)

and taking summation of ( 4.1 ) over all permutations

ζ \in S_{r} η

η

, we have,

Lemma 4.2. The operators

m_{η} (D_{1}^{2}, \dots, D_{r}^{2})

acting on the constant monomial

1

gives

m_{η} (D_{1}^{2}, \dots D_{r}^{2}) 1 = d_{η} m_{η} (x_{1}^{2}, \dots x_{r}^{2}) + lower terms,

where the “lower terms” here stands for a linear combination of symmetric power sums

m_{η^{'}}

x_{1}^{2}, \dots, x_{r}^{2}

with

η^{'} ≺ η

Proposition 4.3. Let

ν > ι + b + a (r - 1)

and let

η : η_{1} \geq η_{2} \dots \geq η_{r} \geq 0

be a partition. The spherical transforms of a function

f_{- 2 ν} (t) m_{η} ({tanh}^{2} t_{1}, \dots, {tanh}^{2} t_{r})

is given by

\tilde{f_{- 2 ν}} (λ) l_{η} (λ),

and

l_{η} (λ)

W

-invariant polynomial of

λ

with leading term

d_{η}^{- 1} m_{η} (λ (ξ_{1})^{2}, \dots, λ (ξ_{r})^{2})

Proof. We apply Lemma 4.2 for $δ = - 2 ν$ . Observe that $d_{η} \neq 0$ for any partition $η$ . It follows that for each partition $η$ , $m_{η} (x_{1}^{2}, \dots, x_{r}^{2}) = d_{2 η}^{- 1} m_{η} (D_{1}^{2}, \dots D_{r}^{2}) 1 + \sum_{η^{'} ≺ η} c_{η^{'}, η} m_{η^{'}} (D_{1}^{2}, \dots D_{r}^{2}) 1 .$ In other words $f_{- 2 ν} m_{η} (x_{1}^{2}, \dots, x_{r}^{2}) = d_{2 η}^{- 1} m_{η} (D_{1}^{2}, \dots, D_{r}^{2}) f_{- 2 ν} + \sum_{η^{'} ≺ η} c_{η^{'}, η} m_{η^{'}} (D_{1}^{2}, \dots, D_{r}^{2}) f_{- 2 ν} .$ For each $ζ$ , the spherical transform of $m_{ζ} (D_{1}^{2}, \dots, D_{r}^{2}) f_{- 2 ν}$ is given by, in view of ( 1.1 ), $m_{ζ} (λ (ξ_{1})^{2}, \dots, λ (ξ_{r})^{2}) \tilde{f_{- 2 ν}} (λ) .$ Our result then follows from the previous formula. □

5 Jacobi type functions and Macdonald-Koornwinder polynomials

We recall briefly the Heckman-Opdam theory on Jacobi polynomials. We will then construct certain functions of Jacobi type and prove that their spherical transforms are Macdonald-Koornwinder type polynomials.

Let

ν > ι + b + a (r - 1)

. Consider now the same root system

R = {2 ɛ_{j}; j = 1, \dots, r} \cup {4 ɛ_{j}; j = 1, \dots, r} \cup {2 ɛ_{j} \pm ɛ_{k}; j \neq k = 1, \dots, r}

with the same ordering and with respective multiplicities

k^{(ν)} = (k_{1}^{(ν)}, k_{2}^{(ν)}, k_{3}^{(ν)})

, such that

2 k_{2}^{(ν)} = 2 (2 ν - (1 + ι + b + a (r - 1))) + 1, 2 (k_{1}^{(ν)} + k_{2}^{(ν)}) = ι + 2 b, 2 k_{3}^{(ν)} = a .

(Note that one of the multiplicities,

k_{1}^{(ν)}

, is negative, however they still satisfy the condition

k_{α} + k_{\frac{α}{2}} \geq 0

\forall α \in R

, see [7] .) The corresponding dual coroot lattice is

\frac{1}{2} (Z ɛ_{1} + \dots + Z ɛ_{r}) = (\frac{1}{2} Z)^{r}

and weight lattice is

P = 2 (Z ɛ_{1} + \dots + Z ɛ_{r}) = (2 Z)^{r}

. The set of dominant weights is

P^{+} = {2 (η_{1} ɛ_{1} + \dots + η_{r} ɛ_{r}); η = (η_{1}, \dots, η_{r}) \in N^{r}, η_{1} \geq \dots \geq η_{r} \geq 0},

and for simplicity we will index the elements in

P^{+}

by the partitions

η \in N^{r}

The polynomial algebra

C [P]

of integral weights is then the polynomial algebra generated by

e^{\pm 2 ɛ_{j}}, j = 1, \dots, r

. Consider the inner product in the space

C [P]

\begin{matrix} (f, g)_{k^{(ν)}} = \int_{[0, π]^{r}} f (s) \bar{g (s)} | δ_{k^{(ν)}} (s) | d s, \end{matrix}

(5.1)

where

δ_{k^{(ν)}} (s) = \prod_{α \in R} | 2 sin \frac{1}{2} α (s)) |^{2 k_{α}^{(ν)}}

We recall first the Heckman-Opdam theory of Jacobi polynomials, see [4] , [3] , [7] . The partial ordering on the weight lattice

P

defined in terms by the ordering of the roots will be denoted (with some abuse of notation) also by

\leq

Lemma 5.1. For each

η = (η_{1}, \dots, η_{r}) \in N^{r}

η_{1} \geq \dots \geq η_{r} \geq 0

, there exists a unique polynomial

P_{ν, η}

T

such that

P_{ν, η} = p_{η}^{W} + \sum_{η^{'} < η} c_{η^{'}, η} p_{η}^{W}

and

(P_{ν, η}, p_{η}^{W})_{k^{(ν)}} = 0,

where

p_{η}^{W} = \sum_{w \in W} w (e^{2 (η_{1} ɛ_{1} + \dots + η_{r} ɛ_{r})})

is the Weyl group orbit sum of the power function. The polynomials

{P_{ν, η}}_{η}

forms an orthogonal basis for

L^{2} (T, | δ_{k^{(ν)}} (s) | d s)^{W}

The inner product

〈 P_{ν, η}, P_{ν, η} 〉_{k^{(ν)}}

is explicitly computed in [4] and [7] .

The Jacobi polynomials on

T

are symmetric with respect to the Weyl group

W

, thus they are symmetric polynomials of the functions

\frac{e^{2 i s_{j}} + e^{- 2 i s_{j}}}{2} = cos 2 s_{j}

, which can be further identified as symmetric polynomials of

(x_{1}^{2}, \dots, x_{r}^{2})

, with

\begin{matrix} x_{j} : = sin s_{j} \in [- 1, 1], s = s_{1} ξ_{1} + \dots + s_{r} ξ_{r} \in T = i R^{r} / (i π Z)^{r} . \end{matrix}

(5.2)

With some abuse of notations we denote it also by

P_{ν, η} (x_{1}, . . ., x_{r})

. We rewrite the characterization of

P_{ν, η}

in terms of the variables

(x_{1}, . . ., x_{r})

The Jacobi polynomial

P_{ν, η} (x_{1}, . . ., x_{r})

is then characterized as the unique polynomials so that

P_{ν, η} (x_{1}, . . ., x_{r}) = 2^{2 η_{1} + \cdot \cdot \cdot + 2 η_{r}} m_{η} (x_{1}^{2}, . . ., x_{r}^{2}) + \sum_{ζ < η} c_{η, ζ} m_{ζ} (x_{1}^{2}, . . ., x_{r}^{2})

and that

(P_{ν, η}, m_{ζ})_{k^{(ν)}} = 0, ζ < η

where

(f, g)_{k^{(ν)}}

is the inner product ( 5.1 ) after the change of variables ( 5.2 ),

\begin{matrix} \begin{matrix} (f, g)_{k^{(ν)}} & = 2^{(2 ι + 2 b + a (r - 1)) r} \int_{[- 1, 1]^{r}} f (x) \bar{g (x)} & \times \prod_{i < j} | x_{i}^{2} - x_{j}^{2} |^{a} \prod_{j} | x_{i}^{2 b + ι} | \prod_{j} (1 - x_{i}^{2})^{2 ν - (1 + ι + b + a (r - 1)} d x_{1} \dots d x_{r} . \end{matrix} \end{matrix}

(5.3)

We now define the Jacobi type function on

a

H_{ν, η} (t) : = f_{- 2 ν} (t) P_{ν, η} (tanh t_{1}, \dots, tanh t_{r})

Lemma 5.2. The functions

{H_{ν, η} (t)}_{η}

form an orthogonal basis for the space

L^{2} (a)^{W}

and

〈 H_{ν, η}, H_{ν, η} 〉_{L^{2} (a)} = 〈 P_{ν, η}, P_{ν, η} 〉_{k^{(ν)}}

Proof. Changing of variables $t \in a \to x \in (- 1, 1)^{r}$ , $x_{j} : = tanh t_{j}$ in the definition of inner product in $L^{2} (a)$ , we get the above formula. The remainding claim follows from (the symmetric version of ) Weierstrass approximation theorem. □

Theorem 5.3. The spherical transforms of the Jacobi type function

H_{ν, η} (t)

a

are given by

\tilde{f_{- 2 ν}} (λ) q_{η} (λ),

where

q_{η} (λ)

are constant multiples of the Macdonald-Koornwinder polynomials, and they satisfy the orthogonality relation

\int_{a^{*}} \tilde{f_{- 2 ν}} (λ)^{2} q_{η} (λ) q_{η^{'}} (λ) | c (λ) |^{- 2} d λ = 〈 H_{ν, η}, H_{ν, η} 〉_{L^{2} (a)} = 〈 P_{ν, η}, P_{ν, η^{'}} 〉_{k^{(ν)}} = δ_{η, η^{'}} P_{ν, η}, P_{ν, η} 〉_{k^{(ν)}} .

Proof. That the spherical transform is of the given form follows from Proposition 4.3, the orthogonality relation is by the Plancherel formula ( 1.2 ), and that $q_{η^{'}} (λ)$ are the Macdonald-Koornwinder polynomials is by the uniqueness of the latter [9] . □

References

I. Cherednik, Inverse Harish-Chandra transform and difference operators, Internat. Math. Res. Notices (1997), no. 15, 733–750. MR MR1470375 (99d:22018)
A. Erdelyi et al, Higher transdental functions, vol. 1, McGraw-Hill, New York Toronto London, 1953.
G. J. Heckman, Root systems and hypergeometric functions. II, Compositio Math. 64 (1987), no. 3, 353–373.
G. J. Heckman and E. M. Opdam, Root systems and hypergeometric functions. I, Compositio Math. 64 (1987), no. 3, 329–352.
T. H. Koornwinder, Special orthogonal polynomial systems mapped onto each other by the Fourier-Jacobi transform, Orthogonal polynomials and applications (Bar-le-Duc, 1984), Lecture Notes in Math., vol. 1171, Springer, Berlin, 1985, pp. 174–183. MR MR838982 (87g:33007)
I. G. Macdonald, Symmetric functions and Hall polynomials, second ed., Clarendon Press, Oxford, 1995.
E. Opdam, Harmonic analysis for certain representations of graded Hecke algebras, Acta Math. 175 (1995), no. 1, 75–121.
A. Unterberger and H. Upmeier, The Berezin transform and invariant differential operators, Comm. Math. Phys. 164 (1994), 563–597.
J. F. van Diejen, Properties of some families of hypergeometric orthogonal polynomials in several variables, Trans. Amer. Math. Soc. 351 (1999), no. 1, 233–270. MR MR1433128 (99c:33020)
G. van Dijk and M. Pevzner, Berezin kernels and tube domains, J. Funct. Anal. 181 (2001), 189–208.
G. Zhang, Berezin transform on compact hermitian symmetric spaces, Manuscripta Math. 97 (1998), no. 3, 371–388.
, Invariant differential operators on hermitian symmetric spaces and their eigenvalues, Israel J. Math. 119 (2000), 157–185.
, Berezin transform on real bounded symmetric domains, Trans. Amer. Math. Soc. 353 (2001), 3769–3787.
, Branching coefficients of holomorphic representations and Segal-Bargmann transform, J. Funct. Anal. 195 (2002), 306–349.

Department of Mathematics, Chalmers University of Technology and Goteborg University, S-412 96 Goteborg, Sweden E-mail address : genkai@math.chalmers.se

Genkai Zhang