On a conjecture of Ramanujan. (Q5923202)

\textit{Ramanujan} vermutete (Proc. Cambridge phil. Soc. 19 (1919), 207-210; F. d. M. 47, 885 (JFM 47.0885.*)): \(p (n)\) bedeute die Anzahl der Partitionen der positiven Zahl \(n\), \(\delta\) sei von der Form \(5^{a_1}7^{a_2}11^{a_3}\,(a_i\geqq0)\); ist \(\lambda\) eine Lösung von \(24\lambda\equiv1\pmod \delta\), so ist \(p(\lambda)\equiv0\pmod \delta\). Bekanntlich zeigte \textit{S. Chowla} (J. London math. Soc. 9 (1934), 247; F. d. M. \(60_{\text{I}}\), 137) an einem Beispiel, daß die Vermutung für \(\delta=7^3\) nicht richtig ist. Verf. untersucht die folgenden beiden Kongruenzen \[ \begin{gathered} p(599)\equiv 0\pmod {5^4},\tag{1}\\ p (721)\equiv 0\pmod {11^3},\tag{2}\\ \end{gathered} \] welche gültig sein müssen, wenn die \textit{Ramanujan}sche Vermutung für \(\delta=5^4\) und \(\delta=11^3\) richtig ist. Er berechnet die Werte von \(p (599)\) bzw. \(p (721)\) mit Hilfe einer asymptoti\-schen Formel von \textit{Hardy} und \textit{Ramanujan} (Proc. London math. Soc. (2) 17 (1917), 75-115; F. d. M. 46, 198 (JFM 46.0198.*)-201): Es ist nämlich \[ p (n)={\sum\limits_{q=1}^{n}}A_q (n)\varPhi_q (n) + O (n^{-\frac14}), \tag{3} \] wo \[ \varPhi_q(n) =\frac{\sqrt{12q}}{24n-1}\left(\dfrac{1}{q}-\frac1\mu\right) e^{\tfrac \mu q},\quad \mu=\frac\pi6\sqrt{24n-1} \] und \[ A_1 (n) = 1,\;A_2 (n) = (- 1)^n,\;A_3 (n) = 2 \cos\pi\frac{12n-1}{18}, \] allgemein für ungerades \(q\) \[ A_q(n)={\sum\limits_{(p)}}2\cos\left[\left\{24np+6q \left(\dfrac{-p}{q}\right)-9q+3q^2+(q^2-1)(2p+(p^2-1)p')\right\}\frac\pi{12q}\right], \] für gerades \(q\) \[ A_q(n)={\sum\limits_{(p)}}2\cos\left[\left\{24np+6q \left(\dfrac{-p}{q}\right)-p(q+1)(q+2)+(q^2-1)(p^2-1)p'\right\}\frac\pi{12q}\right], \] wo \(p\) alle zu \(q\) teilerfremden Zahlen unterhalb \(\dfrac q2\) durchläuft, \(p'p\equiv-1\pmod q\) ist und \(\left(\dfrac{a}{b}\right)\) das Symbol von \textit{Legendre} und \textit{Jacobi} bedeutet. Verf. berechnet für \(n = 599\;18\), für \(n = 721\;21\) Glieder der Summe aus (3) und erhält so einen Näherungswert für \(p (599)\) und \(p (721)\). Die diesen Näherungswerten nächstliegenden ganzen Zahlen erweisen sich in der Tat als durch \(5^4\) bzw. \(11^3\) teilbar; mit Rücksicht darauf, daß die \textit{Ramanujan}sche Vermutung für \(5^3\) und \(11^2\) bewiesen ist, besagt dies, daß (1) und (2) erfüllt sind, wenn nur die Näherungswerte um weniger als 125 bzw. weniger als 121 von den wahren Werten abweichen. -- Bei dieser Gelegenheit gibt Verf. eine Tafel aller \(A_q(n)\) für \(q\leqq20\) und alle \(n\); auch werden einige Irrtümer in den Tafeln von \textit{Hardy} und \textit{Ramanujan} (a. a. O., S. 112-113) richtig gestellt.