Representation of Lie Groups and Special Functions

Transcription

1 Representation of Lie Groups and Special Functions

2 Mathematics and Its Applications Managing Editor: M. HAZEWINKEL Centre for Mathematics and Computer Science. Amsterdam. The Netherlands Volume 316

3 Representation of Lie Groups and Special Functions Recent Advances by N. Ja. Vilenkin t formerly of The Correspondence Pedagogical Institute, Moscow, Russia and A.U. Klimyk Institute for Theoretical Physics, Ukrainian Academy of Sciences, Kiev, Ukraine SPRINGER-SCIENCE+BUSINESS MEDIA, B.V.

4 A c.i.p. Catalogue record for this book is available from the Library of Congress. ISBN DOI / ISBN (ebook) The manuscript was translated from Russian by V.A. Groza and A.A. Groza Printed on acid-free paper All Rights Reserved 1995 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in 1995 No part of the material protected by this copyright notice may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying, recording or by any information storage and retrieval system, without written permission from the copyright owner.

5 Table of Contents Preface..... Chapter 1: h-harmonic Polynomials, h-hankel Transform, and Coxeter Groups 1.1. Coxeter Groups Dihedral groups Generating elements and defining relations Coxeter groups Coxeter matrices. The classification of irreducible Coxeter groups Invariants of Coxeter groups Invariant bilinear forms Irreducible representations Representations on polynomials Representations on a group algebra Polynomials pg(t) The h-laplacian and h-harmonic Polynomials The h-laplacian h-harmonic polynomials Differential-difference operators Ti The operators T;* Averaging operator The minimum principle Polynomials related to representations Examples of h-harmonic polynomials The Poisson Kernel for h-harmonic Functions h-exact I-forms The intertwining operator Kernels Kr(x,y) The space,c2(jrn, h 2 dfl). The bilinear form on polynomials The operator exp (-6.h/2) Properties of Kr(x,y) and K(x,y) The Poisson kernel h-hankel Transform Definition Restriction of h-hankel transform onto the sphere X v

6 vi Table of Contents h-bessel functions h-hankel transform and classical special functions 64 Chapter 2: Symmetric Polynomials and Symmetric Functions Simplest Symmetric Polynomials and Symmetric Functions Partitions and their orderings The ring of symmetric functions Monomial symmetric polynomials and functions 69 Elementary symmetric functions 72 Complete symmetric functions. 73 Power-sum symmetric functions 74 Schur functions The Scalar Product on A and Skew Schur Functions The scalar product on A Matrices of transitions Skew Schur functions Summation formulas containing Schur functions 2.3. Hall-Littlewood Polynomials and Functions Definition The functions q>. and S >. The scalar product on A(Q(t)) Skew Hall-Littlewood polynomials 2.4. Jack Symmetric Polynomials and Functions Definition Symmetric functions In(Xj a) Differential operator D( a) Duality relation Skew Jack symmetric functions Expression for J,.. in terms of J, Expression for J>.(I,...,lj a) Expressions for c>.(a), r>.(a), and j>.(a) Expression for J>./, Jack polynomiais and zonal polynomials Generalized Binomial Coefficients and Jack Polynomials Generalized binomial coefficients The main theorem Expressions for generalized binomial coefficients Special cases of generalized binomial coefficients Relations for Jack polynomials

7 Table of Contents vii Estimate of Jack polynomials.... Jack polynomials of two variables Macdonald Symmetric Polynomials and Functions The space A(IF) The operator D Macdonald symmetric functions and polynomials Duality relation Skew Macdonald symmetric functions Macdonald's Orthogonal Polynomials Associated with Root Systems Root systems Classification of irreducible root systems Admissible pairs of irreducible root systems The group algebra A Scalar products on A The operator E Orthogonal polynomials associated with root systems Special cases of polynomials P> Chapter 3: Hypergeometric Functions Related I to Jack Polynomials Hypergeometric Functions Related to Jack Polynomials Definition Differential equations for 2Ffd) Integral representation of 2Ffd) The integral relation for Jack polynomials Properties of hypergeometric functions Symmetric orthogonal polynomials associated to Jack polynomials Hypergeometric Functions of Two Variables Expressions in terms of the functions IFI and 2Ft The Appell function F Expression for 2F?) in terms of F Generalized Laplace transform Generalized Laguerre polynomials related to Jack polynomials Hankel transform Hypergeometric Functions Associated to Root Systems Introduction

8 viii Table of Contents Zonal spherical functions 224 Hypergeometric functions associated to root systems Symmetric Jacobi polynomials associated to root systems 237 Relations between Jack polynomials and Jacobi polynomials associated to the root system A n Jacobi polynomials and hypergeometric functions associated to the root system BCn Relation between Jacobi polynomials associated to Jack polynomials and Jacobi polynomials associated to the root system BC n Basic Hypergeometric Functions Related to Schur Polynomials Definition Expressions for the Vandermonde determinant Determinental formulas for rtp~~l and rcp~l)... Summation formulas Integral representation Transformation properties of 2cp~1) Chapter 4: Clebsch-Gordan Coefficients and Racah Coefficients of Finite Dimensional Representations 4.1. Finite Dimensional Representations of Semisimple Lie Groups and Algebras Semisimple Lie groups and algebras Finite dimensional representations Finite dimensional representations of semisimple Lie algebras Properties of a Weyl group Tensor products of finite dimensional representations Expressions for representation multiplicities in terms of weight multiplicities Formulas for decomposition of tensor products Ranges of disposition of highest weights in decompositions of tensor products Upper bound for multiplicities of representations in tensor products The theorem on shifts of highest weights Expressions for ni

9 Table of Contents ix 4.3. Clebsch-Gordan Coefficients of Compact Groups Definition CGC's and matrix elements of representations Problems of uniqueness for CGC's Permutation symmetry of CGC's Clebsch-Gordan Coefficients and Scalar Factors Subgroup chains and corresponding orthonormal bases Definition of scalar factors Orthogonality relations for scalar factors Permutation symmetries of scalar factors Racah Coefficients Definition Special cases of RC's Permutation symmetries RC's and characters of representations The addition theorem and the Biedenharn-Elliott identity 316 Chapter 5: Clebsch-Gordan Coefficients of the group U( n) and Related Generalizations of Hypergeometric Functions Clebsch-Gordan Coefficients of the Group U(n) and the Denominator Function CGC's of the tensor product Tm T(p,o) CGC's with multiplicities CGC's with multiplicities and scalar factors The denominator function Another definition of the denominator function The path sum formula The algebra of Boson Operators and Clebsch-Gordan Coefficients of the Group U( n) Creation and annihilation operators The algebra of creation and annihilation operators Boson and dual boson polynomials Properties of boson polynomials Construction of boson polynomials Symmetry relation for scalar factors of the tensor product Tm T(p,o) Matrix elements of the operator Tm(gn-l (11'/2)) RC's and scalar factors

10 x Table of Contents 5.3. Hypergeometric Series Well-Poised in U(n) Generalized hypergeometric series related to the group U(n) Summation formulas for well-poised series An analogue of the Whipple formula Corollaries of the generalized Whipple identity The recurrence relation for WJn)(z) Integral relations for F(n) Polynomials Related to Hypergeometric Series Well-Poised in U(n) Functions G~n) Symmetries of functions G~n) The functions,.g~n) The functions G~n) The functions ;;'G~n) Basic Hypergeometric Series Well-Poised in U(n) and Their Properties Basic hypergeometric functions well-poised in U(n) Summation formulas q-analogue of the generalized Whipple formula 391 Chapter 6: Gel'fand Hypergeometric Functions General Hypergeometric Series Introduction Horn hypergeometric series Gel'fand general hypergeometric series General hypergeometric series associated with subspaces 399 General hypergeometric series with common convergence domain Gel'fand General Hypergeometric Functions General hypergeometric systems of equations Spaces of general hypergeometric functions General hypergeometric functions associated with subspaces Generalized hypergeometric functions 6.3. Gel'fand q-hypergeometric Series and (~, D)-Hypergeometric Series Horn q-hypergeometric series

11 Table of Contents xi General q-hypergeometric series (V', D)-Hypergeometric series Difference analogues of hypergeometric functions Hypergeometric Functions on Real Grassmannians Real Grassmannians The Radon transform Hypergeometric functions on Grassmannians Hypergeometric systems of equations on Grassmannian Hypergeometric Functions and Hypergeometric Series on Complex Grassmannians Hypergeometric systems of equations and hypergeometric functions on V General hypergeometric functions on G3,6(C) General hypergeometric series on Zkn(C) Reduction relations Hypergeometric functions on strata Hypergeometric Functions on Strata of Grassmannian G3,6(C)..., Strata of Grassmannian 03,6(C) General hypergeometric functions in neighborhoods of one-orbit strata Bases of spaces of hypergeometric functions on nondegenerate strata Hypergeometric functions on strata of type A Hypergeometric functions on strata of type B Hypergeometric functions on Grassmannian G2,4(C) Hypergeometric functions on strata of type C 459 Bibliography Supplementary Bibliography 484 Bibliography Notes 488 Subject Index 494

12 Preface In our three-volume book "Representation of Lie Groups and Special Functions" was published. When we started to write that book (in 1983), editors of "Kluwer Academic Publishers" expressed their wish for the book to be of encyclopaedic type on the subject. Interrelations between representations of Lie groups and special functions are very wide. This width can be explained by existence of different types of Lie groups and by richness of the theory of their representations. This is why the book, mentioned above, spread to three big volumes. Influence of representations of Lie groups and Lie algebras upon the theory of special functions is lasting. This theory is developing further and methods of the representation theory are of great importance in this development. When the book "Representation of Lie Groups and Special Functions",vol. 1-3, was under preparation, new directions of the theory of special functions, connected with group representations, appeared. New important results were discovered in the traditional directions. This impelled us to write a continuation of our three-volume book on relationship between representations and special functions. The result of our further work is the present book. The three-volume book, published before, was devoted mainly to studying classical special functions and orthogonal polynomials by means of matrix elements, Clebsch-Gordan and Racah coefficients of group representations and to generalizations of classical special functions that were dictated by matrix elements of representations. Namely, the first volume describes interrelations of the theory of classical special functions with representations of groups of second order matrices (the groups SU(2), SU(I, 1), SL(2, R.), 1S0(2) and others). This material led to a large number of results on Bessel, Macdonald, Hankel, Whittaker, hypergeometric, confluent hypergeometric functions and on different classes of orthogonal polynomials, including polynomials of a discrete variable. The second volume is devoted to properties of special functions which appear in the theory of representations of matrix groups of arbitrary order and to the study of q-analogues of classical special functions which were proved to be connected with representations of Lie groups over finite fields (they are called Chevalley groups). Let us note that interest to q-orthogonal polynomials and basic hypergeometric functions was extended after appearance of quantum groups and quantum algebras. q-orthogonal polynomials with q = ps, where p is a prime number and s is a positive integer, are connected with irreducible representations of Chevalley groups. Namely, zonal spherical functions and intertwining functions of these representations are expressed in terms of these polynomials. By using these groups, addition and product formulas, orthogonality relations and other properties of these q-orthogonal polynomials are proved. It was shown several years ago that q-orthogonal polynomials and basic hypergeometric functions with arbitrary q are related to representations of quantum groups. Different interrelations of the theory xiii

13 xiv of q-orthogonal polynomials with representations of simplest quantum groups are considered in the third volume of the book [371]. These interrelations are, in principle, such as in the case of classical special functions and representations of Lie groups. However, technical realization of these interrelations is more complicated since the structure of quantum groups is more complicated than that of Lie groups. The third volume deals also with different generalizations of hypergeometric functions, which appear under considerations of matrix elements of representations with respect to the Gel'fand-Tsetlin bases. Special functions with matrix indices are constructed there. The third volume contains also exposition of the theory of special functions of matrix argument. This direction is developed in the present book. The present book contains 6 chapters. Chapter 1 is devoted to Dunkl's results on h-harmonic polynomials and the h-hankel transform. They are related to symmetries with respect to Coxeter groups. Dunkl's differential-difference operators Ti, i =1,..., n, associated to reflection groups are of great importance here. These operators commute with each other. The h-laplacian t::.h is of the form t::.h = Tl T~. The theory of h-harmonic polynomials is an analogue of the theory of usual harmonic polynomials. h-harmonic polynomials are polynomials on the Euclidean space En vanishing under action of the h-laplacian. The analogue of a majority of results from the theory of harmonic polynomials are true for h harmonic polynomials. There exists the operator (which is called the intertwining operator) which allows the transfer of results about ordinary harmonic polynomials onto those related to h-harmonic polynomials. The theory of h-harmonic polynomials leads to the h-bessel function and to the h-hankel transform. Chapter 2 deals with symmetric polynomials and symmetric functions (by symmetric functions we mean here "symmetric polynomials" in infinite number of indeterminates). After description of traditional well-known symmetric polynomials and symmetric functions (monomial symmetric polynomials, elementary symmetric polynomials, complete homogeneous symmetric polynomials and the corresponding symmetric functions), we expose Hall-Littlewood polynomials and functions, Jack symmetric polynomials and functions, Macdonald's symmetric polynomials and functions, and Macdonald's polynomials associated to root systems. All of these polynomials and functions are eigenfunctions of the appropriate second order differential operators. Since these operators are selfadjoint then the corresponding collections of polynomials and functions are orthogonal. These types of orthogonal polynomials are important for different branches of mathematics and mathematical physics. By means of Jack polynomials, a new type of hypergeometric functions is constructed which generalize hypergeometric functions of a matrix argument. Recent papers show that Macdonald's orthogonal polynomials associated to root systems are closely related to zonal spherical functions for quantum groups. Hypergeometric functions related to Jack polynomials are studied in Chapter 3. They are series over partitions of nonnegative integers containing Jack polynomials with certain coefficients as summands. This chapter contains also description

14 of orthogonal symmetric polynomials associated to Jack polynomials (generalized Jacobi polynomials, generalized Laguerre polynomials, and generalized Chebyshev polynomials), multivariate hypergeometric functions related to root systems, symmetric multivariate Jacobi polynomials associated to root systems, and basic multivariate hypergeometric functions associated to Schur polynomials. There exist various relations between multivariate hypergeometric functions of different types. For example, hypergeometric functions 2F;d) related to Jack polynomials are connected with multivariate hypergeometric functions related to the root system Ben. Clebsch-Gordan coefficients and Racah coefficients of compact groups constitute orthogonal systems of functions in discrete variables. These coefficients are of great importance for mathematical physics and for different branches of physics (nuclear physics, elementary particle theory, atomic physics and so on). As in the case of the group SU(2), they can be used to construct multivariate orthogonal polynomials. Clebsch-Gordan and Racah coefficients of compact groups are studied in detail in Chapter 4. Results of this chapter generalize the corresponding results of Chapter 8 of our book [371], where Clebsch-Gordan and Racah coefficients of the group SU(2) and of some other simplest groups are considered. The interesting phenomenon appears for Clebsch-Gordan coefficients of groups of higher ranks: Clebsch-Gordan coefficients reduce to a sum of products (or to product) of so-called scalar factors (reduced Clebsch-Gordan coefficients) and Clebsch-Gordan coefficients of an appropriate subgroup. Chapter 5 is devoted to studying the denominator function, related to scalar factors of Clebsch-Gordan coefficients of the unitary group U( n) with respect to the subgroup U(n -1). We also expose the results concerning relationship between Racah coefficients, scalar factors and matrix elements of the representation operator Tm(gn-l(71'l2)) of the group U(n). They can be qualified as deepest results in the representation theory of U( n). A certain type of Clebsch-Gordan coefficients of the group U(n) is related to generalized hypergeometric series well-poised in U(n). These hypergeometric functions are also studied in Chapter 5. The theory of these functions generalizes many results from the theory of other types of hypergeometric functions, from combinatorics and so on. Gel'fand's hypergeometric series and functions are described in Chapter 6. They are different types of Horn multivariate hypergeometric series and functions adapted to lattices. There are generalizations of these functions called (~, V) hypergeometric functions. These generalizations contain, as special cases, multivariate q-hypergeometric functions and difference analogues of classical hypergeometric functions. At the end of this chapter, hypergeometric series and functions on Grassmannian G3,6 and on its strata are considered in detail. We see that hypergeometric functions on G3,6 and on strata lead to many well-known types of hypergeometric functions. We often refer to our previous book [371]. Hence, the present exposition strongly depends on the material of that book. We assume that the reader is well familiar with first three chapters in [371]. xv

15 xvi During preparation of this book the irreparable disaster happened. At the end of 1991, Prof. N. Ja. Vilenkin died. Preparation of this book was finished by the second author. Let us note that the book" Algebraic Structures and Operator Calculus" by Ph. Feinsilver and R. Schott, dealing with special functions and their applications, is under publication. The first volume titled as "Representations and Probability Theory" is already edited by Kluwer Academic Publishers. The second volume "Special Functions and Computer Science" will be published soon. The book "Hypergeometric Functions and the Representation Theory of Lie Algebras and Quantum Groups" by A. Varchenko, dealing with connection of multivariate generalizations of hypergeometric functions with representations of classical and quantum affine Lie algebras, will be published by World Scientific Publishing Company (Singapore). Our book actually has no intersections with those books.