NAG C Library Function Document

nag_1d_ratnl_interp (e01rac)

1
Purpose

nag_1d_ratnl_interp (e01rac) produces, from a set of function values and corresponding abscissae, the coefficients of an interpolating rational function expressed in continued fraction form.

2
Specification

#include <nag.h>
#include <nage01.h>
void  nag_1d_ratnl_interp (Integer n, const double x[], const double f[], Integer *m, double a[], double u[], NagError *fail)

3
Description

nag_1d_ratnl_interp (e01rac) produces the parameters of a rational function Rx which assumes prescribed values fi at prescribed values xi of the independent variable x, for i=1,2,,n. More specifically, nag_1d_ratnl_interp (e01rac) determines the parameters aj, for j=1,2,,m and uj, for j=1,2,,m-1, in the continued fraction
Rx=a1+Rmx (1)
where
Rix=am-i+ 2x-um-i+ 1 1+Ri- 1x ,   for ​ i=m,m- 1,,2,  
and
R1x=0,  
such that Rxi=fi, for i=1,2,,n. The value of m in (1) is determined by the function; normally m=n. The values of uj form a reordered subset of the values of xi and their ordering is designed to ensure that a representation of the form (1) is determined whenever one exists.
The subsequent evaluation of (1) for given values of x can be carried out using nag_1d_ratnl_eval (e01rbc).
The computational method employed in nag_1d_ratnl_interp (e01rac) is the modification of the Thacher–Tukey algorithm described in Graves–Morris and Hopkins (1981).

4
References

Graves–Morris P R and Hopkins T R (1981) Reliable rational interpolation Numer. Math. 36 111–128

5
Arguments

1:     n IntegerInput
On entry: n, the number of data points.
Constraint: n>0.
2:     x[n] const doubleInput
On entry: x[i-1] must be set to the value of the ith data abscissa, xi, for i=1,2,,n.
Constraint: the x[i-1] must be distinct.
3:     f[n] const doubleInput
On entry: f[i-1] must be set to the value of the data ordinate, fi, corresponding to xi, for i=1,2,,n.
4:     m Integer *Output
On exit: m, the number of terms in the continued fraction representation of Rx.
5:     a[n] doubleOutput
On exit: a[j-1] contains the value of the parameter aj in Rx, for j=1,2,,m. The remaining elements of a, if any, are set to zero.
6:     u[n] doubleOutput
On exit: u[j-1] contains the value of the parameter uj in Rx, for j=1,2,,m-1. The uj are a permuted subset of the elements of x. The remaining n-m+1 locations contain a permutation of the remaining xi, which can be ignored.
7:     fail NagError *Input/Output
The NAG error argument (see Section 3.7 in How to Use the NAG Library and its Documentation).

6
Error Indicators and Warnings

NE_ALLOC_FAIL
Dynamic memory allocation failed.
See Section 2.3.1.2 in How to Use the NAG Library and its Documentation for further information.
NE_BAD_PARAM
On entry, argument value had an illegal value.
NE_CONT_FRAC
A continued fraction of the required form does not exist.
NE_INT
On entry, n=value.
Constraint: n>0.
NE_INTERNAL_ERROR
An internal error has occurred in this function. Check the function call and any array sizes. If the call is correct then please contact NAG for assistance.
See Section 2.7.6 in How to Use the NAG Library and its Documentation for further information.
NE_NO_LICENCE
Your licence key may have expired or may not have been installed correctly.
See Section 2.7.5 in How to Use the NAG Library and its Documentation for further information.
NE_REAL_ARRAY
On entry, x[I-1] is very close to x[J-1]: I=value, x[I-1]=value, J=value and x[J-1]=value.

7
Accuracy

Usually, it is not the accuracy of the coefficients produced by this function which is of prime interest, but rather the accuracy of the value of Rx that is produced by the associated function nag_1d_ratnl_eval (e01rbc) when subsequently it evaluates the continued fraction (1) for a given value of x. This final accuracy will depend mainly on the nature of the interpolation being performed. If interpolation of a ‘well-behaved smooth’ function is attempted (and provided the data adequately represents the function), high accuracy will normally ensue, but, if the function is not so ‘smooth’ or extrapolation is being attempted, high accuracy is much less likely. Indeed, in extreme cases, results can be highly inaccurate.
There is no built-in test of accuracy but several courses are open to you to prevent the production or the acceptance of inaccurate results.
1. If the origin of a variable is well outside the range of its data values, the origin should be shifted to correct this; and, if the new data values are still excessively large or small, scaling to make the largest value of the order of unity is recommended. Thus, normalization to the range -1.0 to +1.0 is ideal. This applies particularly to the independent variable; for the dependent variable, the removal of leading figures which are common to all the data values will usually suffice.
2. To check the effect of rounding errors engendered in the functions themselves, nag_1d_ratnl_interp (e01rac) should be re-entered with x1 interchanged with xi and f1 with fi, i1. This will produce a completely different vector a and a reordered vector u, but any change in the value of Rx subsequently produced by nag_1d_ratnl_eval (e01rbc) will be due solely to rounding error.
3. Even if the data consist of calculated values of a formal mathematical function, it is only in exceptional circumstances that bounds for the interpolation error (the difference between the true value of the function underlying the data and the value which would be produced by the two functions if exact arithmetic were used) can be derived that are sufficiently precise to be of practical use. Consequently, you are recommended to rely on comparison checks: if extra data points are available, the calculation may be repeated with one or more data pairs added or exchanged, or alternatively, one of the original data pairs may be omitted. If the algorithms are being used for extrapolation, the calculations should be performed repeatedly with the 2,3, nearest points until, hopefully, successive values of Rx for the given x agree to the required accuracy.

8
Parallelism and Performance

nag_1d_ratnl_interp (e01rac) is not threaded in any implementation.

9
Further Comments

The time taken by nag_1d_ratnl_interp (e01rac) is approximately proportional to n2.
The continued fraction (1) when expanded produces a rational function in x, the degree of whose numerator is either equal to or exceeds by unity that of the denominator. Only if this rather special form of interpolatory rational function is needed explicitly, would this function be used without subsequent entry (or entries) to nag_1d_ratnl_eval (e01rbc).

10
Example

This example reads in the abscissae and ordinates of 5 data points and prints the arguments aj and uj of a rational function which interpolates them.

10.1
Program Text

Program Text (e01race.c)

10.2
Program Data

Program Data (e01race.d)

10.3
Program Results

Program Results (e01race.r)