- Membership
- Publications
- Meetings
- Community
- Programs
- Students
- High School Teachers
- Faculty and Departments
- Underrepresented Groups
- MAA Awards
- MAA Grants

- News
- About MAA

Publisher:

Cambridge University Press

Publication Date:

2004

Number of Pages:

428

Format:

Hardcover

Edition:

2

Series:

Encyclopedia of Mathematics and Its Applications 96

Price:

120.00

ISBN:

0521833574

Category:

Monograph

The Basic Library List Committee suggests that undergraduate mathematics libraries consider this book for acquisition.

[Reviewed by , on ]

Warren Johnson

12/22/2005

I was in graduate school when the first edition of this book appeared in 1990. I knew some of the subject matter from Dick Askey's special functions courses and seminars, and I had seen a preliminary version of the book at a conference at Ohio State in 1989, and I remember very well how excited I was when my copy arrived. I want to write "It did not disappoint," but actually that's not quite true; I was a dumb kid, and I was hoping it would have more on the combinatorial aspects of q-series than it does. Nevertheless I immediately set about reading it and doing problems, and I believe I was one of the first to send in a list of errata. I still have George Gasper's reply of 27 August 1990, thanking me for my list and commiserating with me on my struggles with exercise 5.4.

The book really was a major event in one part of mathematics, and it was very well received. George Andrews (*American Mathematical Monthly*, vol. 98, March 1991, pp. 282-284) wrote "Reviewers for the MONTHLY are told to write 'a chatty essay [that] ... does not have to be closely tied to the book under review.' At the risk of violating this quite sensible suggestion, I shall begin by saying, 'I love this book! It is great!'" Jet Wimp's review (*SIAM Review*, vol. 33, September 1991, pp. 489-493) was no less complimentary. More recently, Steven Milne has emphasized the importance of the book in both his research and his teaching (on p. 28 of *Theory and Applications of Special Functions*, a collection of papers dedicated to Mizan Rahman that I have also reviewed here).

Andrews and Wimp both stressed the pedagogical qualities of the book, particularly the large collection of exercises, and both noted that this was what set it apart from other books on q-series that appeared in the 1980s. This was especially charitable of Andrews in that these include *q-Series: Their Development and Application in Analysis, Number Theory, Combinatorics, Physics and Computer Algebra*, his own beautiful series of lectures, and Nathan Fine's equally beautiful *Basic Hypergeometric Series and Applications*, for which Andrews wrote the Foreword and Chapter Notes. Gasper and Rahman tried to write a useful book, rather than a beautiful one, and, as Andrews said, "they have masterfully pulled it off." We need both kinds.

The reviews of Andrews and Wimp are both excellent and readily available on JSTOR, so I will focus on what is new in this edition. Let me attempt a brief description of the subject first. The word "Basic", though standard, is apt to cause confusion. A hypergeometric series is a power series where, if the coefficient of x^{n} is c(n), then c(n+1)/c(n) is a rational function of n. This implies that c(n) is a quotient of products of shifted factorials, which are themselves products of the form a(a+1)...(a+n-1). In the most interesting cases there are as many shifted factorials in the numerator as in the denominator, except that the denominator always has an n!, so one typically speaks of 2-F-1's or 3-F-2's or 7-F-6's, with one more free parameter in the numerator. A 1-F-0 is the binomial series (1-x)^{-a}.

One could define q-hypergeometric series by starting with q-numbers: let the q-analogue of the number a be [a] = (1-q^{a})/(1-q), where this means a if q = 1. Then a q-analogue of the shifted factorial would be something like [a][a+1]...[a+n-1]. Since there would typically be as many of these in the numerator as in the denominator, there are some factors of (1-q)^{n} that could be cancelled, so one might as well look at quotients of products of the form

(1-q^{a})(1-q^{a+1})...(1-q^{a+n-1})

instead; or, better yet, products of the form

(a;q)_{n}:= (1-a)(1-aq)...(1-aq^{n-1}),

which are more general (in particular, a can be zero), easier to print, and no more difficult to work with. This then is a basic (or q-) hypergeometric series — a power series where the coefficient c(n) of x^{n} is a quotient of products of these q-shifted factorials (a;q)_{n}; q is the "base", and typically (for convergence) |q| < 1. The two most interesting cases are (i) with (q;q)_{n} in the denominator (analogous to the n! in ordinary hypergeometric series), and otherwise with one more more q-shifted factorial in the numerator than in the denominator; and (ii) without (q;q)_{n} in the denominator, with as many q-shifted factorials in the denominator as in the numerator, and bilateral — summed from minus infinity to infinity. Many q-hypergeometric series identities reduce to ordinary hypergeometric series identities as q tends to 1, if one first rescales by replacing a's by q^a's, but many other q-series identities don't reduce to anything interesting as q tends to 1, so that they have a life all their own.

One could imagine another generalization, in which a is replaced not by [a] = (1-q^{a})/(1-q) but by := sin(as)/sin(s), which reduces to a as s tends to zero. (In practice s is taken in the form πσ.) Thus a trigonometric analogue of the shifted factorial would be something like ..., and a trigonometric hypergeometric series would be a power series whose coefficients are quotients of products of these trigonometric shifted factorials. This is, however, more or less equivalent to using products like [a][a+1]...[a+n-1], by taking q = e^{2is}. So this idea, while intriguing at first sight, seems on reflection not to be very interesting. It really is interesting, though, because it hints at a further generalization.

There are three new chapters (9-11) in this edition, of which the last is by far the most interesting. It is about so-called elliptic hypergeometric functions, power series whose coefficients are quotients of products of shifted factorials built up as above from "elliptic numbers", which are themselves quotients of theta functions, and therefore (far-reaching) generalizations of the trigonometric numbers . (Alternatively, one could build these "elliptic" shifted factorials directly out of theta functions. A theta function is essentially a product of the form (x;q)_{∞}(q/x;q)_{∞}, and one of the central results in q-series is Jacobi's triple product identity that expresses these infinite products as infinite series.)

Warren Johnson (warren.johnson@conncoll.edu) is visiting assistant professor of mathematics at Connecticut College.

Foreword; Preface; 1. Basic hypergeometric series; 2. Summation, transformation, and expansion formulas; 3. Additional summation, transformation, and expansion formulas; 4. Basic contour integrals; 5. Bilateral basic hypergeometric series; 6. The Askey-Wilson q-beta integral and some associated formulas; 7. Applications to orthogonal polynomials; 8. Further applications; 9. Linear and bilinear generating functions for basic orthogonal polynomials; 10. q-series in two or more variables; 11. Elliptic, modular, and theta hypergeometric series; Appendices; References; Author index; Subject index; Symbol index.

- Log in to post comments