Convergence of Fourier series with respect to an orthogonal system of functions (Q910996): Difference between revisions

Es seien \(Z_ 0=\{0,1,2,...\}\), \(Z=\{0,\pm 1,\pm 2,...\}\). Für ein \(n\in Z_ 0\) wird \[ \nu_ j(x)=\sum_{S\in Z}(- 1)^{Sn}(a_{s,j}/\sqrt{2\sum_{p\in Z}a^ 2_{p,j}})^{i\pi x(j+sM)},\quad j=1,2,...,M-1;\quad \nu_ j(x)=1,\quad j=M, \] gesetzt, wobei \(M=2^{n+1}\), \(a_{s,j}=F^{[n]}(\pi (j+sM))\), \[ F^{[n]}(t)=(\sin (t/M)/(tM)^{n+1}\prod^{\infty}_{r=1}(\sin (t/M 2^ r)/t/M 2^ r)) \] sind. Der folgende Satz wird bewiesen. Für eine Funktion \(f\in W^ r(- \pi,\pi)\) gilt \[ \| f(x)-S_ M(f;x)\|_{C(-\pi,\pi)}\leq CE_ M(f)\times \log \log M\quad (M\geq 4), \] wobei \(S_ M(f;x)\) die M-te Partialsumme der Fourierentwicklung von f nach dem System \(\{\nu_ j(x)\}^ M_{j=0}\) bezeichnet, und \(E_ M(f)\) die beste polynomiale Approximation M-ter Ordnung von f ist.