On the density of the abundant numbers. (Q2616912)

Verf. gibt einen elementaren Beweis für den in den beiden vorstehend besprochenen Arbeiten mit Hilfe analytischer Mittel bewiesenen Satz: Ist \(A(n)\) die Anzahl der abundanten Zahlen \(\le n\), so existiert \[ \lim _{n\rightarrow \infty }\frac {A(n)}{n}, \tag{1} \] d. h. die abundanten Zahlen besitzen eine bestimmte Dichte. Der Beweisgang kann folgendermaßen skizziert werden. Seien \(a_1<a_2<\cdots \) die primitiven abundanten Zahlen (d. h. die abundanten Zahlen, welche keinen echten abundanten Teiler besitzen), dann ist jede abundante Zahl Multiplum einer primitiven abundanten Zahl, d. h. \(A(n)\) kann beschrieben werden als die Anzahl derjenigen Zahlen \(\le n\), welche durch mindestens ein \(a_\nu \) teilbar sind. Nun ist leicht zu sehen: Ist \(a_1<a_2<\cdots \) irgendeine Folge positiver ganzer Zahlen, \(A(n)\) wie eben definiert, und ist \(\sum \frac 1{a_\nu }\) konvergent, so existiert (1). Es ist also nur zu zeigen, daß die Summe der reziproken primitiven abundanten Zahlen konvergiert; versteht man unter \(B(n)\) die Anzahl der primitiven abundanten Zahlen \(\le n\), so genügt es offenbar zu zeigen, daß \[ B(n) = o\left (\frac {n}{\log ^2n}\right ), \tag{2} \] denn hieraus folgt unmittelbar die Konvergenz von \(\sum \frac {1}{a_\nu }\). Man betrachte nun die \(a_\nu \le n\). Es genügt, diejenigen \(a_{\nu '}\le n\) zu betrachten, welche die folgenden Bedingungen erfüllen: 1) Aus \(p^\alpha |a_{\nu '}\), \(\alpha >1\) folgt \(p^\alpha <(\log n)^{10}\), 2) die Anzahl der verschiedenen Primfaktoren von \(a_{\nu '}\), ist kleiner als \(10\log \log n\), 3) der größte Primfaktor von \(a_{\nu '}\) ist größer als \(n^{\frac 1{20\log \log n}}\). Die Anzahl derjenigen Zahlen \(\le n\) nämlich, welche diesen Bedingungen nicht genügen, ist \(o(\frac {n}{\log ^2n})\). Hieraus folgt unmittelbar, indem man davon \(a_{\nu '}\) die größte Primzahl \(p_{\nu '}\) abspaltet: \(a_{\nu '}=p_{\nu '}\alpha _{\nu '}\), und berücksichtigt, daß \(\alpha _{\nu '}\) als echter Teiler von \(a_{\nu '}\) definiert ist, daß 4) \(2\le \frac {\sigma (a_{\nu '})}{a_{\nu '}}<1+\frac {2}{\frac {1}{n^{20\log \log n}}}\) falls \(n\) hinreichend groß gewählt wurde. Ferner folgt, durch eine ähnliche Ausnützung der primitiven Abundsatz von \(a_{\nu '}\), daß 5) \(a_{\nu '}\) mindestens einen Primteiler \(q_{\nu '}\) enthält, der \(>(\log n)^{10}\) und \(<n^{\frac {1}{40\log \log n}}\) ist, wenn \(n\) hinreichend groß gewählt wurde, und \(q_{\nu '}\) tritt nur in ersten Potenz auf. Verf. betrachtet nun die Zahlen \(\frac {a_{\nu '}}{q_{\nu '}}=\beta _{\nu '}\) und zeigt, daß alle \(\beta _{\nu '}\) verschieden ausfallen müssen (wäre nämlich \(\beta _{\nu '}=\beta _{\mu '}\), so wäre \(\frac {\sigma (\beta _{\nu '})}{\beta _{\nu '}} =\frac {\sigma (\beta _{\mu '})}{\beta _{\mu '}}\), was mit Hilfe von 4) und 5) zu einem Widerspruch führen würde). Da die \(\beta _{\nu '}\) nach 4) alle \(\le \frac {n}{(\log n)^{10}}\) sind, ist daher ihre Anzahl und damit die Anzahl der \(a_{\nu '}\le \frac {n}{(\log n)^{10}}\), womit (2) bewiesen ist. Verf. bemerkt noch, daß man durch schärfere Ausnutzung der Schlußweise ein wesentlich besseres Resultat als (2) erhalten kann, nämlich \[ \frac {n}{e^{c_1(\log n\log \log n)^{\frac 12}}}\le B(n)\leqq \frac {n}{e^{c_2(\log n\log \log n)^{\frac 12}}} \] (\(c_1,c_2\) absolute positive Konstanten), wie er in einer demnächst erscheinenden Arbeit zeigen wird.