Über Dirichletreihen mit Funktionalgleichung und ihre Nullstellen auf der Mittelgeraden. (Q2602381)

Es sei \[ \varphi(s)=\sum_{n=1}^\infty a_n n^{-s} \] eine Funktion von der Signatur \(\{\lambda, k, \gamma\}\) (\(\lambda > 0\), \(k > 0\), \(\gamma=\pm 1\)) (vgl. das vorletzte Referat). In den bisherigen Untersuchungen über diese \(\varphi(s)\) spielt die Gerade \(\mathfrak R(s) = \dfrac k2\) die Rolle der Mittelgeraden \(\mathfrak R(s)=\dfrac12\) des kritischen Streifens der \textit{Riemann}schen \(\zeta\)-Funktion. Hier stellt Verf. die Frage: Liegen auf der Geraden \(\mathfrak R(s) = \dfrac k2\) unendlich viele Nullstellen von \(\varphi(s)\)? Er beweist: Ist \(\varphi(s)\) eine \textit{Dirichlet}reihe von der Signatur \(\{\lambda, k, \gamma\}\) mit reellen Koeffizienten, \(f(\tau)\) die zugehörige automorphe Form, gilt ferner \[ f(e^{i\varepsilon})=O(\varepsilon^{-\beta})\qquad \text{für}\quad \varepsilon\to+0 \] mit einem positiven \(\beta<\dfrac{k+1}2\), so hat \(\varphi(s)\) auf der Geraden \(\mathfrak R(s) =\dfrac k2\) unendlich viele Nullstellen. (Ein analoger Satz gilt über Paare von \textit{Dirichlet}reihen mit konjugiert komplexen Koeffizienten, die ähnlich wie \(L(s,\chi)\) und \(L(1 - s, \overline{\chi})\) durch die Funktionalgleichung vertauscht werden.) Hieraus ergibt sich für ``reelle'' \textit{Dirichlet}reihen der Signatur \(\{\lambda, k, \gamma\}\) mit \(0 <\lambda < 2\), welche überdies bei \(s=k\) regulär sind, die Existenz von unendlich vielen Nullstellen auf \(\mathfrak R(s) =\dfrac k2\). Dagegen haben diese \(\varphi(s)\) mit \(\lambda=1\), wenn sie bei \(s=k\) einen Pol besitzen, sicher nicht unendlich viele Nullstellen auf der Mittelgeraden. Diejenigen \(\varphi(s)\), für die \(f^*(\tau)=f(\lambda\tau)\) eine automorphe Form zu einer Untergruppe \(\mathfrak U\) von endlichem Index der Modulgruppe ist, haben, wenn \(f^* (\tau)\) in allen Spitzen von \(\mathfrak U\) verschwindet, unendlich viele Nullstellen auf den Mittelgeraden. Ist \(\lambda\) eine reell-quadratische Irrationalität, so ist für das Bestehen dieser Aussage die Voraussetzung, daß \(f^* (\tau)\) in allen Spitzen von \(\mathfrak U\) verschwindet, entbehrlich. Ist dagegen \(\lambda\) rational, so gilt der Satz, sobald \(f^* (\tau)\) in der einen Spitze \(\dfrac1\lambda\) verschwindet; er gilt sogar stets, falls \(k<1\). Für \(\lambda = 2\) wird die Existenz von unendlich vielen Nullstellen auf den Mittelgeraden nachgewiesen, falls \(\dfrac k4\) nicht ganz, wenn \(\gamma = +1\), und falls \(\dfrac k2\) nicht ganz, wenn \(\gamma = -1\). Diese Bedingungen sind, wie an Beispielen gezeigt wird, nicht entbehrlich. Neben einem allgemeinen Verfahren zur Gewinnung von \textit{Dirichlet}reihen, für die Aussagen über die Existenz von unendlich vielen Nullstellen auf der Mittelgeraden mit den dargestellten Methoden erhältlich sind, werden zahlreiche interessante Beispiele angeführt: (1) \(\varphi(s)\) mit \(f(\tau) = \varDelta(\tau) = e^{2\pi i\tau} \prod\limits_{n=1}^\infty (1 - e^{2\pi i n \tau})^{24}\). (2) \(L(2s - 1, \chi)\) (\textit{Dirichlet}sche \(L\)-Reihe, \(\chi\) ein eigentlicher ungerader Restcharakter). (3) Alle \(\zeta\)-Funktionen in imaginär-quadratischen Zahlkörpern mit echten Größencharakteren. (4) Die (nicht speziellen) \textit{Dirichlet}reihen zu \(f(\tau) = \varDelta(\tau)^{\frac k{12}}\). (5) Gewisse Reihen, die beim Übergang von der Signatur \(\{1, k, \gamma\}\) zu \(\{q, k, \gamma\}\) durch Aufspalten der Summen nach einem ganzen rationalen Modul \(q\) entstehen. (6) Jede \(\zeta\)-Funktion eines reell-quadratischen Zahlkörpers mit Klassencharakteren nach einem Idealmodul, wenn der \(\varGamma\)-Bestandteil in der Funktionalgleichung \(\varGamma\left(\dfrac s2\right)\varGamma\left(\dfrac{s+1}2\right)\) ist. (7) \(L(2s, \chi)\) (\(\chi\) ein gerader eigentlicher Charakter). (8) \(\zeta\)-Funktionen in einem imaginär-quadratischen Zahlkörper von der Diskriminante -- \(D\), mit eigentlichen Klassencharakteren nach einem Idealmodul \(\mathfrak q\) von der Norm \(N(\mathfrak q)\), wenn \(D\cdot N (\mathfrak q)\) kein Quadrat ist, und Linearkombinationen solcher Reihen. (9) \(\qquad \varphi(s)\) mit \(f(\tau)=\dfrac1{4k}\vartheta_{00}^{2k}(\tau) \qquad \left(\vartheta_{00}(\tau)=\sum\limits_{m=-\infty}^{+\infty} e^{\pi i m^2\tau}\right)\).