Tell me more ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I just visited the MathJaX page due to the Math.SE website showing some problems while loading the page. I saw some demo math equations samples at this page, when this identity actually caught my attention:

$$ \dfrac{1}{\Bigl(\sqrt{\phi \sqrt{5}}-\phi\Bigr) e^{\frac25 \pi}} = 1+\dfrac{e^{-2\pi}} {1+\dfrac{e^{-4\pi}} {1+\dfrac{e^{-6\pi}} {1+\dfrac{e^{-8\pi}} {1+\ldots} } } } $$

My question is how does one come up with such an identity. Could there be any motivation behind this or is this just brute force calculations and then discovering it as an identity.

share|improve this question
6  
That kind of identities can be found when one studies $q$-difference equations. Andrews, in his delightful book on partitions, does this for a couple, if I recall correctly. I have no idea if Ramanujan found them in this way, but they do become pretty less magical. – Mariano Suárez-Alvarez May 14 '11 at 19:39
4  
I would be extremely impressed if you could find any route to this identity using brute-force calculation. – Qiaochu Yuan May 15 '11 at 16:30

2 Answers

up vote 16 down vote accepted

As with Mariano, I too have no idea what sort of mathematical sorcery Ramanujan used, but what you have there is a special case of the Rogers-Ramanujan continued fraction (sans the $\sqrt[5]{q}$ factor).

Letting

$$R(q)=\cfrac{\sqrt[5]{q}}{1+\cfrac{q}{1+\cfrac{q^2}{1+\cdots}}}$$

the question amounts to how one might arrive at

$$R(\exp(-2\pi))=\sqrt{\phi\sqrt{5}}-\phi$$

As noted in this paper, Ramanujan had derived an explicit formula for $R(q)$ for certain special values of $q$ in his "lost notebook":

$$\begin{align*}R\left(\exp(-2\pi\sqrt{n})\right)&=\frac1{4t_n^2}\left((1-\phi t_n)\sqrt{1-t_n}-\sqrt{(1-t_n)(1+\phi t_n)^2-4\phi t_n}\right)\times \\&\left(\sqrt{(1-t_n)\left(1-\frac{t_n}{\phi}\right)^2+\frac{4 t_n}{\phi}}-\left(1+\frac{t_n}{\phi}\right)\sqrt{1-t_n}\right)\end{align*}$$

where $t_n=-\dfrac{G_{n/25}}{G_{25n}}$ and $G_n$ is the Ramanujan $G$-function (a.k.a. Ramanujan(-Weber) class invariant),

$$G_n=2^{-\frac14}q^{-\frac1{24}}\prod_{k=0}^\infty (1+q^{2k+1})=2^{-\frac14}q^{-\frac1{24}}(-q;q^2)_\infty$$

and $q=\exp(-\pi\sqrt n)$. (the details for proving it are a bit involved, but they can be seen in the linked paper, or here.)

Your case corresponds to $n=1$. Since $G_{1/n}=G_{n}$ (proven in this paper), $t_n=-1$, and making this substitution into the special formula for $R\left(\exp(-2\pi\sqrt{n})\right)$ yields the desired identity.

share|improve this answer
@J.M: Thanks a lot. – user9413 May 15 '11 at 16:40
As I recall, this paper has a bit more detail than the one I linked to in my answer, but unfortunately I currently have no access to it for checking. – J. M. May 15 '11 at 16:50
1  
@J.M: Me too! I am at home enjoying my vacations. If I was at my University then I could have had the access. – user9413 May 15 '11 at 17:14
Alternatively, $R(q)$ being a modular function (as Matt notes in his answer) allows it to be related to things like the Klein invariant or $q$-Pochhammer symbols, from which you can also motivate the identity. The details are a bit involved, but maybe somebody can write an answer summarizing this intricate web. – J. M. May 16 '11 at 3:03
@J. M. Ah good to see you around here (I missed your witty comments and nice answers quite a bit!) I read on your profile that you will be on leave for some time. Best wishes from here, have a good time and see you at some point in the future! – t.b. Jun 2 '11 at 6:24
show 1 more comment

There is a lot of motivation behind this identity (although I don't know how it relates to Ramanujan's motivation, if at all). The function $R(q)$ described in J.M.'s answer is an example of a modular function (see the wikipedia entry), and the general theory of complex multiplication says that if $\tau$ is a quadratic irrational algebraic number (e.g. $i$) then the value of any modular function at $q = e^{2\pi i\tau}$ lies in an abelian extension of $\mathbb Q(\tau).$

In the particular case of your identity, $\tau = i$ (so $q = e^{-2\pi}$), and the abelian extension is $\mathbb Q(i,\sqrt{5})$. The reason that $5$ appears here is related to the fact that the level of the modular function $R(q)$ equals $5$.

For more details from this point of view, you can look at this nice article of William Duke.

share|improve this answer
Matt, thanks for the link to the Duke article! I never realized that the icosahedron and the RRCF have a nice connection. – J. M. May 16 '11 at 3:06

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.