Über das Koeffizientendarstellungsproblem Dirichletscher Reihen. (Q2580697)

Verf. konstruiert eine Dirichletsche Reihe \(f(s) = \sum a_nn^{-s}\) mit der Konvergenzabszisse 0, zu der eine Ordinatenfolge \(t_1 < t_2 <\cdots \to\infty\) derart existiert, daß es zu jedem Wertepaar \(0 < \sigma_1 < \sigma_2 < 1\) eine positive Konstante \(c\) und ein \(N\) gibt, so daß für jedes \(\nu> N\) auf der ganzen Strecke \(\sigma_1\leqq \sigma \leqq \sigma_2, t= t_\nu\), der Betrag von \(f (\sigma + it_\nu)\) als größer \(ct_\nu^{1-\sigma}\) ist, während das Argument in einem festen Winkelraum kleiner als \(\pi\) gelegen ist. Daraus folgt dann, daß der Betrag des ersten der drei Integrale \[ \int\limits_{\sigma_1+it_\nu}^{\sigma_2+it_\nu}\dfrac{f(s)}{s^\varrho}ds, \int\limits_{\sigma_1}^{\sigma_1+i\infty}\dfrac{f(s)}{s^\varrho}ds, \int\limits_{\sigma_2}^{\sigma_2+i\infty}\dfrac{f(s)}{s^\varrho}ds, \] wobei \(0<\varrho <1, 0<\sigma_1<\sigma_2<1-\varrho\) ist, mit \(\nu\) über alle Grenzen wächst, so daß von den letzten beiden Integralen mindestens eines nicht existiert. Daher ist auch das Integral \[ \int\limits_{\alpha-i\infty}^{\alpha+i\infty}\dfrac{f(s)}{s^\varrho}ds= \int\limits_{\alpha-i\infty}^{\alpha+i\infty}\sum \dfrac{a_n}{n^s}\dfrac{1}{s^\varrho}ds \] mindestens für einen der Werte \(\alpha = \sigma_1\) oder \(\alpha = \sigma_2\) nicht vorhanden, kann also nicht gleich der durch gliedweise Integration der Summe entstehenden (abbrechenden und daher konvergenten) Reihe sein. Damit ist die 1908 von Perron gestellte Frage, ob die gliedweise Integration, die (nach Perron) für \(\varrho\geqq 1\) stets erlaubt ist, auch für \(0 < \varrho < 1\) allgemein zulässig ist, endgültig mit nein beantwortet.