Basic hypergeometric series

In mathematics, the basic hypergeometric series, also sometimes called the hypergeometric q-series, are q-analog generalizations of ordinary hypergeometric series. Two basic series are commonly defined, the unilateral basic hypergeometric series, and the bilateral basic geometric series.

The naming is in analogy to an ordinary hypergeometric series. An ordinary series $\{x\_n\}$ is termed an ordinary hypergeometric series if the ratio of successive terms $x\_\{n+1\}/x\_n$ is a rational function of "n". But if the ratio of successive terms is a rational function of $q^n$, then the series is called a basic hypergeometric series.

The basic hypergeometric series was first considered by Eduard Heine in the 19th century, as a way of capturing the common features of the Jacobi theta functions and elliptic functions.

Definition

The unilateral basic hypergeometric series is defined as

:

where

:$(a\_1,a\_2,ldots,a\_m;q)\_n\; =\; (a\_1;q)\_n\; (a\_2;q)\_n\; ldots\; (a\_m;q)\_n$

is the q-shifted factorial.The most important special case is when "j" = "k"+1, when it becomes:

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.

imple series

Some simple series expressions include

:

and

:

and

:

imple identities

Some simple identities include

:$;\_\{1\}phi\_0\; (a;q,z)\; =\; prod\_\{n=0\}^infty\; frac\; \{1-aq^n\; z\}\{1-q^n\; z\}$

and :$;\_\{1\}phi\_0\; (a;q,z)\; =\; frac\; \{1-az\}\{1-z\}\; ;\_\{1\}phi\_0\; (a;q,qz).$

The special case of $a=0$ is closely related to the q-exponential.

Ramanujan's identity

Ramanujan gave the identity

:

valid for and . Similar identities for $;\_6psi\_6$ 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

:$sum\_\{n=-infty\}^infty\; q^\{n(n+1)/2\}z^n\; =\; (q;q)\_infty\; ;\; (-1/z;q)\_infty\; ;\; (-zq;q)\_infty.$

Ken Ono gives a related formal power series

:$A(z;q)\; =\; frac\{1\}\{1+z\}\; sum\_\{n=0\}^infty\; frac\{(z;q)\_n\}\{(-zq;q)\_n\}z^n\; =\; sum\_\{n=0\}^infty\; (-1)^n\; z^\{2n\}\; q^\{n^2\}.$

References

* Eduard Heine, "Theorie der Kugelfunctionen", (1878) "1", pp 97-125.
* Eduard Heine, "Handbuch die Kugelfunctionen. Theorie und Anwendung" (1898) Springer, Berlin.
* W.N. Bailey, "Generalized Hypergeometric Series", (1935) Cambridge Tracts in Mathematics and Mathematical Physics, No.32, Cambridge University Press, Cambridge.
*Citation | last1=Gasper | first1=George | last2=Rahman | first2=Mizan | title=Basic hypergeometric series | publisher=Cambridge University Press | edition=2nd | series=Encyclopedia of Mathematics and its Applications | isbn=978-0-521-83357-8 | id=MathSciNet | id = 2128719 | year=2004 | volume=96
* William Y. C. Chen and Amy Fu, " [http://cfc.nankai.edu.cn/publications/04-accepted/Chen-Fu-04A/semi.pdf Semi-Finite Forms of Bilateral Basic Hypergeometric Series] " (2004)
* Sylvie Corteel and Jeremy Lovejoy, " [http://www.labri.fr/Perso/~lovejoy/1psi1.pdf Frobenius Partitions and the Combinatorics of Ramanujan's $,\_1psi\_1$ Summation] ", (undated)
* Gwynneth H. Coogan and Ken Ono, " [http://www.math.wisc.edu/~ono/reprints/067.pdf A q-series identity and the Arithmetic of Hurwitz Zeta Functions] ", (2003) Proceedings of the American Mathematical Society 131, pp. 719-724