A general prime number theorem (Q2648022)

Für eine monotone Folge reeller Zahlen \(1 <y_1 < y_2 < \cdots\) bilde man sämtliche Produkte \[ x = y_{n_1}y_{n_2}\cdots y_{n_k}\qquad( n_1\le n_2\ldots\le n_k), \tag{1} \] und es werden diese Produkte ihrer Größe nach geordnet: \(1\le x_1\le x_2 \le \ldots\), wobei jedes \(x\) ebenso oft hingeschrieben wird, als es durch Produkte (1) dargestellt werden kann. Es werden dann die \(y_n\) die Primzahlen der Folge \(x_n\) genannt. Es sei \(N(x)\) die Anzahl der \(x_n\le x\); \(\pi(x)\) die Anzahl der \(y_n\le x\) und \(\zeta(s) = 1 + x_1^{-s} + x_2^{-s} + \ldots\), wo \(s = \sigma + it\). Verf. beweist, daß die folgenden drei Behauptungen äquivalent sind: A. Es gibt ein \(a > 0\), derart daß für jedes \(n >0\) gilt: \[ N(x) = ax + O\left\{\frac{x}{(\log x)^n}\right\},\quad\text{falls}\quad x\to\infty. \] B. Zu jedem \(\varepsilon >0\) und jedem ganzen \(n\ge 0\) gibt es eine Konstante \(A\) derart, daß \[ \left\vert \zeta^{(n)}(s)\right\vert < A\,\vert t\vert^\varepsilon, \quad \left\vert\frac1{\zeta(s)}\right\vert < A\,\vert t\vert^\varepsilon \] ist, gleichmäßig für \(\sigma > 1\), \(\vert t\vert\ge \varepsilon\). C. Für jedes positive \(n\) ist \[ \pi(x) = \operatorname{Li}(x) + O\left\{\frac{x}{(\log x)^n}\right\},\quad\text{falls}\quad x\to\infty. \]