On a theorem of Bochner and Hardy. (Q1445214)

Beweis des folgenden, von \textit{S. Bochner} und \textit{G. H. Hardy} [``Notes on two theorems of Norbert Wiener'', Journal L. M. S. l, 240--244 (1926; JFM 52.0285.01)] herrührenden Satzes: Wenn \( \frac {1}{T} \int _0^T |f(t)|\,dt\) beschränkt ist und wenn \[ \lim _{T \to \infty }\frac {1}{T}\int _0^Tf(t)\,dt=A\tag{1} \] existiert, so ist auch \[ \lim _{\varepsilon \to 0} \frac {2}{\pi \varepsilon }\int _0^\infty f(t') \frac {\sin ^2\varepsilon t}{t^2}\,dt=A.\tag{2} \] Zu diesem Satz beweist Verf. ferner eine Umkehrung: Aus \(f(t)\geqq 0\) und aus (2) folgt (1). Die Arbeit stützt sich auf folgende zwei Hilfssätze: I. Wenn \(\frac {1}{T}\int _0^T|f(t)|\,dt<B\) ist für alle \(T\), dann ist für alle \(C > 0\) und für alle \(D>C\): \[ \int _C^D\frac {|f(t)|}{t^2}\,dt\leqq \frac {3B}{C}. \] II. Wenn \( \int _0^\infty \frac {|f(t)|}{t^2}\,dt\) existiert und wenn (2) gilt, so ist \[ \lim _{x \to 1-0} (1-x)\int _0^\infty f(t)x^t\,dt=A. \]