Ul'yanov-type inequality for bounded convex sets in \(\mathbb R^d\) (Q2481511)

For \(\Omega\in \mathbb R^d\), a convex bounded set with non-empty interior, the moduli of smoothness \(\omega^r(f,t)_{L_q(\Omega)}\) and the norm \(\| f\| _{L_q(\Omega)}\) are estimated by an Ul'yanov-type expression involving \(\omega^r(f,t)_{L_p(\Omega)}\) where \(0<p<q\leq \infty\). The main result for \(q<\infty\) is given by \[ \omega^r(f,t)_q\leq C\Bigl\{\int_0^t u^{-q\theta}\omega^r(f,u)_p^q\, \frac{du}{u}\Bigr\}^{1/q},\quad 0<t\leq \text{diam}\;\Omega,\quad \theta=\frac dp-\frac dq. \] The inequalities established here settle a conjecture in \textit{Z. Ditzian} and \textit{S. Tikhonov} [ J. Approx. Theory 133, 100--133 (2005; Zbl 1069.41014), section 12]. A corresponding estimate of \(\| f\| _{L_q(\Omega)}\) is \[ \| f\| _{L_q(\Omega)}\leq C\Bigr\{\Bigl\{\int_0^{\text{diam}\;\Omega} u^{-q\theta}\omega^r(f,u)_p^q\, \frac{du}{u}\Bigr\}^{1/q}+\| f\| _{L_p(\Omega)}\Bigl\}. \] The power \(q\) achieved is optimal.