Ungleichungen für die Koeffizienten einer Potenzreihe. (Q1470844)

Die Arbeit knüpft an einen Satz von \textit{E. Landau} [Arch. der Math. u. Phys. (3) 21, 42--50, 250--255 (1913; JFM 44.0288.03)] an, welcher die genaue obere Grenze des Betrages der Koeffizientensumme \(s_n=a_0+a_1+\ldots+a_n\) für alle Potenzreihen \(f(z)=\sum a_nz^n\) angibt, die im Einheitskreise konvergieren und dort die Bedingung \(| f(z)| <1\) erfüllen. Nach ihm ist \[ | s_n| \le 1+\left(\frac 12\right)^2+\left(\frac{1\cdot 3}{2\cdot 4}\right)^2+\ldots+\left(\frac{1\cdot 3\cdots (2n-1)}{2\cdot 4\cdots (2n)}\right)^2. \] und Fejér bewies, daß \[ \left| \frac{s_0+s_1+\ldots+s_n}{n+1}\right|\le 1 \] bleibt. Beide Sätze leitet der Verf. nun aus einer gemeinsamen Quelle her indem er zeigt: Sind die \(2(n+1)\) Größen \(\lambda_0,\lambda_1,\ldots,\lambda_n\) und \(\mu_0,\mu_1,\ldots,\mu_n\) durch die Identität verbunden, daß \[ (\lambda_0+\lambda_1z+\cdots+\lambda_nz^n)^2=\mu_0+\mu_1z+\ldots +\mu_nz^n +\ldots \] ist, so gilt für die Koeffizienten der genannten Potenzreihe die Abschätzung: \[ | \mu_na_0+\mu_{n-1}a_1+\cdots+\mu_0a_n| \le | \lambda_0| ^2+| \lambda_1| ^2+\cdots+| \lambda_n| ^2. \] (Für \(\mu_n\equiv 1\) erhält man das \textit{Landau}sche, für \(\mu_n\equiv n+1\) das Fejérsche Resultat.) In dem Fall, wo das Polynom \(\lambda_0+\lambda_1z+\ldots+\lambda_nz^n\) keine Nullstellen in \(| z| <1\) hat, läßt sich genau angeben, für welche Funktionen das Gleichheitszeichen gilt. Aus diesem Satz ergeben sich leicht mehrere Sätze, die kurz zuvor von \textit{I. Schur} (vgl. das Ref. auf S. 475) bewiesen worden sind. In den weiteren Teilen der Arbeit werden verschiedene Erweiterungen und Spezialisierungen des genannten Satzes betrachtet. So gilt unter denselben Voraussetzungen, wie oben, für \(0\le r<p\) die allgemeinere Formel \[ | \mu_na_r+\mu_{n-1}a_{r+p}+\ldots+\mu_0a_{r+np}| \le | \lambda_0| ^2+\cdots+| \lambda_n| ^2; \] und spezielle Resultate von besonderem Interesse ergeben sich für \[ \lambda_\nu=(-1)^\nu\left(\nu^{-k}\right), \] durch die sich eine Abschätzung der Cesàroschen Mittel der \(s_n\) ergibt, ferner für \[ \lambda_\nu=P_\nu^{(\frac k2)}(x),\text{ wenn }(1-2xz+z^2)^{- k}=\sum P_\nu^{(k)}(x)z^\nu \] gesetzt wird, u. a. Endlich wird ein (nicht abschließendes) Resultat über die genaue obere Grenze von \[ | a_1+2a_2+\ldots+na_n| \] hergeleitet.