A statement by Ramanujan. (Q563667)

Es sei \(\sigma _s(m)\) die Summe der \(s\)-ten Potenzen aller positiven Teiler von \(m\), und \(\sigma _s'(m)\) die Ableitung von \(\sigma _s(m)\) nach \(s\). Für \(m \neq 0\) sei \(d(m) = \sigma _0(m)\) (Anzahl der positiven Teiler von \(m\)) und \(d(0) = 0\). Seien \(\alpha _c(\nu )\) und \(\beta _c(\nu )\) definiert durch \[ \sum ^\infty _{\nu =1}\frac {\alpha _c(\nu )}{\nu ^s} = \frac {\zeta (s)\sigma _{-s}(c)}{\zeta (1+s)}\qquad (s>1) \] und \[ \sum ^\infty _{\nu =1}\frac {\beta _c(\nu )}{\nu ^s} = -\frac {\zeta (s)\sigma _{-s}(c)}{\zeta (1+s)}\left ( \frac {\zeta '(s)}{\zeta (s)}+\frac {\zeta '(1+s)}{\zeta (1+s)}+\frac {\sigma _{-s}'(c)}{\sigma _{-s}(c)}\right ) \qquad (s>1). \] Verf. beweist (\(\gamma \) bedeute die \textit{Euler}sche Konstante): \[ \sum _{m=1}^\infty d(mv+c) = \alpha _c(v)n(\log n+ 2\gamma -1) +\beta _c(v)n+O(n^{\frac 13}\log n). \] Die Richtigkeit dieser Formel war schon von \textit{Ramanujan} behauptet worden. Mit dem weniger scharfen Restglied \(O(\sqrt n)\) wurde sie von \textit{Estermann} elementar bewiesen (1928; F. d. M. 54, 205 (JFM 54.0205.*)). Die Verschärfung des Restgliedes zu \[ O(n^\frac 1s\log n) \] gelingt mit bekannten Sätzen von \textit{van der Corput} in derselben Weise wie beim sogenannten ``Teilerproblem'' (d. h. im Falle \(v=1, \alpha _c(v)=1, \beta _c(v)=0\)).