A generalization of Ikehara's theorem. (Q2591526)

Ein von \textit{Ikehara} (J. Math. Physics, Massachusetts, 10 (1931), 1-12; JFM 57.0212.*) stammender, von \textit{Bochner} (Math. Z. 37 (1933), 1-9; JFM 59.0252.*) mit vereinfachtem Beweis versehener Satz wird wie folgt verallgemeinert: \(s(y)\) sei meßbar und einseitig beschränkt, und für jedes positive \(\sigma\) existiere \[ S(\omega) = \int\limits_0^\infty e^{-\omega y}s(y)\,dy; \quad \omega =\sigma + it. \] Bei \(0 < \alpha \leqq 1\) und festem \(B > 0\) sei mit \(\mathfrak C_\alpha\) die Kurve \[ |t|=B\sigma^\alpha, \quad \sigma \geqq 0 \] bezeichnet, und die \(\sigma\)-Achse sei \(\mathfrak C_0\) genannt. \(S(\omega)\) sei für \(0 < \alpha \leqq 1\) absolut integrierbar auf \(\mathfrak C_\alpha\), und es gelte für Punkte innerhalb von \(\mathfrak C_\alpha\) \[ S(\omega)=\frac 1{2\pi i}\int\limits_{\mathfrak C_\alpha} \frac {S(z)\,dz}{z-\omega}. \] Bei \(\alpha = 0\) soll \(S(\omega)\) für \(\sigma= 0\) so definiert werden können, daß für jedes positive \(A\) und \(\omega\) innerhalb von \(\mathfrak C'\) \[ S(\omega) = \frac 1{2\pi i}\int\limits_{\mathfrak C'}\frac{S(z)\,dz}{z-\omega} \] ist, wo \(\mathfrak C'\) aus den drei Geradenstücken \(\{t= \pm A; \sigma \geqq 0\}\) und \(\{|t|\leqq A; \sigma= 0\}\) besteht. Dann gilt \[ \lim_{x\to \infty}x^{-\alpha}\int\limits_{x-Ax^\alpha}^{x+Ax^\alpha} s(y)\,dy= 0. \]