On the mean values of power series. (Q1450523)

Es sei \[ f(z)= \sum _{n=0}^\infty a_ne^{2\pi i\alpha _n}z^n\tag{1} \] (\(a_n\geqq 0\), \(0\leqq \alpha _n\leqq 1\)) eine im Einheitskreise konvergente Potenzreihe; es werden die Mittelwerte \[ M_\lambda (\varrho,f)=\Biggl\{ \frac {1}{2\pi }\int _0^{2\pi } |f(\varrho e^{i\theta })|^\lambda \,d\vartheta \Biggr\} ^\dfrac {1}{\lambda }, \quad 0<\lambda <\infty, \] betrachtet. Bekanntlich ist \(M_\lambda \) eine wachsende, logarithmisch konvexe Funktion von \(\lambda \). Es wird nun die Frage aufgeworfen, wie \(M_\lambda \) bei gegebenen \(a_n\) durch die Wahl der \(\alpha _n\) beeinflußt werden kann. Es ergibt sich: Ist \(M_2(\varrho,f)\) (das ja von den \(\alpha \) unabhängig ist) in \(\varrho \) beschränkt, so lassen sich die \(\alpha _n\) so wählen, daß dasselbe von allen \(M_\lambda \) gilt (wobei die Schranke außer von der für \(M_2\) noch von \(\lambda \) abhängt), während das Wachstum hinsichtlich \(\varrho \) durch \(M_2(\varrho )\) in angebbarer Weise nach unten beschränkt wird. -- Ist dagegen \(M_2(\varrho )\) nicht beschränkt, so lassen sich die \(\alpha \) so wählen, daß kein \(M_\lambda (\varrho )\) in \(\varrho \) beschränkt ist, und für \(\lambda \leqq 2\) läßt sich wieder das Wachstum von \(M_\lambda (\varrho )\) in bestimmter Weise durch das von \(M_2(\varrho )\) nach unten einengen. Neben der oben genannten, das Wachstum von \(M_\lambda \) betreffenden Tatsache ist von entscheidender Bedeutung ein in umgekehrter Richtung weisender Hilfssatz : Bedeutet \(f_N\) den \(N\)-ten Abschnitt von (1), so ist \(M_{2k}^{2k}(\varrho,f_N)\) (\(k\) positiv ganz) eine Funktion \(J_k(\alpha _0,\ldots,\alpha _n)\) in dem \((N + 1)\)-dimensionalen Einheitswürfel, die für \(k=1\) konstant ist. Für ihr Integral über dieses Gebiet findet man: \[ I(J_k)\leqq k^kI(J_1^k). \] Außer den beiden genannten Ergebnissen wird mit den in der vorliegenden Arbeit entwickelten Hilfsmitteln noch ein Satz aus einer früheren Arbeit des Verf. neu bewiesen (1925; F. d.M. 51, 247-248): Ist das Wachstum von \(M_2(\varrho,f)\) durch eine gewisse Vergleichsfunktion eingeengt, so wird die Existenz einer Folge \(\alpha _n\) behauptet, für die \(\text{Max\,}|f(\varrho e^{i\theta }|\) durch eine gewisse andere angegebene Vergleichsfunktion beschränkt ist. In einer nachträglichen Bemerkung wird aus dem zweiten Ergebnis ein schönes und wichtiges Resultat zur Theorie dor \textit{Fourier}reihen gewonnen: Der \textit{Riesz-Fischer}sche Satz läßt sich nicht verschärfen, d.h. wenn \(\sum r_n^2\cos (nx -\alpha _n)\) für jede Folge von reellen \(\alpha _n\) eine \textit{Fourier}reihe ist, so ist \(\sum r_n^2\) konvergent. (IV 3 D.)