On monotone and doubly monotone polynomial approximation (Q1206292): Difference between revisions

Let \(E_n(f)\) denote the best approximation in the uniform norm \(\|\cdot\|\) of \(f\in C[0,1]\) by polynomials in the set \(\Pi_n\) of polynomials of degree at most \(n\). Assume that \(\sum_{k=1}^\infty k^{-1} E_k(f)<\infty\). It is shown that there exist \(P_n\), \(Q_n\) in \(\Pi_n\) such that \[ Q_n(x)\le Q_{n+1}(x)\le f(x)\le P_{n+1}(x)\le P_n(x) \qquad (0\le x\le 1,\ n\ge 4) \] and \(\| P_n-Q_n\|\le 8 \sum k^{-1} E_k(f)\), where the sum is for \(k\ge [n/2]-1\). This has the corollary: If \(f^r\in C[0,1]\) for all \(r\ge 0\) and the modulus of continuity \(\omega[f,h]\) satisfies \(\sum_1^\infty k^{-1} \omega(f,k^{-1})<\infty\), and if \(f\) is monotone, then there exist \(P_n\), \(Q_n\) as above, where \(P_n\), \(Q_n\) are monotone polynomials.