The function may be called by the names: e02bac, nag_fit_dim1_spline_knots or nag_1d_spline_fit_knots.
e02bac determines a least squares cubic spline approximation to the set of data points with weights , for . The value of , where is the number of intervals of the spline (one greater than the number of interior knots), and the values of the knots , interior to the data interval, are prescribed by you.
has the property that it minimizes , the sum of squares of the weighted residuals , for , where
The function produces this minimizing value of and the coefficients , where , in the B-spline representation
Here denotes the normalized B-spline of degree 3 defined upon the knots .
In order to define the full set of B-splines required, eight additional knots and , are inserted automatically by the function. The first four of these are set equal to the smallest and the last four to the largest .
The representation of in terms of B-splines is the most compact form possible in that only coefficients, in addition to the knots, fully define .
The method employed involves forming and then computing the least squares solution of a set of linear equations in the coefficients . The equations are formed using a recurrence relation for B-splines that is unconditionally stable (Cox (1972), de Boor (1972)), even for multiple (coincident) knots. The least squares solution is also obtained in a stable manner by using orthogonal transformations, viz. a variant of Givens rotations (Gentleman (1974) and Gentleman (1973)). This requires only one equation to be stored at a time. Full advantage is taken of the structure of the equations, there being at most four nonzero values of for any value of and hence at most four coefficients in each equation.
Subsequent evaluation of from its B-spline representation may be carried out using e02bbc. If derivatives of are also required, e02bcc may be used. e02bdc can be used to compute the definite integral of .
Cox M G (1972) The numerical evaluation of B-splines J. Inst. Math. Appl.10 134–149
Cox M G (1974) A data-fitting package for the non-specialist user Software for Numerical Mathematics (ed D J Evans) Academic Press
Cox M G (1975) Numerical methods for the interpolation and approximation of data by spline functions PhD Thesis City University, London
Cox M G and Hayes J G (1973) Curve fitting: a guide and suite of algorithms for the non-specialist user NPL Report NAC26 National Physical Laboratory
de Boor C (1972) On calculating with B-splines J. Approx. Theory6 50–62
Gentleman W M (1973) Least squares computations by Givens transformations without square roots J. Inst. Math. Applic.12 329–336
Gentleman W M (1974) Algorithm AS 75. Basic procedures for large sparse or weighted linear least squares problems Appl. Statist.23 448–454
Schoenberg I J and Whitney A (1953) On Polya frequency functions III Trans. Amer. Math. Soc.74 246–259
1: – IntegerInput
On entry: the number of data points.
, where is the number of distinct values in the data.
2: – const doubleInput
On entry: the values of the independent variable (abscissa), for .
3: – const doubleInput
On entry: the values of the of the dependent variable (ordinate), for .
Pointer to structure of type Nag_Spline with the following members:
n – IntegerInput
On entry: , where is the number of intervals of the spline (which is one greater than the number of interior knots, i.e., the knots strictly within the range to ) over which the spline is defined.
, where is the number of distinct values in the data.
lamda – double *Input/Output
On entry: a pointer to which memory of size must be allocated. must be set to the th interior knot, , for .
On exit: the input values are unchanged, and , , , , contains the additional exterior knots introduced by the function.
c – double *Output
On exit: a pointer to which memory of size is internally allocated. holds the coefficient of the B-spline , for .
Note that when the information contained in the pointers and is no longer of use, or before a new call to e02bac with the same spline, you should free this storage using the NAG macro NAG_FREE.
7: – NagError *Input/Output
The NAG error argument (see Section 7 in the Introduction to the NAG Library CL Interface).
6Error Indicators and Warnings
Dynamic memory allocation failed.
On entry, must not be less than 8: .
Too many knots for the number of distinct abscissae, : , .
These must satisfy the constraint .
On entry, user-specified knots must be interior to the data interval, must be greater than and must be less than : , , , .
The sequence is not increasing: , .
This condition on applies to user-specified knots in the interval , .
The sequence x is not increasing: , .
The conditions specified by Schoenberg and Whitney fail.
The conditions specified by Schoenberg and Whitney (1953) fail to hold for at least one subset of the distinct data abscissae. That is, there is no subset of strictly increasing values, , , among the abscissae such that
This means that there is no unique solution: there are regions containing too many knots compared with the number of data points.
On entry, the weights are not strictly positive: .
The rounding errors committed are such that the computed coefficients are exact for a slightly perturbed set of ordinates . The ratio of the root-mean-square value for the to the root-mean-square value of the can be expected to be less than a small multiple of machine precision, where is a condition number for the problem. Values of for 20-30 practical datasets all proved to lie between and (see Cox (1975)). (Note that for these datasets, replacing the coincident end knots at the end-points and used in the function by various choices of non-coincident exterior knots gave values of between 16 and . Again see Cox (1975) for further details.) In general we would not expect to be large unless the choice of knots results in near-violation of the Schoenberg–Whitney conditions.
A cubic spline which adequately fits the data and is free from spurious oscillations is more likely to be obtained if the knots are chosen to be grouped more closely in regions where the function (underlying the data) or its derivatives change more rapidly than elsewhere.
8Parallelism and Performance
e02bac is not threaded in any implementation.
The time taken by e02bac is approximately seconds, where is a machine-dependent constant.
Multiple knots are permitted as long as their multiplicity does not exceed , i.e., the complete set of knots must satisfy , for , (see Section 6). At a knot of multiplicity one (the usual case), and its first two derivatives are continuous. At a knot of multiplicity two, and its first derivative are continuous. At a knot of multiplicity three, is continuous, and at a knot of multiplicity four, is generally discontinuous.
The function can be used efficiently for cubic spline interpolation, i.e., if . The abscissae must then of course satisfy . Recommended values for the knots in this case are , for .
Determine a weighted least squares cubic spline approximation with five intervals (four interior knots) to a set of 14 given data points. Tabulate the data and the corresponding values of the approximating spline, together with the residual errors, and also the values of the approximating spline at points half-way between each pair of adjacent data points.
The example program is written in a general form that will enable a cubic spline approximation with intervals ( interior knots) to be obtained to data points, with arbitrary positive weights, and the approximation to be tabulated. Note that e02bbc is used to evaluate the approximating spline. The program is self-starting in that any number of datasets can be supplied.