On equivalence of moduli of smoothness of polynomials in \(L_p\), \(0 < p \leqslant \infty\) (Q2569464)

It is well known that \(\omega^r(f,t)_p\leq t\omega^{r-1}(f',t)_p\leq t^2\omega^{r-2}(f'',t)_p\leq\dots\) for functions \(f\) in the Sobolev space \(W_p^r,\; 1\leq p\leq\infty\). It is also known that for certain classes of functions the converse inequalities are true and the terms in the inequalities are all equivalent. \textit{G. Z. Zhou} and \textit{S. P. Zhou} [J. Approximation Theory 113, 165--171 (2001; Zbl 0988.41003)] proved the equivalence for polynomials with \(p=\infty\). The authors give a simpler proof to this result and extend it to the \(L_p\) space for \(0<p\leq\infty\). Analogous results are given for the Ditzian-Totik modulus of smoothness \(\omega_\varphi^r(f,t)_p\) and the weighted Ditzian-Totik modulus of smoothness \(\omega_\varphi^r(f,t)_{w,p}\) for polynomials with \(\varphi(x)=\sqrt{1-x^2}\). As applications the authors generalize some results of \textit{Z. Ditzian} and \textit{V. Totik} [Moduli of Smoothness, Springer, New York, (1987; Zbl 0666.41001)] concerning the asymptotic behaviour of derivatives of best approximating polynomials.