Sum with gamma value.

elliptic integralsgamma functionhypergeometric functionsequences-and-series

Context:
Reading this paper: https://arxiv.org/abs/1309.1140.
(On proving some of Ramanujan's formulas for $1/\pi$ with an elementary method). We find on page 26 that the author claims:
$$\sum_{n=0}^{\infty}{\left({1\over 6}\right)_{n}\left({1\over 2}\right)_{n}\left({5\over 6}\right)_{n}\over(1)_{n}^3}(256n+20)\left({2\over 11}\right)^{3n} =\frac{11\sqrt{33}}{\pi},$$

which is not true which has a typo. (Note: As pointed out by Paramanand Singh, it should be $252n+20 = 4(63n+5).$ See corrected formula below.)
Following the translation method, we find:
$$\sum_{n=0}^{\infty}\frac{(6n)!}{n!^3(3n)!}\left(\frac{1}{66^3} \right)^n=\frac{\sqrt{33}\Gamma(1/4)^4}{32\pi^3},\tag{1}$$
and
$$\sum_{n=0}^{\infty}\frac{(6n)!n}{n!^3(3n)!}\left(\frac{1}{66^3} \right)^n=\frac{11\sqrt{33}}{252\pi}-\frac{5\sqrt{33}\Gamma(1/4)^4}{2016\pi^{3}}.\tag{2}$$
So we deduce the Ramanujan's series:
$$\sum_{n=0}^{\infty}\frac{(6n)!(63n+5)}{n!^3(3n)!}\left(\frac{1}{66^3} \right)^n=\frac{11\sqrt{33}}{4\pi},\tag{3}$$
using only hypergeometric transformations.

Question 1:
Why does Mathematica unable to deal with $(1)$, $(2)$ and $(3)$ when it is able to deal with more complicated Ramanujan's series?

Question 2:
Could you find a solution to this? Modular approach is also welcome.

Best Answer

I don't know much about Mathematica and its working so can't comment on its failure to find a closed form for the Ramanujan type series in your question.

It is worth noting that the series is not one of those listed in Ramanujan's 1914 paper Modular equations and approximations to $\pi$. However Ramanujan's technique can be applied to evaluate the sum of series in closed form.

To that end let $k\in(0,1)$ be the elliptic modulus, $k'=\sqrt{1-k^2}$ be the complementary modulus and let $$K(k) =\int_0^{\pi/2}\frac{dx}{\sqrt{1-k^2\sin^2x}}\tag{1}$$ be the complete elliptic integral of first kind. When $k$ is available from context we usually write $K, K'$ for $K(k), K(k') $ respectively and the variable $q=\exp(-\pi K'/K) $ is called the nome corresponding to $k$.

A lot of functions of the variable $q$ occurring naturally in elliptic function theory can be expressed in terms of the elliptic moduli and integrals. One such relevant function is Dedekind's eta function given by $$\eta(q) =q^{1/24}\prod_{n=1}^{\infty}(1-q^n)\tag{2}$$ Another function needed for our purpose here is the logarithmic derivative of eta function $$P(q)=24q\frac{d}{dq}\log\eta(q)=1-24\sum_{n=1}^{\infty}\frac{nq^n}{1-q^n}\tag{3}$$ We have the closed form evaluations \begin{align} \eta(q)&=2^{-1/6}\sqrt{\frac{2K}{\pi}}k^{1/12}k'^{1/3}\tag{4a}\\ \eta(q^2)&=\eta(\exp(-2\pi K'/K)) =2^{-1/3}\sqrt{\frac{2K}{\pi}}(kk')^{1/6}\tag{4b} \end{align} Differentiating the above formulas logarithmically with respect to $q$ and making use of $(3)$ as well as the formula $$\frac{dq} {dk} =\frac{\pi^2q}{2kk'^2K^2}\tag{5}$$ we get $$2P(q^2)-P(q)=\left(\frac{2K}{\pi}\right)^2(1+k^2)$$ Replacing $k$ with $(1-k')/(1+k')$ changes $q$ into $q^2$ and $K$ into $(1+k')K/2$ (Landen transformation) and we get $$2P(q^4)-P(q^2)=\left(\frac{2K}{\pi}\right)^2\frac{1+k'^2}{2}$$ Putting $k=k'=2^{-1/2}$ so that $q=e^{-\pi} $ and elliptic integral $K=K(2^{-1/2})=\Gamma^2(1/4)/(4\sqrt{\pi})$ we get $$P(e^{-4\pi})=\frac{3}{2\pi}+\frac{3\Gamma^4(1/4)}{32\pi^3}\tag{6}$$ (using well known value $P(e^{-2\pi})=3/\pi$).

Next we need a series for $(2K/\pi)^2$ namely $$\left(\frac{2K}{\pi}\right)^{2} = \{1-(kk') ^2\} ^{-1/2}\,_{3}F_{2}\left(\frac{1}{6},\frac{5}{6}, \frac{1}{2};1, 1; \frac{27g^{24}}{(4g^{24} + 1)^{3}}\right)\tag{7}$$ where $g=(2k/k'^2)^{-1/12}$. Using $k=3-2\sqrt{2}$ (singular modulus corresponding to nome $q=e^{-2\pi}$) we get the series mentioned in question $$\sum_{n=0}^{\infty}\frac{(6n)!}{n!^3(3n)!}\left(\frac{1}{287496} \right)^n=\frac{\sqrt{33}\Gamma(1/4)^4}{32\pi^3}$$ The calculation is greatly simplified if we observe that $$g^{24}=8,1-(kk')^2=1-k^2+k^4=k^2(4g^{24}+1)$$ and noting that $$K(k)=\frac{1+2^{-1/2}}{2}K(2^{-1/2})$$ via Landen transformation.

We can write using $(4b)$ $$\eta^4(q^2)=\frac{2^{-4/3}(kk')^{2/3}}{\sqrt{1-k^2+k^4}}\sum_{n=0}^{\infty}\frac{(1/6)_n(5/6)_n(1/2)_n}{(n!)^3}\left(\frac{27g^{24}}{(4g^{24}+1)^3}\right)^n$$ Next task is to differentiate the above series logarithmically with respect to $k$ and this is bit of a computational challenge. In the process we also make use of formula $(5)$. After a lot of tedious algebraic manipulation (readers should attempt verification only if they have a lot of spare time) one can obtain $$P(q^2)=\frac{(1-2k^2)(2-k^2)(1+k^2)}{2(1-k^2+k^4)^{3/2}} \sum_{n=0}^{\infty}\frac{(1/6)_n(5/6)_n(1/2)_n}{(n!)^3}(1+6n)\left(\frac{27g^{24}}{(4g^{24}+1)^3}\right)^n$$ Putting $k=3-2\sqrt{2}$ we get $$P(e^{-4\pi})=\frac{63}{11\sqrt {33}}\sum_{n=0}^{\infty}\frac{(1/6)_n(5/6)_n(1/2)_n}{(n!)^3}(1+6n)\left(\frac{2}{11}\right)^{3n}$$ We had already computed the value of $P(e^{-4\pi})$ as $$P(e^{-4\pi})=\frac{3}{2\pi}+\frac{3}{\sqrt{33}}\sum_{0}^{\infty}\frac{(1/6)_n(5/6)_n(1/2)_n}{(n!)^3}\left(\frac{2}{11}\right)^{3n}$$ and on comparing these values we get $$\frac{11\sqrt{33}}{4\pi}=\sum_{n=0}^{\infty}\frac{(1/6)_n(5/6)_n(1/2)_n}{(n!)^3}(63n+5)\left(\frac{2}{11}\right)^{3n}$$ A major (and more difficult) part of Ramanujan's technique deals with evaluation of $P(q^2) $ in symbolic form as $$P(q^2)=\frac{3}{\pi\sqrt{n} } +\left(\frac{2K}{\pi}\right)^2f_n(k)$$ for $q=e^{-\pi\sqrt{n}}$ where $f_n(k) $ is some complicated algebraic function of $k$ dependent on $n$. Ramanujan gave explicit formulas for many values of $n$ including the case $n=4$ relevant here. We have instead taken a simpler route to evaluate $P(e^{-4\pi})$ using the well known value of $P(e^{-2\pi})$.


I also checked the paper linked in question and I find the claims made by its author regarding Ramanujan's technique being non-rigorous as simply a misconception. The development by Ramanujan in the theory of elliptic and theta functions is fully rigorous and is nothing more than processes of calculus applied in unconventional contexts and involves significant amount of computational labor. But it is a lot easier to understand his ideas and theories compared to the modern approach given by modular forms.

In particular let us observe that Ramanujan did not give details of computation, but the same goes for Borwein brothers and Chudnovsky brothers who didn't give details of their software based calculations. Berndt and his collaborators have been more forthcoming in their papers and give reasonable details of the calculations involved so that others can independently verify it if they have access to the needed software. Ramanujan's calculations were probably done on slate and never stored anywhere but their lack does not imply a lack of rigor.

Related Question