Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/iii/paper-71/6/solution

Use the standard knot-domain convention in which the spline space contains every polynomial of degree at most on , with completed or clamped endpoint knots. The De Boor–Fix functional extracts a local spline coefficient, and its Hahn-Banach theorem extension is linear on continuous local data with the stated bound. Only that bound and spline reproduction are needed here.
For in a knot cell , support and Gram bandwidth of B-splines implies that only indices
can contribute, restricted also to . Every corresponding local support lies inside
Nonnegativity and subpartition of unity for B-splines therefore give
Taking the supremum over the cell proves the local stability estimate for spline quasi-interpolation:
Endpoint limits follow by continuity for ; the order-one version uses the usual one-sided interval convention.
Let and . Choose any point in the stencil and form its degree- Taylor polynomial . The Taylor theorem remainder gives
The polynomial is itself a spline, so . By linearity and the local stability estimate,
Taking the maximum over cells yields
The constant depends only on and the supplied functional bound, not on mesh ratios or the number of knots.
The endpoint convention is essential to the global assertion. The domain can be the basic knot interval, with any needed exterior data extended smoothly, or the full approximation interval can use clamped endpoint knots. If one instead takes a finite, unclamped collection on the entire outer support interval , every order- basis function vanishes at , so and uniform approximation to the constant one there is impossible. This does not affect the local estimate; it explains the usual boundary completion implicit in the global spline approximation statement.

New to topics? Read the docs here!