On the integers having exactly \(k\) prime factors (Q2647638)

Es sei \(\pi_k (n)\) die Anzahl der ganzen Zahlen \(a^{(k)}\leq n\), welche genau \(k\) Primfaktoren haben (mehrfache Faktoren nur einfach gezählt), sonst nennen wir die Anzahl \((\pi_k'\)). Dann wird folgendes wichtige Resultat bewiesen (das das frühere Ergebnis von Pillai und dem Verf. enthält): Ist \(x = [\log\log n]\) und \(x-cx^{1\over 2} < k < x + cx^{1\over 2}\), so ist \[ \pi_k(n) = (1+o(1)) {n \over \log n} {x^{k-1} \over (k-1)!}.\tag{1} \] Dies gilt auch für \(\pi_k'\). Daraus folgt \[ \pi_k (n) = n(1+o(1))\sqrt {2\pi x},\tag{2} \] ein Resultat von Hardy bereits vermutet. Weiter gilt für die Anzahl der quadratfreien \(a^{(k)}\) ebenfalls (1) noch mit \(6/\pi^2\) multipliziert. Mit Hilfe von (2) und einem Resultat von Behrend wird folgender Satz hergeleitet: Ist \(a_1 < a_2 < \ldots < a_n \leq n\) eine Folge von ganzen Zahlen, so beschaffen, daß keine die andere teilt, so ist \[ \varlimsup \sum {1\over a_i} {\sqrt x \over \log n} = {1 \over \sqrt {2\pi}}, \] (vgl. Verf. [J. Lond. Math. Soc. 10, 126--128 (1935; Zbl 0012.05202)]). Zum Schluß bestimmt der Verf. für großes \(n\) jenes \(l_0\), für welches \(A_l = \sum 1/a^{(l)}\) maximal ist \((a^{(l)} \leq n\)). Es ist dies für \(J\) oder \(J-1\) der Fall, wo \(J=[\log \log n + C] (-1 < C < 0)\). Weiter ist \(A_i\) für \(l < l_0\) monoton abnehmend, für \(l > l_0\) monoton zunehmend.