For fixed , put , a truncated power function. Begin with distinct increasing knots. The two interpolation polynomials and agree at their shared knots. Their difference has degree at most , soFor the empty product is one and the same assertion holds for constant interpolants. The leading coefficient of a degree-at-most- interpolant on nodes is its order- divided difference, by the Newton interpolation polynomial. ThereforeThis proves the Lee interpolation identityThe identity holds for every real , with the usual convention for the order-zero truncated power. Admissible repeated knots are handled by the corresponding confluent divided differences and consistent one-sided limits at breakpoints; taking these limits preserves the Lee interpolation identity.
Sum over to telescope:If , the first knot values of are zero, so . At the last knots , the function agrees with the polynomial , so uniqueness of polynomial interpolation gives . Thus the Marsden identity is
Articles by others on the same topic
There are currently no matching articles.