The radial-limit identity for the universal mock theta function g3g_3 at cubic roots of unity

From papers

Let x,qx,q be roots of unity with (x,q/x;q)=0(x,q/x;q)_\infty=0, where qq is a primitive root of unity of order 3k3k and x3kx^{3k} is not a primitive sixth-order root of unity.

Radial-limit identity. The following identity should hold:

11x3k+x6kj=1k(1)jx3j2q(3j+1)j2(q(1+x3kqk)+x(1+x3kq2k))=x1+x2j=13k(q/x;q)j1(x;q)jqj.\frac{1}{1-x^{3k}+x^{6k}}\sum_{j=1}^k (-1)^j x^{3j-2} q^{-\frac{(3j+1)j}{2}} \left(q(1+x^{3k}q^k)+x(1+x^{3k}q^{2k})\right) =-x^{-1}+x^{-2}\sum_{j=1}^{3k}(q/x;q)_{j-1}(x;q)_j q^j.

This identity was motivated by numerical computations in an overlap case for radial limits of g3g_3; the source presents it as a conjecture, and no proof or resolution is supplied here.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Min-Joo Jang and Steffen Löbrich, “Radial Limits of the Universal Mock Theta Function g_3”, arXiv:1504.05365 (2015).

Solutions 0

No solutions have been posted yet.