
Dilbert di Scott Adams
Nel 1910 il più noto matematico indiano, Srinivasa Ramanujan, trovò una serie di formule rapidamente convergenti per il calcolo delle cifre decimali del $\pi$. Una di queste è già comparsa in una delle precedenti puntate della breve storia. La ripropongo anche qui per rinfrescare la memoria: \[\frac{1}{\pi} = \frac{2 \sqrt{2}}{9801} \sum_{k=0}^{\infty} \frac{(4k!) (1103 + 26390k)}{(k!)^4 396^{4k}}\] Un'ampia collezione di formule e metodi per determinare le cifre decimali del $\pi$ dovute a Ramanujan sono presenti in un suo articolo del 1914, Modular equations and approximations to $\pi$, che sono anche la base di partenza per le così dette formule di Ramanujan-Sato, sviluppate a partire dal lavoro del 2002 di Takeshi Sato proprio sull'articolo di Ramanujan. Di questo genere di formule ne esistono 11 tipi o livelli, ma tutte sono riducibili alla seguente struttura: \[\frac{1}{\pi} = \sum_{k=0}^\infty s(k) \frac{Ak+B}{C^k}\] dove $s(k)$ è una sequenza di interi che può essere espressa usando i coefficienti binomiali (che per semplificare possiamo dire sono i numeri di cui è fatto il triangolo di Tartaglia, o di Pascal, dipende se siete italiani o francesi!), mentre $A$, $B$, $C$ sono forme modulari, ovvero funzioni analitiche a più dimensioni generalmente a valori complessi... e più semplice di così non riesco a spiegarle. O forse potrei proporre come esempio di forma modulare la serie di Eisenstein (che peraltro è stata oggetto di studio proprio di Ramanujan): \[E_k(\Lambda) = \sum_{0 \neq\lambda\in\Lambda}\lambda^{-k}\] dove $k$ è un intero maggiore di $2$, condizione necessaria per la convergenza della serie, mentre $\lambda$ è un vettore dello spazio $\Lambda$.
L'aspetto interessante del coinvolgimento delle forme modulari è che le serie di Ramanujan-Sato note fino al 2012 coinvolgevano numeri reali, ma la prima con numeri complessi venne scoperta proprio quell'anno dal trio Heng Huat Chan, James Wan, Wadim Zudilin, che hanno contribuito abbondantemente allo sviluppo di questa particolare tipologia di successioni, che peraltro sono alla base degli algoritmi utilizzati oggi per determinare sempre più cifre del $\pi$.
