On the divisor-problem in a class of residues. (Q1440541)

\textit{Ramanujan} vermutete (F. d. M. 45, 1250 (JFM 45.1250.*)): Für positives ganzes \(\alpha\) sei \[ \tau_s(\alpha)=\sum_{d/\alpha} d^s,\;d>0\;\text{und ganz}; \] \(\tau_s'(\alpha)\) sei die erste Ableitung von \(\tau_s(\alpha)\) nach \(s\); ferner sei \[ d(0)=0 \;\text{und}\;d(\alpha)=\tau_0(\alpha)\;\text{für positives ganzes}\;\alpha. \] Bezeichnet \(a_n(\alpha)\) den \(n\)-ten Koeffizienten in der Entwicklung von \[ \frac{\zeta(s)}{\zeta(1+s)}\tau_{-s}(\alpha) \;(s>1) \] in eine Dirichletsche Reihe, \(b_n(\alpha)\) den \(n\)-ten Koeffizienten in der Entwicklung von \[ -\frac{\zeta(s)}{\zeta(1+s)} \left\{ \frac{\zeta'(s)}{\zeta(s)} +\frac{\zeta'(1+s)}{\zeta(1+s)} +\frac{\tau_{-s}'(\alpha)}{\tau_{-s}(\alpha)} \right\} \tau_{-s}(\alpha) \;(s>1) \] in eine Dirichletsche Reihe und \(\gamma\) die Eulersche Konstante, dann gilt nach der Ramanujanschen Vermutung in der Gleichung \[ \sum_{\nu=1}^m d(n \nu+\alpha)-\{ a_n(\alpha)\cdot m \cdot (\log m+2\gamma1)+b_n(\alpha)\cdot m \}=R(m): \] \[ R(m)=O(m^{\frac 12}\log m). \] Für \(n=1\) und \(\alpha=0\) ist dies der bekannte \textit{Voronoï}sche Satz. Verf. beweist auf elementarem Wege die folgende in der Richtung dieser Vermutung liegende Abschätzung: \[ R(m)=O(m^{\frac 12}). \]