Note on degree of trigonometric and poly\-nomial approximation to an analytic function, in the sense of least \(p\)th powers. (Q2586707)

Verf. haben kürzlich (Bull. Amer. math. Soc. 44 (1938), 865-873; F. d. M. \(64_{\text{I}}\), 275) die Beziehung zwischen den Stetigkeitseigenschaften einer Funktion und dem Grad ihrer Approximation durch Polynome oder trigonometrische Poly\-nome im Tschebycheffschen Sinne untersucht. In der vorliegenden Note werden die entsprechenden Sätze abgeleitet für den Fall, daß die Approximation durch das Integral über die \(p\)-te Potenz des Fehlers gemessen wird. Das Hauptresultat lautet: Es sei \(w(\theta)\) eine positive, durchweg stetige und mit \(2\pi\) periodische Gewichts\-funktion. Die (nicht notwendig reellwertige) Funktion \(f(\theta)\) sei mit \(2\pi\) periodisch und lasse sich durch trigonometrische Polynome \[ s_n(\theta)=\tfrac12a_{n0}+{\sum\limits_{j=1}^{n}}(a_{nj}\cos j\theta+ b_{nj}\sin j\theta) \] (mit nicht notwendig reellen Koeffizienten \(a_{nj}\), \(b_{nj}\)) so approximieren, daß für \(n = 1\), 2,\dots die Beziehung \[ {\int\limits_{-\pi}^{+\pi}}w(\theta)|f(\theta)-s_n(\theta)|^pd\theta\leqq \frac M{\varrho^{np}n^{(k+\alpha+1)p}} \] besteht, wo \(p > 0\), \(0 < \alpha\leqq1\), \(\varrho>1\) sei, ferner \(k\) eine nichtnegative ganze Zahl und \(M\) eine von \(n\) unabhängige Konstante bedeuten. Dann stimmt die Funktion \[ F(z)={\lim\limits_{n\to\infty}}P_n\left(z,\dfrac{1}{z}\right)\quad\text{mit}\quad P_n\left(z,\dfrac{1}{z}\right)=\frac12a_{n0}+{\sum\limits_{j=1}^{n}} \left[ a_{nj}\frac{z^j+z^{-j}}2+b_{nj}\frac{z^j-z^{-j}}{2i} \right] \] auf \(|z|=1\) (\(z = \cos\theta + i\sin\theta\)) fast überall (wenn \(f(\theta)\) stetig ist, sogar durchweg) mit \(f (\theta)\) überein. Die Funktion \(F (z)\) ist überdies in dem Ring \(\dfrac1\varrho<|z|<\varrho\) ana\-lytisch, in dem abgeschlossenen Ring \(\dfrac1\varrho\leqq|z|\leqq\varrho\) noch stetig und genügt für irgend zwei Stellen \(z_1\), \(z_2\) auf \(|z|=\varrho\) oder \(1/\varrho\) der Ungleichung \[ \big|F^{(k)}(z_1)-F^{(k)}(z_2)\big|\leqq L|z_1-z_2|^\alpha|\log|z_1-z_2||^\beta, \] wo \(\beta=0\) für \(\alpha<1\) und \(\beta=1\) für \(\alpha=1\) zu setzen ist, und wo \(L\) eine von \(z_1\), \(z_2\) un\-abhängige Konstante bedeutet. An diesen Hauptsatz schließen sich einige Bemerkungen an: 1) wird eine ge\-nauere Aussage über die Approximation von \(F (z)\) durch \(P_n\left(z,\dfrac{1}{z}\right)\) in einem Ring \(\dfrac1{\varrho_1}\leqq|z|\leqq\varrho_1\) mit \(\varrho_1<\varrho\) gemacht, 2) wird eine Umkehrung des Hauptsatzes angegeben, und 3) wird gezeigt, daß als Gewichtsfunktionen \(w(\theta)\) wesentlich all\-gemeinere Funktionen als die oben genannten zugelassen werden können. Durch konforme Abbildung übertragen sich die Ergebnisse auf die beiden Fälle, in denen es sich statt der Approximation auf dem Einheitskreis um die Approxi\-mation einer in \(-1\leqq x\leqq+1\) definierten Funktion \(f(x)\) durch Polynome oder um die Approximation einer in \(-\infty<x<+\infty\) definierten, mit \(2\pi\) periodischen Funktion \(f(x)\) durch trigonometrische Polynome handelt. Die sich bei der Approxi\-mation ergebenden Funktionen \(F (z)\) sind in diesen Fällen in einer Ellipse mit den Brennpunkten \(-1\) und \(+1\) bzw. in einem horizontalen Streifen um die reelle Achse analytisch.