Über einige Sätze von Hardy und Littlewood. (Q1829708)

Zum Problemenkreis dieser Arbeit vgl. das Referat über die Arbeit des Verf: ``Verallgemeinerung und Beweis einiger Sätze Tauberscher Art'' [Sitzungsberichte München 1929, 325--340 (1929; JFM 55.0732.01)]. Der dortige Satz I war eine leichte Folge aus dem dortigen Satz II. Dieser wiederum läßt sich leicht aus dem folgenden Satz herleiten: III. Es sei \(f(t)\ge 0\), es existiere für \(x > 0\) das Integral \[ h(x) = \int_0^{\infty} \frac{f(t)\, dt}{(t+x)^{\varrho}}, \] und es sei für \(x \to +\infty\) \[ h(x) \sim \frac{H}{x^{\sigma}}, \;(0<\sigma\le\varrho, \;H>0). \] Dann ist für \(x \to +\infty\) \[ F(x) = \int_0^x f(t)\, dt \sim \frac{H\cdot \varGamma(\varrho)}{\varGamma(\sigma)\cdot \varGamma(\varrho-\sigma+1)} \cdot x^{\varrho-\sigma}. \] Nachdem Karamata in der vorstehend besprochenen Arbeit für den Fall \(\lambda_n=n\), \(\alpha=1\) des Satzes I einen überraschend einfachen Beweis gegeben hatte, gelingt es hier, auch für den allgemeinen Satz III einen ähnlich einfachen Beweis zu geben. Benutzt wird u. a. der Approximationssatz aus der früher besprochenen Arbeit des Verf. [Math. Ann. 104, 155--160 (1930; JFM 56.0235.01)]. Der Satz III wird dann noch verallgemeinert, indem statt der Potenzen \(x^{\sigma}\) allgemeinere Vergleichsfunktionen und statt der monotonen \(F(x)\) auch nicht monotone in Betracht gezogen werden.