Serie de Ramanujan-Sato

fórmulas que permiten el cálculo de pi con una convergencia extraordinariamente rápida

En matemáticas, una serie de Ramanujan-Sato[1][2]​ generaliza las fórmulas pi de Ramanujan tales como

a la forma

mediante el uso de otras secuencias de enteros bien definidas obedeciendo una cierta relación de recurrencia, secuencias que pueden expresarse en términos de coeficientes binomiales y empleando formas modulares de niveles superiores.

Ramanujan hizo el enigmático comentario de que había "teorías correspondientes", pero solo mucho después H. H. Chan y S. Cooper han encontrado un enfoque general que utilizaba el subgrupo de congruencia modular subyacente ,[3]​ mientras que G. Almkvist ha encontrado experimentalmente numerosos otros ejemplos también con un método general que utiliza operadores diferenciales.[4]

Los niveles 1-4A fueron dados por Ramanujan (1914),[5]​ el nivel 5 por H. H. Chan y S. Cooper (2012),[3]​ el 6A por Chan, Tanigawa, Yang y Zudilin,[6]​ el 6B por Sato (2002}},[7]​ el 6C por H. Chan, S. Chan y Z. Liu (2004),[1]​ el 6D por H. Chan y H. Verrill (2009),[8]​ el nivel 7 por S. Cooper (2012),[9]​ parte del nivel 8 por Almkvist y Guillera (2012),[2]​ parte del nivel 10 por Y. Yang, y el resto por H. H. Chan y S. Cooper.

La notación jn(t) se deriva de Zagier[10]​ y Tn se refiere a la serie relevante de McKay-Thompson.

Nivel 1

editar

Ramanujan dio ejemplos para los niveles del 1 al 4 en su artículo de 1917. Dado   como en el resto de este artículo, sea

 

con la función jota j(t), la serie de Eisenstein E4 y la función eta de Dedekind ?(t). La primera expansión es la serie de McKay-Thompson de clase 1A (sucesión A007240 en OEIS) con a(0) = 744. Téngase en cuenta que, como notó por primera vez J. McKay, el coeficiente del término lineal de j(t) es casi igual a  , que es el grado de la representación irreducible no trivial más pequeña del grupo monstruo. Fenómenos similares se observarán en los otros niveles. Sea

  (sucesión A001421 en OEIS)
 

Entonces las dos funciones y secuencias modulares están relacionadas por

 

si la serie converge y el signo se elige apropiadamente, aunque cuadrar ambos lados elimina fácilmente la ambigüedad. Existen relaciones análogas para los niveles superiores.

Ejemplos:

 
 

y   es una unidad fundamental. El primero pertenece a una familia de fórmulas que fueron rigurosamente probadas por los hermanos Chudnovsky en 1989[11]​ y luego se usaron para calcular 10.000 millones de dígitos de p en 2011.[12]​ La segunda fórmula, y las de niveles superiores, fueron establecidas por H. H. Chan y S. Cooper en 2012.[3]

Nivel 2

editar

Usando la notación de Zagier[10]​ para la función modular de nivel 2,

 

Téngase en cuenta que el coeficiente del término lineal de j2A(t) es uno más que  , que es el grado más pequeño > 1 de las representaciones irreducibles del grupo Baby Monster. Sea

  (sucesión A008977 en OEIS)
 

Entonces

 

si la serie converge y el signo se elige adecuadamente.

Ejemplos:

 
 

La primera fórmula, encontrada por Ramanujan y mencionada al comienzo del artículo, pertenece a una familia probada por D. Bailey y los hermanos Borwein en un artículo de 1989.[13]

Nivel 3

editar

Sea

 

donde   es el grado más pequeño > 1 de las representaciones irreducibles del grupo de Fischer Fi23; y

  (sucesión A184423 en OEIS)
 

Ejemplos:

 
 

Nivel 4

editar

Sean

 

donde el primero es la potencia 24 de la función modular de Weber   . Y además

  (sucesión A002897 en OEIS)
  (sucesión A036917 en OEIS)

Ejemplos:

 
 

Nivel 5

editar
 

y,

 
  (sucesión A229111 en OEIS)

donde el primero es el producto de los coeficientes binomiales centrales y los números de Apéry (sucesión A005258 en OEIS)[9]

Ejemplos:

 
 

Nivel 6

editar

Funciones modulares

editar

En 2002, Sato[7]​ estableció los primeros resultados para el nivel > 4. Involucró los números de Apéry que se usaron por primera vez para establecer la irracionalidad de  . Primero, defínase

 
 
 
 
 

J. Conway y S. Norton demostraron que existen relaciones lineales entre la serie McKay-Thompson Tn,[14]​ una de las cuales era

 

o usando los cocientes eta anteriores jn,

 

Secuencias a

editar

Para la función modular j6A, se puede asociar con tres secuencias diferentes (una situación similar ocurre para la función de nivel 10j10A). Sea

  (sucesión A181418 en OEIS), etiquetada como s6 en el artículo de Cooper)
  (sucesión A002896 en OEIS)
 

Las tres secuencias involucran el producto de los coeficientes binomiales centrales.   con: primero, los números de Franel   ; 2°, (sucesión A002893 en OEIS), y 3º, (-1)^k (sucesión A093388 en OEIS). Téngase en cuenta que la segunda secuencia, a2(k) es también el número de polígonos de 2n pasos en una red cúbica. Sus complementos

 
 

También hay secuencias asociadas, a saber, los números de Apéry,

  (sucesión A005259 en OEIS)

los números de Domb (sin signo) o el número de polígonos de 2n pasos en una retícula en diamante,

  (sucesión A002895 en OEIS)

y los números de Almkvist-Zudilin,

  (sucesión A125143 en OEIS)

donde  .

Identidades

editar

Las funciones modulares pueden relacionarse como

 
 

si la serie converge y el signo se elige adecuadamente. También se puede observar que

 

lo que implica que

 

y de manera similar usando a3 y a'3.

Ejemplos

editar

Se puede usar un valor para j6A de tres maneras. Por ejemplo, comenzando con

 

y observando que  , entonces

 

tanto como

 

aunque las fórmulas que usan los complementos aparentemente todavía no tienen una prueba rigurosa. Para las otras funciones modulares

 
 
 

Nivel 7

editar

Sea

  (sucesión A183204 en OEIS)

y

 

Ejemplo:

 

Aún no se ha encontrado ninguna fórmula pi usando j7B.

Nivel 8

editar

Sean

 

La expansión de la primera es la serie de McKay-Thompson de la clase 4B (y es la raíz cuadrada de otra función). La cuarta también es la raíz cuadrada de otra función. Sea

 
 
 

donde el primero es el producto[2]​ del coeficiente binomial central y una secuencia relacionada con una media aritmético-geométrica (sucesión A081085 en OEIS),

Ejemplos:

 
 
 
 

aunque todavía no se conoce la fórmula pi usando j8A(t).

Nivel 9

editar

Sea

 

La expansión de la primera es la serie de McKay- Thompson de la clase 3C (relacionada con la raíz cúbica de la función j), mientras que la segunda es la de la clase 9A. Sea

 
 

donde el primero es el producto de los coeficientes binomiales centrales y (sucesión A006077 en OEIS) (aunque con diferentes signos).

Ejemplos:

 
 

Nivel 10

editar

Funciones modulares

editar

Sea

 
 
 
 
 

Al igual que el nivel 6, también existen relaciones lineales, como

 

o usando los cocientes eta anteriores jn,

 

Secuencias ß

editar

Sea

  (sucesión A005260 en OEIS), etiquetado como s10 en el artículo de Cooper)
 
 

sus complementos

 
 

y,

 
 
 

aunque aún no se conocen formas cerradas para las últimas tres secuencias.

Identidades

editar

Las funciones modulares se pueden relacionar como[15]

 
 

si la serie converge. De hecho, también se puede observar que

 

Dado que el exponente tiene una parte fraccional, el signo de la raíz cuadrada debe elegirse adecuadamente, aunque es un problema más sencillo cuando jn es positivo.

Ejemplos

editar

Al igual que el nivel 6, la función de nivel 10 j10A se puede utilizar de tres maneras. Empezando con

 

y observando que  , entonces

 

tanto como

 

aunque los que usan los complementos aún no tienen una prueba rigurosa. Una fórmula conjeturada que usa una de las últimas tres secuencias, es

 

lo que implica que podría haber ejemplos para todas las secuencias de nivel 10.

Nivel 11

editar

Sea la serie de McKay-Thompson de la clase 11A

 

donde

 

y

 

Aún no se conoce una forma cerrada en términos de coeficientes binomiales para la secuencia, pero obedece a la relación de recurrencia

 

con condiciones iniciales s(0) = 1, s(1) = 4.

Ejemplo:[16]

 

Niveles más altos

editar

Como señaló Cooper,[16]​ hay secuencias análogas para ciertos niveles superiores.

Series similares

editar

R. Steiner encontró ejemplos usando los números de Catalan  

 

para los que existe una forma modular con un segundo periódico para k   Otras series similares son

 
 
 
 
 
 
 
 
 
 

con el último (comentarios en (sucesión A013709 en OEIS) encontrado mediante el uso de una combinación lineal de partes superiores de las series de Wallis-Lambert para 4/Pi y de Euler para el perímetro de una elipse.

Usando la definición de los números Catalan con la función gamma, el primero y el último, por ejemplo, dan las identidades

 
  .

El último también es equivalente a

 

y está relacionado con el hecho de que

 

que es consecuencia de la aproximación de Stirling.

Véase también

editar

Referencias

editar
  1. a b Chan, Heng Huat; Chan, Song Heng; Liu, Zhiguo (2004). «Domb's numbers and Ramanujan–Sato type series for 1/p». Advances in Mathematics 186 (2): 396-410. doi:10.1016/j.aim.2003.07.012. 
  2. a b c Almkvist, Gert; Guillera, Jesus (2013). «Ramanujan–Sato-Like Series». En Borwein, J.; Shparlinski, I.; Zudilin, eds. Number Theory and Related Fields. Springer Proceedings in Mathematics & Statistics. vol 43. New York: Springer. pp. 55-74. ISBN 978-1-4614-6641-3. doi:10.1007/978-1-4614-6642-0_2. 
  3. a b c Chan, H. H.; Cooper, S. (2012). «Rational analogues of Ramanujan's series for 1/p». Mathematical Proceedings of the Cambridge Philosophical Society 153 (2): 361-383. doi:10.1017/S0305004112000254. 
  4. Almkvist, G. (2012). Some conjectured formulas for 1/p coming from polytopes, K3-surfaces and Moonshine. arXiv:1211.6563. 
  5. Ramanujan, S. (1914). «Modular equations and approximations to p». Quart. J. Math. (Oxford) 45. 
  6. Chan; Tanigawa; Yang; Zudilin (2011). «New analogues of Clausen's identities arising from the theory of modular forms». Advances in Mathematics 228 (2): 1294-1314. doi:10.1016/j.aim.2011.06.011. 
  7. a b Sato, T. (2002). «Apéry numbers and Ramanujan's series for 1/p». Abstract of a Talk Presented at the Annual Meeting of the Mathematical Society of Japan. 
  8. Chan, H.; Verrill, H. (2009). «The Apéry numbers, the Almkvist–Zudilin Numbers, and new series for 1/p». Mathematical Research Letters 16 (3): 405-420. doi:10.4310/MRL.2009.v16.n3.a3. 
  9. a b Cooper, S. (2012). «Sporadic sequences, modular forms and new series for 1/p». Ramanujan Journal 29 (1–3): 163-183. doi:10.1007/s11139-011-9357-3. 
  10. a b Zagier, D. (2000). Traces of Singular Moduli. pp. 15-16. 
  11. Chudnovsky, David V.; Chudnovsky, Gregory V. (1989), «The Computation of Classical Constants», Proceedings of the National Academy of Sciences of the United States of America 86 (21): 8178-8182, ISSN 0027-8424, PMC 298242, PMID 16594075, doi:10.1073/pnas.86.21.8178 ..
  12. Yee, Alexander; Kondo, Shigeru (2011), 10 Trillion Digits of Pi: A Case Study of summing Hypergeometric Series to high precision on Multicore Systems, Technical Report, Computer Science Department, University of Illinois ..
  13. Borwein, J. M.; Borwein, P. B.; Bailey, D. H. (1989). «Ramanujan, modular equations, and approximations to pi; Or how to compute one billion digits of pi». Amer. Math. Monthly 96 (3): 201-219. doi:10.1080/00029890.1989.11972169. 
  14. Conway, J.; Norton, S. (1979). «Monstrous Moonshine». Bulletin of the London Mathematical Society 11 (3): 308–339 [p. 319]. doi:10.1112/blms/11.3.308. 
  15. S. Cooper, "Level 10 analogues of Ramanujan’s series for 1/p", Theorem 4.3, p.85, J. Ramanujan Math. Soc. 27, No.1 (2012)
  16. a b Cooper, S. (December 2013). «Ramanujan's theories of elliptic functions to alternative bases, and beyond». Askey 80 Conference. 

Enlaces externos

editar