Identidades de Rogers-Ramanujan

En matemáticas, las identidades de Rogers-Ramanujan son dos expresiones relacionadas con las series hipergeométricas básicas y con las particiones enteras. Fueron inicialmente descubiertas y probadas por Leonard James Rogers en 1894, y posteriormente redescubiertas (sin demostración) poco antes de 1913 por Srinivasa Ramanujan, quien conoció el artículo de Rogers en 1917. Posteriormente publicaron una nueva demostración conjunta . Issai Schur también había descubierto y probado de forma independiente las identidades en 1917.

Definición 
Las identidades de Rogers-Ramanujan son

   

y 

   . 

Aquí,  denota el símbolo q-Pochhammer.

Interpretación combinatoria 
Considérese lo siguiente:

  es la función generadora de particiones con exactamente  partes tales que las partes adyacentes tienen una diferencia de al menos 2. 
  es la función generadora de particiones de modo que cada parte sea congruente con 1 o 4 módulo 5. 
  es la función generadora de particiones con exactamente  partes tales que las partes adyacentes tienen una diferencia de al menos 2 y tal que la parte más pequeña es de al menos 2. 
  es la función generadora de particiones de modo que cada parte sea congruente con 2 o 3 módulo 5. 

Las identidades de Rogers-Ramanujan podrían interpretarse de la siguiente manera: sea  un entero no negativo 

 El número de particiones de  de modo que las partes adyacentes difieran en al menos 2 es igual al número de particiones de  de modo que cada parte sea congruente con 1 o 4 módulo 5. 
 El número de particiones de  tal que las partes adyacentes difieran en al menos 2 y que la parte más pequeña sea al menos 2 es igual al número de particiones de  tal que cada parte sea congruente con 2 o 3 módulo 5. 

Alternativamente, 

 El número de particiones de  tal que con  partes la parte más pequeña es al menos  es lo mismo que el número de particiones de  de modo que cada parte sea congruente con 1 o 4 módulo 5. 
 El número de particiones de  tal que con  partes la parte más pequeña es al menos  es lo mismo que el número de particiones de  tal que cada parte sea congruente con 2 o 3 módulo 5.

Funciones modulares 
Si q = e 2πiτ, entonces q−1/60 G(q) y q11/60 H(q) son funciones modulares de τ.

Aplicaciones 
Las identidades de Rogers-Ramanujan aparecieron en la solución de Baxter del modelo hexagonal duro en mecánica estadística. 

La fracción continua de Ramanujan es

Relaciones con álgebras de Lie afines y álgebras de operadores de vértices 
James Lepowsky y Robert Lee Wilson fueron los primeros en probar las identidades de Rogers-Ramanujan utilizando exclusivamente técnicas de la teoría de la representación. Probaron estas identidades utilizando módulos de nivel 3 para el álgebra de Lie afín . En el curso de esta demostración, inventaron y usaron lo que llamaron -álgebras. El enfoque de Lepowsky y Wilson es universal, ya que es capaz de tratar todas las álgebras de Lie afines en todos los niveles. Se puede usar para buscar (y probar) nuevas identidades de partición. El primer ejemplo es el de las identidades de Capparelli descubiertas por Stefano Capparelli utilizando módulos de nivel 3 para el álgebra de Lie afín .

Véase también 
 Polinomios de Rogers

Referencias

Bibliografía

 W.N. Bailey, Generalized Hypergeometric Series, (1935) Cambridge Tracts in Mathematics and Mathematical Physics, No.32, Cambridge University Press, Cambridge.
 George Gasper and Mizan Rahman, Basic Hypergeometric Series, 2nd Edition, (2004), Encyclopedia of Mathematics and Its Applications, 96, Cambridge University Press, Cambridge. .
 Bruce C. Berndt, Heng Huat Chan, Sen-Shan Huang, Soon-Yi Kang, Jaebum Sohn, Seung Hwan Son, The Rogers-Ramanujan Continued Fraction, J. Comput. Appl. Math. 105 (1999), pp. 9–24.
 Cilanne Boulet, Igor Pak, A Combinatorial Proof of the Rogers-Ramanujan and Schur Identities, Journal of Combinatorial Theory, Ser. A, vol. 113 (2006), 1019–1030.

 James Lepowsky and Robert L. Wilson, Construction of the affine Lie algebra , Comm. Math. Phys. 62 (1978) 43-53. 
 James Lepowsky and Robert L. Wilson, A new family of algebras underlying the Rogers-Ramanujan identities, Proc. Natl. Acad. Sci. USA 78 (1981), 7254-7258. 
 James Lepowsky and Robert L. Wilson, The structure of standard modules, I: Universal algebras and the Rogers-Ramanujan identities, Invent. Math. 77 (1984), 199-290.
 James Lepowsky and Robert L. Wilson, The structure of standard modules, II: The case , principal gradation, Invent. Math. 79 (1985), 417-442.
 Stefano Capparelli, Vertex operator relations for affine algebras and combinatorial identities'', Thesis (Ph.D.)–Rutgers The State University of New Jersey - New Brunswick. 1988. 107 pp.

Enlaces externos 
 
 

Formas modulares
Identidad matemática
Srinivasa Ramanujan