Polynomial approximation with doubling weights (1408.5452v2)

Abstract: Among other things, we prove that, for a doubling weight $w$, $0< p\leq\infty$, $r\in{\mathbb N}0$, and $0<\alpha <r+1 - 1/\lambda_p$, we have [ E_n(f){p, w_n} = O(n^{-\alpha}) \iff \omega_\varphi^{r+1}(f, n^{-1})_{p, w_n} = O(n^{-\alpha}), ] where $\lambda_p := p$ if $0 < p < \infty$, $\lambda_p :=1$ if $p=\infty$, $|f|{p,w} := \left( \int{-1}^1 |f(u)|^p w(u) du \right)^{1/p}$, $|f|{\infty,w} := {\mathop{\rm ess: sup}\nolimits}{u\in [-1,1]} \left(|f(u)| w(u)\right)$, $\omega_\varphi^r(f, t){p, w} := \sup{0<h\leq t} | \Delta_{h\varphi(\cdot)}^r(f,\cdot)|_{p, w}$, $E_n(f){p, w} := \inf{P_n\in\Pi_n} |f-P_n|{p,w}$, and $\Pi_n$ is the set of all algebraic polynomials of degree $\leq n-1$. Equivalence type results involving related $K$-functionals and realization type results (obtained as corollaries of our estimates) are also discussed. Finally, we mention that (*) closes a gap left in the paper by G. Mastroianni and V. Totik "Best Approximation and moduli of smoothness for doubling weights", J. Approx. Theory {\bf 110} (2001), 180-199, where ($\ast$) was established for $p=\infty$ and $\omega\varphi^{r+2}$ instead of $\omega_\varphi^{r+1}$ (it was shown there that, in general, ($\ast$) is not valid for $p=\infty$ if $\omega_\varphi^{r+1}$ is replaced by $\omega_\varphi^{r}$).