Linear quintuple-product identities

DOI10.1090/S0025-5718-02-01461-8MaRDI QIDQ4794657zbMATH OpenFDO

Authors Richard Blecksmith, John Brillhart

Publication date 19 February 2003

Published in Mathematics of Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/S0025-5718-02-01461-8

quintuple product identity triple product identity

Binomial coefficients; factorials; (q)-identities (11B65) Holomorphic modular forms of integral weight (11F11) Basic hypergeometric functions in one variable, ({}_rphi_s) (33D15)

Review text

The quintuple product identity says that \[ \sum_{n \in \mathbb{Z}} x^{n(3n+1)/2}(z^{3n} - z^{-(3n+1)})= \prod_{n=1}^{\infty} (1-x^n)(1-zx^n)(1-x^{n-1}/z)(1-z^2x^{2n-1})(1-x^{2n-1}/z^2). \] Denote the function above by \(f(x,z)\). For \(k\) and \(l\) integers with \(k \geq 1\), define \(Q_0(k,l)\), \(Q_1(k,l)\), \(Q_2(k,l)\), and \(Q_3(k,l)\) by \[ Q_{2\delta + \varepsilon}(k,l) := f((-1)^{\delta}x^k, (-1)^{\delta+\varepsilon}x^{-l}), \] where \(\delta, \varepsilon\;\in \{0,1\}\). The authors use a devise a computer search to find all solutions to the equation \[ Q_r(k,l) = Q_s(a,b) \pm x^fQ_t(c,d), \] where \(a,b,c,d\), and \(f\) are linear functions in \(k\) and \(l\). These are the following: For \(k,l\) integers with \(k \geq 1\), we have \[ Q_{2\delta+\varepsilon}(k,l) = Q_{\delta}(4k,k-2l) - (-1)^{\delta+\varepsilon}x^lQ_{\delta}(4k,k+2l). \] For \(k,l\) integers with \(k \geq 1\), we have \[ Q_{2\delta+\varepsilon}(3k,l) = Q_{2\delta + \varepsilon + (-1)^{\varepsilon}\delta}(3k,k-l) - (-1)^{\delta+\varepsilon}x^lQ_{2\delta + \varepsilon +(-1)^{\varepsilon}\delta}(3k,k+l). \]

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Linear quintuple-product identities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4794657)