Past exam of the mathematics course of the University of Cambridge / 2001 / iii / Paper 58 / 3

The Korovkin theorem says that a sequence of positive linear operators on continuous functions on $[0,1]$ converges uniformly to the identity on every continuous function if it does so on $1$, $x$ and $x^2$. Necessity is immediate; the quadratic barrier argument establishing sufficiency is given in Solution 6.

There is an endpoint misprint in the original PDF: the repeated knots at the right end must equal $1$, not $0$. Otherwise the advertised nondecreasing spline knot sequence on $[0,1]$ does not exist. Use the corrected clamped spline knot sequences, with fixed order $k$ and maximum gap $h_n\to 0$. Let $m_n$ denote the number of B-splines for the $n$th sequence. Nonnegativity and partition of unity show that the Schoenberg spline operator $V_n$ is positive and $V_{n}1=1$.

The monomial B-spline coefficients reproduce the first two nonconstant test polynomials. PutThe pair sum uses $r<s$, as in the PDF; the converted TeX incorrectly includes $r=s$. Every sampling point ${\tau }_j$ and every knot entering these coefficients lie in $[t_j,t_{j+k}]$, whose length is at most $k{h}_n$. Thus $|{\tau }_j-a_{1,j}|\le k{h}_n$. Also all these numbers belong to $[0,1]$, soThe positive B-spline weights giveTogether with $V_{n}1=1$, the three limits proveUnder the usual interior knot multiplicities at most $k-1$, the splines are continuous and the quoted form of the Korovkin theorem applies directly. If full interior multiplicity is allowed, the output can be discontinuous. The same positive-operator quadratic barrier proof still works with bounded output functions and the supremum norm, and proves exactly the stated uniform error limit without asserting continuity of each output. Indeed the stronger local-support error bound for a Schoenberg spline operator, $\Vert V_{n}g-g{\Vert }_{\infty }\le \omega (g,k{h}_n)$, follows by comparing $g(x)$ with each active sample value. The restriction $k\ge 3$ is needed for the displayed quadratic reproduction argument, not for this direct support estimate.