Quelques relations fonctionnelles entre les séries de Dirichlet générales. (Q1829945)

Die \textit{Dirichlet}sche Reihe \(\sum a_ne^{-\lambda_{n^s}}\) heißt \((\lambda, k)\)-summierbar nach dem Wert \(\varphi (s)\), wenn \[ \lim_{w\to\infty} \sum\limits_{\lambda_n< w} \left( 1 \dfrac{\lambda_n}{w}\right)^k a_ne^{-\lambda_{n^s}} = \varphi (s) \] ist. Dabei ist \(k\geqq 0\); speziell die \((\lambda, 0)\)-Summierbarkeit bedeutet Konvergenz. Außerdem wird noch die \((\lambda, - 1)\)-Summierbarkeit als absolute Konvergenz definiert. Zu jedem \(k\) gibt es eine \((\lambda, k)\)-Summierbarkeitsabszisse \(\sigma_k\). Nun wird der Satz bewiesen, daß für \[ x > \text{Max}(0, \sigma_k), \quad s>k+2, \] die Formel gilt: \[ \sum\limits_n e^{-nx} \sum\limits_{\lambda_m<n} (n-\lambda_m)^{s-1}a_m = \dfrac{\varGamma (s)}{(2\pi )^s}e^{-\frac{\pi^{i_s}}{2}} \sum\limits_{n=-\infty}^\infty \dfrac{\varphi (x+2n\pi i)}{\left( n - \dfrac{xi}{2\pi }\right)^s}, \] wobei rechts die Potenzen komplexer Zahlen als Hauptwerte gemeint sind. Ist \(\sigma_k < 0\) und zugleich \[ \varphi (0)=0, \quad \varphi^{(\varkappa )}(0)=0, \;\text{ für } \varkappa = 1,2,\ldots, [k]+2, \] so gilt die Formel auch noch für \[ x=0, \;k+2<s<[k]+3 \] mit der Modifikation, daß die sinnlos werdende Summe auf der rechten Seite durch \[ \sum\limits_{n=1}^\infty \dfrac{\varphi (2n\pi i)}{n^s} + e^{\pi is}\sum\limits_{n=1}^\infty \dfrac{\varphi (-2n\pi i)}{n^s} \] zu ersetzen ist. Durch geeignete Spezialisierung kann hieraus die Funktionalgleichung für die \textit{Riemann}sche Zetafunktion gewonnen werden.