In mathematics, basic hypergeometric series, or q-hypergeometric series, are q-analogue generalizations of generalized hypergeometric series, and are in turn generalized by elliptic hypergeometric series. A series x<sub>n</sub> is called hypergeometric if the ratio of successive terms x<sub>n+1</sub>/x<sub>n</sub> is a rational function of n. If the ratio of successive terms is a rational function of q<sup>n</sup>, then the series is called a basic hypergeometric series. The number q is called the base.
The basic hypergeometric series was first considered by . It becomes the hypergeometric series in the limit when base .
There are two forms of basic hypergeometric series, the unilateral basic hypergeometric series ÃÂ, and the more general bilateral basic hypergeometric series ÃÂ. The unilateral basic hypergeometric series is defined as
where
and
is the q-shifted factorial. The most important special case is when j = k + 1, when it becomes
This series is called balanced if a<sub>1</sub> ... a<sub>k + 1</sub> = b<sub>1</sub> ...b<sub>k</sub>q. This series is called well poised if a<sub>1</sub>q = a<sub>2</sub>b<sub>1</sub> = ... = a<sub>k + 1</sub>b<sub>k</sub>, and very well poised if in addition a<sub>2</sub> = âÂÂa<sub>3</sub> = qa<sub>1</sub><sup>1/2</sup>. The unilateral basic hypergeometric series is a q-analog of the hypergeometric series since
holds ().<br> The bilateral basic hypergeometric series, corresponding to the bilateral hypergeometric series, is defined as
The most important special case is when j = k, when it becomes
The unilateral series can be obtained as a special case of the bilateral one by setting one of the b variables equal to q, at least when none of the a variables is a power of q, as all the terms with n < 0 then vanish.
Some simple series expressions include
and
and
The q-binomial theorem (first published in 1811 by Heinrich August Rothe) states that
It can be proved by repeatedly applying the identity
When is a negative integer power of q, the hypergeometric sum is finite and one recovers the finite form
of the q-binomial theorem (also sometimes known as the Cauchy binomial theorem). Here is a q-binomial coefficient.
The special case of a = 0 is closely related to the q-exponential.
Srinivasa Ramanujan gave the identity
valid for |q| < 1 and |b/a| < |z| < 1. Similar identities for have been given by Bailey. Such identities can be understood to be generalizations of the Jacobi triple product theorem, which can be written using q-series as
Gwynneth Coogan and Ken Ono give a related formal power series
As an analogue of the Barnes integral for the hypergeometric series, Watson showed that
where the poles of lie to the left of the contour and the remaining poles lie to the right. There is a similar contour integral for <sub> r+1</sub>ÃÂ<sub>r</sub>. This contour integral gives an analytic continuation of the basic hypergeometric function in z.
The basic hypergeometric matrix function can be defined as follows:
The ratio test shows that this matrix function is absolutely convergent.