Skip to main content
2 of 2
deleted 462 characters in body
Ayman Moussa
  • 3.4k
  • 1
  • 16
  • 24

Thanks to Giorgio's comment I found the good reference. In fact De Vore and Lorentz give a refined estimate (Theorem 6.1, Chapter 7) in comparison with the Bramble-Hilbert Lemma I've just cited : $$ \inf_{g\in\mathbf{R}_n[X]} \|f-g\|_p \lesssim \omega_p(f,\frac{1}{n}),$$ where $\omega_p(f,\cdot)$ is the modulus of continuity of $f$ for the $\text{L}^p$ norm. Since any element of $\text{W}^{1,p}(0,1)$ satisfies $\omega_p(f,\delta) \lesssim_f \delta $, so we recover the Bramble-Hilbert cases. In fact, the previous estimate on the modulus of continuity characterizes the corresponding Sobolev space inside $\text{L}^p(0,1)$ (the constant behind $\lesssim_f$ being $\|f'\|_p)$, except for $p=1$, for which this characterizes $\text{BV}(0,1)$ (with constant $\|f'\|_{\text{TV}}$ and not only $\text{W}^{1,1}(0,1)$. In particular, we have therefore, for $f\in\text{W}^{1,1}(0,1)$ $$ \inf_{g\in\mathbf{R}_n[X]} \|f-g\|_1 \lesssim \frac{1}{n}\|f'\|_{\text{TV}}.$$

Ayman Moussa
  • 3.4k
  • 1
  • 16
  • 24