Put . The linear-reproduction request requires , which we use for that final step. Since , the useful normalized Marsden dual functional is
There is no further factor outside this sum: it has already been included in .
To derive the formula directly from Marsden's identity, Taylor's theorem for the polynomial around the arbitrary point gives
On the other hand,
Differentiate Marsden's identity times in , multiply by , and sum over . The left side becomes , while the right side becomes
Only finite sums and derivatives of polynomials are involved.
Independence of the auxiliary point does not require an assumption about uniqueness of an expansion. Differentiate the formula for itself:
The first summand at and the second at vanish because both polynomials have degree at most . All remaining terms cancel after shifting the index by one. Therefore is a constant in , and it is visibly a linear functional of .
For , only remain. The leading two coefficients of the monic knot polynomial give
It follows that
Substituting into the expansion proves
on the basic knot interval. Thus the Greville abscissae are exactly the sampling coefficients that reproduce linear polynomials; the constant case also gives the subpartition of unity for B-splines with equality on this interval.

Articles by others on the same topic (0)

There are currently no matching articles.