Sur la meilleure approximation des fonctions périodiques dérivables au moyen de sommes trigonométriques. (Q2602292)

Es bezeichne \(E_{n-1}(F)\) die beste Approximation im Mittel der periodischen Funktion \(F(x)\) durch trigonometrische Polynome von kleinerer Ordnung als \(n\). \(H_r\) bezeichne die Menge aller periodischen Funktionen \(f\), deren \(r\)-te Ableitungen \(f^{(r)}\) einen kleineren Betrag als 1 haben. Dann gilt: \[ \underset{f\subset H_r}{\text{fin sup}}\, E_{n-1}(f) = \dfrac{4}{\pi}\dfrac{1}{n^r}\sum\limits_{\nu =0}^\infty \dfrac{(-1)^{\nu (r-1)}}{(2\nu +1)^{r+1}}. \] Ist \[ f(x) = \sum\limits_{\varkappa =0}^\infty (a_\varkappa\cos\, \varkappa x + b_\varkappa\sin\, \varkappa x) \] und setzt man \[ f^*(x) = \sum\limits_{\varkappa =0}^\infty (b_\varkappa\cos\, \varkappa x - a_\varkappa\sin\, \varkappa x) \] und \[ K_r^* = \sum\limits_{\nu =0}^\infty \dfrac{(-1)^{\nu r}}{(2\nu +1)^{r+1}}, \] so gilt: \[ \underset{f\subset H_r}{\text{fin sup}}\, E_{n-1}(f^*) = \dfrac{4}{\pi}\dfrac{1}{n^r}K_r^*. \] Die Beweise folgen nach Sätzen von \textit{J. Favard} (Application de la formule sommatoire d'Euler à la démonstration de quelques propriétés extrémales des intégrales des fonctions périodiques ou presque-périodiques. Mat. Tidsskr. B., København, 1936, 81-94; F. d. M. 62\(_{\text{II}}\)). Weiter gilt für \(f\) aus \(H_r\) die Ungleichung \[ \left|\sum\limits_{\varkappa =n}^\infty (b_\varkappa\cos\, \varkappa x - a_\varkappa\sin\, \varkappa x) \right|\leqq \dfrac{4}{\pi n^r}K_r^*, \] welche nicht verbessert werden kann. Endlich geben Verf. noch ein trigonometrisches Polynom \((n - 1)\)-ter Ordnung an, durch welches ein gegebenes \(f(x)\) aus \(H_r\) dem Betrage nach mit der Genauigkeit \[ \dfrac{4}{\pi n^r} \sum\limits_{\nu =0}^\infty \dfrac{(-1)^{\nu (r-1)}}{(2\nu +1)^{r+1}} \] approximiert wird.