9
$\begingroup$

Given the Rogers-Ramanujan continued fraction

$R(q)= \cfrac{1}{1+\cfrac{q}{1+\cfrac{q^2}{1+\cfrac{q^3}{1+\ddots}}}}$

where $q=\exp(2\pi i \tau)$, $|q|\lt1$

for the sake of brevity, let us introduce the following notation

$R_{0}=\frac{1}{R(q)}$

$R_{1}=\frac{1}{\Big(\frac{1}{q}\Big(\frac{1}{R(q)}-1\Big)\Big)}$

$R_{2}=\frac{1}{\Big(\frac{1}{q^2}\Big(\frac{1}{\Big(\frac{1}{q}\Big(\frac{1}{R(q)}-1\Big)\Big)}-1\Big)\Big)}$

$R_{3}=\frac{1}{\Big(\frac{1}{q^3}\Big(\frac{1}{\Big(\frac{1}{q^2}\Big(\frac{1}{\Big(\frac{1}{q}\Big(\frac{1}{R(q)}-1\Big)\Big)}-1\Big)\Big)}-1\Big)\Big)}$

up to $R_{n}$, $\frac{1}{R_{n}}=R(q^n,q)$ for natural number $n$, where $R(a,q)$ is the Generalized Rogers-Ramanujan continued fraction as pointed out by @ccorn

It is then conjectured that the following infinite series holds

$\displaystyle -\frac{R'(q)}{R(q)}=\frac{1}{R_{0}R_{1}}-\frac{2q^2}{R_{0}R^2_{1}R_{2}}+\frac{3q^5}{R_{0}R^2_{1}R^2_{2}R_{3}}-\frac{4q^9}{R_{0}R^2_{1}R^2_{2}R^2_{3}R_{4}}+\frac{5q^{14}}{R_{0}R^2_{1}R^2_{2}R^2_{3}R^2_{4}R_{5}}-\dots\tag1$

It has the ascending continued fraction equivalent

$\displaystyle -\frac{R'(q)}{R(q)}= \frac{\frac{1}{R_1}+\large{\frac{\frac{-2q^2}{R_2}+\large{\frac{\frac{3q^5}{R_3}+...}{R^2_2}}}{R^2_1}}}{R_0} \tag2$

After considering the Rogers-Ramanujan continued fraction with the factor $q^{1/5}$ and applying the identity $\frac{R'(q)}{R(q)}=\frac{1}{5q}\frac{(q;q)^5_{\infty}}{(q^5;q^5)_{\infty}}$ due to Ramanujan,we are led to the following beautiful identity

$\displaystyle \frac{(q)^5_{\infty}}{(q^5)_{\infty}}=1-\frac{5q}{(R_{0}R_{1})}+\frac{10q^3}{(R_{0}R_{1})(R_{1}R_{2})}-\frac{15q^6}{(R_{0}R_{1})(R_{1}R_{2})(R_{2}R_{3})}+\frac{20q^{10}}{(R_{0}R_{1})(R_{1}R_{2})(R_{2}R_{3})(R_{3}R_{4})}-\frac{25q^{15}}{(R_{0}R_{1})(R_{1}R_{2})(R_{2}R_{3})(R_{3}R_{4})(R_{4}R_{5})}+\dots\tag3$

$\displaystyle \frac{(q)^5_{\infty}}{(q^5)_{\infty}}=1+5\sum_{n=1}^{\infty}\frac{(-1)^n nq^{\frac{n(n+1)}{2}}}{\prod_{k=1}^{n-1}\Big(R_{k}+q^k\Big)}$

Question:How do we prove that the conjecture is true?

Remark

As entry $9$ in chapter $19$ of Ramanujan's second notebook we have the ff well known identity $\displaystyle \frac{(q)^5_{\infty}}{(q^5)_{\infty}}=1-5\sum_{n=1}^{\infty}\left(\frac{n}{5}\right) \frac{n q^n}{1-q^n}\tag{4}$

Combining $(1)$ and Ramanujan's identity $(4)$, we are immediately led to $\displaystyle \sum_{n=1}^{\infty}\left(\frac{n}{5}\right) \frac{n q^n}{1-q^n}=\sum_{n=1}^{\infty}\frac{(-1)^{n-1} nq^{\frac{n(n+1)}{2}}}{\prod_{k=1}^{n-1}\Big(R_{k}+q^k\Big)}\tag{5}$

$\endgroup$
5
  • $\begingroup$ Can you have a close look at your definition for $R_2$ ... $R_{2}=\frac{1}{\Big(\frac{1}{q^2}\Big(\frac{1}{\Big(\frac{1}{q}\Big(\frac{1}{R(q)}-1\Big)\Big)}\color{red}{-1}\Big))}$ $\endgroup$ Commented Jul 22, 2017 at 20:28
  • 1
    $\begingroup$ If your goal is to calculate $R'(q)$, you might consider using the fact that $$R(q) = q^{1/5}\prod_{k=0}^{\infty} \frac{(1-q^{5k+1})(1-q^{5k+4})}{(1-q^{5k+2})(1-q^{5k+3})}$$ $\endgroup$
    – Michael L.
    Commented Jul 22, 2017 at 21:09
  • $\begingroup$ @MichaelLee How did you get that? If I may ask. $\endgroup$ Commented Jul 22, 2017 at 21:32
  • 3
    $\begingroup$ L. J.. Rogers first and then S. Ramanujan later both proved it over a hundred years ago. See the Wikipedia article Rogers-Ramanujan identities. $\endgroup$
    – Somos
    Commented Jul 22, 2017 at 22:19
  • 1
    $\begingroup$ Note that $\frac{1}{R_n} = R(q^n, q)$ where $R(a,q)$ is the generalized Rogers-Ramanujan continued fraction mentioned at Mathworld (37). It is often easier to prove statements about $R(a,q)$ because of the recurrence relation $R(a,q)=\frac{1}{1+aq\,R(aq,q)}$. $\endgroup$
    – ccorn
    Commented Jul 23, 2017 at 7:55

1 Answer 1

11
$\begingroup$

A little study of $\,R_n\,$ turns up the result $\,R_n = 1 + q^{n+1} / R_{n+1}\,$ for $n\ge 0$.

Take the derivative to get $$R_n^{\,'} = \frac{(n+1)q^n R_{n+1} - q^{n+1}R_{n+1}^{\,'}}{R_{n+1}^2}$$ and then $$\frac{R_n^{\,'}}{R_n} = \frac{ (n+1)q^n }{(R_nR_{n+1})} - \frac{q^{n+1}}{(R_nR_{n+1})}\frac{R_{n+1}^{\,'}}{R_{n+1}}.$$

For brevity, define $\, P_n := \frac{1}{R_nR_{n+1}},\: Q_n := \frac{R_n^{\,'}}{R_n} \,$ and rewrite the result as $$ Q_n = (n+1)q^nP_n - q^{n+1}P_nQ_{n+1}.$$ Use iteration to get $$ Q_0 = 1q^0P_0 - q^1P_0Q_1 = 1q^1P_0 -q^1P_0(2q^1P_1 - q^2P_1Q_2) $$ and take the limit to get $$ Q_0 = 1q^0P_0 - 2q^2P_0P_1 + 3q^5P_0P_1P_2 - 4q^9P_0P_1P_2P_3 + \dots $$ which is the result, but notice, since $\, R(q) := 1/R_0, \,$ the left side is also $\, -R^{\,'}\!(q)/R(q). \,$

By the way, if we define $\, F(x,q) = 1 + x/F(xq,q),\,$ then $\, R_n = F(q^{n+1},q). \,$

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .