1
$\begingroup$

I had posted this originally on MSE, but got no response at all hence posting the same here.

In his paper "Algebraic Relations between Certain Infinite Products" (Proceedings of the London Mathematical Society, 2, XVIII, 1920) Ramanujan mentioned about the functions $G(q)$ and $H(q)$ which are part of Rogers-Ramanujan Identities: $$\begin{align}G(q) &= 1 + \frac{q}{1 - q} + \frac{q^{4}}{(1 - q)(1 - q^{2})} + \frac{q^{9}}{(1 - q)(1 - q^{2})(1 - q^{3})} + \cdots\\ &= \frac{1}{(1 - q)(1 - q^{6})(1 - q^{11})\cdots}\times\frac{1}{(1 - q^{4})(1 - q^{9})(1 - q^{14})\cdots}\tag{1}\end{align}$$ $$\begin{align}H(q) &= 1 + \frac{q^{2}}{1 - q} + \frac{q^{6}}{(1 - q)(1 - q^{2})} + \frac{q^{12}}{(1 - q)(1 - q^{2})(1 - q^{3})} + \cdots\\ &= \frac{1}{(1 - q^{2})(1 - q^{7})(1 - q^{12})\cdots}\times\frac{1}{(1 - q^{3})(1 - q^{8})(1 - q^{13})\cdots}\tag{2}\end{align}$$ Ramanujan gave a proof of these identities in another paper (which is described in this blog post).

Ramanujan mentions further "I have now found an algebraic relation between $G(q)$ and $H(q)$, viz.": $$H(q)\{G(q)\}^{11} - q^{2}G(q)\{H(q)\}^{11} = 1 + 11q\{G(q)H(q)\}^{6}\tag{3}$$ which is equivalent to $$\frac{1}{R^{5}(q)} - 11 - R^{5}(q) = \frac{\{(1 - q)(1 - q^{2})(1 - q^{3})\cdots\}^{6}}{q\{(1 - q^{5})(1 - q^{10})(1 - q^{15})\cdots\}^{6}}\tag{4}$$ where $R(q) = q^{1/5}H(q)/G(q)$ and is proved here.

In his characteristic style he ends his paper with another formula without proof. To quote him: "Another noteworthy formula is $$H(q)G(q^{11}) - q^{2}G(q)H(q^{11}) = 1\tag{5}$$ Each of these formulae is the simplest of a large class."

Is there any proof available for the formula $(5)$? Are the formulas belonging to "a large class" as envisaged by Ramanujan discovered and proved in literature? Any references or a proof would be highly appreciated.

Please add/modify tags for this question if necessary.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.