Generalized derivatives and approximation by polynomials. (Q2602368)

Wie \textit{J. L. Walsh} in Verallgemeinerung des \textit{Runge}schen Approximationssatzes gezeigt hat, läßt sich die im Inneren der geschlossenen \textit{Jordan}kurve \(C\) reguläre und auf \(C\) noch stetige Funktion \(f(z)\) im abgeschlossenen Inneren von \(C\) gleichmäßig durch eine Folge \(P_n(z)\) von Polynomen \(n\)-ten Grades approximieren. Beim einzelnen \(P_n(z)\) hängt dabei die erreichbare Güte der Approximation von den Stetigkeitseigenschaften des Gebietsrandes und der Randwerte von \(f(z)\) ab. Umgekehrt kann man auf Stetigkeitseigenschaften von \(f(z)\) auf \(C\) schließen, wenn man über die Güte der Approximation Voraussetzungen macht. Diesen Zusammenhang will Verf. studieren. Als Mittel zur Beschreibung der Stetigkeit von \(f(z)\) auf \(C\) dienen, wie schon in spezielleren Fällen bei \textit{Montel} (Bull. Soc. math. France 46 (1918), 151-192; F. d. M. 46, 417 (JFM 46.0417.*)-418), die von \textit{Riemann} eingeführten verallgemeinerten Ableitungen, die für \(\alpha<0\) bzw. für \(0\leqq p -1\leqq\alpha<p\) erklärt sind durch \[ D_z^\alpha f(z_0)\equiv\frac1{\varGamma(-\alpha)}\int\limits_k^{z_0} (z_0-x)^{-\alpha-1}f(x)dx,\quad D_z^\alpha f(z_0)\equiv\frac{d^p}{dz^p}D_z^{\alpha-p}f(z)\Bigr|_{z=z_0}, \] wobei \(k\) ein beliebiger Punkt auf \(C\) ist. Um sie näher zu untersuchen, leitet Verf. auch an sich nützliche Abschätzungen für die Größen \(D(C, C_\varrho)\) und \(d(C, C_\varrho)\) ab, die im Äußeren von \(C\) den größten und kleinsten Abstand des Kreisbildes \(C_\varrho\) von \(C\) bezeichnen. Von Resultaten sei genannt: \(R\) sei ein endlicher Bereich, sein Rand \(C\) eine analytische \textit{Jordan}kurve. \(f(z)\) sei definiert in \(R\). Für jedes \(n\) gebe es ein Polynom \(P_n(z)\) vom Grade \(n\), so daß \[ |f(z)-P_n(z)|<\frac M{n^\alpha},\quad \alpha>0, \quad z \;\text{in} \;\overline{R} \] gilt, mit \(M\) unabhängig von \(n\) und \(z\). Dann ist \(f(z)\) analytisch in \(R\), stetig in \(\overline R\) und hat beschränkte Ableitungen jeder Ordnung \(\alpha'<\alpha\) auf \(C\). Hiervon gilt auch die Umkehrung.