On average values of arithmetical functions. (Q2586233)

Im folgenden bedeuten \(k\), \(n\), \(m\) natürliche Zahlen (\(k\geqq 2\)), \(p\) bedeutet Primzahlen, \(n(x)\) die Anzahl der \(p\leqq x\). Es sei \(q_k(n)=1\), wenn \(n\) durch kein \(p^k\) teilbar ist, sonst \(q_k(n)=0\); \(\lambda(n)=(-1)^\varrho\), wo \(\varrho\) die Anzahl aller Primfaktoren von \(n\) bedeutet (mehrfache mehrfach gezählt); \(v(n)\) sei die Anzahl der verschiedenen Primfaktoren von \(n\); \(\varLambda(n)=\log p\) für \(n=p^m\), sonst \(\lambda(n)=0\); es sei \(\mu(n)\) die Möbiussche, \(\varphi(n)\) die Eulersche Funktion, \(\sigma(n)\) die Teilersumme, \(d(n)\) die Teileranzahl von \(n\). Es sei \(\varepsilon>0\), \(c\) eine solche Zahl, daß \(\zeta(\frac 12+it)=O(t^c)\), \(\alpha=\dfrac{1+4c}{2+4c}+ \varepsilon\), \(\beta=\dfrac{1+8c}{2+8c}+\varepsilon\), \(\gamma= \dfrac k{3k-1}\) \(\Bigl(\)es darf z. B. \(c=\dfrac{19}{116}\) gesetzt werden\(\Bigr)\). Es handelt sich um die Abschätzung von \(S(x,h)=\sum\limits_{x<n\leqq x+h}a_n\), wo \(a_n\) eine von den folgenden zahlentheoretischen Funktionen bedeutet: (1) \(\varLambda(n)\), \(\mu(n)\), \(\lambda(n)\), \(n^{-1}\lambda(n)\varphi(n)\), \(n^{-1}\lambda(n)\sigma(n)\), \(\lambda(n)2^{\nu(n)}\), \(\lambda(n)d(n)\), \(q_k(n)\). Es wird bewiesen: Wird \(\varGamma=1\) für \(a_n=\varLambda(n)\), \(\varGamma=(\zeta(k))^{-1}\) für \(a_n=a_k(n)\), \(\varGamma=0\) in den übrigen sechs Fällen gesetzt, so ist in den ersten fünf Fällen von (1) \(S(x,x^\alpha)=\varGamma x^\alpha+ o(x^\alpha)\), in den beiden folgenden Fällen \(S(x,x^\beta) =o(x^\beta)\) und im letzten Fall \(S(x,x^\gamma\log^3 x)=\varGamma x^\nu \log^3x+o(x^\gamma \log^3x)\). Folgerung: \(n(x+x^\alpha)-\pi(x)\sim x^\alpha\log^{-1}x\). Wegen der früheren Ergebnisse und der benutzten Hilfsmittel (es werden auch neuere Sätze über die Lage der Nullstellen von \(\zeta(s)\) benutzt) vgl. \textit{Hoheisel} (S.-B. Preuß. Akad. Wiss., phys.-math. Kl. 1930, 580-588; JFM 56.0172.*), \textit{Heilbronn} (Math. Z. 36 (1933), 394-423; JFM 59.0947.*). \textit{Ingham} (Quart. J. Math. (Oxford Ser.) 8 (1937), 255-266; JFM 63.0903.*). \textit{Tschudakoff} (C. R. Acad. Sci. URSS 1936\(_{\text{I}}\), 201-204; JFM 62.0344.*), \textit{Titchmarsh} (Quart. J. Math. (Oxford Ser.) 9 (1938), 97-108; JFM 64.0283.*). -- Der Faktor \(\sigma(1\sigma)^{-2}\) im \(O\)-Glied von (19) soll richtig \((\sigma-1)^{-1}\) heißen, was aber weiter nicht stört.