Contribution á la théorie des séries de Dirichlet. III. (Q2622969)

Mit \(0\leq \lambda _0 \leq \lambda _1 <\lambda _2<\cdots \), \(\lambda _n\to \infty \) und \(s=\sigma +it\) sei \[ f(s) = \sum \limits _{n=0}^\infty a_n e^{-\lambda _n s} \] eine \textit{Dirichlet}reihe, deren Konvergenz- bzw. Summabilitätsabszisse endlich sei. Es sei \[ I(\sigma,\omega ) =\frac 1{2\omega } \int \limits _{-\infty }^{+\infty } |f(\sigma +it|^2dt; \] \(c\) sei die Konvergenzabszisse von \(I(\sigma,\omega )\) für \(\omega \to \infty \). \(\sigma _0\) sei ferner Konvergenzabszisse von \[ \sum |a_\nu |^2e^{-2\lambda _\nu \sigma }. \] Dann ist, wie Verf. in der ersten unter dem gleichen Titel erschienenen Arbeit (1922; F. d. M. 48, 338 (JFM 48.0338.*)-339) gezeigt hat: \[ \sigma _0\leq \sigma. \] In der vorliegenden Arbeit wirft Verf. die Frage auf, unter welchen Bedingungen hier das Gleichheitszeichen gilt. Er gelangt unter Heranziehung der von \textit{Rademacher} (1922; F. d. M. 48, 485 (JFM 48.0485.*)-486) eigenführten Orthogonalfunktionen \(\varphi _\nu (u)\) und der Verallgemeinerung eines Satzes aus der eigenen zweiten Arbeit desselben Titels (Arkiv för Mat. 19 A, Nr. 25 (1926); F. d. M. 52) zu folgender Beantwortung dieser Frage: Wenn die \(\lambda _n\) der Bedingung \[ \lambda _{n+1}-\lambda _n>e^{\varepsilon \lambda _n} \] für beliebiges \(\varepsilon > 0\) bei passendem \(n=n(\varepsilon )\) genügen, so gilt für alle Reihen \[ \sum \limits _{\nu =0}^\infty \pm a_\nu e^{-\lambda _\nu s}\tag{\(^*\)} \] mit Ausnahme einer Menge vom Maße Null \[ \sigma = \sigma _0. \] Ferner zeigt der Verf. vermittels eines Satzes von \textit{Paley} und \textit{Zygmund} (On some series of functions I, II, III; Proceedings Cambridge 26 (1930); 337-357, 458-474; 28 (1932) 190-205; F. d. M. \(56_{\text I}\), 254; 58), daß die Reihen (\(^*)\) mit Ausnahme einer Menge vom Maße Null sehr schwach wachsen bei wachsendem Imaginärteil.