Über gewisse Extremumprobleme der Funktionentheorie. (Q1440963)

Diese Arbeit gibt die explizite Lösung eines bekannten \textit{Carathéodory-Fejér}schen Extremumproblems in folgendem speziellem Falle: Unter allen für \(| z|<1\) regulären Potenzreihen, deren \(n\) erste Koeffizienten gleich 1 sind, ist diejenige zu bestimmen, für welche das Maximum des absoluten Betrages für \(| z|<1\) den kleinstmöglichen Wert annimmt. Verf. beweist den folgenden Satz: In der Gesamtheit aller für \(| z|\leqq 1\) konvergenten Potenzreihen von der Form \[ f(z)=1+z+z^2+\cdots +z^n+\gamma_n z^{n+1}+\cdots \] ist für jedes \(f(z)\) \[ \text{Max}_{| z| \leqq 1} | f(z)|\geqq \frac{1}{2\cos \frac{n \pi}{2n+1}}, \] und Gleichheit gilt nur für die rationale Funktion \[ h^*(z)=\frac{1}{2 \cos \frac{n \pi}{2n+1}} \cdot \frac{ \sin \frac{\pi}{2n+1}+\sin \frac{2\pi}{2n+1}z+\cdots +\sin \frac{n \pi}{2n+1}z^{n1}}{ \sin \frac{n \pi}{2n+1}+\sin \frac{(n-1)\pi}{2n+1}z+\cdots +\sin \frac{\pi}{2n+1}z^{n-1}}. \] Dieselbe Frage löst der Verf. für den Fall, daß \[ c_0=\left( \frac{n}{n+1} \right)^{n-1},\;c_1=\left( \frac{n}{n+1} \right)^{n2},\dots,c_{n-1}=1 \] ist. Verf. beweist diesen Satz mit Hilfe der klassischen Methode, indem es Ihm gelingt, die zu diesen Koeffizienten gehörige quadratische Form und ihre charakteristische Gleichung erschöpfend zu diskutieren. Im Anschluß\ an diesen Satz bestimmt Verf. die Grenzen der Koeffizientensummen für eine Potenzreihe, deren Mittelmodul eine gegebene Schranke hat. Dasselbe Problem wurde bekanntlich für den Fall des beschränkten Maximalmoduls gestellt und gelöst. Auf Grund des vorhergehenden Satzes ergibt sich in einfacher Weise der folgende Satz: Für die Gesamtheit aller in \(| z|\leqq 1\) konvergenten Potenzreihen \[ f(z)=a_0+a_1z+\cdots, \] deren Mittelmodul der Ungleichung \[ \frac{1}{2\pi} \int_0^{2\pi} | f(e^{it})| dt \leqq 1 \] genügt, ist \[ | a_0+a_1+\cdots+a_{n-1}| \leqq \frac{1}{2\cos \frac{n \pi}{2n+1}}, \] und Gleichheit gilt nur für die ganze rationale Funktion \((2n-2)\)-ten Grades \[ f^*(z)=\frac{4}{2n+1} \left( \sin \frac{n \pi}{2n+1}+\sin \frac{(n1)\pi}{2n+1}z+\cdots +\sin \frac{\pi}{2n+1}z^{n-1} \right)^2. \] Für dieselbe Gesamtheit ist gleichzeitig \[ | a_0|+| a_1|+\cdots +| a_{n-1}| \leqq \frac{1}{2\cos \frac{n \pi}{2n+1}}, \] und Gleichheit gilt nur für die obige Funktion. Endlich untersucht Verf. in analoger Weise die Majorante \(\sum_{n=0}^\infty | a_n|\varrho^n\) von Potenzreihen mit beschränktem Mittelmodul, wie dies von \textit{Hardy} für Potenzreihen mit beschränktem Maximalmodul durchgeführt worden ist; er findet in dieser Beziehung das folgende Ergebnis: Für die Gesamtheit aller in \(| z|\leqq 1\) konvergenten Potenzreihen \[ f(z)=a_0+a_1z+\cdots, \] deren Mittelmodul der Ungleichung \[ \frac{1}{2\pi} \int_0^{2\pi} | f(e^{it})| dt \leqq 1 \] genügt, ist für jedes \(\varrho(0 \leqq \varrho 1)\) \[ M_f(\varrho)=| a_0|+| a_1|\varrho+\cdots \leqq \frac{1}{1\varrho^2}, \] und es gibt für jedes \(\varrho\) eine Folge von rationalen ganzen Funktionen \(f_n^*(z)\) von der Beschaffenkeit, daß \[ M_{f_n^*}(\varrho)=f_n^* (\varrho)\to \frac{1}{1-\varrho^2} \;\text{für}\;n \to \infty. \]