On the degree of polynomial approximation to analytic functions: problem \(\beta\). (Q2581922): Difference between revisions

Die Verf. behandeln folgendes Problem: Gegeben sei eine abgeschlossene und beschränkte Punktmenge \(C\), deren komplementäre Menge \(K\) zusammenhängend ist und eine Greensche Funktion \(G(x, y)\) mit dem Pol im Unendlichen besitzt; \(C_\varrho\) bezeichne den Ort \(G(x, y) = \log \varrho\), \(\varrho>1\) in \(K\). Mit welchem Genauigkeitsgrad wird eine Funktion \(f(z)\), die innerhalb einer Kurve \(C_\varrho\) regulär ist und auf \(C_\varrho\) gegebene Randeigenschaften besitzt, durch Polynome \(p_n(z)\) auf \(C\) approximiert? Frühere Resultate der Verf. (Duke math. J. 6 (1940), 658-705; F. d. M. 66, 342 (JFM 66.0342.*)) werden erweitert. Zunächst werden die im Einheitskreise regulären Funktionen \(f(z)\) klassifiziert: Genügt \(f^{(p)} (z)\) (\(p\geqq 0\)) auf \(|z|=1\) einer Lipschitzbedingung der Ordnung \(\alpha\), \(0<\alpha\leqq 1\), oder gilt \(|f(re^{i\theta})|\leqq M(1-r)^{\alpha+p}\), \(r<1\), \(0 < \alpha\leqq 1\), \(p\) negativ ganz, so gehört \(f(z)\) zur Klasse \(L(p,\alpha)\). Als typisches Resultat ist zu erwähnen: Gehört \(f(z)\) zur Klasse \(L(p,\alpha)\), so existieren Polynome \(p_n(z)\), so daß \[ |f(z)-p_n(z)|\leqq\frac M{\varrho^n\cdot n^{\alpha+p}} \tag{1} \] auf \(|z|=\dfrac1\varrho<1\) gilt. Hiervon gilt eine Art Umkehrung: Gibt es Polynome, die \[ |f(z)-p_n(z)|\leqq\frac M{\varrho^n\cdot n^{\alpha+p+1}},\quad 0<\alpha\leqq 1, \quad p \;\text{ganz}, \tag{2} \] auf einem Kreis \(|z| =\dfrac1\varrho<1\) erfüllen, so ist \(f(z)\) im Einheitskreis regulär und gehört zur Klasse \(L(p,\alpha)\), wenn \(\alpha+p\neq 0,1,2,\ldots\). Die Diskrepanz in den rechten Seiten von (1) und (2) gehört zur Natur des Problems. Analoges wird bewiesen für den Fall, daß auf \(|z| = 1\) sich isolierte Singularitäten befinden. Mittels konformer Abbildung werden die erhaltenen Resultate auf allgemeinere Bereiche übertragen. Verf. betrachten geschlossene analytische Jordankurven \(C\) und eine Klassifikation der in \(C_\varrho\) regulären Funktionen, entsprechend dem Fall des Einheitskreises. Die Resultate sind analog. Gehört z. B. \(f(z)\) innerhalb \(C_\varrho\) zur Klasse \(L(p,\alpha)\), so gilt (1) auf \(C\). Die Approximation auf einem analytischen Kurvenstück ist analog zu jener auf einer geschlossenen Kurve. Im Falle eines Kreisringes ergibt sich ein Satz über Approximation durch trigonometrische Polynome. Neben der ursprünglichen Klassifikation der Funktionen betrachten Verf. noch eine zweite mit Hilfe einer integrierten Lipschitzbedingung und gelangen zu ähnlichen Abschätzungen des Fehlers bei der Approximation.