Embedding theorems for Boas classes (Q677697)

Let \(P\) stand for the class of functions \(f\in C_{2\pi}\) with nonnegative Fourier coefficients \(a_n\), \(b_n\). Every function \(\omega(\delta)>0\) \((0<\delta\leq\pi)\) with \(\varliminf\omega({1\over n})=0\) determines the classes: \[ K^\omega:=\Biggl\{f\in P:\sum^\infty_{k=n} a_k+ b_k=O\Biggl(\omega\Biggl({1\over n}\Biggr)\Biggr)\Biggr\},\;PH^\omega_\ell:= \{f\in P:\omega_\ell(f,\delta)= O(\omega(\delta))\}, \] \[ PE^\omega:= \Biggl\{f\in P:E_n(f)= O\Biggl(\omega\Biggl({1\over n+1}\Biggr)\Biggr)\Biggr\}, \] where \(\omega_\ell(f,\delta)\) is the modulus of continuity of \(\ell\)th order, \(E_n(f)\) being the best trigonometric approximation of \(f\). The author exposes solution of the problem on unimprovable criteria of validity of the embeddings: \(K^\omega\subset PE^\varphi\), \(PE^\omega\subset K^\varphi\), \(K^\omega\subset PH^\varphi_k\), and \(PH^\omega_\ell\subset K^\varphi\).