On the equivalence of the modulus of smoothness and the \(K\)-functional over convex domains (Q2268562)

It is well known that for any bounded Lipschitz graph domain \(\Omega\subset\mathbb R^d,r\geq 1\) and \(1\leq p\leq \infty\) there exist constants \(C_1(d,r), C_2(\Omega,d,r,p)>0\) such that for any function \(f\in L_p(\Omega)\) for \(t>0\) \[ C_1(d,r)\omega_r(f,t)_p\leq K_r(f,t^r)_p\leq C_2(\Omega,d,r,p)\omega_r(f,t)_p, \] where \(\omega_r(f,t)_p\) is the modulus of smoothness and \(K_r(f,.)_p\) is the \(K\)-functional both of order \(r.\) It is evident that the right hand side inequality depends on the geometry of the domain. One of the main results in the present article is that there exists an absolute constant \(C_3(d,r,p)\) such that for any convex domain \(\Omega\subset\mathbb R^d\) and all functions \(f\in L_p(\Omega),1\leq p \leq \infty\) \[ K_r(f,t^r)_p\leq C_3(d,r,p)\mu(\Omega,t)^{-(r-1+1/p)}\omega_r(f,t)_p \] where \[ \mu(\Omega,t):=\min_{x\in \Omega} \frac{|B(x,t)\cap\Omega|}{|B(0,t)|},B(x.r)=\{y\in\mathbb R^d:|x-y|\leq r\}. \]