Spline interpolation
In the mathematical field of numerical analysis, spline interpolation is a form of interpolation where the interpolant is a special type of piecewise polynomial called a spline. That is, instead of fitting a single, high-degree polynomial to all of the values at once, spline interpolation fits low-degree polynomials to small subsets of the values, for example, fitting nine cubic polynomials between each of the pairs of ten points, instead of fitting a single degree-nine polynomial to all of them. Spline interpolation is often preferred over polynomial interpolation because the interpolation error can be made small even when using low-degree polynomials for the spline. Spline interpolation also avoids the problem of Runge's phenomenon, in which oscillation can occur between points when interpolating using high-degree polynomials.
Introduction
[Image:Cubic spline.svg|thumb|right|Interpolation with cubic splines between eight points. Hand-drawn technical drawings for shipbuilding are a historical example of spline interpolation; drawings were constructed using flexible rulers that were bent to follow pre-defined points.]Originally, spline was a term for elastic rulers that were bent to pass through a number of predefined points, or knots. These were used to make technical drawings for shipbuilding and construction by hand, as illustrated in the figure.
We wish to model similar kinds of curves using a set of mathematical equations. Assume we have a sequence of knots, through. There will be a cubic polynomial between each successive pair of knots and connecting to both of them, where. So there will be polynomials, with the first polynomial starting at, and the last polynomial ending at.
The curvature of any curve is defined as
where and are the first and second derivatives of with respect to.
To make the spline take a shape that minimizes the bending, we will define both and to be continuous everywhere, including at the knots. Each successive polynomial must have equal values, derivatives, and second derivatives at their joining knots, which is to say that
This can only be achieved if polynomials of degree 3 or higher are used. The classical approach is to use polynomials of exactly degree 3 — cubic splines.
In addition to the three conditions above, a natural cubic spline has the condition that.
In addition to the three main conditions above, a clamped cubic spline has the conditions that and where is the derivative of the interpolated function.
In addition to the three main conditions above, a not-a-knot spline has the conditions that and.
Algorithm to find the interpolating cubic spline
We wish to find each polynomial given the points through. To do this, we will consider just a single piece of the curve,, which will interpolate from to. This piece will have slopes and at its endpoints. Or, more precisely,The full equation can be written in the symmetrical form
where
But what are and ? To derive these critical values, we must consider that
It then follows that
Setting and respectively in equations and, one gets from that indeed first derivatives and, and also second derivatives
If now are points, and
where i = 1, 2,..., n, and are n third-degree polynomials interpolating in the interval for i = 1,..., n such that for i = 1,..., n − 1, then the n polynomials together define a differentiable function in the interval, and
for i = 1,..., n, where
If the sequence is such that, in addition, holds for i = 1,..., n − 1, then the resulting function will even have a continuous second derivative.
From,, and follows that this is the case if and only if
for i = 1,..., n − 1. The relations are linear equations for the values.
For the elastic rulers being the model for the spline interpolation, one has that to the left of the left-most "knot" and to the right of the right-most "knot" the ruler can move freely and will therefore take the form of a straight line with. As should be a continuous function of, "natural splines" in addition to the linear equations should have
i.e. that
Eventually, together with and constitute linear equations that uniquely define the parameters.
There exist other end conditions, "clamped spline", which specifies the slope at the ends of the spline, and the popular "not-a-knot spline", which requires that the third derivative is also continuous at the and points.
For the "not-a-knot" spline, the additional equations will read:
where.
Example
[Image:Cubic splines three points.svg|frame|right|Interpolation with cubic "natural" splines between three points]In case of three points the values for are found by solving the tridiagonal linear equation system
with
For the three points
one gets that
and from and that
In the figure, the spline function consisting of the two cubic polynomials and given by is displayed.