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 , so
For 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. Therefore
This proves the Lee interpolation identity
The 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 (0)

There are currently no matching articles.