On Dirichlet series which satisfy a certain functional equation. (Q2596236)

Es sei \[ \varphi(s) = \sum_{n=1}^\infty a_n n^{-s}, \quad \varPhi(s) = A^{-s}\varGamma^k \left(\frac s\lambda\right)\varphi(s), \] und für gewisse positive Zahlen \(A\), \(\lambda\), \(k\), von denen überdies \(k\) ganz ist, genüge \(\varphi(s)\) der Funktionalgleichung \[ \varPhi(s) = \varPhi(1 - s). \] Weiter sei \[ f_\mu(\gamma) = \sum_{n=1}^\infty a_ne^{-n^\mu\gamma} \] für \(\mu > 0\), \(\gamma > 0\) absolut konvergent, und es werde noch vorausgesetzt, daß \(\varphi(s)\) im Endlichen bis auf eine endliche Anzahl von Polen regulär ist und daß \[ \varphi(s) = O(|t|^P) \] gleichmäßig gilt für \(\sigma \geqq \frac 12\), \(|t| \to \infty\). Falls dann \(\varPhi_0(s)\) die rationale Funktion ist, die im Unendlichen verschwindet und für die \(\varPhi(s)-\varPhi_0(s)\) eine ganze Funktion ist, so gilt für alle \(s\): \[ \varPhi(s) = \varPhi_0(s) + \idotsint\limits_{N(x)\geqq 1} \left(N(x)^{\tfrac s\lambda} + N(x)^{\tfrac {1-s}\lambda}\right)f_\mu(A^\mu S(x))\frac{dx_1}{x_1} \ldots \frac{dx_k}{x_k} \] (wo \(S(x)\) die Summe und \(N (x)\) das Produkt der Variabeln darstellt). Dieser Satz (dessen Beweis sehr einfach ist) ergibt eine erhebliche Vereinfachung für den Beweis des \textit{Siegel}schen Satzes \[ \log L_d(1) = o(\log|d|) \] (indem man gewisse \textit{Hecke}sche Formeln nicht mehr zum Beweise heranzuziehen braucht). (III 6.)