On the equivalence of the modulus of smoothness and the \(K\)-functional over convex domains (Q2268562)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the equivalence of the modulus of smoothness and the \(K\)-functional over convex domains |
scientific article |
Statements
On the equivalence of the modulus of smoothness and the \(K\)-functional over convex domains (English)
0 references
8 March 2010
0 references
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\}. \]
0 references
Lipschitz graph doamin
0 references
modulus of smoothness
0 references
\(K\)-functional
0 references
0 references