New proofs of the prime-number theorem and similar theorems. (Q1474438)

Die Ergebnisse einer früheren Note (Messenger 43, 134; F. d. M. d. Bd. 390) werden hier mit der \textit{Mellin}schen Formel \[ e^{-y} =\frac 1{2\pi i}\int_{\kappa- i\infty}^{\kappa+i\infty}\varGamma (s)y^{-s} ds \;(\kappa >0, \;{\mathfrak R}y>0) \] kombiniert und u. a. folgende wichtige Resultate abgeleitet: I. Es sei \(0 < \lambda_1 < \lambda_2 < \cdots < \lambda_n < \cdots, \lambda_n \to \infty \) und \(\varSigma a_n \lambda_n^{-s} =F (s)\) sei für \(\sigma > \sigma_0 > 0\) absolut konvergent. Die Funktion \(F (s)\) sei regulär für \(\sigma > c\) \((0 < c \leqq \sigma_0)\) und stetig in irgend einem endlichen Bereiche, für welchen \(\sigma \geqq c\) ist. Es sei endlich \[ F(s)=O( e^{C| t| }) \quad \left(C<\frac \pi{2}\right), \] und zwar gleichmäßig für \(\sigma \geqq c.\) Dann konvergiert für alle positiven \(y\) \[ f(y)=\varSigma a_n e^{-\lambda_ny} \] und es ist \[ \lim_{y=0}y^c f(y)=0. \] II. Es seien die Bedingungen des Theorems I. erfüllt und \(a_n\) genüge \textit{einer} der folgenden Bedingungen: \[ \begin{matrix}\l &\quad &\l \\ \text{a}) \;a_n \text{ ist reell und } &\quad & > - K\lambda_n^{c-1} (\lambda_n - \lambda_{n-1}),\\ \text{b}) \;a_n \text{ ist reell und } &\quad & < K\lambda_n^{c-1} (\lambda_n - \lambda_{n-1}),\\ \text{c}) \;a_n \text{ ist komplex und } &\quad & = O[ \lambda_n^{c- 1} (\lambda_n - \lambda_{n-1})],\end{matrix} \] dann ist \[ a_1+a_2+\cdots+a_n=o(\lambda_n^c). \] III. Es seien die Bedingungen des Theorems II. erfüllt, nur sei \(c = 0;\) die Funktion \(F(s)\) aber für \(s = 0\) regulär. Dann konvergiert die Reihe \[ \varSigma a_n= F (0). \] Aus II. folgt für \[ \lambda_n=n, \quad a_n=\mu(n), \quad c=1 \] die Gleichung \[ (*)\qquad \mu(1) + \mu(2) +\cdots+ \mu(n) = o(n). \] Aus III. folgt für \[ \lambda_n=n, \quad a_n=\frac {\mu(n)}{n}, \quad c=0 \] die Gleichung \[ (**)\qquad \varSigma\;\frac{\mu(n)}n=0. \] \(\mu (n)\) ist hier, wie gewöhnlich, das \textit{Möbius}sche Symbol. Sowohl (*), wie auch (**), sind mit dem Primzahlsatz äquivalent, der auf diese Weise neu bewiesen wurde.