Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 68 5 Solution Created 2026-10-03 Updated 2026-10-14
In a convenient cardinal parameter normalization, take the unit -cube and project by the sum of its coordinates. Its pushforward density is the unit-direction univariate box splineEquivalently, with at its discontinuity points,Here there are convolution factors; some conventions instead index the spline by its degree . The half-open convention for assigns knot values consistently and does not change the pushforward measure.
Support and positivity. A sum of numbers in lies in , so the closed support is finite. For , the interval of with has positive length. Induction in the convolution recurrence therefore gives in the interior. For , : strict positivity includes the open support interval, not its endpoints.
Partition of unity. The translates of cover the line exactly once under the half-open convention. Nonnegativity permits interchange of sum and integral, and induction givesThus , a locally finite sum. Each also has integral one, although partition of unity does not mean its maximum value is one.
For , repeated integration gives the explicit truncated-power formOn each unit knot interval this is a polynomial of degree at most , and on it is , so the degree is attained. Each truncated power has continuous derivatives; the derivative of order jumps at the first knot. Therefore the dependence on the projected box dimension isFor the pieces are constants and the function is discontinuous at the knots. If geometric width is measured under orthogonal projection onto the unit diagonal instead, the projected coordinate is , so the physical support width is ; its unit-mass density is . These are different scalings of the same cardinal spline, not different continuity or degree claims.
For a bivariate box spline, choose a spanning direction matrix in the plane and project the unit cube by . Define its normalization byThe support is the zonotope , and the polynomial pieces generally have total degree . The grid comes from the chosen direction families and their lattice translates. Two independent directions, with repetitions, give tensor-product B-splines on a parallelogram grid. Three families such as give a three-direction triangular grid; an affine change of basis can make it the usual equilateral triangular grid. The four families give the criss-cross square grid and the quadratic four-direction box spline. Changing the direction matrix and repeating directions therefore changes the grid, support and smoothness while retaining the box-projection construction.