6

Consider a continuous function $f: [0,1] \to [0,1]$. Let $B_n$ be its $n$-th order Bernstein polynomial, $$ B_n(x) = \sum_{k=0}^n f\left(\frac{k}{n}\right) \binom{n}{k}x^k (1-x)^{n-k}. $$ As is well known, $B_n(x) \rightarrow f(x)$ uniformly on $[0,1]$ as $n \rightarrow \infty$. I am interested in bounding the approximation error $B_n(x)-f(x)$.

This reference, section 4, contains one such bound: $$ |B_n(x)-f(x)| \leq \left( 1 + \frac{1}{4n^2} \right) \omega(n^{-1/2}) $$ where $\omega$ is the modulus of continuity of $f$, that is, $\omega(\delta) = \sup_{|x-x'|<\delta} |f(x)-f(x')|$.

My questions are

  • Is there any reference or proof to that result?
  • Are there any similar results that provide a bound on $|B_n(x)-f(x)|$?
Luis Mendo
  • 1,834
  • You should use probability, and Tchebycheff inequality and use$$ |x-\frac{k}{n}|^\alpha \leq \frac{1}{n^{\alpha/2}}(1+\sqrt{n}|x-\frac{k}{n}|)$$ – EDX Oct 31 '20 at 21:34

1 Answers1

2

I found a few references:

Luis Mendo
  • 1,834
  • 1
    Thank you for the references. – Giuseppe Negro Nov 04 '20 at 00:26
  • @GiuseppeNegro Glad you found them useful! I have a few more, similar to these. If you don't find what you want in the ones I linked just let me know – Luis Mendo Nov 04 '20 at 11:36
  • Do you know of references for non-uniform (but "rapid") convergence of functions by polynomials with Bernstein coefficients, especially where those coefficients all lie in [0, 1], or where the function is 0 or 1 at the points 0 and/or 1? See also my related question. – Peter O. Nov 27 '20 at 02:09
  • @PeterO. Guan's idea of iterating (applying a Bernstein approximation to the error of the previous approximation) is nice, and improves convergence, but the resulting polynomial gives values outside $[0,1]$. For uniform bounds, the rate $1/n$ cannot be improved (see thereom 3 in Guan's paper). Abel, 2020 gives explicit, non-uniform bounds that improve previous results – Luis Mendo Nov 27 '20 at 09:20
  • Thank you for responding. My interest is not so much about convergence rates as it is about algorithms to compute monotone sequences of polynomials that converge from above and from below to a function (again, see my related question). Also, I say "non-uniform convergence" to mean especially that the sequence of polynomials can have, for instance, the first Bernstein coefficient all equal to 0, when f(0) is 0, under certain cases (an example of this is Thomas and Blanchet 2012, especially Figure 2). – Peter O. Nov 27 '20 at 10:43
  • I don't remember any result in that regard, other than a Taylor expansion with positive terms: the truncated sum is a monotone increasing lower bound, and I think Lagrange's error term can provide a monotone decreasing upper bound. But of course that case can also be solved with the algorithm in my 2019 paper – Luis Mendo Nov 27 '20 at 12:52
  • And if the Taylor series is alternating with terms decreasing in absolute value, you can combine pairs of consecutive terms to produce a series with positive terms – Luis Mendo Nov 27 '20 at 13:12
  • About the Bojanic and Cheng work: That paper actually cited another work by Sikkema (1961), where the constant you mention comes from. – Peter O. Nov 29 '20 at 17:57
  • See my new related question on explicit and "fast" bounds for approximation by polynomials readily convertible to Bernstein form. – Peter O. Jun 09 '22 at 05:02
  • @PeterO. Thanks for the link. Interesting question! – Luis Mendo Jun 09 '22 at 10:29