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.13 Integrals 17.15 Generalizations

Site Privacy Accessibility Privacy Program Copyrights Vulnerability Disclosure No Fear Act Policy FOIA Environmental Policy Scientific Integrity Information Quality Standards Commerce.gov Science.gov USA.gov

§17.14 Constant Term Identities

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

Rogers–Ramanujan Constant Term Identities

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