Über Dirichletsche Reihen mit komplexen Charakteren. (Q1450021): Difference between revisions

Verf. knüpft an an den von \textit{Gronwall} (1913; F. d. M. 44, 312 (JFM 44.0312.*)) bewiesenen Satz, daß für jede mittels eines nichtreellen Charakters (mod \(k\)), dessen Quadrat nicht der Hauptcharakter ist, gebildete \(L\)-Reihe der Bereich \[ \sigma \geqq 1 - \frac{1}{c\, \log k}, \quad |t| \leqq \frac{1}{c\, \log k} \tag{"I"} \] mit konstantem \(c > 1\) nullstellenfrei ist. \textit{Gronwall} benutzte a. a. O. hierzu die Fortsetzbarkeit und die Funktionalgleichung für die \(L\)-Reihen, sowie die Tatsache, daß sie das Geschlecht 1 haben. Verf. befreit den Beweis des \textit{Gronwall}schen Satzes von diesen Hilfsmitteln und gelangt darüber hinaus z. B. zu der Tatsache, daß auch der durch die Ungleichungen \[ \sigma \geqq 1 - \frac{1}{c\, \log k}, \quad |t| \leqq 1 \quad (c > 1) \tag{"II"} \] charakterisierte Bereich nullstellenfrei ist. Er benutzt dabei, an eine frühere Arbeit anknüpfend (1924; F. d. M. 50, 231 (JFM 50.0231.*)), neben einfachen Ungleichungen über \(L\)-Reihen folgenden allgemein-funktionentheoretischen Satz: ``Es sei \(r > 0\), \(f(s)\) für \(|s - s_0| \leqq r\) regulär, \(M > 0\), \[ \left|\frac{f(s)}{f(s_0)}\right| < e^M, \] \(f (s) \neq 0\) im Halbkreis \(|s - s_0| \leqq r\), \(\mathfrak R(s) > \mathfrak R(s_0)\). Dann ist \[ -\mathfrak R \frac{f^\prime}{f}(s_0) < \frac{4M}{r}. \] Gibt es eine Wurzel \(\varrho\) zwischen \(s_0 - \dfrac{r}{2}\) und \(s_0\), so ist \[ -\mathfrak R \frac{f^\prime}{f}(s_0) < \frac{4M}{r} - \frac{1}{s_0 - \varrho}." \] Im einzelnen ergibt sich folgendes: \(\varrho > \dfrac 45\) und \(\gamma \gtreqqless 0\) seien Real- und Imaginärteil einer allgemeinen Nullstelle der fraglichen, durch die \(L\)-Reihe dargestellten Funktion \(L(s)\); ferner sei gesetzt \[ \max (|\gamma|, k) = x. \] Dann ist \[ 1) \, \, 1 - \beta > \frac{1}{c\, \log x} \qquad \qquad 2) \, \, \frac{1}{|L(1)|} < c \, \log k \] (analog einer klassischen Ungleichung für \(|L(1)|\) selbst und in Verschärfung eines \textit{Gronwall}schen Ergebnisses, loc. cit.). Hierbei wird ein weiterer Satz der allgemeinen Funktionentheorie herangezogen. In einem Anhang untersucht Verf. ferner das Verhalten von \(\dfrac{1}{|L(1, \chi)|}\) für einen reellen, vom Hauptcharakter verschiedenen Charakter \(\chi\) mod \(k \geqq 3\). Er erhält zwar nicht, daß für ein solches \(L(s, \chi)\) der Bereich II, aber daß der durch die schärferen Bedingungen \[ \sigma \geqq 1 - \frac{1}{c\, \log k}, \quad 0 < |t| \leqq 1 \tag{"III"} \] gegebene Bereich nullstellenfrei ist, in Verschärfung eines \textit{Gronwall}schen Ergebnisses; Hieraus ergibt sich: ``Falls für alle unsere \(\chi\) oder gewisse von ihnen \[ L(s, \chi) \neq 0 \quad \text{ für } \quad 1 - \frac{1}{c\, \log k} \leqq s < 1 \] ist, so gilt \[ \frac{1}{|L(1, \chi)|} < c\, \log k \] für jene \(\chi\).'' Dies läßt eine Anwendung zu auf \textit{Hecke}sche Untersuchungen (vgl. Verf. 1918; F. d. M. 46, 258 (JFM 46.0258.*)-259, insbesondere S. 287-290 der dort besprochenen Arbeit) über die Zetafunktion eines imaginär-quadratischen Zahlkörpers der Grundzahl \(-k\) und seine Klassenanzahl. Die \(c\) sind positive Konstanten, und es ist wie üblich \(s = \sigma + it\) gesetzt.