On some partition functions. (Q2579886)

Es seien \(p\) und \(q\) zwei verschiedene Primzahlen mit der Eigenschaft, daß \((p - 1) (q -1)\equiv 0\) (mod 24) ist, und es sei \(24\mu = (p - 1)(q - 1)\). Verf. beweist mit einer Methode von \textit{Rademacher} (Amer. J. Math. 60 (1938), 501-512; F. d. M. \(64_{\text{I}}\), 122) eine Formel für die Anzahl am der Zerlegungen einer natürlichen Zahl \(m > \mu\), in Summanden, die weder durch \(p\) noch durch \(q\) teilbar sind. Diese Formel enthält die Zahlen \(a_1, a_2, \dots, a_{\mu - 1}\). Sie lautet: \[ a_m = 2\pi \sum_{k=1}^N \sum_{n=0}^{\mu - 1} a_n B_{k,n} (m) L_{k, n}(m) + O \left( m^{\tfrac 13}N^{-\tfrac 13 + \varepsilon} e^{\tfrac {2\pi m}{N^2}}\right). \tag{1} \] Hier ist \(N\) eine beliebige natürliche Zahl. Es ist \(B_{k,n}(m)\) nur dann \(\not=0\), wenn 1) \(k\equiv 0\) (mod \(pq\)) oder 2) \((k, pq) = 1\) ist. In diesen beiden Fällen ist \(B_{k,n}(m)\) die Kloostermansche Summe \[ B_{k,n}(m)= \underset{h \text{ mod } k}{\sum\nolimits^\prime} e^{-\tfrac {2\pi i}{k} [h(m-\mu ) - h_1^\prime (n-\mu )]}, \] wo \(h\) die zu \(k\) teilerfremden Zahlen eines vollständigen Restsystems mod \(k\) durchläuft und \(h_1^\prime\) in den beiden Fällen 1) und 2) folgendermaßen definiert wird: 1) \(h_1^\prime = h^\prime\), wo \(hh^\prime \equiv -1\) (mod \(k\)); 2) \(h_1^\prime = \dfrac {h^\prime}{pq}\), wo \(hh^\prime \equiv -1 \) mod (\(k\)), \(h^\prime \equiv 0\) (mod \(pq\)). Weiter ist \[ L_{k,n} (m) = \frac 1{k_1} \sqrt{\dfrac {\mu -n}{m - \mu}} I_1 \left( \frac {4\pi}{k_1} \sqrt{(\mu -n)(m - \mu)} \right), \] wo \(I_1\) eine Besselsche Funktion ist und \(k_1\) in den beiden Fällen 1) bzw. 2) durch \(k_1 = k\) bzw. \(k_1 = k \sqrt{pq}\) bestimmt wird. Für \(N \to \infty\) erhält man aus (1) eine unendliche Reihe für \(a_m\).