Question

I have computed a generating function for a problem involving a particular series, and would like to know if anyone has any references or a categorisation for it? It's $$ G(a,z) = \sum_{n=0}^{\infty} a^n z^{(n+1)(n+2)/2}. $$ It appears to be related to (mock) theta functions, but seems to be simpler. In particular, I would like to know whether $G(a,z)$ satisfies any identities?

Many thanks.

Answer 1

It should be noted that using the Jacobi triple product that we have $$ H(a,z) = a^{-1}\sum_{n=-\infty}^\infty a^nz^{n(n+1)/2} = a^{-1}\prod_{m=1}^\infty (1 - z^m)(1 - z^ma)(1 + z^{m-1}a) $$ where the main difference is that the indexing shifts and we are doing about twice the sum that you are.

If we try relate these, we get $$ H(a,z) = \big(a^{-1} + G(a,z)\big) + a^{-2}\big(1 + a^{-1}G(a^{-1},z)\big). $$

I'm not sure how much this helps though.

Answer 2

Your generating function is related to a simple continued fraction expansion due to Touchard:

$\sum\limits_{k \ge 0} ( - 1)^k q^{k+1\choose2} v^k $ =$ \frac{1}{{1 + v - \frac{{(1 - q)v}}{{1 + v - \frac{{(1 - q^2 )v}}{ \cdots }}}}}.$

A simple proof can be found in a paper by H. Prodinger http://de.arxiv.org/abs/1102.5186

Answer 3

Another possible connection is the following result of Gauss:

$$ \sum_{n=0}^\infty \ q^{n(n+1)/2} = \prod_{m=1}^\infty \ \frac{1-q^{2m}}{1-q^{2m-1}} $$

(Andrews The Theory of Partitions Corollary 2.10), actually a corollary of the Jacobi Triple Identity that Simon used.

One close mock theta function is $$\psi_0(q) = \sum_{n=0}^\infty \ q^{(n+1)(n+2)/2}(-q)_n$$

(see Andrews chapter 2 examples 12 and 13).