CORE Metadata, citation and similar papers at core.ac.uk ProvidedJournal by Elsevierof Mathematical - Publisher Connector Analysis and Applications 234, 67-76 (1999) Article ID jmaa.1999.6323, available online at http:/www.idealibrary.com on IBEkL@

A Multidimensional Generalization of the Barnes Integral and the Continuous Hahn Polynomial

Katsuhisa Mimachi

Department of Mathematics, Kyushu University 33, Hakozaki, Fukuoka 812-8581, Japan

Submitted by Daniel Wateman

Received October 20, 1998

Employing a multidimensional generalization of the beta integral of Barnes, we derive an expression of the continuous . Motivation of the present work is to study such integrals from the viewpoint of a finite-difference version of the de Rham theory. o 1999 Academic Press Key Words: continuous Hahn polynomials; multidimensional generalizations of Barnes’ beta integral

1. INTRODUCTION

Recently, multidimensional generalizations of Barnes’ integral have been treated in the framework of a finite-difference version of the de Rham theory developed by Tarasov and Varchenko [221. These integrals appear to express the form factors arising in the integrable quantum field theory [13, 213 and the correlation functions of the integrable lattice models [ll]. On the other hand, the original Barnes integral is used to give the orthogonality relation for the continuous Hahn polynomials. Henceforce, recalling that the continuous Hahn polynomials are the generalization of the Jacobi polynomials [41 and that the Jacobi polynomial has an integral representation of the Selberg type [l, 181, it is natural to expect that the continuous Hahn polynomial could be expressed in terms of a multidimen- sional generalization of the Barnes integral; the present work is devoted to showing that such an expression can be found. We believe that the present work will be helpful in studies of the de Rham theory and in the calculation of such integrals in physics as those mentioned above.

67 0022-247)3/99 $30.00 Copyright 0 1999 by Academic Press All rights of reproduction in any form reserved. 68 KATSUHISA MIMACHI

2. CONTINUOUS HAHN POLYNOMIALS

Barnes [6] evaluated the integral

for the case Re(a, p, y, 6) > 0, where i = J-1 is the imaginary unit. The corresponding are the continuous Hahn polynomials defined by

Q,(z; a,P, y, 6) = in( a + y),( a + a), -n, n + a + p + y + 6 - 1, a + iz ;I]. x3F2[ a+y,a+6 (2.2) where (a), stands for the shifted factorial no j5 ,-l(a + j)and F2 is the generalized hypergeometric series

a,, a2 9 a3 ('1) n( '2) n( '3) nZn bl,b2 = c n=O (bI)n('2)nn! ' Their orthogonality relation is 1m -Gs, Q,(z)Q,(z)r(a+iz)T( p+iz)T(y-iz)T(6-iz)dz =0, m#n r(n + + r)r(n + a + qr(n + p + r)r(n + p + qn! - ' r(2n +a+p+ y+ 6- i)r(n+ a+p+ y+ 6- 1) m =n, for Re(a, p, y, 6) > 0. The weight function is positive when y = Z, 6 = 6. The continuous Hahn polynomials Q,(z) satisfy the finite-difference equation

[Dz- n(n + a + p + y + 6 - l)]Q,(z) = 0, iD, = ( a + iz)( p + iz)( ed/idz- 1) + ( y - iz)( 6 - iz)( e- a/i " - 119 (2.3) where edli"f(z) = f(z + i-'1. CONTINUOUS HAHN POLYNOMIALS 69

It is known that the continuous Hahn polynomials reduce to the Jacobi polynomials through some limiting procedure. In this sense, the continu- ous Hahn polynomials extend the Jacobi polynomials (see [Z, 5, 14, 1.51).

3. MAIN RESULT

In [7], van Diejen introduces a multidimensional generalization of the Barnes integral (3.1) as a weight function in the orthogonality relation for the multivariable continuous Hahn polynomials.

with

qt)= n r(a + itk)r(p + itk)ryy - itk)r(6 - itk) lsksn r(A + i(tk - tl)) xnlikzlin r(i(tk - ti)) ' where

Re( a,p, y, 6) > 0, A > 0.

It is known [8, 91 that (3.1) is equal to

r(jA)r( a + y + (j- 1) h)r(a + 6 + (j- 1) A) n!(2.rr)" n lsjsn r(A)r(a+ p + y+ 6+ (n +j- 2)A) T(p+y+(j-l)A)T(p+6+(j-l)A) X 1 (3-2)

Our interest is in the study of functions in z expressed by

where f(z,t) is invariant with respect to permutations of t,, . . . , t,. In the present paper, in particular, we consider the case f(z, t) = IlIsksn(itk- iz), in which case we obtain the following. 70 KATSUHISA MIMACHI

THEOREM.

(a+y+(j-l)h)(a+s+(j-l)h)

=nlsjsn (a+p+ y+ a+ (n +j - 2)h) cw+p+y+s a + iz +n-1,- h h X3F2[-n’ a+y a+s -- h’h

Here Q,(z) is the continuous Hahn polynomial defined by (2.2).

4. PROOF OF THEOREM

In this section, we introduce xk = it, for 1 Ik In, and write

(cp(x))= *.. cp(x)@(x)dx, ..* dx, li;-p -p for the sake of brevity. LEMMA1. We have

Prooj The left-hand side of (4.1) can be expressed by means of the integral

where the contour C circles the origin in the counterclockwise direction so that all poles x,,. . . , x, are inside the contour. Moreover, by using power CONTINUOUS HAHN POLYNOMIALS 71 series expansions, we have

1 dY

likin

0111n-2, ...xrn, I2n - 1. C x;"' (4.2) =Io9 m,,.. . , m,rO ml+ ... +m,=l-n+l

Hence we reach the desired relation. I Remark. Equality (4.2) is Theorem 1.5 of [lo] and is known to be crucial in the calculation of multivariable hypergeometric series well poised in SU(n). LEMMA2.

yik is the elementary symmetric polynomial where ek = C, ~ il < , , , < ik ~ .yil of degree k, and Ykj designates Yk - yj. Prooj Note that

1 + ... +A"-' A Ylj "'Yjj *" Ynj i - en- ,(y1,.. . , y,) + C A' lilin-1

ki,k, . . . , k,#f 72 KATSUHISA MIMACHI

Here, the coefficient of A' for each I satisfying 1 II I n - 1 is calculated as

The third equality in (4.4) is obtained by

which is from Lemma 1. This completes the proof of Lemma 2. I LEMMA3.

n n c n (iz-xk) 1+- =- n(iZ-xj+A)-n(iZ-xj) j-1 l

Prooj Substitute iz - xk for yk in the equality in Lemma 2, and note that l7;= l(yj+ A) = Zy=oen-j(y)Aj.The desired equality follows. I CONTINUOUS HAHN POLYNOMIALS 73

Lemma 3 shows that

(4.5) where the left-hand side follows from the symmetry of the function @(XI. On the other hand, we have LEMMA4.

( a + Xl ) ( p + Xl ) ( iz - xz) ... ( iz - x,) 1 + -

( i x:2 1 ... i1+ 3) (y-xl)(6-xl)(iz-x2)~~~(i~-xX,) where xjk is xi - xk. Prooj Since

we obtain

ed/dx, (y - xl)( 6 - xl)- *** ~ x21 X, 1 h +X12 h +Xl,

= *** ~ (a+xl)( p + xl)- @(XI 9 x12 Xln which implies the desired relation. I Substituting the equalities 2 (a+X,)(p+X1) =(iz-xl) -{@+a) +(iZ+P)) x(iz -xl) + (iz + a)(iz + p), (y-xl)(6-x,) =(iz-x,) 2 -{(iz-y) +(iz-S)}

x(iz -xl) + (iz - y)(iz - 6) 74 KATSUHISA MIMACHI into the formula in Lemma 4 and using Lemma 1, we have

12 - ( (Y + P + + 6 + ( - 1) A)( (iz - ... ( iz xn))

=(iz+a)(iz+p) (iz-x2)"'(iz-xn) 1 +- ( ( x, 1 *** (l+ $1) -(iz - y)(iz - 8)

The finite-difference equation (4.7) implies, by noting (2.3), that

( c (iz -%) lsksn is a constant multiple of a+@+y+s a + iz +n-1,- h h a+y a+s -- .i[l' h'h If we put a+P+ y+s a + iz -n, +n-1,- h h (Xk -iZ))=Ce3F2 ;1 ( n a+y a+s lsksn -- I h'h (4.8) and compare the coefficient of zn in each side, the constant C is determined to be

(a+ y + (j - l)h)(a + s + (j - 1)h) n x (1). (4.9) lsjsn (a+P+ Y+ a+ (n +j- 2)h) This completes the proof of our theorem. CONTINUOUS HAHN POLYNOMIALS 75

5. FINAL COMMENT

It is known [4, 151 that there are further sets of orthogonal polynomials which extend the continuous Hahn polynomials and the Jacobi polynomi- als. For instance, the Wilson polynomials reduce to the continuous , the continuous Hahn polynomials, and the Jacobi polynomials. Furthermore, the Askey-Wilson polynomials include all of them. The problem discussed in the present paper regarding these polyno- mials will be discussed in a separate work. On the other hand, our work could be generalized to the cases of multivariable polynomials: The multivariable Wilson polynomials and the multivariable continuous (dual) Hahn polynomials studied by van Diejen [7], along with their q-cases. We refer the reader to [20] and [19] for the examples of the integral representation of Jack symmetric polynomials and Macdonald polynomials, respectively. The definition and some properties of the Macdonald polynomials and their generalizations (the Koorn- winder-Macdonald polynomials) are found in [ 16, 17, 121, respectively.

REFERENCES

1. K. Aomoto, Jacobi polynomials associated with Selberg integrals, SUMJ.Math. Anal. 18 (19871, 545-549. 2. R. Askey, Continuous Hahn polynomials, J. Phys. A 18 (19851, L1017-L1019. 3. R. Askey and J. A. Wilson, A set of orthogonal polynomials that generalize the Racah coefficients or 6 - j symbols, SUMJ.Math. Anal. 10 (1979), 1008-1016. 4. R. Askey and J. A. Wilson, Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials, Mem. Amer. Math. SOC.319 (1985). 5. N. M. Atakishiyev and S. K. Suslov, The Hahn and Meixner polynomials of an imaginary argument and some of their applications, J. Phys. A 18 (19851, 1583-1596. 6. E. W. Barnes, A new development of the theory of the hypergeometric functions, Roc. London Math. SOC.(2) 6 (19081, 141-177. 7. J. F. van Diejen, Multivariable continuous Hahn and Wilson polynomials related to integrable difference systems, J. Phys. A 28 (19951, L369-L374. 8. J. F. van Diejen, Properties of some families of hypergeometric orthogonal polynomials in several variables, Trans. Amer. Math. SOC.351 (19991, 233-270. 9. R. A. Gustafson, A generalization of Selberg’s beta integral, Bull. Amer. Math. SOC. (N.S.) 22 (1990). 97-105. 10. R. A. Gustafson and S. C. Milne, Schur functions, Good’s identity, and hypergeometric series well poised in SU(n>,Adu. Math. 48 (19831, 177-188. 11. M. Jimbo and T. Miwa, Algebraic analysis of solvable lattice models, CBMS Regional Conf. Ser. in Math. 85 (1995). 12. T. H. Koornwinder, Askey-Wilson polynomials for root systems of type BC, Contemp. Math. 138 (19921, 189-204. 13. S. Khoroshkin, D. Lebedev, and S. Pakuliak, Traces of intertwining operators for the Yangian double, Lett. Math. Phys. 41 (19971, 31-47. 76 KATSUHISA MIMACHI

14. E. G. Kalnins and W. Miller, Jr., q-Series and orthogonal polynomials with Barnes’ first lemma, SOlMJ. Math. Anal. 19 (19881, 1216-1231. 15. R. Koekoek and R. F. Swarttouw, The Askey-scheme of hypergeometric orthogonal polynomials and its q-analogue, Delft University of Technology, Report 98-17. 16. I. G. Macdonald, A new class of symmetric functions, in “Actes SCminaire Lotharingen,” Publ. Znst. Rech. Math. (19881, 131-171. 17. I. G. Macdonald, Symmetric Functions and Hall Polynomials (Second Edition), “Oxford Mathematical Monographs,” Clarendon, Oxford, 1995. 18. K. Mimachi, The little q-Jacobi polynomial associated with a q-Selberg integral, Funkcial. Ekvac. 41 (19981, 91-100. 19. K. Mimachi, A solution to quantum Knizhnik-Zamolodchikov equation and its applica- tion to eigenvalue problems of the Macdonald type, Duke Math. J. 85 (19961, 635-658. 20. K. Mimachi and Y. Yamada, Singular vectors of the Virasoro algebra in terms of Jack symmetric polynomials, Comm. Math. Phys. 174 (19951, 447-455. 21. F. A. Smirnov, “Form Factors in Completely Integrable Models of Quantum Field Theory,” “Advanced Series in Math. Phys.,” Vol. 14, World Scientific, Singapore, 1992. 22. V. Tarasov and A. Varchenko, Geometry of q-hypergeometric functions as a bridge between Yangians and quantum affine algebras, Invent. Math. 128 (19971, 501-588. 23. J. A. Wilson, Some hypergeometric orthogonal polynomials, SZAM J. Math. Anal. 11 (19801, 690-701.