Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2004/iii/paper-71/6/solution
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 71 6 Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
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 indicescan contribute, restricted also to . Every corresponding local support lies insideNonnegativity and subpartition of unity for B-splines therefore giveTaking 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 givesThe polynomial is itself a spline, so . By linearity and the local stability estimate,Taking the maximum over cells yieldsThe 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!