A proof of a theorem on averages. (Q1829855): Difference between revisions

\textit{Hardy} und \textit{Littlewood} haben folgenden Satz bewiesen (Acta Math. 54 (1930), 81-116; F. d. M. \(56_{\text{I}}\), 81-116): Wenn \(k > 1\), wenn \(\varphi(\vartheta)\) eine Funktion der Periode \(2\pi\) ist, für die \(|\varphi(\vartheta) |^k\) in \(\langle 0, 2\pi\rangle\) integrierbar ist, und wenn \(f(\vartheta)\) die obere Grenze von \[ \frac{1}{2x} \int\limits_{\vartheta-x}^{\vartheta+x} |\varphi(t)|\, dt \] bezeichnet, dann gilt \[ \frac{1}{2\pi} \int_0^{2\pi} \{f(\vartheta)\}^k \, d\vartheta \leqq B_k \frac{1}{2\pi} \int_0^{2\pi} |\varphi(\vartheta)|^k \, d\vartheta, \] wobei die positive Zahl \(B_k\) nur von \(k\) abhängt. Verf. gibt einen neuen Beweis für dieses Resultat, der auf einer geistreichen Anwendung einer Methode beruht, die man \textit{Kolmogoroff} und \textit{Seliverstoff} (1924; F. d. M. 50, 206 (JFM 50.0206.*)) verdankt. Er erhält das folgende interessante Lemma für \textit{Poisson}sche Integrale: Bezeichnet \(g(\vartheta)\) die obere Grenze von \[ \frac{1}{2\pi} \int\limits_{-\pi}^{+\pi} P(r, \vartheta - t) \varphi(t) \, dt \quad \text{ für } \quad 0 \leqq r < 1, \] wobei \[ P(r, t) = \frac{1 - r^2}{1 - 2r \cos t + r^2} \] ist, dann gilt \[ A f(\vartheta) \leqq g(\vartheta) \leqq B f(\vartheta) \] mit positiven absoluten Konstanten \(A\) und \(B\). (IV 3 C.)