Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-75/5/solution

Set , with for the final linear-reproduction assertion, and use the normalized knot polynomial . Differentiate the Marsden identity times with respect to the auxiliary variable , for . This gives
The Taylor polynomial expansion of an arbitrary polynomial of degree at most about is exact:
Substitute the differentiated identity into each term and collect the B-spline coefficients. The result is
This is the normalized Marsden dual functional. There is no extra factorial outside the sum, because it is already included in .
To prove independence of directly, differentiate the finite sum. The contribution from differentiating in term cancels the contribution from differentiating in term . Explicitly,
The two uncancelled endpoint terms vanish because . Thus the coefficient functional is constant in the auxiliary variable, as required.
The leading two terms of the knot polynomial give
For a linear polynomial , only survive, whence
The coefficient points are the Greville abscissae. Inserting these coefficients proves exact linear reproduction:
All identities hold on the basic knot interval , including the endpoints with the standard continuous endpoint convention. Repeated knots cause no difficulty in these polynomial differentiations.

New to topics? Read the docs here!