Sur certaines méthodes d'approximation au moyen de sommes trigonométriques. (Q2586529)

Aus \(p + 1\) aufeinanderfolgenden Partialsummen \[ s_n (f, x) = \tfrac12 a_0 + (a_1 \cos x + b_1 \sin x) + \cdots + (a_n \cos nx + b_n \sin nx) \] der Fourierreihe einer stetigen Funktion \(f (x)\) werden die Durchschnittswerte \[ \sigma (n, p) = \sigma (n, p, f, x) = \frac1{p+1} (s_{n-p} +\cdots+ s_{n-1} + s_n) \] gebildet; sie können unmittelbar aus \(f (x)\) durch das Integral \[ \begin{aligned} &\sigma (n, p, f, x) =\int\limits_0^{2\pi} f(t) \varphi(x - t)\, dt \quad\text{mit}\\ &\varphi(t)=\frac1{\pi(p+1)} \sin\frac{2n+1-p}2 t\cdot \sin\frac{p+1}2 t:(1-\cos t) \end{aligned} \] gebildet werden. Wird nun die Gliederzahl \(p\) von \(n\) abhängig gemacht: \(p = p (n)\), so ist nach Verbitzky die Bedingung \(\liminf\limits_{n\to\infty} \dfrac pn> 0\) dafür notwendig und hinreichend, daß mit \(n \to\infty\) \(\sigma (n, p, f, x)\) für jede stetige Funktion \(f (x)\) gleichmäßig in \(x\) gegen \(f (x)\) strebe. Für die Güte dieser Annäherung ist nach \textit{S. Bernstein} (vgl. \textit{Kolmogorow}, Rec, math., Moscou, 41 (1931), 99-103; F. d. M. \(60_{\text{II}}\), 998) der Ausdruck \[ M^{(n)}_p =\int\limits_0^{2\pi} |\varphi(t)|\,dt \] maßgebend, für den Verf. in der vorliegenden Abhandlung die asymptotische Formel \[ M_p^{(n)} =\frac4{\pi^2}\cdot \log\frac n{p+1} +O(1) \] ableitet; hieraus ergibt sich ein neuer Beweis für die oben angeführte Bedingung von Verbitzky. Verf. zeigt weiter: Wenn \(p(n)\) der Ungleichung \(0 \leqq p \leqq n\) und für \(n \to\infty\) der Grenzbedingung \(p = \alpha\cdot n + o (n)\) mit festem \(\alpha\) genügt, dann existiert auch \(\lim M_p^{(n)} = \mu(\alpha)\). Es folgen die beiden entsprechenden Sätze über die zu den Stellen \[ x=\frac{2\pi k}{2n+1}\qquad (k=0,\,\pm1,\,\ldots,\,\pm n) \] gehörigen trigonometrischen Interpolationspolynome.