No label defined (Q4031638)

Let \(X\) be a normed space, \(M\subset X\). Then \(d_ n(M;X)=\inf_{L_ n\subset X}\Bigl\{\sup_{f\in M}\Bigl\{\inf_{g\in L_ n}\| f- g\|\Bigr\}\Bigr\}\) (the last infimum is taken for all the \(n\)- dimensional subspaces \(L_ n\) in \(X\)) is called the Kolmogorov diameter of \(M\). Let \(f\in L_ 2[-1,1]\), \[ f_ h(x)= {1\over \pi} \int^ \pi_ 0 f(x\cos h+ \sqrt{1-x^ 2}\sin h\cos \theta) d\theta,\quad h>0, \] \[ \omega(f;t)=\sup_{0<h\leq t}\|\sqrt{(1-x^ 2)^ r} \bigl(f^{(r)}(x)- f^{(r)}_ h(x)\Bigr)\|\qquad\text{and} \] \[ W^ r_ \omega=\bigcup_{K>0}\bigl\{f\in L_ 2[-1,1]: \omega(f^{(r)}; t)\leq K\omega(t)\bigr\},\quad r=0,\;1,2,\dots; \] \(\omega\) is a given modulus of continuity. The author announces the estimation \[ c_ 1 n^{-r} \omega(n^{-1})\leq d_ n(W^ r_ \omega;\;L_ 2[-1,1])\leq c_ 2 n^{-1} \omega(n^{-1}), \] where \(c_ 1\) and \(c_ 2\) depend only on \(r\).