Whitney type inequalities for local anisotropic polynomial approximation (Q643341): Difference between revisions

Let \(f:I=[a,b]\rightarrow\mathbb{R}\) be a function and \(P^{r}\) be the set of algebraic polynomials of degree at most \(r-1.\) Let \(E_{r}(f)_{p,I}\) be the value of the best approximation of \(f\) by the polynomials in \(P^{r}\) measured in the \(L_{p}\)-norm \((1\leq p\leq\infty),\) and let \(\omega_{r}(f,b-a)_{p,I}\) be the modulus of smoothness of order \(r\) for \(f.\) The classical Whitney theorem establishes that \(2^{-r}\omega_{r}(f,b-a)_{p,I}\leq E_{r} (f)_{p,I}\leq C\omega_{r}(f,b-a)_{p,I},\) where the constant \(C\) depends only on \(r.\) For \(r:=(r_{1},r_{2},\dots,r_{d})\in\mathbb{N}^{d},\) \(d\in\mathbb{N},\) \(d\geq1,\) let \(\mathcal{P}_{r}\) be the set of algebraic polynomials of fixed degree at most \(r_{i}-1\) at variable \(x_{i},\) \(i\in[ d]=\{1,2,\dots,d\}.\) For \(Q:=[a,b]\times\dots\times[ a_{d},b_{d}]\), \(1\leq p\leq\infty\) and \(f\in L_{p}(Q),\) let \(E_{r}(f)_{p,Q}:=\inf\left\{ \left\| f-u\right\| _{p,Q}:u\in \mathcal{P}_{r}\right\} \). The main result of the paper is the following Whitney type inequality: \[ \left( \sum_{e\subset[ d]}\prod\limits_{i\in e}2^{r_{i}}\right) ^{-1}\Omega_{r}(f,\delta)_{p,Q}\leq E_{r}(f)_{p,Q}\leq C\Omega_{r} (f,\delta)_{p,Q}. \] Here \(\delta=\delta(Q)\) is the size of \(Q,\) \(\Omega_{r}(f,\delta)\) is the total mixed modulus of smoothness of order \(r\) and \(C\) is a constant depending only on \(r,\) \(d.\)