Identités de Rogers-Ramanujan

Elles ont été découvertes et prouvées dans un premier temps par Leonard James Rogers en 1894^[2], puis trouvées (mais sans démonstration) par Srinivasa Ramanujan peu avant 1913^[3]. Ramanujan a découvert l'article de Rogers en 1917 ; ils ont alors publié en commun une nouvelle preuve^[4]. Issai Schur a lui aussi découvert ces identités et les a démontrées (indépendamment) en 1917^[5].

En utilisant le q-symbole de Pochhammer, les identités de Rogers-Ramanujan sont :

${\displaystyle G(q)=\sum _{n=0}^{\infty }{\frac {q^{n^{2}}}{(q;q)_{n}}}={\frac {1}{(q;q^{5})_{\infty }(q^{4};q^{5})_{\infty }}}=1+q+q^{2}+q^{3}+2q^{4}+2q^{5}+3q^{6}+\cdots \,}$ (suite A003114 de l'OEIS)

et

${\displaystyle H(q)=\sum _{n=0}^{\infty }{\frac {q^{n^{2}+n}}{(q;q)_{n}}}={\frac {1}{(q^{2};q^{5})_{\infty }(q^{3};q^{5})_{\infty }}}=1+q^{2}+q^{3}+q^{4}+q^{5}+2q^{6}+\cdots \,}$ (suite A003106 de l'OEIS).

Les symboles de Pochhammer qui interviennent sont :

${\displaystyle (q;q)_{n}=\prod _{k=1}^{n}(1-q^{k})=(1-q)(1-q^{2})\cdots (1-q^{n})}$

${\displaystyle (q;q^{5})_{\infty }=\prod _{k=0}^{\infty }(1-q^{5k+1})}$

${\displaystyle (q^{4};q^{5})_{\infty }=\prod _{k=0}^{\infty }(1-q^{5k+4})}$

${\displaystyle (q^{2};q^{5})_{\infty }=\prod _{k=0}^{\infty }(1-q^{5k+2})}$

${\displaystyle (q^{3};q^{5})_{\infty }=\prod _{k=0}^{\infty }(1-q^{5k+3})}$