Math 2.0

Approximations and expansions Best approximation and Chebyshev systems Theorem

De la Vallée Poussin lower bound

Builds on Error of best approximationPolynomial function

Statement

Let a<ba < b, let f ⁣:[a,b]→ℝf \colon [a, b] \to \R be continuous, let n≥0n \ge 0, and let pp be a real polynomial function of degree at most nn. Let a≤x0<x1<⋯<xn+1≤ba \le x_0 < x_1 < \cdots < x_{n+1} \le b be points at which the values f(xi)−p(xi)f(x_i) - p(x_i) are nonzero and alternate in sign. Then the error of best approximation of ff by polynomials of degree at most nn in the supremum norm satisfies En(f)≥min⁡0≤i≤n+1∣f(xi)−p(xi)∣.E_n(f) \ge \min_{0 \le i \le n+1} \abs{f(x_i) - p(x_i)}.

Remarks

The idea of the proof: let μ\mu be the minimum on the right and suppose some polynomial qq of degree at most nn has ∥f−q∥∞<μ\norm{f - q}_\infty < \mu. At each xix_i, the difference q−p=(f−p)−(f−q)q - p = (f - p) - (f - q) has the sign of f(xi)−p(xi)f(x_i) - p(x_i), because ∣f(xi)−q(xi)∣<μ≤∣f(xi)−p(xi)∣\abs{f(x_i) - q(x_i)} < \mu \le \abs{f(x_i) - p(x_i)}. So q−pq - p alternates in sign at n+2n + 2 points and has at least n+1n + 1 zeros, hence q=pq = p. But then ∥f−q∥∞≥μ\norm{f - q}_\infty \ge \mu, a contradiction.

Example: for f(x)=x2f(x) = x^2 on [0,1][0, 1], n=1n = 1 and p(x)=x−1/10p(x) = x - 1/10, the error x2−x+1/10x^2 - x + 1/10 takes the values 1/10,−3/20,1/101/10, -3/20, 1/10 at 0,1/2,10, 1/2, 1. So E1(f)≥1/10E_1(f) \ge 1/10, while ∥f−p∥∞=3/20\norm{f - p}_\infty = 3/20 gives E1(f)≤3/20E_1(f) \le 3/20; the true value is 1/81/8.

The number of points matters: with only n+1n + 1 alternation points no lower bound follows. For f(x)=xf(x) = x, n=1n = 1 and p=1/2p = 1/2, the error x−1/2x - 1/2 takes the values −1/2,1/2-1/2, 1/2 at 0,10, 1, but E1(f)=0E_1(f) = 0.

Going deeper

For a student

The bound is the easy half of the equioscillation theorem: when all the alternating values equal ∥f−p∥∞\norm{f - p}_\infty, it shows pp is best. In the Remez algorithm it certifies progress, since each iteration produces a polynomial and a set of n+2n + 2 alternation points, and the lower and upper bounds squeeze En(f)E_n(f). The same argument works for any Haar subspace of dimension n+1n + 1.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Error of best approximation concept
  2. Polynomial function concept
  3. De la Vallée Poussin lower bound statement

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Equioscillation_theorem
About this page
TagXNPVW5Z126
URIm2://XNPVW5Z126
Kindstatement, theorem
WritingW0 stub
MSC41A50, 41A10
StatusThis copy of the site has no build data. Run m2 status XNPVW5Z126.
AboutError of best approximation
UsesError of best approximation, Polynomial function

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by