Basic hypergeometric series explained

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_n is called hypergeometric if the ratio of successive terms x_n+1/x_n is a rational function of n. If the ratio of successive terms is a rational function of qⁿ, then the series is called a basic hypergeometric series. The number q is called the base.

The basic hypergeometric series

{} _{2\phi} ^{\alpha} ^{1 (q} ,q ^{\beta} ;q ^{\gamma} ;q,x) was first considered by . It becomes the hypergeometric series F(\alpha,\beta;\gamma;x) in the limit when base q =1 .

Definition

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

_{j} \phi _{k} \left[\begin{matrix} a _{1} & a _{2} & \ldots & a _{j} \ b _{1} & b _{2} & \ldots & b _{k} \end{matrix} ; q,z \right] = \sum ^{inf ty} _{n =0} ((a _{1,} a _{2,} \ldots, a _{j} ;q) _{n})/((b _{1,} b _{2,} \ldots, b _{k,q;q)} _{n}) \left(( -1 ) ^{nq} ^{n\choose} \right) ^{1+k-j} z ^{n} where (a _{1,a} _{2,\ldots,a} _{m;q)} _{n} = (a _{1;q)} _{n} (a _{2;q)} _{n} \ldots (a _{m;q)} _{n} and (a;q) _{n} = \prod ^{n -1} _{k =0} ( 1- aq ^{k)=(1-a)(1-aq)(1-aq} ^{2) … (1-aq} ^{n-1} ) is the q-shifted factorial.The most important special case is when j = k + 1, when it becomes_{k+1} \phi _{k} \left[\begin{matrix} a _{1} & a _{2} & \ldots & a _{k} &a _{k+1} \ b _{1} & b _{2} & \ldots & b _{k} \end{matrix} ; q,z \right] = \sum ^{inf ty} _{n =0} ((a _{1,} a _{2,} \ldots, a _{k+1} ;q) _{n})/((b _{1,} b _{2,} \ldots, b _{k,q;q)} _{n}) z ^{n.} This series is called balanced if a₁ ... a_{k + 1} = b₁ ...b_kq.This series is called well poised if a₁q = a₂b₁ = ... = a_{k + 1}b_k, and very well poised if in addition a₂ = −a₃ = qa₁^1/2. The unilateral basic hypergeometric series is a q-analog of the hypergeometric series since\lim _{q\to} _{j} \phi _{k} \left[\begin{matrix} q ^{a _{1}} & q ^{a _{2}} & \ldots & q ^{a _{j}} \ q ^{b _{1}} & q ^{b _{2}} & \ldots & q ^{b _{k}} \end{matrix} ; q,(q -1 ) ^{1+k-j} z \right] = _{j} F _{k} \left[\begin{matrix} a _{1} & a _{2} & \ldots & a _{j} \ b _{1} & b _{2} & \ldots & b _{k} \end{matrix} ;z \right] holds .
The bilateral basic hypergeometric series, corresponding to the bilateral hypergeometric series, is defined as_{j\psi} _{k} \left[\begin{matrix} a _{1} & a _{2} & \ldots & a _{j} \ b _{1} & b _{2} & \ldots & b _{k} \end{matrix} ; q,z \right] = \sum ^{inf ty} _{n =-inf ty} ((a _{1,} a _{2,} \ldots, a _{j;q)} _{n})/((b _{1,} b _{2,} \ldots, b _{k;q)} _{n}) \left(( -1 ) ^{nq} ^{n\choose} \right) ^{k-j} z ^{n.}

The most important special case is when j = k, when it becomes

_{k\psi} _{k} \left[\begin{matrix} a _{1} & a _{2} & \ldots & a _{k} \ b _{1} & b _{2} & \ldots & b _{k} \end{matrix} ; q,z \right] = \sum ^{inf ty} _{n =-inf ty} ((a _{1,} a _{2,} \ldots, a _{k;q)} _{n})/((b _{1,} b _{2,} \ldots, b _{k;q)} _{n}) z ^{n.}

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.

Simple series

Some simple series expressions include

(z)/(1- q) _{2} \phi _{1} \left[\begin{matrix} q q \ q ^{2} \end{matrix} ; q,z \right] = (z)/(1- q) + (z ^{2})/(1- q ^{2}) + (z ^{3})/(1- q ^{3}) + \ldots

and

(z)/(1- q ^{1/2}) _{2} \phi _{1} \left[\begin{matrix} q q ^{1/2} \ q ^{3/2} \end{matrix} ; q,z \right] = (z)/(1- q ^{1/2}) + (z ^{2})/(1- q ^{3/2}) + (z ^{3})/(1- q ^{5/2}) + \ldots

and

_{2} \phi _{1} \left[\begin{matrix} q -1 \ - q \end{matrix} ; q,z \right] =1+ (2 z)/(1+ q) + (2 z ^{2})/(1+ q ^{2}) + (2 z ^{3})/(1+ q ^{3}) + \ldots.

The q-binomial theorem

The q-binomial theorem (first published in 1811 by Heinrich August Rothe)^{[1] [2]} states that

_{1} \phi _{0} (a;q,z) = ((az;q) _{infty})/((z;q) _{infty}) = \prod ^{inf ty} _{n =0} (1- aq ^{n} z)/(1- q ^{n} z)

which follows by repeatedly applying the identity

_{1} \phi _{0} (a;q,z) = (1- az)/(1- z) _{1} \phi _{0} (a;q,qz).

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

Cauchy binomial theorem

Cauchy binomial theorem is a special case of the q-binomial theorem.^[3]

\sum ^{N} _{n =0} y ^{nq} ^{n(n+1)/2} \begin{bmatrix}N\\n\end{bmatrix} _{q=\prod} ^{N} ^{k =1} \left( 1+ yq ^{k\right) (|q|<1)}

Ramanujan's identity

Srinivasa Ramanujan gave the identity

_{1\psi} _{1} \left[\begin{matrix} a \ b \end{matrix} ; q,z \right] = \sum ^{inf ty} _{n =-inf ty} ((a;q) _{n})/((b;q) _{n}) z ^{n =} ((b/a,q,q/az,az;q) _{infty})/((b,b/az,q/a,z;q) _{infty})

valid for |q| < 1 and |b/a| < |z| < 1. Similar identities for

_{6\psi} _{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 ^{inf ty} _{n =-inf ty} 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^[4]

A(z;q) \stackrel{\rm{def}}{ = } (1)/(1+ z) \sum ^{inf ty} _{n =0} ((z;q) _{n})/(( - zq;q) _{n}) z ^{n} = \sum ^{inf ty} _{n =0} ( -1 ) ^{n} z ^{2n} q ^{n ^{2}} .

Watson's contour integral

As an analogue of the Barnes integral for the hypergeometric series, Watson showed that

{} _{2\phi} _{1(a,b;c;q,z)} = (-1)/(2 \pi i) ((a,b;q) _{infty})/((q,c;q) _{infty}) \int ^{i inf ty} _{- i inf ty} ((qq ^{s,cq} ^{s;q)} ^{inf ty})/((aq ^{s,bq} ^{s;q)} ^{inf ty}) (\pi( - z) ^{s})/(\sin \pi s) ds where the poles of (aq ^{s,bq} ^{s;q)} ^{inf ty} lie to the left of the contour and the remaining poles lie to the right. There is a similar contour integral for _r+1φ_r. This contour integral gives an analytic continuation of the basic hypergeometric function in z.

Matrix version

The basic hypergeometric matrix function can be defined as follows:

{} _{2\phi} _{1(A,B;C;q,z):=} \sum ^{inf ty ((A;q) _{n(B;q)} _{n})/((C;q) _{n(q;q)} _{n})} _{n =0} z ^{n,} (A;q) _{0:=1, (A;q)} _{n:=\prod} ^{n -1} ^{k =0} ( 1- Aq ^{k).} The ratio test shows that this matrix function is absolutely convergent.^[5]

See also

• Dixon's identity
• Rogers–Ramanujan identities

References

• • W.N. Bailey, Generalized Hypergeometric Series, (1935) Cambridge Tracts in Mathematics and Mathematical Physics, No.32, Cambridge University Press, Cambridge.
• William Y. C. Chen and Amy Fu, Semi-Finite Forms of Bilateral Basic Hypergeometric Series (2004)
• Exton, H. (1983), q-Hypergeometric Functions and Applications, New York: Halstead Press, Chichester: Ellis Horwood,,,
• Sylvie Corteel and Jeremy Lovejoy, Frobenius Partitions and the Combinatorics of Ramanujan's _{1\psi} _{1} Summation
  • • • Victor Kac, Pokman Cheung, Quantum calculus, Universitext, Springer-Verlag, 2002.
• Roelof . Koekoek . Rene F. . Swarttouw . 1996 . The Askey scheme of orthogonal polynomials and its q-analogues . Technical University Delft . no. 98-17. . Section 0.2
• Andrews, G. E., Askey, R. and Roy, R. (1999). Special Functions, Encyclopedia of Mathematics and its Applications, volume 71, Cambridge University Press.
• Eduard Heine, Theorie der Kugelfunctionen, (1878) 1, pp 97–125.
• Eduard Heine, Handbuch die Kugelfunctionen. Theorie und Anwendung (1898) Springer, Berlin.

Notes and References

1. .
2. .
3. http://mathworld.wolfram.com/CauchyBinomialTheorem.html Wolfram Mathworld: Cauchy Binomial Theorem
4. Gwynneth H. Coogan and Ken Ono, A q-series identity and the Arithmetic of Hurwitz Zeta Functions, (2003) Proceedings of the American Mathematical Society 131, pp. 719–724
5. Ahmed Salem (2014) The basic Gauss hypergeometric matrix functionand its matrix q-difference equation, Linear and Multilinear Algebra, 62:3, 347-361, DOI:10.1080/03081087.2013.777437