Chebyshev nodal derivative comparison
ID: chebyshev-nodal-derivative-comparison
Let be the roots of the Chebyshev polynomial, and let have degree at most with . Its Lagrange interpolation polynomial uses basis . For , and , so . Therefore , the last equality being interpolation of the derivative. Continuity includes and reflection proves the left-hand region.
New to topics? Read the docs here!