Sur l'approximation en moyenne quadratique des fonctions analytiques. (Q2591097)

1) Die einfach geschlossene Kurve \(\varGamma \) mit beschränkter Krümmung umschließe das Gebiet \(\mathfrak G\). \(\varPi _n(z)\) sei die in \(\mathfrak G\) gegen die Abbildungsfunktion \(f(z)\) konvergierende Folge der Bieberbachschen Polynome (d. h. \(\varPi _n(z)\) mache \( \iint \limits _{\mathfrak E} | P_n'(z) |^2\,dx\,dy\) zum Minimum, wenn zur Konkurrenz alle Polynome \(n\)-ten Grades \(P_n (z)\) mit \(P_n(0) = 0\), \(P_n'(0) = 1\) zugelassen sind; \textit{L. Bieberbach}, Rend. Circ. mat. Palermo 38 (1914), 98-112; F. d. M. 45, 670). Dann gilt für jedes positive \(\varepsilon \): \[ |f(z)-\varPi _n(z)| < \frac {C(\varepsilon,\mathfrak G)}{n^{1-\varepsilon }} \] für alle \(n\) und \(z\) in \(\mathfrak G+\varGamma \), wobei \(C(\varepsilon,\mathfrak G)\) allein von \(\varepsilon \) und \(\mathfrak G\) abhängt. 2) Es wird ein Sterngebiet konstruiert, das von einer einfach geschlossenen Kurve begrenzt wird, die abgesehen von einem einzigen Punkt \(P\) analytisch ist, und das so beschaffen ist, daß die Folge der zugehörigen Bieberbachschen Polynome in \(P\) divergiert. 3) Es wird ein einfach zusammenhängendes Gebiet \(\mathfrak G_1\) angegeben, in dem die Polynome ein abgeschlossenes System bilden. Dies soll heißen, daß es zu jedem \(\varepsilon > 0\) lind jeder in \(\mathfrak G_1\) analytischen Funktion \(F(z)\), für die \( \iint \limits _{\mathfrak G_1}|F(z)|^2\,dx\,dy\) endlich ist, ein Polynom \(P(z)\) gibt, so daß \[ \iint \limits _{\mathfrak G_1}|F(z)-P(z)|^2\,dx\,dy < \varepsilon \] ist. Dann wird ein Gebiet \(\mathfrak G_2\) angegeben, das mit \(\mathfrak G_1\) topologisch äquivalent ist, in dem jedoch das System der Polynome nicht abgeschlossen ist. Zur Konstruktion von \(\mathfrak G_2\) wird der folgende Satz benützt: 4) Es sei \(\mathfrak G'\) ein einfach zusammenhängendes Gebiet im Innern des Einheitskreises, dessen Komplementärmenge \(\mathfrak G\) in bezug auf den Einheitskreis den Ursprung samt einer gewissen Umgebung enthält. Es sei \(\theta (\varphi )\) das lineare Maß des Durchschnitts des Kreises \(|z|=\varphi \) mit \(\mathfrak G\). Es sei für ein geeignetes positives \(\alpha \) \[ \theta (\varrho )< C(1-\varrho )^{2+\alpha },\quad (0\leqq \varrho <1). \] Dann ist das System der Polynome in \(\mathfrak G'\) nicht abgeschlossen.