Some identities associated with mock theta functions \(\omega (q)\) and \(\nu (q)\) (Q2422056)

The authors continue a recent spate of work, from themselves and others, on the third-order mock theta functions \[ \omega(q) = \sum_{n=0}^\infty \frac{q^{2n^2+2n}}{(q;q^2)_{n+1}^2} \quad \text{ and } \quad \nu(q) = \sum_{n=0}^\infty \frac{q^{n^2+n}}{(-q;q^2)_{n+1}}. \] These functions can be given combinatorial interpretations as counting partitions in which odd parts are less than twice the smallest part, and these with parts distinct, respectively. This leads to identities involving them. In this paper, the authors give two-variable generalizations of those identities, namely \[ \begin{aligned} \sum_{n=1}^\infty \frac{q^n}{(zq^n;q)_{n+1}(zq^{2n+2};q^2)_\infty} &= \sum_{n=0}^\infty \frac{z^nq^{2n^2+2n+1}}{(q;q^2)_{n+1}(zq;q^2)_{n+1}} \quad \text{ and } \\ \sum_{n=0}^\infty q^n (-zq^{n+1};q)_n(-zq^{2n+2};q^2)_\infty &= \sum_{n=0}^\infty \frac{z^n q^{n^2+n}}{(q;q^2)_{n+1}}. \end{aligned} \] These identities lead to various specializations, and analogues of Euler's pentagonal number theorem for the two functions. Investigators working in this particular line of active research will be interested in the paper. The proofs are by functional equations and certain \(q\)-series identities. The authors note that two of the finite identities they use are rather surprising, so they may be of independent interest: they are \[ \sum_{j=0}^n \frac{q^j(q;q)_{n+j}}{(q^2;q^2)_j} = (q^2;q^2)_n \, , \, \sum_{j=0}^n \frac{q^{2j}(q;q)_{n+j}}{(q^2;q^2)_j} = (q;q^2)_{n+1} + q^{n+1}(q^2;q^2)_n. \]