Thursday, May 29, 2025

Entry 117

For fundamental discriminants \(d=4m\) with class number \(h(-d)=16\), there are exactly 60 \(m\) that are even. The largest is \(m = 3502 = 2\times17\times103\) hence has \(2^3 = 8\) divisors. But this set has no \(m\) with 32 divisors so it seems one can't express their modular lambda function \(\lambda(\sqrt{-m})\) with 16 quadratic units. (Unlike for \(h(-d)=8\) where we can express a few \(\lambda(\sqrt{-m})\) with 8 quadratic units.) However, using another function, we can have four quartic units. Given the nome \(q = e^{\pi i\tau}\), \(\tau=\sqrt{-n}\), and the Ramanujan G and g functions $$\begin{align}2^{1/4}G_n &= q^{-\frac{1}{24}}\prod_{k>0}(1+q^{2k-1}) = \frac{\eta^2(\tau)}{\eta\big(\tfrac{\tau}{2}\big)\eta(2\tau)}\\ 2^{1/4}g_n &= q^{-\frac{1}{24}}\prod_{k>0}(1-q^{2k-1}) = \frac{\eta\big(\tfrac{\tau}{2}\big)}{\eta(\tau)}\end{align}$$ discussed in Entry 116. Then $$\color{red}u  = (g_{3502})^4 = \small\left(\frac{\;\eta\big(\tfrac{\tau}{2}\big)}{2^{1/4}\eta(\tau)}\right)^4 = \big(a+\sqrt{a^2-1}\big)^2 \big(b+\sqrt{b^2-1}\big)^2 \big(c+\sqrt{c^2-1}\big) \big(d+\sqrt{d^2-1}\big) \approx 1.43\times10^{13}$$ where \(\tau = \sqrt{-3502}\) and \((a,b,c,d)\) are $$\begin{align}a &= \tfrac{1}{2}(23+4\sqrt{34})\\ b &= \tfrac{1}{2}(19\sqrt{2}+7\sqrt{17})\\ c &= (429+304\sqrt{2})\\ d &= \tfrac{1}{2}(627+442\sqrt{2})\end{align}$$A version of this was first found by Daniel Shanks in 1980 (Quartic Approximations for Pi) but this one is slightly different with smaller integers since I simplified the first two expressions as squares. These radicals imply a very close approximation to pi,$$\pi \approx \frac{1}{\sqrt{3502}}\ln\big((2\color{red}u)^6+24\big)$$ which differs by just \(10^{-161}.\)

No comments:

Post a Comment