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

At least 10 years old · documented by

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:

11−x3k+x6k∑j=1k(−1)jx3j−2q−(3j+1)j2(q(1+x3kqk)+x(1+x3kq2k))=−x−1+x−2∑j=13k(q/x;q)j−1(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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.