How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Chebyshev cardinal interpolation reproduces polynomials and its norm is the cardinal sum
Statement
For either Chebyshev node family and every , the cardinal polynomials in Best uniform polynomial error and Chebyshev interpolation operators satisfy when and otherwise. They are the unique degree-at-most- polynomials with those cardinal values. Consequently for every . Moreover,
Facts & Assumptions
Given: An integer , one of the two node families, and .
Best uniform polynomial error and Chebyshev interpolation operators: the node families are distinct, , , and .
Existence and uniqueness of the cardinal-polynomial interpolant: at increasingly ordered distinct real nodes, the supplied cardinal sum is the unique real polynomial of degree at most interpolating its prescribed data, including .
Cardinal interpolation functions are polynomials of the stated degrees: the supplied cardinal functions are degree- polynomials with Kronecker node values, and their data sum is a polynomial of degree at most .
Proof
Put , so by [F1]. Under this reverse indexing, the supplier cardinal function at index is by the specialization in [F1]. Applying [F3] gives its degree and cardinal values, including the one-node empty-product case .
Put . For every with , the defining sum gives , hence .
Prescribe data at and otherwise on the increasingly ordered nodes from step 1.1. The polynomial has these data by step 1.1. The supplier uniqueness theorem [F2] makes it the unique degree-at-most- polynomial with the required cardinal values.
Prescribe on the ordered nodes in step 1.1. By [F1] and [F3], their cardinal sum is and has degree at most . The polynomial itself interpolates those data, so the supplier uniqueness theorem [F2] gives .
Fix . Define for , for , and for , and prescribe at each node. These values lie in and satisfy by cases. Sort nodes increasingly, interpolate these values linearly, and extend constantly to the interval endpoints; each interpolated value is a convex combination of endpoint values, so the resulting continuous has norm at most . The cardinal sum gives , so . Taking the supremum in and using step 1.2 proves equality. For the same construction is constant on the interval.
Depends on
Used by
- Degree-one root and Lobatto interpolation norms Example
- Trigonometric formulas for Chebyshev cardinal polynomials Lemma
- Chebyshev interpolation error is controlled by best polynomial error Theorem
- Chebyshev-root and Lobatto interpolation norms have logarithmic upper bounds Theorem
- DCT-I coefficients of the Chebyshev–Lobatto interpolant Theorem
- Polynomial exactness and best-approximation error for Clenshaw–Curtis Theorem
Dependency tree · two levels
30 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Lloyd N. Trefethen, Approximation Theory and Approximation Practice, Ch. 5 (standard reference, not scraped)
- Tobin A. Driscoll and Richard J. Braun, Fundamentals of Numerical Computation, Polynomial interpolation (standard reference, not scraped)