Some remarks on the unifor convergence of Dirichlet series (Q1461909)

Verf. hat in einer früheren Arbeit die gleichmäßige Konvergenzabszisse \(\sigma_C\) der Dirichletschen Reihe \[ f(s) = \sum_1^\infty a_ne^{-\lambda_ns},\quad s = \sigma + it,\quad 0\leqq \lambda_1<\lambda_2<\lambda_3<\ldots,\quad \lambda_n\to\infty \] eingeführt; dieselbe genügt den Ungleichungen \(\sigma_B\leqq\sigma_C\leqq\sigma_A\), wo \(\sigma_B\) die Konvergenzabszisse und \(\sigma_A\) die absolute Konvergenzabszisse ist; \(\sigma_C\) ist untere Grenze der Abszissen \(\sigma_0\), wo die Reihe in der Halbebene \(\sigma > \sigma_0\) gleichmäßig konvergiert. Ist \(\sigma_ A < \infty\), so weiß man, daß für große Werte von \(\sigma\) die ersten Glieder der Reihe den Rest überwiegen, d. h. setzen wir \[ f (s) = \sum_1^N a_ne^{-\lambda_ns} + e^{-\lambda_Ns} R(s), \] dann ist \(| R(s) | < \varepsilon\), wenn \(\sigma>\sigma_1 =\sigma_1(\varepsilon, N)\). Es wird nun hier bewiesen, daß die Annahme \(\sigma_A < \infty\) durch die Annahme \(\sigma_C< \infty\) ersetzt werden darf; man könnte meinen, daß diese Tatsache eine unmittelbare Folge der Formel \[ R(s) = e^{\lambda_Ns} \sum_{N+1}^\infty a_n e^{-\lambda_ns}= \sum_{N+1}^\infty a_ne^{-(\lambda_n-\lambda_N)s} \] sei, wo \(\lambda_n-\lambda_N >0\) und die letzte Reihe eine gleichmäßige Konvergenzhalbebene besitzt; geht man zur Grenze \(\sigma\to\infty\) über, so konvergiert jedes Glied gegen 0, also \(R(s) \to 0\). Der Faktor \(e^{\lambda_Ns}\), womit die gleichmäßig konvergente \(\sum\limits_{N+1}^\infty a_ne^{-\lambda_ns}\) multipliziert ist, ist aber in der Halbebene \(\sigma > \sigma_C + \varepsilon\) nicht beschränkt, und deswegen darf man nicht schließen, daß die Reihe für \(R(s)\) in dieser Halbebene gleichmäßig konvergiret. Hier tritt aber ein anderer Satz von Bohr in Kraft, der aussagt, daß, wenn die Reihe \(f (s)\) auf einer ganzen Geraden \(\sigma = \sigma_0\) gleichmäßig konvergiert, sie in der Halbebene \(\sigma>\sigma_0\) gleichmäßig konvergent ist. Denn die Reihe \(\sum\limits_{N+1}^\infty a_ne^{-\lambda_ns}\) ist auf der Geraden \(\sigma =\sigma_0 = \sigma_C+\varepsilon\) gleichmäßig konvergent, und auf dieser Geraden ist der Faktor \(e^{\lambda_Ns}\) beschränkt. Die Reihe \(R(s)\) ist also in der Halbebene \(\sigma >\sigma_0 + \varepsilon\) gleichmäßig konvergent.