On the asymptotic density of the sum of two sequences. (Q2580498)

Es mögen \(\mathfrak A\), \(\mathfrak B\) Mengen nichtnegativer ganzer Zahlen bedeuten, \(\mathfrak C=\mathfrak A+\mathfrak B\) ihre Summe, \(A(n)\), \(B(n)\), \(C(n)\) die Anzahlen ihrer positiven Elemente \(\leqq n\), ferner \(\alpha\), \(\beta\), \(\gamma\) die Dichten von \(\mathfrak A\), \(\mathfrak B\) und \(\mathfrak C\), \(\alpha^*\), \(\beta^*\), \(\gamma^*\) ihre asymptotischen Dichten und \(\beta_B\) die Besicovitch-Dichte: \(\beta_B=\underline{\text{f{i}n}}\, \dfrac{B(n)}{n+1}\), \(n = 1, 2, \ldots\). Dann gilt nach Besicovitch \(\gamma\geqq\alpha+\beta_B\), wenn \(0\in\mathfrak B\) und \(1\in\mathfrak A\) ist. Verf. modifiziert \(\beta_B\) zu \(\beta_1=\underline{\text{f{i}n}}\, \dfrac{B(n)}{n+1}\), \(n = k + 1, k + 2,\ldots\), wobei \(\{1, 2,\ldots, k\}\subseteqq\mathfrak B\) ist, und zeigt unter wörtlicher Übertragung des Besicovitchschen Beweises: \(\gamma\geqq\alpha+\beta_1\) unter denselben Voraussetzungen. Dieses Resultat wird zum Beweis des folgenden Satzes mitverwendet: \textit{Wenn} \(\{0,1\}\subseteqq\mathfrak B\), \(\alpha^*+\beta^*\leqq 1\), \(\beta^*\leqq\alpha^*\) (nach Ansicht des Ref. wird von Verf. nur \(\dfrac{\beta^*}2<\alpha^*\) benutzt) \textit{ist, so gilt stets} \(\gamma^* \geqq\alpha^*+\dfrac12\beta^*\), was von Verf. in einer früheren Arbeit nur für den Spezialfall \(\mathfrak A=\mathfrak B\) bewiesen worden war. Zum Beweis wird gezeigt, daß schon eine der beiden Mengen \(\{\ldots, a_i, a_{i+1},\ldots\}\), oder \(\{\ldots, a_i+b_k,\ldots\}\), \(a_i\neq 0\), \(b_k\neq 0\) eine asymptotische Dichte \(\geqq\alpha^*+\frac12\beta^*\) besitzt. Vgl. hierzu eine demnächst im J. reine angew. Math. von Ref. erscheinende Arbeit ``Zur Theorie der Dichten''.