17 q-Hypergeometric and Related Functions Properties 17.13 Integrals 17.15 Generalizations

§17.14 Constant Term Identities

ⓘ

Keywords:: constant term identities, $q$ -hypergeometric function
Notes:: See Zeilberger and Bressoud (1985), Andrews (1986, p. 34).
Referenced by:: §17.2(vi), §27.14(vi)
Permalink:: http://dlmf.nist.gov/17.14
See also:: Annotations for Ch.17

Zeilberger–Bressoud Theorem (Andrews’ $q$ -Dyson Conjecture)

ⓘ

Keywords:: Andrews’ $q$ -Dyson conjecture, Zeilberger–Bressoud theorem, $q$ -Dyson conjecture, $q$ -hypergeometric function
See also:: Annotations for §17.14 and Ch.17

17.14.1		$\frac{\left(q;q\right)_{a_{1}+a_{2}+\cdots+a_{n}}}{\left(q;q\right)_{a_{1}}% \left(q;q\right)_{a_{2}}\cdots\left(q;q\right)_{a_{n}}}=\mbox{ coeff. of }x_{1% }^{0}x_{2}^{0}\cdots x_{n}^{0}\mbox{ in }\prod_{1\leq j<k\leq n}\left(\frac{x_% {j}}{x_{k}};q\right)_{a_{j}}\left(\frac{qx_{k}}{x_{j}};q\right)_{a_{k}}.$
ⓘ Symbols: $\left(\NVar{a};\NVar{q}\right)_{\NVar{n}}$ : $q$ -Pochhammer symbol (or $q$ -shifted factorial), $k$ : nonnegative integer, $q$ : complex base, $j$ : nonnegative integer, $n$ : nonnegative integer and $x$ : real variable Referenced by: §17.14 Permalink: http://dlmf.nist.gov/17.14.E1 Encodings: TeX, pMML, png See also: Annotations for §17.14, §17.14 and Ch.17

Rogers–Ramanujan Constant Term Identities

ⓘ

Keywords:: Rogers–Ramanujan identities, constant term
See also:: Annotations for §17.14 and Ch.17

In the following, $G(q)$ and $H(q)$ denote the left-hand sides of (17.2.49) and (17.2.50), respectively.

17.14.2		$\sum_{n=0}^{\infty}\frac{q^{n(n+1)}}{\left(q^{2};q^{2}\right)_{n}\left(-q;q^{2% }\right)_{n+1}}=\mbox{ coeff. of }z^{0}\mbox{ in }\frac{\left(-zq;q^{2}\right)% _{\infty}\left(-z^{-1}q;q^{2}\right)_{\infty}\left(q^{2};q^{2}\right)_{\infty}% }{\left(z^{-1}q^{2};q^{2}\right)_{\infty}\left(-q;q^{2}\right)_{\infty}\left(z% ^{-1}q;q^{2}\right)_{\infty}}=\frac{1}{\left(-q;q^{2}\right)_{\infty}}\mbox{ % coeff. of }z^{0}\mbox{ in }\frac{\left(-zq;q^{2}\right)_{\infty}\left(-z^{-1}q% ;q^{2}\right)_{\infty}\left(q^{2};q^{2}\right)_{\infty}}{\left(z^{-1}q;q\right% )_{\infty}}=\frac{H(q)}{\left(-q;q^{2}\right)_{\infty}},$
ⓘ Symbols: $\left(\NVar{a};\NVar{q}\right)_{\NVar{n}}$ : $q$ -Pochhammer symbol (or $q$ -shifted factorial), $q$ : complex base, $n$ : nonnegative integer, $z$ : complex variable and $H(q)$ : LHS of (17.2.50) Referenced by: §17.14 Permalink: http://dlmf.nist.gov/17.14.E2 Encodings: TeX, pMML, png See also: Annotations for §17.14, §17.14 and Ch.17

17.14.3		$\sum_{n=0}^{\infty}\frac{q^{n(n+1)}}{\left(q^{2};q^{2}\right)_{n}\left(-q;q^{2% }\right)_{n+1}}=\mbox{ coeff. of }z^{0}\mbox{ in }\frac{\left(-zq;q^{2}\right)% _{\infty}\left(-z^{-1}q;q^{2}\right)_{\infty}\left(q^{2};q^{2}\right)_{\infty}% }{\left(z^{-1};q^{2}\right)_{\infty}\left(-q;q^{2}\right)_{\infty}\left(z^{-1}% q;q^{2}\right)_{\infty}}=\frac{1}{\left(-q;q^{2}\right)_{\infty}}\mbox{ coeff.% of }z^{0}\mbox{ in }\frac{\left(-zq;q^{2}\right)_{\infty}\left(-z^{-1}q;q^{2}% \right)_{\infty}\left(q^{2};q^{2}\right)_{\infty}}{\left(z^{-1};q\right)_{% \infty}}=\frac{G(q)}{\left(-q;q^{2}\right)_{\infty}},$
ⓘ Symbols: $\left(\NVar{a};\NVar{q}\right)_{\NVar{n}}$ : $q$ -Pochhammer symbol (or $q$ -shifted factorial), $q$ : complex base, $n$ : nonnegative integer, $z$ : complex variable and $G(q)$ : LHS of (17.2.49) Permalink: http://dlmf.nist.gov/17.14.E3 Encodings: TeX, pMML, png See also: Annotations for §17.14, §17.14 and Ch.17

17.14.4		$\sum_{n=0}^{\infty}\frac{q^{n^{2}}}{\left(q^{2};q^{2}\right)_{n}\left(q;q^{2}% \right)_{n}}=\mbox{ coeff. of }z^{0}\mbox{ in }\frac{\left(-zq;q^{2}\right)_{% \infty}\left(-z^{-1}q;q^{2}\right)_{\infty}\left(q^{2};q^{2}\right)_{\infty}}{% \left(-z^{-1};q^{2}\right)_{\infty}\left(q;q^{2}\right)_{\infty}\left(z^{-1};q% ^{2}\right)_{\infty}}=\frac{1}{\left(q;q^{2}\right)_{\infty}}\mbox{ coeff. of % }z^{0}\mbox{ in }\frac{\left(-zq;q^{2}\right)_{\infty}\left(-z^{-1}q;q^{2}% \right)_{\infty}\left(q^{2};q^{2}\right)_{\infty}}{\left(z^{-2};q^{4}\right)_{% \infty}}=\frac{G(q^{4})}{\left(q;q^{2}\right)_{\infty}},$
ⓘ Symbols: $\left(\NVar{a};\NVar{q}\right)_{\NVar{n}}$ : $q$ -Pochhammer symbol (or $q$ -shifted factorial), $q$ : complex base, $n$ : nonnegative integer, $z$ : complex variable and $G(q)$ : LHS of (17.2.49) Permalink: http://dlmf.nist.gov/17.14.E4 Encodings: TeX, pMML, png See also: Annotations for §17.14, §17.14 and Ch.17

17.14.5		$\sum_{n=0}^{\infty}\frac{q^{n^{2}+2n}}{\left(q^{2};q^{2}\right)_{n}\left(q;q^{% 2}\right)_{n+1}}=\mbox{ coeff. of }z^{0}\mbox{ in }\frac{\left(-zq;q^{2}\right% )_{\infty}\left(-z^{-1}q;q^{2}\right)_{\infty}\left(q^{2};q^{2}\right)_{\infty% }}{\left(-q^{2}z^{-1};q^{2}\right)_{\infty}\left(q;q^{2}\right)_{\infty}\left(% z^{-1}q^{2};q^{2}\right)_{\infty}}=\frac{1}{\left(q;q^{2}\right)_{\infty}}% \mbox{ coeff. of }z^{0}\mbox{ in }\frac{\left(-zq;q^{2}\right)_{\infty}\left(-% z^{-1}q;q^{2}\right)_{\infty}\left(q^{2};q^{2}\right)_{\infty}}{\left(q^{4}z^{% -2};q^{4}\right)_{\infty}}=\frac{H(q^{4})}{\left(q;q^{2}\right)_{\infty}}.$
ⓘ Symbols: $\left(\NVar{a};\NVar{q}\right)_{\NVar{n}}$ : $q$ -Pochhammer symbol (or $q$ -shifted factorial), $q$ : complex base, $n$ : nonnegative integer, $z$ : complex variable and $H(q)$ : LHS of (17.2.50) Referenced by: §17.14 Permalink: http://dlmf.nist.gov/17.14.E5 Encodings: TeX, pMML, png See also: Annotations for §17.14, §17.14 and Ch.17

Macdonald (1982) includes extensive conjectures on generalizations of (17.14.1) to root systems. These conjectures were proved in Cherednik (1995), Habsieger (1986), and Kadell (1994); see also Macdonald (1998). For additional results of the type (17.14.2)–(17.14.5) see Andrews (1986, Chapter 4).

§17.14 Constant Term Identities

Zeilberger–Bressoud Theorem (Andrews’ q-Dyson Conjecture)

Rogers–Ramanujan Constant Term Identities

Zeilberger–Bressoud Theorem (Andrews’ $q$ -Dyson Conjecture)