Über die Grenzen der Abschnitte gewisser Potenzreihen. (Q5907445)

Es wird die folgende arithmetische Aufgabe gelöst: Man bestimme bei festem \(n\) das Maximum \(M_n\) von \[ | s_n|=| a_0+a_1+\cdots +a_n|, \] wo die komplexen Größen \(a_\nu\) den beiden Bedingungen \[ \begin{aligned} | S_n|&=\left| \frac{s_0+s_1+\cdots+s_n}{n+1} \right| \leqq 1,\\ | a_1|^2&+2| a_2|^2+\cdots +n| a_n|^2 \leqq 1\end{aligned} \] genügen. Die Antwort ist: \[ M_n=1+\frac{1}{\sqrt 2} \sqrt{\frac{n}{n+1}}. \] Die Bedingungen der Aufgabe sind für die Koeffizienten einer in \(| z|<1\) konvergenten Potenzreihe \[ f(z)=\sum_{\nu=0}^\infty a_\nu z^\nu \;\text{mit}\;| f(z)|\leqq 1\;\text{und}\;\sum_{\nu=1}^\infty \nu | a_\nu|^2 \leqq 1 \] (also z. B. für schlichte \(f(z)\) mit \(| f(z)|\leqq 1\)) bei jedem \(n\) erfüllt. Es folgt für alle Abschnitte \[ | a_0+a_1+\cdots +a_n|\leqq 1+\frac{1}{\sqrt 2}=1,7071 \dots . \] Dies ist aber nicht die bestmögliche Abschätzung. \textit{Szegö} hat inzwischen rechts \(1,616\dots\) erzielt, während die beste Abschätzungskonstante sicher \(\geqq 1,25\) ist.