On the asymptotic density of the sum of two sequences one of which forms a basis for the integers. II. (Q2595870)

Als asymptotische Dichte einer Folge wachsender natürlicher Zahlen \(a_1\), \(a_2\), \dots, für die allgemein \(f(n)\) die Anzahl der \(i\) mit \(a_i\leqq n\) ist, werde die Zahl \(\varliminf\limits_{n\to \infty} \dfrac{f(n)}n\) bezeichnet. Gezeigt wird zunächst: Es sei \(\delta\) die asymptotische Dichte der Folge \(a_1\), \(a_2\), \dots. Es sei \(l\) eine natürliche Zahl. Die Folge wachsender natürlicher Zahlen \(A_1\), \(A_2\), \dots habe die Eigenschaft, daß sich für jedes \(\varepsilon > 0\) jede große ganze Zahl \(m\) als Summe von höchstens \(l\) Summanden der Gestalt \(\pm A_i\) darstellen läßt, wo jedoch im Falle des Minuszeichens stets \(A_i < \varepsilon m\) ist. Dann beträgt die asymptotische Dichte der aus den Zahlen \(a_i\) und \(a_i+A_j\) bestehenden Folge mindestens \(\delta + \dfrac{\delta(1-\delta)}{2l}\). Mit Hilfe dieses Satzes wird dann bewiesen, daß jede große ganze Zahl die Summe zweier Primzahlen nebst einer beschränkten Anzahl von Primzahlquadraten ist. Wesentlich dafür ist der Nachweis, daß die Primzahlquadrate die Eigenschaft der obigen \(A_i\) haben, übrigens sogar mit \(m^{\tfrac{49}{50}}\) statt \(\varepsilon m\), sowie der (nur angedeutete) Nachweis, daß die Folge der Zahlen \(p + q^2\) (\(p\), \(q\) Primzahlen) positive asymptotische Dichte hat. Unabhängig von diesen Sätzen wird schließlich noch gezeigt: Hat die Folge wachsender ganzer Zahlen \(a_1=1\), \(a_2\), \(a_3\), \dots die asymptotische Dichte \(\delta \leqq \frac 12\), so beträgt die asymptotische Dichte der aus den Zahlen \(a_i\) und \(a_i + a_j\) bestehenden Folge mindestens \(\frac 32\delta\).