On the equivalence of the modulus of smoothness and the K-functional over convex domains

From MaRDI portal
Publication:2268562





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\}. \]











This page was built for publication: On the equivalence of the modulus of smoothness and the \(K\)-functional over convex domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2268562)