Beweis einer Vermutung über die asymptotische Dichte und Verschärfung einer Abschätzung für die Dichte der Summe zweier Zahlenmengen. (Q2579877)

Für eine Menge \(\mathfrak M\) von nichtnegativen ganzen Zahlen sei \(M (n)\) die Anzahl aller positiven Zahlen von \(\mathfrak M\), die \(\leqq n\) sind. Es werde die Dichte \(\mu = \varDelta (\mathfrak M )\), bzw. die untere asymptotische Dichte \(\underline{\mu}^* = \underline{\varDelta}^* (\mathfrak M )\), bzw. die obere asymptotische Dichte \(\overline{\mu}^* = \overline{\varDelta}^* (\mathfrak M )\) definiert als \(\underline{\text{fin}} \dfrac {M(n)}n\), bzw. \(\varliminf \dfrac {M(n)}n\), bzw. \(\varlimsup \dfrac {M(n)}n\) (\(n = 1, 2,\dots \)). Verf. beweist für die Dichte \(\gamma = \varDelta (\mathfrak A + \mathfrak B)\) der Summe \(\mathfrak C\) zweier Mengen \(\mathfrak A\) und \(\mathfrak B\) von nichtnegativen ganzen Zahlen (d. h. es ist \(\mathfrak C\) die Menge aller Summen \(a + b\), wo \(a\) zu \(\mathfrak A\) und \(b\) zu \(\mathfrak B\) gehört) die Ungleichung \[ \gamma \geqq \frac j{j+1} \sigma \qquad (\sigma > 1). \] Hier ist \[ \sigma = \underline{\text{fin}} \frac {A(n) + B(n)}n, \quad \left(n=0, 1, 2, \dots; \quad \frac {A(0)+ B(0)}0 = 1 \right) \] wo \(A(n)\) und \(B(n)\) für \(\mathfrak A\) und \(\mathfrak B\) definiert sind, wie oben \(M (n)\) für \(\mathfrak M\), and es ist \(j \) die kleinste positive ganze Zahl, für die \(A(n) + B(n) - n\) den Wert \(-1\). hat. Für die untere asymptotische Dichte \(\underline{\gamma}^*\) von \(\mathfrak A + \mathfrak B\) gilt analog \(\underline{\gamma}^* \geqq \dfrac {j}{j+1}\underline{\sigma}^*\), wo \(\underline{\sigma}^* = \varliminf \dfrac {A(n) + B(n)}n\) (\(n = 0, 1, 2,\dots \)) ist. Es ist \(\sigma \geqq \, \text{Min} \, (1, \varDelta (\mathfrak A) + \varDelta (\mathfrak B))\) und \(\underline{\sigma}^* \geqq \underline{\varDelta}^* (\mathfrak A) + \underline{\varDelta}^* (\mathfrak B)\). Falls \(\mathfrak A\) und \(\mathfrak B\) beide die Zahl 1 enthalten, ist \(j \geqq 3\), und deshalb ist dann \[ \underline{\gamma}^* \geqq \frac j{j+1} \underline{\sigma}^* \geqq \frac 34 \underline{\sigma}^* \geqq \frac 34 (\underline\varDelta^* (\mathfrak A) + \underline\varDelta^* (\mathfrak B)) \] (Verallgemeinerung eines Resultats von \textit{Erdös}, Acad. Sci. URSS, Fil. Géorgienne, Trav. Inst. math. Tbilissi 3 (1938), 217-223; F. d. M. \(64_{\text{I}}\), 135). Verf. gibt weiter noch eine entsprechende Ungleichung für die oberen asymtotischen Dichten und zeigt, daß die erhaltenen Ungleichungen in einem gewissen Sinne nicht verschärft werden können.