Exact values of widths of certain classes of periodic differentiable functions in the space \(L_2[0, 2 \pi]\) (Q343256)

By \(L^{(r)}_2\) the authors denote the space of \(2\pi\)-periodic real-valued functions \(f\in L_2\) (endowed with the usual norm) with absolutely continuous derivatives \(f^{(r-1)}\) and with \(f^{(r)}\in L_2\). For \(f\in L_2\), \(E_{n-1}(f)=\| f-S_{n-1}(f)\| \), where \(S_{n-1}(f)\) is the partial sum of order \(n-1\) of its Fourier series, and \(\omega_m(t;t)=\sup\{\| \Delta_h^m(f)\| :| h| \leq t\}\) defines for it a modulus of continuity of \(m\)th order, where as usual \(\| \Delta_h^m(f)\| \) denotes the norm of the finite difference of order \(m\) with step \(h\). In the first part of the paper the authors study the meaning of the extreme approximation measure \[ \chi_{m,n,r,p}(h)=\sup \left\{ \frac{2^mn^rE_{n-1}(f)}{\left(\frac{2}{h^2}\int_0^ht\omega_m^p(f^{(r)};t)dt\right)^{1/p}}:f\in L_2^{(r)};f^{(r)}\neq const \right\}. \] Then they use the result for the computation of the values of Kolmogorov, Gelfand, Bernstein, linear and projective \(n\)-widths of \(W^{(r)}_{m,p}(\Phi)\) in \(L_2\). Here \(\Phi(t)\), \(t>0\), is a continuous increasing function such that \(\Phi(0)=0\) and for \(m,r\in \mathbb N\) and \(r\geq 2\), \(2/r<p\leq 2\), \(W^{(r)}_{m,p}(\Phi)\) denotes the class of functions \(f\in L^{(r)}_2\) such that, for any \(h\in (0,\pi/n)\), \[ \left(\frac{2}{h^2}\int_0^ht\omega_m^p(f^{(r)};t)dt\right)^{1/p}\leq \Phi(h). \]