Sur une inégalité de M. Littlewood dans la théorie des fonctions. (Q1455050)

Sei \(f(z)\) regulär für \(|z|<1\), und es sei \[ M_\lambda(\varrho,f) = \left(\frac{1}{2\pi}\int_0^{2\pi}|f(\varrho e^{i\varphi})|^\lambda\,d\varphi \right)^\frac{1}{\lambda},\quad \lambda>0,\;0<\varrho<1; \] ferner sei \(w(z)\) regulär für \(|z|<1\), \(|w(z)|\le |z|\) und \[ f^*(z)=f(w(z)),\;|z|<1. \] Dann beweist \textit{Littlewood} \[ M_\lambda(\rho, f^*)\le M_\lambda(\rho, f); \tag{L} \] für \(\lambda\to\infty\) wird \(M_\infty(\rho, f)= \operatorname{Max}_{|z|=\rho} |f(z)| = M(\rho,f)\), und (L) reduziert sich auf das Lindelöfsche Prinzip. Riesz leitet die Ungleichung (L) aus einem Majorantenprinzip harmonischer Funktionen ab [Acta Litt. Sci. Univ. Hung. 1, 27--32 (1922; JFM 48.1268.04)]. Mit Hilfe der Ungleichung (L) beweist \textit{Littlewood} unter anderem folgende Sätze: 1. Es sei \[ q(z) = \sum_0^{\infty}q_\nu z^\nu\neq 2n\pi i\quad (n=0,\pm 1,\pm 2, \dots); \] dann ist \[ M_2(\rho, q)<A(q_0)(1-\rho)^{-\frac{1}{2}}\, ;\;|q_n|<A(q_0)(\lg n)^2,\;n>1; \] \(A(q_0)\) ist eine nur von \(q_0\) abhängende Konstante. 2. Es sei \(\bar{s}(z)=\sum\bar{s}_\nu z^\nu\) schlicht in \(|z|<1\); dann ist \[ \begin{aligned} M_1(\varrho,\bar{s}) &\leqq A|\bar{s}_1|\,\rho\,(1-\rho)^{-1},\\ |\bar{s}_n| &\le A.|\bar{s}_1|.n\quad \text{(man kann hier }A = e \text{ setzen)}. \end{aligned} \] Seither war nur \(|\bar{s}_n|<\frac{1}{4}e^3|\bar{s}_1|\cdot n^2\) bekannt (Bieberbach).