On moduli of smoothness of fractional order (Q2501015): Difference between revisions

The author investigates some properties of moduli of smoothness of order \(\beta\) (\(\beta>0\)) of a measurable \(2\pi\)-periodic function \(f\in L^p\) (\(1\leq p\leq +\infty\)) (continuous if \(p=+\infty\)). The modulus of smoothness \(\omega_{\beta}\) of \(f\) is defined via the differences of fractional order \(\beta\) as follows: \[ \omega_{\beta}(f,t)_p=\sup_{| h| \leq t}| | \triangle_h^{\beta}f(\cdot)| | _p, \] where \[ \triangle_h^{\beta}f(x)=\sum_{\nu=0}^{\infty}(-1)^{\nu}\binom{\beta}{\nu}f(x+(\beta-\nu)h). \] In the main result the author proves the equivalence of the modulus of smoothness \(\omega_{\beta}\) and a function in the class \(\Phi_{\beta},\) whose elements \(\varphi\) are nonnegative, bounded functions on \((0,+\infty)\) such that \(\varphi(t)\to 0\) as \(t\to 0,\) \(\varphi\) is nondecreasing and \(\varphi(t)t^{-\beta}\) is nonincreasing.