Ricerche aritmetiche sui polinomi, II. (Intorno a una proposizione non vera di Legendre). (Q2620184)

Diese Arbeit schließt sich an eine vorhergehende Abhandlung desselben Verf. an (1933; F. d. M. \(59_{\text{I}}\), 214). Den Ausgangspunkt bildet jetzt die bekannte Vermutung \textit{Legendres}, welcher auf sie seinen Beweis des Satzes von der arithmetischen Progression stützte. \textit{Dirichlet} entdeckte als erster, daß der von \textit{Legendre} für seine Vermutung erbrachte Beweis unzulässig war, und bewies den Satz von der arithmetischen Progression auf anderem Wege. Nachdem nun schon früh an numerischen Beispielen die Richtigkeit der \textit{Legendres}chen Vermutung sogar widerlegt war, haben zuerst \textit{A. Brauer} und \textit{H. Zeitz} (1930; F. d. M. \(56_{\text{I}}\), 156) einen allgemeineren Gegenbeweis geführt. Ihre Resultate wurden verbessert durch \textit{E. Westzynthius} (1931; F. d. M. \(57_{\text{I}}\), 186), der folgendes bewies: (1) Für jedes \(\varepsilon \) und alle \(n\geq n_0(\varepsilon )\) genügt die Folge der ganzen Zahlen \(q_1^{(n)},q_2^{(n)},g_3^{(n)},\cdots \), die zum Produkt \(p_1\cdot p_2 \cdots p_n\) teilerfremd sind, den Beziehungen \[ (2 - \varepsilon )e^C \cdot \frac {\log \log p_n}{\log \log \log p_n} \cdot p_n < \text{Max}(q_{s+1}^{(n)} - q_s^{(n)}) < 2^n \prod _{i=1}^n \frac {p_i}{p_i - 1}, \] wo \(C\) die \textit{Eulers}cheKonstante bedeutet. \[ \overline \lim _{n \rightarrow \infty } \frac {(p_{n+1} - p_n)\log \log \log \log p_n}{\log p_n \cdot \log \log \log p_n} \geq 2. \tag{2} \] (3) Das dritte Resultat von \textit{Westzynthius}, daß sich für \(n \geq n_0(\varepsilon )\) in der Progression \(ax + b,(a,b) = 1,\) mindestens \[ (2 - \varepsilon )e^C \prod _{p^\prime }\frac {p' - 1}{p'} \cdot \frac {\log \log p_n}{\log \log \log p_n} \cdot p_n \] aufeinanderfolgende Zahlen angeben lassen, deren jede durch mindestens eine der Primzahlen \(p_1,p_2,\cdots,p_n\) teilbar ist, wird vom Verf. in einer falschen Form wiedergegeben. \(p'\) durchläufthier die Primfaktoren von \(a\). Unter Benutzung der Methoden von \textit{Brun} und \textit{Raqdemacher} (vgl. z. B. die oben erwähnte Arbeit des Verf.) sowie der von \textit{Westzynthius} gewinnt Verf. die folgenden Resultate. Ist \(F(x)\) ein ganzwertiges Polynom vom Grade \(g\) mit rationalen Koeffizienten, welches in \(f\) verschiedene irreduzible Faktoren zerfalle, so werde von der Folge der Zahlen \(F(1), F(2), F(3), \cdots \), die in ihrer Gesamtheit nur die \(1\) als gemeinsamen Teiler haben sollen, die Teilfolge derjenigen \(F(n_1^(\eta )), F(n_2^(\eta )), F(n_3^(\eta )), \cdots \) ins Auge gefaßt, deren Primfaktoren sämtlich größer als \(\eta \) sind. Dann gibt es zwei positive Zahlen \(\gamma \)und \(\eta _0\), so daß für alle \(\eta \geq \eta _0\) \[ \text{Max}\left \{n_{s+1}^{(\eta )} - n_s^{(\eta )}\right \} > \gamma \eta (\log \eta )^{f-1} (\log \log \eta )^{\frac {f}{g}} \] gilt. Setzt man \[ \alpha = \frac {5}{3}, \beta = 1,482, \delta (f) = \frac {2}{\beta ^{\frac {1}{f}} (\alpha ^{\frac {1}{f}} - 1)}, \] so gilt weiter \[ \text{Max}\left \{n_{s+1}^{(\eta )} - n_s^{(\eta )}\right \} = o (\eta ^{1+\delta (f)}) \text{ für} \;\eta \rightarrow \infty. \] Für irreduzibles \(F(x)\) gewinnen die beiden Ungleichungen die Formen \[ \text{Max}\left \{n_{s+1}^{(\eta )} - n_s^{(\eta )}\right \} > \gamma \eta (\log \log \eta )^{\frac {1}{g}}, \] \[ \text{Max}\left \{n_{s+1}^{(\eta )} - n_s^{(\eta )}\right \} = o(\eta ^{3,025}) \text{ für} \;\eta \rightarrow \infty. \] Setzt man \(F(x) = ax + b, (a,b) = 1, \) so ergibt sich \[ \text{Max}\left \{n_{s+1}^{(\eta )} - n_s^{(\eta )}\right \} > \gamma \cdot \eta \log \log \eta. \] Es lohnt sich, diese Ungleichung aus der Schreibweise der Zahlentheorie zurückzuübersetzen. Sie besagt: Für alle \(n \geq n_0\) lassen sich in der Progression \(ax + b,(a,b) = 1,\) mindestens \(\gamma \cdot p_n \log \log p_n\) aufeinanderfolgende Zahlen angeben, deren jede durch mindestens eine der Primzahlen \(p_1,p_2,\cdots,p_n\) teilbar ist. Dies bedeutet eine Verbesserung des Resultates (3) von \textit{Westzynthius}. In Verallgemeinerung und Verbesserung des Resultates (2) von \textit{Westzynthius} gewinnt Verf. eine Formel, die einen Einblick gestattet in dei Verteilung der Zahlen \(f(n)\), die sich nur aus Primzahlen \(p > n^\vartheta \) zusammensetzen. Für \(F(x) = x\) und \(\vartheta = \frac {1}{2}\) fallen die fraglichen Zahlen \(F(n)\) ersichtlich mit der Primzahlreihe zusammen, und es ergibt sich als Spezialfall die folgende Formel \[ \overline \lim _{n \rightarrow \infty } \frac {p_{n+1} - p_n}{\log p_n \cdot \log \log \log p_n} > 0. \]