Let , , , and . The Kolmogorov criterion for uniform approximation says
Equivalently, no available perturbation has strictly the same sign as the nonzero residual at every extremal point. This statement concerns a candidate in the linear subspace; it does not assume every subspace has an attained best approximation. If , is already exact and the criterion is automatic.
To see sufficiency, for any competitor , the criterion supplies an with . Then , so the competitor cannot have smaller supremum norm error.
For necessity, suppose and some has on . Since is compact, this product has a positive minimum there. By continuity, a neighborhood of has . For sufficiently small ,
On the compact complement of , has a strict gap below , and taking smaller than this gap preserves it. Hence improves the uniform error everywhere, contradicting best uniform approximation.
For a real continuous function , the Chebyshev alternation theorem asserts that a polynomial is a best uniform approximation exactly when either it is exact or its residual has ordered alternating extrema:
Here means degree at most , as required for a linear subspace.
For sufficiency, if a polynomial perturbation violated the Kolmogorov criterion for uniform approximation, then at every displayed point. Thus would alternate signs, forcing a distinct zero in each of the intervals by the intermediate value theorem. A nonzero polynomial of degree at most cannot have that many zeros; the zero polynomial does not violate the criterion either.
For necessity, assume and no such alternating sequence exists. The two compact sets and are disjoint and, when both are nonempty, have positive separation. Hence the extremal set has finitely many successive sign runs: infinitely many alternations would contradict that separation on the bounded interval. If there are changes of sign between those runs, then selecting one point from each run gives an alternating sequence of length , so . Choose a point in the gap between each pair of consecutive opposite-sign runs, and set
Choose the sign of so that agrees with on the first run. The roots lie outside the extremal set and each changes the sign, so at every extremal point. Since , this contradicts the Kolmogorov criterion for uniform approximation. Therefore a best polynomial must have the required alternation.
Existence also holds: a minimizing sequence has bounded supremum norms, hence bounded coefficients by evaluating at fixed distinct points and inverting the resulting Vandermonde matrix. A convergent subsequence of coefficients yields a minimizer. Finally, if and are both best, their average is best; at its alternating extrema both individual residuals must equal the same extremal value. Consequently has at least zeros and is identically zero. The best polynomial exists, is unique, and is characterized by alternation.

Articles by others on the same topic (0)

There are currently no matching articles.