On a problem in additive arithmetic. II.
Zugrunde gelegt werden zahlentheoretische Funktionen \(\alpha (n)\) von folgender Beschaffenheit: Sind \(r\) und \(s\) teilerfremde natürliche Zahlen, so ist \(\alpha (r)\alpha (s) = \alpha (rs)\); es ist \(\alpha (1)=1\), und für jedes \(\varepsilon > 0\) ist \(\alpha (n) = O(n^\varepsilon )\), für Primzahlen \(p\) zugleich \(\alpha (p) = 1 + O(p^{-\frac 12+\varepsilon })\). Es seien \(\alpha _1(n),\ldots, \alpha _\nu (n)\;(\nu \geqq 2)\) solche Funktionen. Dann wird bewiesen, daß die über alle additiven Zerlegungen \(n = n_1 + \cdots + n_\nu \) von \(v\) in \(\nu \) natürliche Zahlen erstreckte Summe \[ \sum \alpha _1(n_1)\cdots \alpha _\nu (n_\nu ) \] für jedes \(\varepsilon > 0\) bei wachsendem \(n\) durch \[ Bn^{\nu -1}\alpha ^{(\nu )}(n) + O(n^{\nu -\frac {4}{3}+\varepsilon }) \] dargestellt werden kann, wo \(B\) eine von \(n\) unabhängige, durch die Funktionen \(\alpha _1,\ldots,\alpha _\nu \) gegebene Zahl, \(\alpha ^{(\nu )}\) eine durch diese Funktionen gegebene Funktion, und zwar ebenfalls von den obigen Eigenschaften ist. Zur Erleichterung eines Schlusses von \(\nu \) auf \(\nu +1\) wird sofort die allgemeinere Summe \(\sum n_1^{h_1}\alpha _1(n_1)\cdots n_\nu ^{h_\nu }\alpha _\nu (n_\nu )\) betrachtet, wo die \(h_i\) nichtnegative ganze Zahlen sind. Für diese Summe ergibt sich eine ähnliche, noch von den \(h_i\) abhängige Darstellung. Im Falle \(\nu =2\) erlaubt das Verfahren auch die Behandlung des ``konjugierten Ausdrucks, in dem nicht die Summe, sondern die Differenz von \(n_1\) und \(n_2\), konstant ist; das Ergebnis kann mit einer natürlichen Zahl \(k\) in der Gestalt \[ \sum _{n\leqq x}\alpha _1(n)\alpha _2(n+k) = Bx\alpha ^{(2)}(k)+O(x^{\frac {2}{3}+\varepsilon }) \] geschrieben werden, wo \(B\) eine von \(k\) und \(x\) unabhängige, durch die Funktionen \(\alpha _1\) und \(\alpha _2\) gegebene Zahl ist und \(\alpha ^{(2)}\) dieselbe Funktion wie oben \(\alpha ^{(\nu )}\) für \(\nu =2\) ist. Auch diese Darstellung wird sofort mittels zweier nichtnegativen ganzen Zahlen \(h_1, h_2\) in einer ähnlich wie oben verallgemeinerten Fassung bewiesen. - Ein verwandtes Verfahren führt im Falle \(\nu =1\) auf eine Identität für die ``erzeugende Funktion, die Reihe \(f(x) = \sum \limits _{n=1}^\infty \alpha (n)x^n\;(|x|<1)\).-Die Anwendungen des Falles \(\nu \geqq 2\) gehören der Zahlentheorie an; für die \(\alpha _i(n)\) können z. B. Funktionen, die die Primfaktorzerlegung von \(n\) beschreiben, sowie mit der \textit{Euler}schen \(\varphi \)-Funktion zusammenhängende Funktionen gewählt werden, für \(s \leqq -\frac {1}{2}\) auch die Summe der \(s\)-ten Potenzen der positiven Teiler von \(n\).
This page was built for publication: On a problem in additive arithmetic. II.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q563647)
