[Math] Why do Pell equations appear in Ramanujan’s pi formulas

diophantine equationsmodular-formsnt.number-theorysequences-and-series

While answering this MSE question about the Pell equation $x^2-29y^2=1$, I noticed that certain fundamental solutions appeared in Ramanujan's famous pi formula.

I. Given the fundamental unit $\displaystyle U_{29} =\tfrac{5+\sqrt{29}}{2}$ and,

$$\big(U_{29}\big)^3=70+13\sqrt{29},\quad \text{thus}\;\;\color{blue}{70}^2-29\cdot\color{blue}{13}^2=-1$$

$$\big(U_{29}\big)^6=9801+1820\sqrt{29},\quad \text{thus}\;\;\color{blue}{9801}^2-29\cdot1820^2=1$$

$$2^6\left(\big(U_{29}\big)^6+\big(U_{29}\big)^{-6}\right)^2 =\color{blue}{396^4}$$

we find those integers all over Ramanujan's,

$$\frac{1}{\pi} = \frac{2 \sqrt 2}{\color{blue}{9801}} \sum_{k=0}^\infty \frac{(4k)!}{k!^4} \frac{29\cdot\color{blue}{70\cdot13}\,k+1103}{\color{blue}{(396^4)}^k}$$

The same integers appear in related pi formulas in this post.

II. A similar thing happens with the Chudnovsky formula. I knew that H. Chan explored $x^2-3dy^2 = 1$ in relation to $j(\tau)$. Given the fundamental unit for $n=3d=3\times163=489$,

$$U_n =u+v\sqrt{489} =7592629975+343350596\sqrt{489} = \big(35573\sqrt{3}+4826\sqrt{163}\big)^2$$

so $u^2-489v^2=1$. The units had a common form for $d=19,43,67,163$, for the last being,

$$U_n = \left(\tfrac{1}{18}(\color{brown}{640320}-6)\sqrt{3}+4826\sqrt{163}\right)^2$$

and some experimentation yielded,

$$3\sqrt{3}\big(U_n^{1/2}-U_n^{-1/2}\big)+6 = \color{brown}{640320}$$

$$3\sqrt{3}\big(U_n^{1/2}-U_n^{-1/2}\big)+18 = \color{brown}{2^2\cdot3^3\cdot7^2\cdot11^2}$$

$$\sqrt{163}\big(U_n^{1/2}+U_n^{-1/2}\big) = \color{brown}{2^2\cdot19\cdot127\cdot163}$$

and the Chudnovsky formula,

$$12\sum_{k=0}^\infty (-1)^k \frac{(6k)!}{k!^3(3k)!} \frac{\color{brown}{2\cdot3^2\cdot7\cdot11\cdot19\cdot127\cdot163}\,k+13591409}{(\color{brown}{640320}^3)^{k+1/2}} = \frac{1}{\pi}$$

The same thing happens with the other $d$, for example,

$$U_{201} = \left(\tfrac{1}{18}(\color{brown}{5280}-6)\sqrt{3}+62\sqrt{67}\right)^2$$

so it is not a fluke. Plus, these $U_n$ are denominators in Ramanujan-Sato pi formulas of level 9.

Q. Anyone knows the reason why a fundamental unit $U_{n}$ would appear in a pi formula?

Best Answer

I happened to read the wonderful book "Pi and the AGM" written by Borwein brothers several months ago, and I wondered how they proved the famous formula

$$\frac{1}{\pi}=\frac{2\sqrt{2}}{9801}\cdots$$

After reading their proof, I realized that the theory of special value of modular forms is closely related to your question.

Modular form of level 2

$$8\left(\frac{\eta(2\tau)}{\eta({\tau})}\right)^{12}$$ appears in the formula given by Ramanujan. I hear that H. M. Weber computed some special values of this modular form with Kronecker limit formula, where some Eisenstein series appears in it. Proper linear combination(which is closely related to the ideal class of some imaginary quadratic field) of Eisenstein series will give logarithmic of the modular form on the RHS, while the linear combination itself is a Hecke L-function which can be decomposed to the product of Dirichlet L-functions. Then the fundamental unit naturally appears in the Dirichlet class number formula.

More details can be found in the book of C.L.Siegel(Chapter II).