An application of Schläfli's modular equation to a conjecture of Ramanujan. (Q2595835)

Setzt man für \(|x| < 1\) \[ \prod_{\nu=1}^\infty \frac 1{1-x^\nu}=1 + xp(1) + x^2p(2) + \cdots, \tag{1} \] so bestätigt Verf. die folgenden von \textit{S. Ramanujan} vermuteten Kongruenzen: \[ p(1224)\equiv 0 \pmod {5^4}, \;p(2474)\equiv 0 \pmod {5^5}, \;p(2052) \equiv 0 \pmod {11^3}, \;p(14031) \equiv 0 \pmod {11^4}. \] Dabei wird die Ausrechnung von Zahlen wie \(p(14031) > 9 \cdot 10^{31}\) wesentlich abgekürzt durch arithmetische Gesichtspunkte aus dem Bereich der elliptischen Modulfunktionen. Zur Bestimmung von \(p(n)\) in (1) gebraucht man nämlich die Größe \(e^{\pi \sqrt{24n-1}}\), deren Wert andererseits durch gewisse algebraische Zahlen angenähert wird, welche als Klasseninvarianten binär quadratischer Formen bestimmbar sind. In den transszendenten Teil des Beweises geht übrigens \textit{Rademacher}s Verschärfung (Proc. Lond. math. Soc. (2) 43 (1937), 241-254; JFM 63.0140.*) des \textit{Hardy}schen Reihenansatzes für \(p(n)\) ein.