Note on the relation between continuity and degree of polynomial approximation in the complex domain. (Q2602369): Difference between revisions

(1) \(C\) sei eine geschlossene \textit{Jordan}kurve. \(f(z)\) sei in \(\overline{I(C)}\) definiert, und für jedes \(n\) gebe es ein Polynom \(n\)-ten Grades \(P_n(z)\), sodaß \[ |f(z)-P_n(z)|\leqq\frac M{n^{p+\alpha}}, \quad z\;\text{in} \;\overline{I(C)}, \quad 0\leqq\alpha\leqq 1 \] (\(M\) unabhängig von \(n\) und \(z\), \(p\) ganz nicht-negativ). Dann ist \(f(z)\) analytisch in \(I(C)\), stetig in \(\overline{I(C)}\). Weiter existiert längs \(C\) die Ableitung \(f^{(p)}(z)\) und genügt der Bedingung: \[ |f^{(p)}(z_1)-f^{(p)}(z_2)|\leqq L|z_1-z_2|^\alpha \left|\log|z_1-z_2|\right|^\beta, \quad z_1,z_2 \;\text{auf} \;C, \] mit \(\beta=0\), wenn \(\alpha < 1\), \(\beta=1\), für \(\alpha= 1\), \(L\) konstant und unabhängig von \(z_1\), \(z_2\). (2) \(E\) sei eine abgeschlossene, beschränkte Punktmenge der \(z\)-Ebene und es existiere eine Funktion \(\omega =\varPhi(z)\), die das Komplement \(K\) von \(E\) konform aber nicht notwendig eindeutig aut \(|\omega| > 1\) abbildet. Der Ort der Punkte \(|\varPhi(z)|= R>1\) bestehe aus einer endlichen Zahl von \textit{Jordan}kurven, von denen jede außerhalb jeder anderen liegt. Nun sei \(f(z)\) definiert in \(E\), und für jedes \(n\) gebe es ein Polynom \(P_n(z)\), für das \[ |f(z)-P_n(z)|\leqq\frac M{n^{p+\alpha+1}R^n},\quad z \;\text{in} \;E, \quad 0<\alpha\leqq 1. \] Dann ist \(f(z)\) analytisch in \(I(C_R)\), stetig in \(\overline{I(C_R)}\), und es existiert längs \(C_R\) die Ableitung \(f^{(p)}(z)\) und genügt dort der Bedingung: \[ |f^{(p)}(z_1)-f^{(p)}(z_2)|\leqq L|z_1-z_2|^\alpha \left|\log|z_1-z_2|\right|^\beta; \] hierbei ist wieder \(\beta=0\), wenn \(\alpha < 1\), \(\beta = 1\) für \(\alpha= 1\) und \(L\) eine von \(z_1\), \(z_2\) unabhängige Konstante. Satz (2) ist etwas allgemeiner als \textit{Sewell}s Satz aus der vorstehend besprochenen Arbeit. Satz (2) ist für \(0 < \alpha < 1\) die Umkehrung eines Resultates von \textit{Curtiss} (A note on the degree of polynomial approximation, Bull. Amer. math. Soc. 42 (1936), 873-878; F. d. M. \(62_{\text{II}}\)).