A theorem concerning series of positive terms, with applications to the theory of functions. (Q1453383)

Ist \(\sum\limits_{n=0}^\infty a_nz^n\) im Einheitskreis regulär und schlicht oder ist allgemeiner jeder Bildpunkt höchstens \(p\)-mal überdeckt, so gilt offenbar für \(r < 1\) \[ \sum_{n=1}^\infty n|a_n|^2r^{2n}\leqq p\left(\sum_{n=1}^\infty |a_n|r^n\right)^2. \] Die Verf. bemerken nun, daß aus dieser Ungleichung allein schon recht wesentliche Teile der Sätze über schlichte Funktionen folgen, insbesondere der Koebesche Verzerrungssatz; es läßt sich nämlich unmittelbar \[ |a_n|<A(p)n^{\beta(p)}\mu \] beweisen, wo \(\mu=\operatorname{Max}(|a_1|, \ldots, |a_p|)\) ist. Der Versuch einer Übertragung auf bestimmte Integrale statt Reihen ergibt merkwürdige, in der Sache begründete Schwierigkeiten, aus deren Untersuchung z. B. der schöne Satz folgt: Bei positivem beschränktem \(f(x)\) und \(a > 0\) ist es für kein \(p\) wahr, daß \[ F(z) = \int_a^\infty f(x)e^{-xz}\,dx \] in der Halbebene \(\Re z > 0\) jeden Wert höchstens \(p\)-mal annehme. Schließlich wird ein interessanter Satz über die Konvergenz von \(\sum (n^{-k}|a_n|)^2\) bewiesen, wo die oben vorausgesetzte Ungleichung nur im Limes \(r \to 1\) vorausgesetzt ist. (IV 2, IV 4.)