View source for Rogers–Ramanujan identities

In [[Mathematics|mathematics]], the '''Rogers–Ramanujan identities''' are two identities related to [[Basic hypergeometric series|basic hypergeometric series]] and [[Partition (number theory)|integer partitions]]. The identities were first discovered and proved  by {{harvs|txt|first=Leonard James|last= Rogers|year=1894}}, and were subsequently rediscovered (without a proof) by [[Biography:Srinivasa Ramanujan|Srinivasa Ramanujan]] some time before 1913. Ramanujan had no proof, but rediscovered Rogers's paper in 1917, and they then published a joint new proof {{harv|Rogers|Ramanujan|1919}}. {{harvs|txt|first=Issai |last=Schur|authorlink=Issai Schur|year=1917}} independently rediscovered and proved the identities.
==Definition==
The Rogers–Ramanujan identities are

:<math>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
</math> {{OEIS|A003114}}
and

:<math>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
</math> {{OEIS|A003106}}.

Here, <math>(a;q)_n</math> denotes the  [[Q-Pochhammer symbol|q-Pochhammer symbol]].

==Combinatorial interpretation==
Consider the following:
* <math>\frac {q^{n^2}} {(q;q)_n}</math> is the [[Generating function|generating function]] for partitions with exactly <math>n</math> parts such that adjacent parts have difference at least 2.
* <math>\frac {1}{(q;q^5)_\infty (q^4; q^5)_\infty}</math> is the [[Generating function|generating function]] for partitions such that each part is [[Congruence relation|congruent]] to either 1 or 4 [[Modulo operation|modulo]] 5.
* <math>\frac {q^{n^2+n}} {(q;q)_n}</math> is the [[Generating function|generating function]] for partitions with exactly <math>n</math> parts such that adjacent parts have difference at least 2 and such that the smallest part is at least 2.
* <math>\frac {1}{(q^2;q^5)_\infty (q^3; q^5)_\infty}</math> is the [[Generating function|generating function]] for partitions such that each part is [[Congruence relation|congruent]] to either 2 or 3 [[Modulo operation|modulo]] 5.

The Rogers–Ramanujan identities could be now interpreted in the following way. Let <math>n</math> be a non-negative integer.
# The number of partitions of <math>n</math> such that the adjacent parts differ by at least 2 is the same as the number of partitions of <math>n</math> such that each part is congruent to either 1 or 4 modulo 5.
# The number of partitions of <math>n</math> such that the adjacent parts differ by at least 2 and such that the smallest part is at least 2 is the same as the number of partitions of <math>n</math> such that each part is congruent to either 2 or 3 modulo 5.

Alternatively,
# The number of partitions of <math>n</math> such that with <math>k</math> parts the smallest part is at least <math>k</math> is the same as the number of partitions of <math>n</math> such that each part is congruent to either 1 or 4 modulo 5.
# The number of partitions of <math>n</math> such that with <math>k</math> parts the smallest part is at least <math>k+1</math> is the same as the number of partitions of <math>n</math> such that each part is congruent to either 2 or 3 modulo 5.

== Application to partitions ==
Since the terms occurring in the identity are generating functions of certain [[Partition function (number theory)|partitions]], the identities make statements about partitions (decompositions) of natural numbers. The number sequences resulting from the coefficients of the Maclaurin series of the Rogers-Ramanujan functions G and H are special partition number sequences of level 5:
:<math>G(x) =
\frac{1}{(x;x^5)_{\infty} (x^4; x^5)_{\infty}}
= 1 + \sum_{n = 1}^{\infty}P_{G}(n)x^{n}
</math>
:<math>H(x) =
\frac{1}{(x^2;x^5)_{\infty} (x^3; x^5)_{\infty}}
= 1 + \sum_{n = 1}^{\infty}P_{H}(n)x^{n}
</math>
The number sequence <math>P_{G}(n)</math> (OEIS code: A003114<ref>{{cite web|access-date=2022-08-06|title=A003114 - OEIS|url=http://oeis.org/A003114}}</ref>) represents the number of possibilities for the affected natural number n to decompose this number into summands of the patterns 4a + 1 or 4a + 4 with a ∈ <math>\mathbb{N}_0</math>. Thus <math>P_{G}(n)</math> gives the number of decays of an integer n in which adjacent parts of the partition differ by at least 2, equal to the number of decays in which each part is equal to 1 or 4 mod 5 is.

And the number sequence <math>P_{H}(n)</math> (OEIS code: A003106<ref>{{cite web|access-date=2022-08-06|title=A003106 - OEIS|url=http://oeis.org/A003106}}</ref>) analogously represents the number of possibilities for the affected natural number n to decompose this number into summands of the patterns 4a + 2 or 4a + 3 with a ∈ <math>\mathbb{N}_0</math>. Thus <math>P_{H}(n)</math> gives the number of decays of an integer n in which adjacent parts of the partition differ by at least 2 and in which the smallest part is greater than or equal to 2 is equal the number of decays whose parts are equal to 2 or 3 mod 5. This will be illustrated as examples in the following two tables:

{| class="wikitable"
|+Partition number sequence <math>P_{G}(n)
</math>
!Natural number n
!<math>P_{G}(n)
</math>
!Sum representations with the described criteria
|-
|1
|1
|1
|-
|2
|1
|1+1
|-
|3
|1
|1+1+1
|-
|4
|2
|4, 1+1+1+1
|-
|5
|2
|4+1, 1+1+1+1+1
|-
|6
|3
|6, 4+1+1, 1+1+1+1+1+1
|-
|7
|3
|6+1, 4+1+1+1, 1+1+1+1+1+1+1
|-
|8
|4
|6+1+1, 4+4, 4+1+1+1+1, 1+1+1+1+1+1+1+1
|-
|9
|5
|9, 6+1+1+1, 4+4+1, 4+1+1+1+1+1, 1+1+1+1+1+1+1+1+1
|-
|10
|6
|9+1, 6+4, 6+1+1+1+1, 4+4+1+1, 4+1+1+1+1+1+1, 1+1+1+1+1+1+1+1+1+1
|-
|11
|7
|11, 9+1+1, 6+4+1, 6+1+1+1+1+1, 4+4+1+1+1, 4+1+1+1+1+1+1+1, 1+1+1+1+1+1+1+1+1+1+1
|-
|12
|9
|11+1, 9+1+1+1, 6+6, 6+4+1+1, 6+1+1+1+1+1+1, 4+4+4, 4+4+1+1+1+1, 4+1+1+1+1+1+1+1+1, 1+1+1+1+1+1+1+1+1+1+1+1
|-
|13
|10
|11+1+1, 9+4, 9+1+1+1+1, 6+6+1, 6+4+1+1+1, 6+1+1+1+1+1+1+1, 4+4+4+1, 4+4+1+1+1+1+1, 4+1+1+1+1+1+1+1+1+1, 1+1+1+1+1+1+1+1+1+1+1+1+1
|-
|14
|12
|14, 11+1+1+1, 9+4+1, 9+1+1+1+1+1, 6+6+1+1, 6+4+4, 6+4+1+1+1+1, 6+1+1+1+1+1+1+1+1, 4+4+4+1+1, 4+4+1+1+1+1+1+1, 4+1+1+1+1+1+1+1+1+1+1, 1+1+1+1+1+1+1+1+1+1+1+1+1+1
|-
|15
|14
|14+1, 11+4, 11+1+1+1+1, 9+6, 9+4+1+1, 9+1+1+1+1+1+1, 6+6+1+1+1, 6+4+4+1, 6+4+1+1+1+1+1, 6+1+1+1+1+1+1+1+1+1, 4+4+4+1+1+1, 4+4+1+1+1+1+1+1+1, 4+1+1+1+1+1+1+1+1+1+1+1, 1+1+1+1+1+1+1+1+1+1+1+1+1+1+1
|-
|16
|17
|16, 14+1+1, 11+4+1, 11+1+1+1+1+1, 9+6+1, 9+4+1+1+1, 9+1+1+1+1+1+1+1, 6+6+4, 6+6+1+1+1+1, 6+4+4+1+1, 6+4+1+1+1+1+1+1, 6+1+1+1+1+1+1+1+1+1+1, 4+4+4+4, 4+4+4+1+1+1+1, 4+4+1+1+1+1+1+1+1+1, 4+1+1+1+1+1+1+1+1+1+1+1+1, 1+1+1+1+1+1+1+1+1+1+1+1+1+1+1+1
|}

{| class="wikitable"
|+Partition number sequence <math>P_{H}(n)
</math>
!Natural number n
!<math>P_{H}(n)
</math>
!Sum representations with the described criteria
|-
|1
|0
|none
|-
|2
|1
|2
|-
|3
|1
|3
|-
|4
|1
|2+2
|-
|5
|1
|3+2
|-
|6
|2
|3+3, 2+2+2
|-
|7
|2
|7, 3+2+2
|-
|8
|3
|8, 3+3+2, 2+2+2+2
|-
|9
|3
|7+2, 3+3+3, 3+2+2+2
|-
|10
|4
|8+2, 7+3, 3+3+2+2, 2+2+2+2+2
|}

== Rogers-Ramanujan continued fractions R and S ==

=== Definition of the continued fractions ===

[[File:Rogers400.png|right|thumb|[[Domain coloring|Domain coloring]] representation of the convergent <math> A_{400}(q)/B_{400}(q)</math> of the function <math> q^{-1/5}R(q)</math>, where <math> R(q)</math> is the Rogers–Ramanujan continued fraction.]]

[[File:RogersRamanujan400.png|right|thumb|Representation of the approximation  <math> q^{1/5}A_{400}(q)/B_{400}(q)</math> of the Rogers–Ramanujan continued fraction.]]

The following [[Continued fraction|continued fraction]] <math>R(q)</math> is called Rogers-Ramanujan continued fraction,<ref>[https://mathworld.wolfram.com/Rogers-RamanujanContinuedFraction.html Rogers-Ramanujan Continued Fraction, Mathworld]</ref><ref>[https://faculty.math.illinois.edu/~berndt/articles/rrcf.pdf Bruce Berndt et al., The Rogers-Ramanujan continued fraction, pdf]</ref> Continuing fraction <math>S(q)</math> is called alternating Rogers-Ramanujan continued fraction!
:{| class="wikitable"
!Standardized continued fraction
!Alternating continued fraction
|-
|
<math>R(q) = q^{1/5} \left[ 1+\frac{q}{1+\frac{q^2}{1+\frac{q^3}{1+\cdots }}} \right] </math>
|
<math>S(q) = q^{1/5} \left[ 1-\frac{q}{1+\frac{q^2}{1-\frac{q^3}{1+\cdots }}} \right] </math>
|}

The factor <math>q^{\frac {1}{5}}</math> creates a quotient of module functions and it also makes these shown continued fractions modular:

This definition applies<ref>{{citation|access-date=2023-09-07|author=Bruce C. Berndt, Heng Huat Chan, Sen-Shan Huang, Soon-Yi Kang, Jaebum Sohn, Seung Hwan Son|date=1999-05-01|doi=10.1016/S0377-0427(99)00033-3|issn=0377-0427|issue=1|pages=9–24|periodical=Journal of Computational and Applied Mathematics|title=The Rogers–Ramanujan continued fraction|url=https://www.sciencedirect.com/science/article/pii/S0377042799000333|volume=105|citeseerx=10.1.1.47.3006}}<!-- auto-translated by Module:CS1 translator --></ref> for the continued fraction mentioned:

:<math>R (q) = q^{1/5}\frac{(q;q^5)_{\infty} (q^4;q^5)_{\infty}}{(q^2;q^5)_{\infty} (q^3;q^5)_{\infty}}</math>

:<math>R (q) = q^{1/5}\prod_{k=0}^{\infty} \frac { (1- q^{5k+1}) (1- q^{5k+ 4})}{(1- q^{5k+2})(1- q^{5k+3})} = q^{1/5}\frac{H(q)}{G(q)} </math>

This is the definition of the [[Ramanujan theta function]]:

:<math> f (a,b)= \sum_{k=-\infty}^{\infty} a^{\frac {k (k+1)}{2}} b^{\frac {k ( k-1)}{2}}</math>

With this function, the continued fraction R can be created this way:

:<math> R(q) = q^{1/5}\frac { f (-q, -q^4) }{f (-q^2, -q^3 ) }</math>.

The connection between the continued fraction and the Rogers-Ramanujan functions was already found by Rogers in 1894 (and later independently by Ramanujan).

The continued fraction can also be expressed by the [[Dedekind eta function]]:<ref>{{MathWorld|Rogers-RamanujanContinuedFraction|Rogers-Ramanujan Continued Fraction}}</ref>

: <math>R(q) = \tan\biggl\{\frac{1}{2}\arccot\biggl[\frac{\eta_{W}(q^{1/5})}{2\eta_ {W}(q^{5})} + \frac{1}{2}\biggr]\biggr\}</math>

The alternating continued fraction <math> S(q) </math> has the following identities to the remaining Rogers-Ramanujan functions and to the Ramanujan theta function described above:

:<math> S(q) = q^{1/5} \frac{H(-q)}{G(-q)} </math>
:<math> S(q) = q^{1/5}\frac { f (q, -q^4) }{f (-q^2, q^3 ) }</math>
:<math> S(q) = \frac{R(q^4)}{R(q)R(q^2)} </math>
:<math> S(q) = q^{1/5}\frac{G(q)G(q^2)H(q^4)}{H(q)H(q^2)G(q ^4)} </math>

=== Identities with Jacobi theta functions ===

The following definitions are valid for the [[Theta function#Definition of theta zero value|Jacobi "Theta-Nullwert" functions]]:

: <math>\vartheta_{00}(x) = 1 + 2\sum_{n = 1}^{\infty} x^{\Box(n)}</math>
: <math>\vartheta_{01}(x) = 1 - 2\sum_{n = 1}^{\infty} (-1)^{n + 1} x^{\Box(n)}</math>
: <math>\vartheta_{10}(x) = 2x^{1/4} + 2x^{1/4}\sum_{n = 1}^{\infty} x^{2\bigtriangleup(n)} </math>

And the following product definitions are identical to the total definitions mentioned:

: <math>\vartheta_{00}(x) = \prod_{n = 1}^{\infty} (1-x^{2n})(1+x^{2n-1})^2</math>
: <math>\vartheta_{01}(x) = \prod_{n = 1}^{\infty} (1-x^{2n})(1-x^{2n-1})^2</math>
: <math>\vartheta_{10}(x) = 2x^{1/4}\prod_{n = 1}^{\infty} (1-x^{2n})(1+x^{2n}) ^2</math>
These three so-called ''theta zero value functions'' are linked to each other using the ''Jacobian identity'':

: <math>\vartheta _{10}(x) = \sqrt[4]{\vartheta _{00}(x)^4 - \vartheta _{01}(x)^4}</math>

The mathematicians Edmund Taylor Whittaker and George Neville Watson<ref>{{MathWorld|JacobiThetaFunctions|Jacobi Theta Functions}}</ref><ref>http://wayback.cecm.sfu.ca/ ~pborwein/TEMP_PROTECTED/pi-agm.pdf</ref><ref>{{cite web|date=2022-08-13|title=DLMF: 20.5 Infinite Products and Related Results|url=https://dlmf.nist.gov/20.5}}</ref> discovered these definitional identities.

The Rogers-Ramanujan continued fraction functions <math>R(x)</math> and <math>S(x)</math> have these relationships to the theta Nullwert functions:

: <math>R(x) = \tan\biggl\langle\frac{1}{2}\arccot\biggl\{\frac{\vartheta_{01}(x^{1/5})[5\, \vartheta _{01}(x^5)^2 - \vartheta _{01}(x)^2]}{2\,\vartheta _{01}(x^5)[\vartheta _{01}(x)^2 - \vartheta_{01}(x^{1/5})^2]} + \frac{1}{2}\biggr\}\biggr\rangle</math>
: <math>S(x) = \tan\biggl\langle\frac{1}{2}\arccot\biggl\{\frac{\vartheta_{00}(x^{1/5})[5\, \vartheta _{00}(x^5)^2 - \vartheta _{00}(x)^2]}{2\,\vartheta _{00}(x^5)[\vartheta _{00}(x^{1 /5})^2 - \vartheta_{00}(x)^2]} - \frac{1}{2}\biggr\}\biggr\rangle</math>

The element of the fifth root can also be removed from the elliptic nome of the theta functions and transferred to the external tangent function. In this way, a formula can be created that only requires one of the three main theta functions:

: <math>R(x) = \tan\biggl\{\frac{1}{2}\arctan\biggl[\frac{1}{2} - \frac{\vartheta_{01}(x)^2}{2\vartheta_{01}(x^5)^2}\biggr]\biggr\}^{1/5}\tan\biggl\{\frac{1}{2}\arccot\biggl[\frac{1}{2} - \frac{\vartheta_{01}(x)^2}{2\vartheta_{01}(x^5)^2}\biggr]\biggr\}^{2/5}</math>
: <math>S(x) = \tan\biggl\{\frac{1}{2}\arctan\biggl[\frac{\vartheta_{00}(x)^2}{2\vartheta_{00}(x^5)^2} - \frac{1}{2}\biggr]\biggr\}^{1/5} \cot\biggl\{\frac{1}{2}\arccot\biggl[\frac{\vartheta_{00}(x)^2}{2\vartheta_{00}(x^5)^2} - \frac{1}{2}\biggr]\biggr\}^{2/5}</math>

== Modular modified functions of G and H ==

=== Definition of the modular form of G and H ===

An elliptic function is a modular function if this function in dependence on the [[Nome (mathematics)|elliptic nome]] as an internal variable function results in a function, which also results as an [[Algebraic number|algebraic combination]] of Legendre's elliptic modulus and its [[Elliptic integral#Complete elliptic integral of the first kind|complete elliptic integrals of the first kind]] in the K and K' form. The Legendre's elliptic modulus is the [[Ellipse#Eccentricity and the directrix property|numerical eccentricity]] of the corresponding ellipse.

If you set <math>q=e^{2 \pi i \tau}</math> (where the imaginary part of <math>\tau \in \mathbb C</math> is positive), following two functions are
Modular functions!

:<math>G_{M}(q) = q^{ \frac {-1}{60}} G(q)</math>

:<math>H_{M}(q) = q^{\frac {11}{60}} H(q)</math>

If ''q'' = e<sup>2πiτ</sup>, then ''q''<sup>&minus;1/60</sup>''G''(''q'') and ''q''<sup>11/60</sup>''H''(''q'') are modular functions of τ.

For the Rogers-Ramanujan continued fraction R(q) this formula is valid based on the described modular modifications of G and H:

:<math> R(q) = \frac{H_{M}(q)}{G_{M}(q)}</math>

=== Special values ===

These functions have the following values for the reciprocal of Gelfond's constant and for the square of this reciprocal:

:<math>

\begin{align}

G_{M}\bigl[\exp(-\pi)\bigr] & = 2^{-1/2} 5^{-1/4} (\sqrt{5} - 1)^{1 /4} (\sqrt[4]{5} + 1)^{1/2} R\bigl[\exp(-\pi)\bigr]^{-1/2} = 
\\[4pt]

& = 2^{1/4} \,5^{-1/8} \,\Phi^{1/2} \,{\color{blue}\cos\bigl[\tfrac{1}{4}\arctan(2) + \tfrac{1}{2}\arcsin(\Phi^{-2})\bigr]}

\end{align}

</math>

:<math>

\begin{align}

H_{M}\bigl[\exp(-\pi)\bigr] & = 2^{-1/2} 5^{-1/4} (\sqrt{5} - 1)^{1 /4} (\sqrt[4]{5} + 1)^{1/2} R\bigl[\exp(-\pi)\bigr]^{1/2} =
\\[4pt]

& = 2^{1/4} \,5^{-1/8} \,\Phi^{1/2} \,{\color{blue}\sin\bigl[\tfrac{1}{4}\arctan(2) + \tfrac{1}{2}\arcsin(\Phi^{-2})\bigr]}

\end{align}

</math>

:<math>

\begin{align}

G_{M}\bigl[\exp(-2\pi)\bigr] & = 10^{-1/4} (\sqrt{5} - 1)^{1/4} R\bigl[ \exp(-2\pi)\bigr]^{-1/2} = \\[4pt]

& = 2^{1/2} \,5^{-1/8} \,{\color{blue}\cos\bigl[\tfrac{1}{4}\arctan(2)\bigr]}

\end{align}

</math>

:<math>

\begin{align}

H_{M}\bigl[\exp(-2\pi)\bigr] & = 10^{-1/4} (\sqrt{5} - 1)^{1/4} R\bigl[ \exp(-2\pi)\bigr]^{1/2} = \\[4pt]

& = 2^{1/2} \,5^{-1/8} \,{\color{blue}\sin\bigl[\tfrac{1}{4}\arctan(2)\bigr]}

\end{align}

</math>

The Rogers-Ramanujan continued fraction takes the following ordinate values for these abscissa values:

:{| class="wikitable"
|
<math>

\begin{align}

R[\exp(-\pi)] {} & = \tfrac{1}{4}(\sqrt{5}+1)(\sqrt{5}-\sqrt{\sqrt{5}+2}) (\sqrt{\sqrt{5}+2}+\sqrt[4]{5}) = \\[4pt]

& {} = \Phi^{3/2}\operatorname{cl}(\tfrac{1}{5}\varpi)^{-3/2} \operatorname{cl}(\tfrac{2}{5} \varpi)^{3/2} \operatorname{cl}(\tfrac{1}{10}\varpi)^2 \operatorname{cl}(\tfrac{3}{10}\varpi) \operatorname{slh} (\tfrac{2}{5}\sqrt{2}\,\varpi) = \\[4pt ]

& {} = {\color{blue}\tan\bigl[\tfrac{1}{4}\arctan(2) + \tfrac{1}{2}\arcsin(\Phi^{-2})\bigr]} \\[4pt]

\end{align}

</math>
|-
|
<math>

\begin{align}

R[\exp(-2\pi)] {} & = 4\sin(\tfrac{1}{20}\pi)\sin(\tfrac{3}{20}\pi) = \\[4pt]

& {} = {\color{blue}\tan\bigl[\tfrac{1}{4}\arctan(2)\bigr]}

\end{align}

</math>
|}

== Dedekind eta function identities ==

=== Derivation by the geometric mean ===

Given are the mentioned definitions of <math> G_{M} </math> and <math> H_{M} </math> in this already mentioned way:

:<math>G_{M}(q) = q^{\frac{-1}{60}} \frac{1}{(q;q^5)_{\infty} (q^4;q^5)_{\infty}} </math>

:<math>H_{M}(q) = q^{\frac{11}{60}} \frac{1}{(q^2;q^5)_{\infty} (q^3;q^5)_{\infty}} </math>

The Dedekind eta function identities for the functions G and H result by combining only the following two equation chains:

The quotient is the Rogers Ramanujan continued fraction accurately:

:<math> H_{M}(q) \div G_{M}(q) = R(q) </math>

But the product leads to a simplified combination of Pochhammer operators:

:<math> H_{M}(q) \,G_{M}(q) = q^{1/6} \frac{1}{(q;q^5)_{\infty} (q^4;q^5)_{\infty} (q^2;q^5)_{\infty} (q^3;q^5)_{\infty}} = </math>

:<math> = q^{1/6} \frac{(q^5;q^5)_{\infty}}{(q;q)_{\infty}} = \frac{\eta_{W}(q^5)}{\eta_{W}(q)} </math>

The [[Geometric mean]] of these two equation chains directly lead to following expressions in dependence of the [[Dedekind eta function]] in their Weber form:

:<math> G_{M}(q) = \eta_{W}(q^5)^{1/2} \eta_{W}(q)^{-1/2} R(q)^{- 1/2} </math>

:<math> H_{M}(q) = \eta_{W}(q^5)^{1/2} \eta_{W}(q)^{-1/2} R(q)^{1 /2} </math>

In this way the modulated functions <math>G_{M}</math> and <math>H_{M}</math> are represented directly using only the continued fraction R and the Dedekind eta function quotient!

With the Pochhammer products alone, the following identity then applies to the non-modulated functions G and H:

:<math>G(q) =(q;q^5)_{\infty}^{-1} (q^4;q^5)_{\infty}^{-1} = (q^5 ;q^5)_{\infty}^{1/2} (q;q)_{\infty}^{-1/2} \biggl[\frac{H(q)}{G(q)} \biggr]^{-1/2}</math>

:<math>H(q) = (q^2;q^5)_{\infty}^{-1} (q^3;q^5)_{\infty}^{-1} = (q ^5;q^5)_{\infty}^{1/2} (q;q)_{\infty}^{-1/2} \biggl[\frac{H(q)}{G(q )}\biggr]^{1/2}</math>

=== Pentagonal number theorem ===

For the Dedekind eta function according to Weber's definition<ref>{{cite web|access-date=2022-04-02|author=Eric W. Weisstein|language=en|title=Dedekind Eta Function|url=https://mathworld.wolfram.com/}}<!-- auto-translated by Module:CS1 translator --></ref> these formulas apply:

: <math>\eta_{W}(x)= 2^{-1/6}\vartheta_{10}(x)^{1/6}\vartheta_{00}(x)^{1/6}\vartheta_{01}(x)^{2/3}</math>
: <math>\eta_{W}(x)= 2^{-1/3}\vartheta_{10}(x^{1/2})^{1/3}\vartheta_{00}(x^{ 1/2})^{1/3}\vartheta_{01}(x^{1/2})^{1/3}</math>
: <math>\eta_{W}(x)= x^{1/24} \prod_{n=1}^{\infty} (1-x^n) = x^{1/24}(x; x)_{\infty}</math>
: <math>\eta_{W}(x)= x^{1/24} \biggl\{1 + \sum_{n = 1}^{\infty} \bigl[- x^{\text{Fn} (2n-1)} - x^{\text{Kr}(2n-1)} + x^{\text{Fn}(2n)} + x^{\text{Kr}(2n)}\bigr] \biggr\} </math>
: <math>\eta_{W}(x)= x^{1/24} \biggl\{1 + \sum_{n = 1}^{\infty} \mathrm{P}(n) \,x^{n} \biggr\}^{-1} </math>

The fourth formula describes the [[Pentagonal number theorem|pentagonal number theorem]]<ref>https://vdoc.pub/download/a-brief-introduction-to-theta-functions-6v41da306900</ref> because of the exponents!

These basic definitions apply to the Pentagonal numbers and the ''card house numbers'':

: <math>\text{Fn}(z) = \tfrac{1}{2}z(3z-1)</math>
: <math>\text{Kr}(z) = \tfrac{1}{2}z(3z+1)</math>

The fifth formula contains the [[Partition function (number theory)|Regular Partition Numbers]] as coefficients.

The Regular Partition Number Sequence <math>\mathrm{P}(n)</math> itself indicates the number of ways in which a positive [[Integer|integer number]] <math>n</math> can be splitted into positive integer summands. For the numbers <math>n = 1</math> to <math>n = 5</math>, the associated partition numbers <math>P</math> with all associated number partitions are listed in the following table:

{| class="wikitable"
|+Example values of P(n) and associated number partitions
!n
!P(n)
!Corresponding partitions
|-
|1
|1
|(1)
|-
|2
|2
|(1+1), (2)
|-
|3
|3
|(1+1+1), (1+2), (3)
|-
|4
|5
|(1+1+1+1), (1+1+2), (2+2), (1+3), (4)
|-
|5
|7
|(1+1+1+1+1), (1+1+1+2), (1+2+2), (1+1+3), (2+3), (1+4), (5)
|-
|6
|11
|(1+1+1+1+1+1), (1+1+1+1+2), (1+1+2+2), (2+2+2), (1+1+1+3), (1+2+3), (3+3), (1+1+4), (2+4), (1+5), (6)
|}

=== Further Dedekind eta identities ===

The following further simplification for the modulated functions <math>G_{M}</math> and <math>H_{M}</math> can be undertaken. This connection applies especially to the Dedekind eta function from the fifth power of the elliptic nome:

: <math>\frac{\eta _{W}(q^5)}{\eta _{W}(q)} = \frac{\eta _{W}(q^2)^4}{\eta _{W }(q)^4} \,\frac{\vartheta _{01}(q^5)}{\vartheta _{01}(q)} \biggl[\frac{5\,\vartheta _{01}(q^ 5)^2}{4\,\vartheta_{01}(q)^2} - \frac{1}{4}\biggr]^{-1}</math>

These two identities with respect to the Rogers-Ramanujan continued fraction were given for the modulated functions <math>G_{M}</math> and <math>H_{M}</math>:

:<math>G_{M}(q) = \eta_{W}(q^5)^{1/2} \eta_{W}(q)^{-1/2} R(q)^{- 1/2}</math>
:<math>H_{M}(q) = \eta_{W}(q^5)^{1/2} \eta_{W}(q)^{-1/2} R(q)^{1 /2}</math>

The combination of the last three formulas mentioned results in the following pair of formulas:

: {| class="wikitable"
|
<math> G_{M}(q) = \frac{\eta _{W}(q^2)^2}{\eta _{W}(q)^2} \biggl[\frac{\vartheta _{01} (q^5)}{\vartheta _{01}(q)}\biggr]^{1/2} \biggl[\frac{5\,\vartheta _{01}(q^5)^2}{4\,\vartheta _{01}(q)^2} - \frac{1}{4}\biggr]^{-1/2} R(q)^{-1/2}</math>
|-
|
<math> H_{M}(q) = \frac{\eta _{W}(q^2)^2}{\eta _{W}(q)^2} \biggl[\frac{\vartheta _{01} (q^5)}{\vartheta _{01}(q)}\biggr]^{1/2} \biggl[\frac{5\,\vartheta _{01}(q^5)^2}{4\,\vartheta _{01}(q)^2} - \frac{1}{4}\biggr]^{-1/2} R(q)^{1/2}</math>
|}

=== Reduced Weber modular function ===

The Weber modular functions in their reduced form are an efficient way of computing the values of the Rogers-Ramanujan functions:

First of all we introduce the reduced Weber modular functions in that pattern:

:<math> w_{Rn}(\varepsilon) = \frac{2^{(n - 1)/4}[q(\varepsilon)^{n};q(\varepsilon)^{2n}]_{\infty}}{[q(\varepsilon);q(\varepsilon)^2]_{\infty}^{n}} </math>

:<math> w_{R5}(\varepsilon) = \frac{2[q(\varepsilon)^{5};q(\varepsilon)^{10}]_{\infty}}{[q(\varepsilon);q(\varepsilon)^2]_{\infty}^{5}} </math>

This function fulfills following equation of sixth degree:

: {| class="wikitable"
|<math> w_{R5}(\varepsilon)^6 - 2\,w_{R5}(\varepsilon)^5 = \tan\bigl[2\arctan(\varepsilon)\bigr]^2\bigl[2\,w_{R5}(\varepsilon) + 1\bigr] </math>
|}

Therefore this <math> w_{R5} </math> function is an algebraic function indeed.

But along with the Abel-Ruffini theorem this function in relation to the eccentricity can not be represented by elementary expressions.

However there are many values that in fact can be expressed elementarily.

Four examples shall be given for this:

First example:

: {| class="wikitable"
|<math> w_{R5}(\tfrac{1}{2}\sqrt{2})^6 - 2\,w_{R5}(\tfrac{1}{2}\sqrt{2})^5 = 16\,w_{R5}(\tfrac{1}{2}\sqrt{2}) + 8 </math>
|-
|<math> w_{R5}(\tfrac{1}{2}\sqrt{2}) = \sqrt[4]{5} + 1 </math>
|}

Second example:

: {| class="wikitable"
|<math> w_{R5}(\sqrt{2} - 1)^6 - 2\,w_{R5}(\sqrt{2} - 1)^5 = 2\,w_{R5}(\sqrt{2} - 1) + 1 </math>
|-
|<math> w_{R5}(\sqrt{2} - 1) = \tfrac{1}{2}\bigl\{\tfrac{4}{3}\sqrt{2}\cos(\tfrac{1}{10}\pi)\cosh[\tfrac{1}{3}\operatorname{artanh}(\tfrac{3}{8}\sqrt{6})]+\tfrac{1}{3}\tan(\tfrac{1}{5}\pi)\bigr\}^2 - \tfrac{1}{2} = </math>

<math> = \Phi^{-1}\cot\bigl[\tfrac{1}{4}\pi - \arctan\bigl(\tfrac{1}{3}\sqrt{5} - \tfrac{1}{3}\sqrt[3]{6\sqrt{30} + 4\sqrt{5}} + \tfrac{1}{3}\sqrt[3]{6\sqrt{30} - 4\sqrt{5}}\,\bigr)\bigr] = </math>
|}

Third example:

: {| class="wikitable"
|<math> w_{R5}\bigl[(2 - \sqrt{3})(\sqrt{3} - \sqrt{2})\bigr]^6 - 2\,w_{R5}\bigl[(2 - \sqrt{3})(\sqrt{3} - \sqrt{2})\bigr]^5 = (\sqrt{2} - 1)^4 \bigl\{2\,w_{R5}[(2 - \sqrt{3})(\sqrt{3} - \sqrt{2})\bigr] + 1\bigr\} </math>
|-
|<math> w_{R5}[(2 - \sqrt{3})(\sqrt{3} - \sqrt{2})\bigr] = \cot\bigl[\tfrac{1}{4}\pi - \tfrac{1}{4}\arccsc(\tfrac{1}{4}\sqrt{10} + \tfrac{1}{4})\bigr] </math>
|}

Fourth example:

: {| class="wikitable"
|<math> w_{R5}\bigl[(2 - \sqrt{3})(\sqrt{3} + \sqrt{2})\bigr]^6 - 2\,w_{R5}\bigl[(2 - \sqrt{3})(\sqrt{3} + \sqrt{2})\bigr]^5 = (\sqrt{2} + 1)^4 \bigl\{2\,w_{R5}[(2 - \sqrt{3})(\sqrt{3} + \sqrt{2})\bigr] + 1\bigr\} </math>
|-
|<math> w_{R5}[(2 - \sqrt{3})(\sqrt{3} + \sqrt{2})\bigr] = \cot\bigl[\tfrac{1}{4}\arccsc(\tfrac{1}{4}\sqrt{10} + \tfrac{1}{4})\bigr] </math>
|}

For that function, a further expression is valid:

:<math> w_{R5}(\varepsilon) = \frac{5\,\vartheta_{01}[q(k)^5]^2}{2\,\vartheta_{01}[q(k)]^2} - \frac{1}{2} </math>

=== Exact eccentricity identity for the functions G and H ===

In this way the accurate eccentricity dependent formulas for the functions G and H can be generated:

Following Dedekind eta function quotient has this eccentricity dependency:

:<math> \frac{\eta_{W}[q(\varepsilon)^2]}{\eta_{W}[q(\varepsilon)]} = 2^{-1/4} \tan\bigl[2\arctan(\varepsilon)\bigr]^{1/12} </math>

This is the eccentricity dependent formula for the continued fraction R:

:<math> R[q(\varepsilon)] = \tan\biggl\{\frac{1}{2}\arctan\biggl[\frac{w_{R5}(\varepsilon) - 2}{2\,w_{R5}(\varepsilon) + 1}\biggr]\biggr\}^{1/5} \tan\biggl\{\frac{1}{2}\arccot\biggl[\frac{w_{R5}(\varepsilon) - 2}{2\,w_{R5}(\varepsilon) + 1}\biggr]\biggr\}^{2/5}</math>

The last three now mentioned formulas will be inserted into the final formulas mentioned in the section above:

: {| class="wikitable"
|
<math> G_{M}\bigl[q(\varepsilon)\bigr] = \frac{\tan\bigl[2\arctan(\varepsilon)\bigr]^{1/6} \bigl[2\,w_{R5}(\varepsilon) + 1\bigr]^{1/4}}{5^{1/4} w_{R5}(\varepsilon)^{1/2}} \tan\biggl\{\frac{1}{2}\arctan\biggl[\frac{w_{R5}(\varepsilon) - 2}{2\,w_{R5}(\varepsilon) + 1}\biggr]\biggr\}^{-1/10} \tan\biggl\{\frac{1}{2}\arccot\biggl[\frac{w_{R5}(\varepsilon) - 2}{2\,w_{R5}(\varepsilon) + 1}\biggr]\biggr\}^{-1/5} </math>
|-
|
<math> H_{M}\bigl[q(\varepsilon)\bigr] = \frac{\tan\bigl[2\arctan(\varepsilon)\bigr]^{1/6} \bigl[2\,w_{R5}(\varepsilon) + 1\bigr]^{1/4}}{5^{1/4} w_{R5}(\varepsilon)^{1/2}} \tan\biggl\{\frac{1}{2}\arctan\biggl[\frac{w_{R5}(\varepsilon) - 2}{2\,w_{R5}(\varepsilon) + 1}\biggr]\biggr\}^{1/10} \tan\biggl\{\frac{1}{2}\arccot\biggl[\frac{w_{R5}(\varepsilon) - 2}{2\,w_{R5}(\varepsilon) + 1}\biggr]\biggr\}^{1/5} </math>
|}

On the left side of the balances the functions <math> G_{M}(q) </math> and <math> H_{M}(q) </math> in relation to the [[Nome (mathematics)|elliptic nome function]] <math> q(\varepsilon) </math> are written down directly. 

And on the right side an algebraic combination of the eccentricity <math> \varepsilon </math> is formulated.

Therefore these funcitons <math> G_{M}(q) = q^{-1/60} G(q) </math> and <math> H_{M}(q) = q^{11/60} H(q) </math> are modular functions indeed!

== Application to quintic equations ==

=== Discovery of the corresponding modulus by Charles Hermite ===

The general case of quintic equations in the [[Bring radical|Bring-Jerrard form]] has a non-elementary solution based on the Abel-Ruffini theorem and will now be explained using the [[Nome (mathematics)|Elliptic nome]] of the corresponding modulus, described by the Lemniscatic elliptic functions in a simplified way.

:<math>x^5 + 5\,x = 4\,c</math>

The real solution for all real values <math>c \in \R</math> can be determined as follows:

: <math>
	
\begin{align}
	
x = {} & \frac{S\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(c)]^2\}\bigr\rangle^2 - R\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(c)]^2\}^2\bigr\rangle}{S\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(c)]^2\}\bigr\rangle^2} \times \\[4pt]
	
& {} \times \frac{1 - R\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(c)]^2 \}^2 \bigr\rangle\,S\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(c)]^2\} \bigr\rangle}{R\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(c)]^2\}^2 \bigr\rangle^2} \times \\[4pt]
	
& {} \times \frac{\vartheta_{00}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(c)]^2\}^5 \bigr\rangle\,\vartheta_{00}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(c)]^2\}^{1/5} \bigr\rangle^2 - 5\,\vartheta_{00}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2} \operatorname{aclh}(c)]^2\}^5\bigr\rangle^3}{4\,\vartheta_{10}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2} \operatorname{aclh}(c)]^2\}\bigr\rangle\,\vartheta_{01}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2} \operatorname{aclh}(c)]^2\}\bigr\rangle\,\vartheta_{00}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2} \operatorname{aclh}(c)]^2\}\bigr\rangle}
	
\end{align}
	
</math>

Alternatively, the same solution can be presented in this way:
: <math>

\begin{align}

x = {} & \frac{ 5\,\vartheta _{00}(Q^5)^3 - \vartheta _{00}(Q^5)\,\vartheta _{00}(Q)^2}{4\,\vartheta _{10}(Q)\,\vartheta _{01}(Q)\,\vartheta _{00}(Q)} \times \frac{S(Q)^2 + R(Q^2)}{ S(Q)} \times \bigl[ R(Q^2)S(Q) + R(Q^2) + S(Q) - 1 \bigr] \\[4pt]

& \mathrm{with}\,\, Q = q\bigl\{\mathrm{ctlh}\bigl[ \tfrac{1}{2} \operatorname{aclh}(c)\bigr]^2\bigr\}

\end{align}

</math>

The mathematician [[Biography:Charles Hermite|Charles Hermite]] determined the value of the elliptic modulus k in relation to the coefficient of the absolute term of the Bring-Jerrard form. In his essay "Sur la résolution de l'Équation du cinquiéme degré Comptes rendus" he described the calculation method for the elliptic modulus in terms of the absolute term. The Italian version of his essay "Sulla risoluzione delle equazioni del quinto grado" contains exactly on page 258 the upper Bring-Jerrard equation formula, which can be solved directly with the functions based on the corresponding elliptic modulus. This corresponding elliptic modulus can be worked out by using the square of the Hyperbolic lemniscate cotangent. For the derivation of this, please see the Wikipedia article [[Lemniscate elliptic functions]]!

The elliptic nome of this corresponding modulus is represented here with the letter Q:

:<math> Q =q\bigl\{\mathrm{ctlh}\bigl[\tfrac{1}{2}\operatorname{aclh}(c)\bigr]^2\bigr\} = </math>

:<math> =q\bigl[\bigl(\sqrt{\sqrt{c^4 + 1} + 1} + c\bigr)\bigl(2c^2 + 2 + 2\sqrt{c^4 + 1} \,\bigr)^{-1/2}\bigr] </math>

The abbreviation ctlh expresses the ''Hyperbolic Lemniscate Cotangent'' and the abbreviation aclh represents the ''Hyperbolic Lemniscate Areacosine''!

=== Calculation examples ===

Two examples of this solution algorithm are now mentioned:

First calculation example:

:{|class = "wikitable"

|

Quintic Bring-Jerrard equation:

:<math>x^5 + 5\,x = 8</math>

Solution formula:

: <math>
	
\begin{align}
	
x = {} & \frac{S\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(2)]^2\}\bigr\rangle^2 - R\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(2)]^2\}^2\bigr\rangle}{S\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(2)]^2\}\bigr\rangle^2} \times \\[4pt]
	
& {} \times \frac{1 - R\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(2)]^2 \}^2 \bigr\rangle\,S\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(2)]^2\} \bigr\rangle}{R\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(2)]^2\}^2 \bigr\rangle^2} \times \\[4pt]
	
& {} \times \frac{\vartheta_{00}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(2)]^2\}^5 \bigr\rangle\,\vartheta_{00}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(2)]^2\}^{1/5} \bigr\rangle^2 - 5\,\vartheta_{00}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2} \operatorname{aclh}(2)]^2\}^5\bigr\rangle^3}{4\,\vartheta_{10}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2} \operatorname{aclh}(2)]^2\}\bigr\rangle\,\vartheta_{01}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2} \operatorname{aclh}(2)]^2\}\bigr\rangle\,\vartheta_{00}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2} \operatorname{aclh}(2)]^2\}\bigr\rangle}
	
\end{align}
	
</math>

Decimal places of the nome:

:<math> q\bigl\{\mathrm{ctlh}\bigl[\tfrac{1}{2}\operatorname{aclh}(2)\bigr]^2\bigr\} = q\bigl[\bigl(\sqrt{\sqrt{17} + 1} + 2\bigr)\bigl(10 + 2\sqrt{17}\bigr)^{-1/2}\bigr] = </math>

:<math> = 0{,} 3063466544466074265361088194021326272090461143559097382981847144\ldots </math>

Decimal places of the solution:

:<math> x = 1{,} 1670361837016430473110194319963961012975521104880199105205748723\ldots </math>

|}

Second calculation example:

:{|class = "wikitable"

|

Quintic Bring-Jerrard equation:

:<math>x^5 + 5\,x = 12</math>

Solution:

: <math>
	
\begin{align}
	
x = {} & \frac{S\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(3)]^2\}\bigr\rangle^2 - R\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(3)]^2\}^2\bigr\rangle}{S\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(3)]^2\}\bigr\rangle^2} \times \\[4pt]
	
& {} \times \frac{1 - R\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(3)]^2 \}^2 \bigr\rangle\,S\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(3)]^2\} \bigr\rangle}{R\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(3)]^2\}^2 \bigr\rangle^2} \times \\[4pt]
	
& {} \times \frac{\vartheta_{00}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(3)]^2\}^5 \bigr\rangle\,\vartheta_{00}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2}\operatorname{aclh}(3)]^2\}^{1/5} \bigr\rangle^2 - 5\,\vartheta_{00}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2} \operatorname{aclh}(3)]^2\}^5\bigr\rangle^3}{4\,\vartheta_{10}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2} \operatorname{aclh}(3)]^2\}\bigr\rangle\,\vartheta_{01}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2} \operatorname{aclh}(3)]^2\}\bigr\rangle\,\vartheta_{00}\bigl\langle q\{\operatorname{ctlh}[\tfrac{1}{2} \operatorname{aclh}(3)]^2\}\bigr\rangle}
	
\end{align}
	
</math>

Decimal places of the nome:

:<math> q\bigl\{\mathrm{ctlh}\bigl[\tfrac{1}{2}\operatorname{aclh}(3)\bigr]^2\bigr\} = q\bigl[\bigl(\sqrt{\sqrt{82} + 1} + 3\bigr)\bigl(20 + 2\sqrt{82}\bigr)^{-1/2}\bigr] = </math>

:<math> = 0{,} 3706649511520240756244325221775686571518680899597473957509743879\ldots </math>

Decimal places of the solution:

:<math> x = 1{,} 3840917958231463592477551262671354748859350601806764501691889116\ldots </math>

|}

== Applications in Physics ==

The Rogers–Ramanujan identities appeared in Baxter's solution of the [[Hard hexagon model|hard hexagon model]] in statistical mechanics.

The demodularized standard form of the Ramanujan's continued fraction unanchored from the modular form is as follows::
 
:<math> \frac{H(q)}{G(q)} = \left[ 1+\frac{q}{1+\frac{q^2}{1+\frac{q^3}{1+\cdots }}} \right]</math>

==Relations to affine Lie algebras and vertex operator algebras==

James Lepowsky and Robert Lee Wilson were the first to prove Rogers–Ramanujan identities using completely [[Representation theory|representation-theoretic]] techniques. They proved these identities using level 3 modules for the affine Lie algebra <math>\widehat{\mathfrak{sl}_2}</math>. In the course of this proof they invented and used what they called <math>Z</math>-algebras. 
Lepowsky and Wilson's approach is universal, in that it is able to treat all [[Affine Lie algebra|affine Lie algebra]]s at all levels.
It can be used to find (and prove) new partition identities. 
First such example is that of Capparelli's identities discovered by Stefano Capparelli using level 3 modules for 
the affine Lie algebra <math>A_2^{(2)}</math>.

==See also==

*[[Rogers polynomials]]
*[[Continuous q-Hermite polynomials]]

==References==
{{reflist}}

*{{Citation | last1=Rogers | first1=L. J. | last2=Ramanujan | first2=Srinivasa |  title=Proof of certain identities in combinatory analysis. | id=Reprinted as Paper 26 in Ramanujan's collected papers | year=1919 | journal=Cambr. Phil. Soc. Proc. | volume=19 | pages=211–216}}
*{{Citation | last1=Rogers | first1=L. J. | title=On the expansion of some infinite products | doi=10.1112/plms/s1-24.1.337  | jfm=25.0432.01 | year=1892 | journal=Proc. London Math. Soc. | volume=24 | issue=1 | pages=337–352 | url=https://zenodo.org/record/1433380 }}
*{{Citation | last1=Rogers | first1=L. J. | title=Second Memoir on the Expansion of certain Infinite Products  | doi=10.1112/plms/s1-25.1.318 | year=1893 | journal=Proc. London Math. Soc. | volume=25 | issue=1 | pages=318–343| url=https://zenodo.org/record/1447732 }}
*{{Citation | last1=Rogers | first1=L. J. | title=Third Memoir on the Expansion of certain Infinite Products  | doi=10.1112/plms/s1-26.1.15  | year=1894 | journal=Proc. London Math. Soc. | volume=26 | issue=1 | pages=15–32| url=https://zenodo.org/record/1447734 }}
*{{citation|first=Issai|last=Schur|title=Ein Beitrag zur additiven Zahlentheorie und zur Theorie der Kettenbrüche|year=1917|journal= Sitzungsberichte der Berliner Akademie|pages=302–321}}
* 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. {{isbn|0-521-83357-4}}.
* [[Biography:Bruce C. Berndt|Bruce C. Berndt]], Heng Huat Chan, Sen-Shan Huang, Soon-Yi Kang, Jaebum Sohn, Seung Hwan Son, ''[http://www.math.uiuc.edu/~berndt/articles/rrcf.pdf The Rogers-Ramanujan Continued Fraction]'', J. Comput. Appl. Math. '''105''' (1999), pp.&nbsp;9–24.
* Cilanne Boulet, [[Biography:Igor Pak|Igor Pak]], ''[https://core.ac.uk/download/pdf/81107188.pdf A Combinatorial Proof of the Rogers-Ramanujan and Schur Identities]'', Journal of Combinatorial Theory, Ser. A, vol. '''113''' (2006), 1019–1030.
*{{Citation | last1=Slater | first1=L. J. | title=Further identities of the Rogers-Ramanujan type | doi=10.1112/plms/s2-54.2.147  | mr=0049225 | year=1952 | journal=Proceedings of the London Mathematical Society|series=Series 2 | issn=0024-6115 | volume=54 | issue=2 | pages=147–167}}
* James Lepowsky and Robert L. Wilson, ''Construction of the affine Lie algebra <math>A^{(1)}_1</math>, 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 <math>A^{(1)}_1</math>, 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.

==External links==
*{{mathworld|urlname=Rogers-RamanujanIdentities|title=Rogers-Ramanujan Identities}}
*{{mathworld|urlname=Rogers-RamanujanContinuedFraction|title=Rogers-Ramanujan Continued Fraction}}

{{DEFAULTSORT:Rogers-Ramanujan identities}}
[[Category:Hypergeometric functions]]
[[Category:Mathematical identities]]
[[Category:Q-analogs]]
[[Category:Modular forms]]

{{Sourceattribution|Rogers–Ramanujan identities}}