Zur Approximation analytischer Funktionen durch Polynome. (Q2591091)

Es sei \(\mathfrak E\) eine im Endlichen gelegene, einfach geschlossene Jordan-Kurve der \(z\)-Ebene, deren Inneres das Gebiet \(\mathfrak E\) bilde; \(p_\nu (z)\) (\(\nu = 0, 1,\ldots \)) sei die Folge der zugehörigen Faberschen Polynome. Ferner sei \(F (z)\) eine in \(\mathfrak E+\mathfrak E\) stetige, in \(\mathfrak E\) analytische Funktion. Dann braucht sich \(F (z)\) nicht in eine Faberreihe entwickeln lassen. Ist aber \(\mathfrak E\) konvex, so läßt sich \(F(z)\) in eindeutiger Weise eine Faberreihe zuordnen: \[ F(z) \sim \sum _{\nu =0}^\infty a_\nu p_\nu (z), \] so daß \[ \sum _{\nu =0}^\infty \frac {a_\nu }{\alpha ^\nu }\,p_\nu (z) \] für jedes \(\alpha >1\) gleichmäßig für alle \(z\) aus \(\mathfrak E+\mathfrak E\) konvergiert und daß gleichmäßig für alle \(z\) aus \(\mathfrak E+\mathfrak E\) \[ \lim _{\alpha\to 1+0}\,\sum _{\nu =0}^\infty \frac {a_\nu }{\alpha ^\nu }\,p_\nu (z) =F(z) \] ist, d. h. \(\sum a_\nu p_\nu (z)\) gleichmäßig für alle \(z\) aus \(\mathfrak E+\mathfrak E\) zum Wert \(F(z)\) \(A\)-summierbar ist. Der Beweis wird so geführt, daß für \(F(z)\) eine Limesdarstellung \(F(z) =\lim F_n(z)\) gewonnen wird vermöge gewisser Funktionen \(F_n(z)\), die in \(\mathfrak E+\mathfrak E\) konvergente Faberreihen mit übersehbaren Koeffizienten besitzen. Die genannte Limesdarstellung ist für sich von Interesse. Es hat mit ihr die folgende Bewandtnis: Es seien für \(\mathfrak E\) und \(F (z)\) dieselben Voraussetzungen wie zu Beginn erfüllt, und es sei \(\mathfrak E\) konvex. Das Äußere \(\mathfrak E^*\) von \(\mathfrak E\) werde durch \(t + \mathfrak P\,\Bigl(\dfrac {1}{t}\Bigr)\) auf das Gebiet \(|t|>r_0\) (\(r_0 > 0\)) der \(t\)-Ebene abgebildet. Man wähle eine Folge \(r_n\) (\(n = 1, 2,\ldots \)) mit \(r_n>r_0\) und \(\lim r_n = r_0\). Der Kreis \(|t|= r_n\) sei bei der Abbildung aus der Kurve \(\mathfrak E_n\) entstanden. Die Funktion \(z = \varphi _n(\mathfrak z)\) bilde das Äußere von \(\mathfrak E_n\) konform auf \(\mathfrak E^*\) ab \((\varphi _n(\infty )=\infty \), \(\varphi _n'(\infty )>0)\). Dann ist \[ F (z) =\lim _{n\to\infty }\,F_n(z) = \lim _{n\to\infty }\,\frac {1}{2\pi i} \int\limits _{\mathfrak E_n} \frac {F(\varphi _n(\mathfrak z))}{\mathfrak z-z}\,d\mathfrak z \] gleichmäßig für alle \(z\) in \(\mathfrak E+\mathfrak E\).