A Tauberian gap theorem of Hardy and Littlewood. (Q2609255)

Sei \(\lambda_{n+1}\ge\vartheta\lambda_n\), \(\vartheta>1\) und \[ f(x)=\sum_{\nu=0}^{\infty} u_\nu e^{-\lambda_\nu x} \] konvergent für \(x > 0\). Aus \(f(x)\to s\), \(x\to 0\) folgt dann \[ \sum_{\nu=0}^{\infty}u_\nu=s. \] Dieser Satz, welcher von Littlewood 1913 vermutet wurde, ist von \textit{G. H. Hardy} und \textit{J. E. Littlewood} [Proc. Lond. Math. Soc. (2) 25, 219--236 (1926; JFM 52.0220.02)] bewiesen worden. Verf. gibt einen neuen Beweis für diesen Satz, indem er ihn unmittelbar aus dem folgenden für konvergente Reihen gültigen Satz ableitet: Sei \(\lambda_{n+1}\ge \vartheta\lambda_n\), \(\vartheta>1\), \(\sum_{\nu=0}^{\infty}a_\nu\) konvergent und \[ F(x)=\sum_{\nu=0}^{\infty} a_\nu e^{-\lambda_\nu x}. \] Dann existiert immer eine Folge meßbarer Funktionen \(g_n(x)\) mit folgenden Eigenschaften: \[ \begin{gathered} \sum_{\nu=0}^{\infty} a_\nu =\int_{0}^{\infty} F(x)g_n(x)\,dx,\\ \int_{0}^{\infty} g_n(x)\, dx=1,\quad \int_{0}^{\infty} |g_n(x)|\, dx < \text{const}, \\ \lim_{n\to\infty}\int_{\varepsilon}^{\infty} |g_n(x)|\,dx = 0\quad \text{für jedes } \varepsilon > 0. \end{gathered} \]