Representation of functions of classes \(\tilde W^ r H_ p^{\omega}\) by series of smooth splines and estimation of their calculation complexity (Q1804178)

For \(\delta\geq 0\), the integral modulus of continuity of an 1-periodic function \(f\in L_p (I)\) (with \(I:= [0,1]\)) is defined by \[ \omega (f,\delta)_p:= \sup_{|y|\leq \delta} |f(\cdot- y)- f(\cdot) |_{L_p (I)}. \] Further, \(W^r_p (I)\) denotes the usual Sobolev space of 1-periodic functions. Finally, let \(\widetilde {W}^0 H^\omega_p (I)\) be the class of 1-periodic functions \(f\in L_p (I)\) with \(\omega (f,\delta )_p= O(\omega (\delta))\), where \(\omega\) is some fixed modulus of continuity, and for \(r=1, 2,\dots, \widetilde {W}^r H^\omega_p (i)\) denotes the space of 1-periodic functions \(f\), where \(f^{(r)}\in \widetilde {W}^0 H^\omega_p (I)\). The basic result of the paper is the following: Any \(f\in \widetilde {W}^r H^\omega_p (I)\) can be represented by \[ f= \sum^\infty_{k=0} s_k= \sum^\infty_{k=0} \sum^{2^k-1}_{i=0} a_{i,k} N_{i,k}, \] where \(N_{i,k}\) \((i=0, \dots, 2^k-1)\) are the 1-periodic \(B\)-splines of degree \(r\) on the uniform partition of \([0,1]\) into \(2^k\) parts. In this representation, \(|s_k |_{L_p (I)}\approx 2^{-rk} \omega(f^{(r)}, 2^{-k})_p\), \(|\{ a_{i,k} \}_{i=0}^{2^k-1} |_{l_p^{2^k}}\leq c2^{-rk+(k/p)} \omega (f^{(r)}, 2^{-k})_p\). Moreover, the Kolmogorov complexity of \(\varepsilon\)-approximation of functions in \(\widetilde {W}^r H^\omega_p(I)\) is given.