Proof of Ramanujan doubly exponential series identity

437 Views Asked by At

Apologies if this has been asked here already. On page 7 of this paper the following formula due to Ramanujan is presented:

$$\alpha \sum_{k=0}^\infty e^{-n e^{k\alpha}}=\alpha\left(\frac{1}{2}+\sum_{k=1}^\infty\frac{(-1)^{k-1}n^k}{k!(e^{k\alpha}-1)}\right)-\gamma-\ln{n}+2\sum_{k=1}^\infty\varphi(k\beta)$$

where:

$$\varphi(\beta)=\frac{1}{\beta}\Im\left(n^{-i\beta}\Gamma(i\beta+1)\right)$$

and $\alpha, n>0$, for any $\beta>0$ such that $\alpha\beta=2\pi$. No proof is presented there although it is mentioned that Poisson's formula can be used, with the note that the proof is 'intricate' (although it seems to imply that Ramanujan used properties of the theta function to prove it). The theorem is also mentioned in this answer, which mentions that the proof can be found here, but like the author of that answer I do not have access to this paper. I have tried to prove this myself, but I have not had luck using the Poisson summation formula directly since I do not know how to find the Fourier transform of $e^{a e^{bt}}$ (although using functions like $e^{t}e^{-e^t}$ I was able to formally find some vaguely similar summation identities involving imaginary parts of gamma functions). I was wondering whether anyone knows how to prove this formula?

1

There are 1 best solutions below

2
On BEST ANSWER