In mathematics, the Rogers–Ramanujan identities are two identities related to basic hypergeometric series, first discovered and proved by Leonard James Rogers (1894). They were subsequently rediscovered (without a proof) by 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 (Rogers & Ramanujan 1919). Issai Schur (1917) independently rediscovered and proved the identities.
Contents
Definition
The Rogers–Ramanujan identities are
and
Here,
Integer Partitions
Consider the following:
The Rogers–Ramanujan identities could be now interpreted in the following way. Let
- The number of partitions of
n such that the adjacent parts differ by at least 2 is the same as the number of partitions ofn such that each part is congruent to either 1 or 4 modulo 5. - The number of partitions of
n 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 ofn such that each part is congruent to either 2 or 3 modulo 5.
Alternatively,
- The number of partitions of
n such that withk parts the smallest part is at leastk is the same as the number of partitions ofn such that each part is congruent to either 1 or 4 modulo 5. - The number of partitions of
n such that withk parts the smallest part is at leastk + 1 is the same as the number of partitions ofn such that each part is congruent to either 2 or 3 modulo 5.
Modular functions
If q = e2πiτ, then q−1/60G(q) and q11/60H(q) are modular functions of τ.
Applications
The Rogers–Ramanujan identities appeared in Baxter's solution of the hard hexagon model in statistical mechanics.
Ramanujan's continued fraction is
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-theoretic techniques. They proved these identities using level 3 modules for the affine Lie algebra