NAG Library Routine Document

E02DCF

plane. The knots of the spline are located automatically, but a single parameter must be specified to control the trade-off between closeness of fit and smoothness of fit.

2 Specification

SUBROUTINE E02DCF (

START, MX, X, MY, Y, F, S, NXEST, NYEST, NX, LAMDA, NY, MU, C, FP, WRK, LWRK, IWRK, LIWRK, IFAIL)

INTEGER	MX, MY, NXEST, NYEST, NX, NY, LWRK, IWRK(LIWRK), LIWRK, IFAIL
REAL (KIND=nag_wp)	X(MX), Y(MY), F(MXMY), S, LAMDA(NXEST), MU(NYEST), C((NXEST-4)(NYEST-4)), FP, WRK(LWRK)
CHARACTER(1)	START

3 Description

E02DCF determines a smooth bicubic spline approximation

s (x, y)

to the set of data points

(x_{q}, y_{r}, f_{q, r})

, for

q = 1, 2, \dots, m_{x}

and

r = 1, 2, \dots, m_{y}

The spline is given in the B-spline representation

s (x, y) = \sum_{i = 1}^{n_{x} - 4} \sum_{j = 1}^{n_{y} - 4} c_{i j} M_{i} (x) N_{j} (y),

(1)

where

M_{i} (x)

and

N_{j} (y)

denote normalized cubic B-splines, the former defined on the knots

λ_{i}

λ_{i + 4}

and the latter on the knots

μ_{j}

μ_{j + 4}

. For further details, see Hayes and Halliday (1974) for bicubic splines and de Boor (1972) for normalized B-splines.

The total numbers

n_{x}

and

n_{y}

of these knots and their values

λ_{1}, \dots, λ_{n_{x}}

and

μ_{1}, \dots, μ_{n_{y}}

are chosen automatically by the routine. The knots

λ_{5}, \dots, λ_{n_{x} - 4}

and

μ_{5}, \dots, μ_{n_{y} - 4}

are the interior knots; they divide the approximation domain

[x_{1}, x_{m_{x}}] \times [y_{1}, y_{m_{y}}]

into

(n_{x} - 7) \times (n_{y} - 7)

subpanels

[λ_{i}, λ_{i + 1}] \times [μ_{j}, μ_{j + 1}]

, for

i = 4, 5, \dots, n_{x} - 4

and

j = 4, 5, \dots, n_{y} - 4

. Then, much as in the curve case (see E02BEF), the coefficients

c_{i j}

are determined as the solution of the following constrained minimization problem:

minimize η,

(2)

subject to the constraint

θ = \sum_{q = 1}^{m_{x}} \sum_{r = 1}^{m_{y}} ε_{q, r}^{2} \leq S,

(3)

where	$η$	is a measure of the (lack of) smoothness of $s (x, y)$ . Its value depends on the discontinuity jumps in $s (x, y)$ across the boundaries of the subpanels. It is zero only when there are no discontinuities and is positive otherwise, increasing with the size of the jumps (see Dierckx (1982) for details).
	$ε_{q, r}$	denotes the residual $f_{q, r} - s (x_{q}, y_{r})$ ,
and	$S$	is a non-negative number specified by you.

By means of the parameter

S

, ‘the smoothing factor’, you will then control the balance between smoothness and closeness of fit, as measured by the sum of squares of residuals in (3). If

S

is too large, the spline will be too smooth and signal will be lost (underfit); if

S

is too small, the spline will pick up too much noise (overfit). In the extreme cases the routine will return an interpolating spline

(θ = 0)

S

is set to zero, and the least squares bicubic polynomial

(η = 0)

S

is set very large. Experimenting with

S

-values between these two extremes should result in a good compromise. (See Section 8.3 for advice on choice of

S

The method employed is outlined in Section 8.5 and fully described in Dierckx (1981) and Dierckx (1982). It involves an adaptive strategy for locating the knots of the bicubic spline (depending on the function underlying the data and on the value of

S

), and an iterative method for solving the constrained minimization problem once the knots have been determined.

Values and derivatives of the computed spline can subsequently be computed by calling E02DEF, E02DFF or E02DHF as described in Section 8.6.

4 References

de Boor C (1972) On calculating with B-splines J. Approx. Theory 6 50–62

Dierckx P (1981) An improved algorithm for curve fitting with spline functions Report TW54 Department of Computer Science, Katholieke Univerciteit Leuven

Dierckx P (1982) A fast algorithm for smoothing data on a rectangular grid while using spline functions SIAM J. Numer. Anal. 19 1286–1304

Hayes J G and Halliday J (1974) The least-squares fitting of cubic spline surfaces to general data sets J. Inst. Math. Appl. 14 89–103

Reinsch C H (1967) Smoothing by spline functions Numer. Math. 10 177–183

5 Parameters

1: START – CHARACTER(1)Input

On entry: determines whether calculations are to be performed afresh (Cold Start) or whether knots found in previous calls are to be used as an initial estimate of knot placement (Warm Start).

$START ='C'$: The routine will build up the knot set starting with no interior knots. No values need be assigned to the parameters NX, NY, LAMDA, MU, WRK or IWRK.
$START ='W'$: The routine will restart the knot-placing strategy using the knots found in a previous call of the routine. In this case, the parameters NX, NY, LAMDA, MU, WRK and IWRK must be unchanged from that previous call. This warm start can save much time in determining a satisfactory set of knots for the given value of S. This is particularly useful when different smoothing factors are used for the same dataset.

Constraint:

START ='C'

'W'

2: MX – INTEGERInput

On entry:

m_{x}

, the number of grid points along the

x

axis.

Constraint:

MX \geq 4

3: X(MX) – REAL (KIND=nag_wp) arrayInput

On entry:

X (q)

must be set to

x_{q}

, the

x

coordinate of the

q

th grid point along the

x

axis, for

q = 1, 2, \dots, m_{x}

Constraint:

x_{1} < x_{2} < \dots < x_{m_{x}}

4: MY – INTEGERInput

On entry:

m_{y}

, the number of grid points along the

y

axis.

Constraint:

MY \geq 4

5: Y(MY) – REAL (KIND=nag_wp) arrayInput

On entry:

Y (r)

must be set to

y_{r}

, the

y

coordinate of the

r

th grid point along the

y

axis, for

r = 1, 2, \dots, m_{y}

Constraint:

y_{1} < y_{2} < \dots < y_{m_{y}}

6: F( $MX \times MY$ ) – REAL (KIND=nag_wp) arrayInput

On entry:

F (m_{y} \times (q - 1) + r)

must contain the data value

f_{q, r}

, for

q = 1, 2, \dots, m_{x}

and

r = 1, 2, \dots, m_{y}

7: S – REAL (KIND=nag_wp)Input

On entry: the smoothing factor,

S

S = 0.0

, the routine returns an interpolating spline.

If S is smaller than machine precision, it is assumed equal to zero.

For advice on the choice of S, see Sections 3 and 8.3.

Constraint:

S \geq 0.0

8: NXEST – INTEGERInput

9: NYEST – INTEGERInput

On entry: an upper bound for the number of knots

n_{x}

and

n_{y}

required in the

x

- and

y

-directions respectively.

In most practical situations,

NXEST = m_{x} / 2

and

NYEST = m_{y} / 2

is sufficient. NXEST and NYEST never need to be larger than

m_{x} + 4

and

m_{y} + 4

respectively, the numbers of knots needed for interpolation

(S = 0.0)

. See also Section 8.4.

Constraints:

$NXEST \geq 8$ ;
$NYEST \geq 8$ .

10: NX – INTEGERInput/Output

On entry: if the warm start option is used, the value of NX must be left unchanged from the previous call.

On exit: the total number of knots,

n_{x}

, of the computed spline with respect to the

x

variable.

11: LAMDA(NXEST) – REAL (KIND=nag_wp) arrayInput/Output

On entry: if the warm start option is used, the values

LAMDA (1), LAMDA (2), \dots, LAMDA (NX)

must be left unchanged from the previous call.

On exit: contains the complete set of knots

λ_{i}

associated with the

x

variable, i.e., the interior knots

LAMDA (5), LAMDA (6), \dots, LAMDA (NX - 4)

as well as the additional knots

LAMDA (1) = LAMDA (2) = LAMDA (3) = LAMDA (4) = X (1)

and

LAMDA (NX - 3) = LAMDA (NX - 2) = LAMDA (NX - 1) = LAMDA (NX) = X (MX)

needed for the B-spline representation.

12: NY – INTEGERInput/Output

On entry: if the warm start option is used, the value of NY must be left unchanged from the previous call.

On exit: the total number of knots,

n_{y}

, of the computed spline with respect to the

y

variable.

13: MU(NYEST) – REAL (KIND=nag_wp) arrayInput/Output

On entry: if the warm start option is used, the values

MU (1), MU (2), \dots, MU (NY)

must be left unchanged from the previous call.

On exit: contains the complete set of knots

μ_{i}

associated with the

y

variable, i.e., the interior knots

MU (5), MU (6), \dots, MU (NY - 4)

as well as the additional knots

MU (1) = MU (2) = MU (3) = MU (4) = Y (1)

and

MU (NY - 3) = MU (NY - 2) = MU (NY - 1) = MU (NY) = Y (MY)

needed for the B-spline representation.

14: C( $(NXEST - 4) \times (NYEST - 4)$ ) – REAL (KIND=nag_wp) arrayOutput

On exit: the coefficients of the spline approximation.

C ((n_{y} - 4) \times (i - 1) + j)

is the coefficient

c_{i j}

defined in Section 3.

15: FP – REAL (KIND=nag_wp)Output

On exit: the sum of squared residuals,

θ

, of the computed spline approximation. If

FP = 0.0

, this is an interpolating spline. FP should equal

S

within a relative tolerance of

0.001

unless

NX = NY = 8

, when the spline has no interior knots and so is simply a bicubic polynomial. For knots to be inserted, S must be set to a value below the value of FP produced in this case.

16: WRK(LWRK) – REAL (KIND=nag_wp) arrayCommunication Array

If the warm start option is used, on entry, the values

WRK (1), \dots, WRK (4)

must be left unchanged from the previous call.

This array is used as workspace.

17: LWRK – INTEGERInput

On entry: the dimension of the array WRK as declared in the (sub)program from which E02DCF is called.

Constraint:

LWRK \geq 4 \times (MX + MY) + 11 \times (NXEST + NYEST) + NXEST \times MY + \max (MY, NXEST) + 54

18: IWRK(LIWRK) – INTEGER arrayCommunication Array

If the warm start option is used, on entry, the values

IWRK (1), \dots, IWRK (3)

must be left unchanged from the previous call.

This array is used as workspace.

19: LIWRK – INTEGERInput

On entry: the dimension of the array IWRK as declared in the (sub)program from which E02DCF is called.

Constraint:

LIWRK \geq 3 + MX + MY + NXEST + NYEST

20: IFAIL – INTEGERInput/Output

On entry: IFAIL must be set to

0

- 1 ​ or ​ 1

. If you are unfamiliar with this parameter you should refer to Section 3.3 in the Essential Introduction for details.

For environments where it might be inappropriate to halt program execution when an error is detected, the value

- 1 ​ or ​ 1

is recommended. If the output of error messages is undesirable, then the value

1

is recommended. Otherwise, if you are not familiar with this parameter, the recommended value is

0

. When the value $- 1 or 1$ is used it is essential to test the value of IFAIL on exit.

On exit:

IFAIL = 0

unless the routine detects an error or a warning has been flagged (see Section 6).

6 Error Indicators and Warnings

If on entry

IFAIL = 0

- 1

, explanatory error messages are output on the current error message unit (as defined by X04AAF).

Errors or warnings detected by the routine:

$IFAIL = 1$

On entry,	$START \neq'C'$ or $'W'$ ,
or	$MX < 4$ ,
or	$MY < 4$ ,
or	$S < 0.0$ ,
or	$S = 0.0$ and $NXEST < MX + 4$ ,
or	$S = 0.0$ and $NYEST < MY + 4$ ,
or	$NXEST < 8$ ,
or	$NYEST < 8$ ,
or	$LWRK < 4 \times (MX + MY) + 11 \times (NXEST + NYEST) + NXEST \times MY + \max (MY, NXEST) + 54$ ,
or	$LIWRK < 3 + MX + MY + NXEST + NYEST$ .

$IFAIL = 2$: The values of $X (q)$ , for $q = 1, 2, \dots, MX$ , are not in strictly increasing order.

$IFAIL = 3$: The values of $Y (r)$ , for $r = 1, 2, \dots, MY$ , are not in strictly increasing order.

$IFAIL = 4$: The number of knots required is greater than allowed by NXEST and NYEST. Try increasing NXEST and/or NYEST and, if necessary, supplying larger arrays for the parameters LAMDA, MU, C, WRK and IWRK. However, if NXEST and NYEST are already large, say $NXEST > MX / 2$ and $NYEST > MY / 2$ , then this error exit may indicate that S is too small.

$IFAIL = 5$: The iterative process used to compute the coefficients of the approximating spline has failed to converge. This error exit may occur if S has been set very small. If the error persists with increased S, contact NAG.

IFAIL = 4

5

, a spline approximation is returned, but it fails to satisfy the fitting criterion (see (2) and (3) in Section 3) – perhaps by only a small amount, however.

7 Accuracy

On successful exit, the approximation returned is such that its sum of squared residuals FP is equal to the smoothing factor

S

, up to a specified relative tolerance of

0.001

– except that if

n_{x} = 8

and

n_{y} = 8

, FP may be significantly less than

S

: in this case the computed spline is simply the least squares bicubic polynomial approximation of degree

3

, i.e., a spline with no interior knots.

8 Further Comments

8.1 Timing

The time taken for a call of E02DCF depends on the complexity of the shape of the data, the value of the smoothing factor

S

, and the number of data points. If E02DCF is to be called for different values of

S

, much time can be saved by setting

START ='W'

after the first call.

8.2 Weighting of Data Points

E02DCF does not allow individual weighting of the data values. If these were determined to widely differing accuracies, it may be better to use E02DDF. The computation time would be very much longer, however.

8.3 Choice of S

If the standard deviation of

f_{q, r}

is the same for all

q

and

r

(the case for which E02DCF is designed – see Section 8.2.) and known to be equal, at least approximately, to

σ

, say, then following Reinsch (1967) and choosing the parameter S in the range

σ^{2} (m \pm \sqrt{2 m})

, where

m = m_{x} m_{y}

, is likely to give a good start in the search for a satisfactory value. If the standard deviations vary, the sum of their squares over all the data points could be used. Otherwise experimenting with different values of S will be required from the start, taking account of the remarks in Section 3.

In that case, in view of computation time and memory requirements, it is recommended to start with a very large value for S and so determine the least squares bicubic polynomial; the value returned for FP, call it

{FP}_{0}

, gives an upper bound for S. Then progressively decrease the value of S to obtain closer fits – say by a factor of

10

in the beginning, i.e.,

S = {FP}_{0} / 10

S = {FP}_{0} / 100

, and so on, and more carefully as the approximation shows more details.

The number of knots of the spline returned, and their location, generally depend on the value of

S

and on the behaviour of the function underlying the data. However, if E02DCF is called with

START ='W'

, the knots returned may also depend on the smoothing factors of the previous calls. Therefore if, after a number of trials with different values of

S

and

START ='W'

, a fit can finally be accepted as satisfactory, it may be worthwhile to call E02DCF once more with the selected value for

S

but now using

START ='C'

. Often, E02DCF then returns an approximation with the same quality of fit but with fewer knots, which is therefore better if data reduction is also important.

8.4 Choice of NXEST and NYEST

The number of knots may also depend on the upper bounds NXEST and NYEST. Indeed, if at a certain stage in E02DCF the number of knots in one direction (say

n_{x}

) has reached the value of its upper bound (NXEST), then from that moment on all subsequent knots are added in the other

(y)

direction. Therefore you have the option of limiting the number of knots the routine locates in any direction. For example, by setting

NXEST = 8

(the lowest allowable value for NXEST), you can indicate that you want an approximation which is a simple cubic polynomial in the variable

x

8.5 Outline of Method Used

S = 0

, the requisite number of knots is known in advance, i.e.,

n_{x} = m_{x} + 4

and

n_{y} = m_{y} + 4

; the interior knots are located immediately as

λ_{i} = x_{i - 2}

and

μ_{j} = y_{j - 2}

, for

i = 5, 6, \dots, n_{x} - 4

and

j = 5, 6, \dots, n_{y} - 4

. The corresponding least squares spline is then an interpolating spline and therefore a solution of the problem.

S > 0

, suitable knot sets are built up in stages (starting with no interior knots in the case of a cold start but with the knot set found in a previous call if a warm start is chosen). At each stage, a bicubic spline is fitted to the data by least squares, and

θ

, the sum of squares of residuals, is computed. If

θ > S

, new knots are added to one knot set or the other so as to reduce

θ

at the next stage. The new knots are located in intervals where the fit is particularly poor, their number depending on the value of

S

and on the progress made so far in reducing

θ

. Sooner or later, we find that

θ \leq S

and at that point the knot sets are accepted. The routine then goes on to compute the (unique) spline which has these knot sets and which satisfies the full fitting criterion specified by (2) and (3). The theoretical solution has

θ = S

. The routine computes the spline by an iterative scheme which is ended when

θ = S

within a relative tolerance of

0.001

. The main part of each iteration consists of a linear least squares computation of special form, done in a similarly stable and efficient manner as in E02BAF for least squares curve-fitting.

An exception occurs when the routine finds at the start that, even with no interior knots

(n_{x} = n_{y} = 8)

, the least squares spline already has its sum of residuals

\leq S

. In this case, since this spline (which is simply a bicubic polynomial) also has an optimal value for the smoothness measure

η

, namely zero, it is returned at once as the (trivial) solution. It will usually mean that

S

has been chosen too large.

For further details of the algorithm and its use see Dierckx (1982).

8.6 Evaluation of Computed Spline

The values of the computed spline at the points

(x_{r}, y_{r})

, for

r = 1, 2, \dots, m

, may be obtained in the real array FF (see E02DEF), of length at least

m

, by the following call:

IFAIL = 0
CALL E02DEF(M,PX,PY,X,Y,LAMDA,MU,C,FF,WRK,IWRK,IFAIL)

where

M = m

and the coordinates

x_{r}

y_{r}

are stored in

X (k)

Y (k)

. PX and PY have the same values as NX and NY as output from E02DCF, and LAMDA, MU and C have the same values as LAMDA, MU and C output from E02DCF. WRK is a real workspace array of length at least

PY - 4

, and IWRK is an integer workspace array of length at least

PY - 4

To evaluate the computed spline on a

m_{x}

m_{y}

rectangular grid of points in the

x

y

plane, which is defined by the

x

coordinates stored in

X (q)

, for

q = 1, 2, \dots, m_{x}

, and the

y

coordinates stored in

Y (r)

, for

r = 1, 2, \dots, m_{y}

, returning the results in the real array FF (see E02DFF) which is of length at least

MX \times MY

, the following call may be used:

 IFAIL = 0
 CALL E02DFF(MX,MY,PX,PY,X,Y,LAMDA,MU,C,FG,WRK,LWRK,
*            IWRK,LIWRK,IFAIL)

where

MX = m_{x}

MY = m_{y}

. PX and PY have the same values as NX and NY as output from E02DCF, and LAMDA, MU and C have the same values as LAMDA, MU and C output from E02DCF. WRK is a real workspace array of length at least

LWRK = \min (nwrk1, nwrk2)

, where

nwrk1 = MX \times 4 + PX

and

nwrk2 = MY \times 4 + PY

. IWRK is an integer workspace array of length at least

LIWRK = MY + PY - 4

nwrk1 \geq nwrk2

, or

MX + PX - 4

otherwise.

The result of the spline evaluated at grid point

(q, r)

is returned in element

(MY \times (q - 1) + r)

of the array FG.

9 Example

This example reads in values of MX, MY,

x_{q}

, for

q = 1, 2, \dots, MX

, and

y_{r}

, for

r = 1, 2, \dots, MY

, followed by values of the ordinates

f_{q, r}

defined at the grid points

(x_{q}, y_{r})

. It then calls E02DCF to compute a bicubic spline approximation for one specified value of S, and prints the values of the computed knots and B-spline coefficients. Finally it evaluates the spline at a small sample of points on a rectangular grid.

NAG Library Routine DocumentE02DCF

+− Contents

1 Purpose

2 Specification

3 Description

4 References

5 Parameters

6 Error Indicators and Warnings

7 Accuracy

8 Further Comments

8.1 Timing

8.2 Weighting of Data Points

8.3 Choice of S

8.4 Choice of NXEST and NYEST

8.5 Outline of Method Used

8.6 Evaluation of Computed Spline

9 Example

9.1 Program Text

9.2 Program Data

9.3 Program Results

NAG Library Routine Document

E02DCF