For with , differentiation of the Chebyshev polynomial givesBoth sides are polynomials in , so the identity holds at the endpoints and, in fact, for every real .
Order the roots of a polynomial here as , , so . At these simple roots,For a polynomial of degree at most , the Lagrange interpolation polynomial isFor , the Chebyshev polynomial is positive: all its roots are at most and its leading coefficient is positive. Hence . The assumed nodal bounds and interpolation of the degree- polynomial now giveContinuity includes . Apply this argument to and use the parity of the Chebyshev polynomial to obtain the negative side. Thus the Chebyshev nodal derivative comparison proves
Articles by others on the same topic
There are currently no matching articles.