Generalisation of the Ikehara-Landau theorem. (Q2598848)

Verf. gibt die folgende Verallgemeinerung des Ikehara-Landauschen Satzes (\textit{E. Landau}, Nachr. Ges. Wiss. Göttingen, math.-phys. Kl. FGI 1932, 525-527; JFM 58.0318.*): \(A(x)\) sei eine nicht abnehmende Funktion, \[ \eta(s)=\int\limits_{1+0}^\infty x^{-s}dA(x) \] konvergiere für \(\Re (s) > 1\). \[ \xi(s)=\sum_{n=0}^\infty \frac{a_n}{n^s} \] sei für \(|s| > 1\) konvergent, und \[ h_s(t)=\frac{\eta(s)-\xi(s)}s \quad (s=1+\varepsilon+ti) \] konvergiere für \(\varepsilon \to 0\) im Intervall \(|t|\leqq \varLambda\) gleichmäßig gegen eine hinreichend oft differenzierbare Funktion \(h(t)\). Die Funktion \[ f(x)=e^{-x}\sum_{n=0}^\infty \frac{a_n}{n!}x^n \] besitze folgende Eigenschaften: 1) \(f(x) > 0\) für \(x \geqq 0\), 2) \(\max\limits_{y\geqq x} f(y) \leqq af(x)\), (\(a>0\)), 3) \(\dfrac{f(2x)}{f(x)} \geqq b> 0\). 4) \(\dfrac{f(x+\tau)}{f(x)} \to 1 \) für \(\tau \to 0\) gleichmäßig in bezug auf \(x\). Dann gilt \[ m(\varLambda) \leqq \varliminf_{x\to \infty} \frac{A(x)}{xf(\log x)}\leqq \varlimsup_{x\to \infty} \frac{A(x)}{xf(\log x)} \leqq M(\varLambda), \] wobei \(\lim\limits_{\varLambda \to \infty}=\lim\limits_{\varLambda \to \infty} M(\varLambda)=1\) ist.