Sur un théorème de maximum de MM. Hardy et Littlewood. (Q565471)

Wenn \(f(x)\) eine für \(0<x\leqq a\) summierbare, nicht negative Funktion ist, so bezeichne \(f^{*}(x)\) die (nach der Festsetzung \(f^{*}(x)=f^{*}(x+0)\) eindeutig bestimmte) monoton abnehmende, zu \(f\) maßgleiche Funktion. Es sei ferner \[ A(x,\xi )=A(f;x,\xi )=\frac {1}{x-\xi }\int \limits _{\xi }^{x}f(x)dx \qquad (0\leqq \xi <x) \] und \(\varTheta (x)=\varTheta (f;x)\) die obene Granze aller \(A\) für festes \(f\) und \(x\) und variables \(\xi \). Verf. beweist die Ungleichung \[ \varTheta ^{*}(f;x)\leqq \varTheta (f^{*};x), \] woraus sofort die Ungleichung von \textit{Hardy-Littlewood} (1930; F. d. M. \(56_{\text{I}}\), 264) \[ \int \limits _0^a s\{ \varTheta (f;x)\} dx\leqq \int \limits _0^a s\{ \varTheta (f^{*};x)\} dx \] folgt, in welcher \(s(t)\) eine beliebige für \(t>0\) wachsende Funktion ist. Bei den bisher bekannten Beweisen dieser letzteren Ungleichung wurde ein Grenzübergang bei der entsprechenden Relation für endliche Summen vollzogen.