Proof that the infinite series \(\sum_{n=1}^{n= \infty} \left( \frac Pn \right) \frac 1n\) has a positive non-zero value. (Q1509380)

Die Arbeit enthält einen bemerkenswerten direkten und von der Theorie der quadratischen Formen unabhängigen Beweis dafür, daß\ der Summenwert der unendlichen Reihe \(\sum_{n=1}^{\infty} \left( \frac Pn \right) \frac 1n\) (wo \(P\) eine nichtquadratische Zahl und \(\left( \frac Pn \right)\) das \textit{Jacobi}sche Symbol bedeutet) von Null verschieden ist; bekanntlich spielt dieser Satz bei \textit{Dirichlets} Beweise des Satzes von der arithmetischen Progression eine wichtige Rolle. Es muß\ jedoch bemerkt werden, daß\ Verf. nicht, wie er anzunehmen scheint, der erste ist, der jenen Nachweis direkt geführt hat; vielmehr gebührt \textit{Mertens} (vergl. F. d. M. 26, 222-223, 1895; 28, 176, 1897; 30, 191-192, 1899, JFM 26.0222.01, JFM 28.0176.01, JFM 28.0176.02, JFM 30.0191.01 und JFM 30.0192.01) die Priorität. Der Gedankengang des Verf. ist: Er zeigt zunächst, daß\ der Ausdruck \[ (1) \qquad \sum_{n=1}^m \left( \frac Pn \right) \left[ \frac mn \right] \] für alle hinreichend großen \(m\) größer als \(\sqrt m (\frac 12 \log m -a)\) ist, wo \(a\) eine endliche Konstante bezeichnet. (Tatsächlich ist ja (1) asymptotisch gleich \(cm\), wo \(c\) eine positive Konstante bezeichnet, wie aus der Theorie der quadratischen Formen bekannt ist; für den Beweis des Nichtverschwindens von \(\sum_{n=1}^m \left( \frac Pn \right) \frac 1n\) genügt es aber -- und dies elementar durchgeführt zu haben, ist das wesentliche Verdienst des Verf. -- nachzuweisen, daß\ der Quotient der Summe durch \(\sqrt m\) für \(m= \infty\) positiv unendlich wird). Andererseits läßt sich durch Zerlegung der Summe (1) in zwei durch \([\sqrt m]\) geschiedene Teile leicht zeigen, daß\ jener Ausdruck gleich \(m \cdot \sum_{n=1}^{\infty} \left( \frac Pn \right) \frac 1n + O(\sqrt m)\) ist; würde also \(\sum_{n=1}^{\infty} \left( \frac Pn \right) \frac 1n \leqq 0\) sein, so würde hierin ein Widerspruch gegen das Vorige liegen.