No label defined (Q4356750)

Let \(B\) denote the unit ball in \(\mathbb{R}^n\). As usual, \(M_p(r,f)\) is the integral mean of order \(p\), \(0<p\leq \infty \), of a function \(f\in C(B)\), and \(I^sf\) is the fractional integral, for \(s<0\), and the fractional derivative, for \(s>0\), of a function \(f\in C^{\infty }(B)\). In the paper the well-known theorem of Hardy and Littlewood on harmonic functions is extended to a class of smooth functions on \(B\). For simplicity, the special case of the main result (the validity of the main theorem in the class of polyharmonic functions) is as follows: Theorem. Let \(s\in \mathbb{R}\) and \(a>s\). For a function \(f\) polyharmonic in \(B\), the condition \(M_p(r,f)=O({{1}\over{(1-r)^a}})\) implies the condition \(M_p(r,I^sf)=O ({{1}\over{(1-r)^{a-s}}})\).