NAG Library Routine Document

e02cbf (dim2_cheb_eval)

1
Purpose

e02cbf evaluates a bivariate polynomial from the rectangular array of coefficients in its double Chebyshev series representation.

2
Specification

Fortran Interface
Subroutine e02cbf ( mfirst, mlast, k, l, x, xmin, xmax, y, ymin, ymax, ff, a, na, work, nwork, ifail)
Integer, Intent (In):: mfirst, mlast, k, l, na, nwork
Integer, Intent (Inout):: ifail
Real (Kind=nag_wp), Intent (In):: x(mlast), xmin, xmax, y, ymin, ymax, a(na)
Real (Kind=nag_wp), Intent (Out):: ff(mlast), work(nwork)
C Header Interface
#include <nagmk26.h>
void  e02cbf_ (const Integer *mfirst, const Integer *mlast, const Integer *k, const Integer *l, const double x[], const double *xmin, const double *xmax, const double *y, const double *ymin, const double *ymax, double ff[], const double a[], const Integer *na, double work[], const Integer *nwork, Integer *ifail)

3
Description

This subroutine evaluates a bivariate polynomial (represented in double Chebyshev form) of degree k in one variable, x-, and degree l in the other, y-. The range of both variables is -1 to +1. However, these normalized variables will usually have been derived (as when the polynomial has been computed by e02caf, for example) from your original variables x and y by the transformations
x-=2x-xmax+xmin xmax-xmin   and  y-=2y-ymax+ymin ymax-ymin .  
(Here xmin and xmax are the ends of the range of x which has been transformed to the range -1 to +1 of x-. ymin and ymax are correspondingly for y. See Section 9). For this reason, the subroutine has been designed to accept values of x and y rather than x- and y-, and so requires values of xmin, etc. to be supplied by you. In fact, for the sake of efficiency in appropriate cases, the routine evaluates the polynomial for a sequence of values of x, all associated with the same value of y.
The double Chebyshev series can be written as
i=0kj=0laijTix-Tjy-,  
where Tix- is the Chebyshev polynomial of the first kind of degree i and argument x-, and Tjy- is similarly defined. However the standard convention, followed in this subroutine, is that coefficients in the above expression which have either i or j zero are written 12aij, instead of simply aij, and the coefficient with both i and j zero is written 14a0,0.
The subroutine first forms ci=j=0laijTjy-, with ai,0 replaced by 12ai,0, for each of i=0,1,,k. The value of the double series is then obtained for each value of x, by summing ci×Tix-, with c0 replaced by 12c0, over i=0,1,,k. The Clenshaw three term recurrence (see Clenshaw (1955)) with modifications due to Reinsch and Gentleman (1969) is used to form the sums.

4
References

Clenshaw C W (1955) A note on the summation of Chebyshev series Math. Tables Aids Comput. 9 118–120
Gentleman W M (1969) An error analysis of Goertzel's (Watt's) method for computing Fourier coefficients Comput. J. 12 160–165

5
Arguments

1:     mfirst – IntegerInput
2:     mlast – IntegerInput
On entry: the index of the first and last x value in the array x at which the evaluation is required respectively (see Section 9).
Constraint: mlastmfirst.
3:     k – IntegerInput
4:     l – IntegerInput
On entry: the degree k of x and l of y, respectively, in the polynomial.
Constraint: k0 and l0.
5:     xmlast – Real (Kind=nag_wp) arrayInput
On entry: xi, for i=mfirst,,mlast, must contain the x values at which the evaluation is required.
Constraint: xminxixmax, for all i.
6:     xmin – Real (Kind=nag_wp)Input
7:     xmax – Real (Kind=nag_wp)Input
On entry: the lower and upper ends, xmin and xmax, of the range of the variable x (see Section 3).
The values of xmin and xmax may depend on the value of y (e.g., when the polynomial has been derived using e02caf).
Constraint: xmax>xmin.
8:     y – Real (Kind=nag_wp)Input
On entry: the value of the y coordinate of all the points at which the evaluation is required.
Constraint: yminyymax.
9:     ymin – Real (Kind=nag_wp)Input
10:   ymax – Real (Kind=nag_wp)Input
On entry: the lower and upper ends, ymin and ymax, of the range of the variable y (see Section 3).
Constraint: ymax>ymin.
11:   ffmlast – Real (Kind=nag_wp) arrayOutput
On exit: ffi gives the value of the polynomial at the point xi,y, for i=mfirst,,mlast.
12:   ana – Real (Kind=nag_wp) arrayInput
On entry: the Chebyshev coefficients of the polynomial. The coefficient aij defined according to the standard convention (see Section 3) must be in ai×l+1+j+1.
13:   na – IntegerInput
On entry: the dimension of the array a as declared in the (sub)program from which e02cbf is called.
Constraint: nak+1×l+1, the number of coefficients in a polynomial of the specified degree.
14:   worknwork – Real (Kind=nag_wp) arrayWorkspace
15:   nwork – IntegerInput
On entry: the dimension of the array work as declared in the (sub)program from which e02cbf is called.
Constraint: nworkk+1.
16:   ifail – IntegerInput/Output
On entry: ifail must be set to 0, -1 or 1. If you are unfamiliar with this argument you should refer to Section 3.4 in How to Use the NAG Library and its Documentation 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 argument, 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 or -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, k=value.
Constraint: k0.
On entry, l=value.
Constraint: l0.
On entry, mfirst=value and mlast=value.
Constraint: mfirstmlast.
On entry, na=value, k=value and l=value.
Constraint: nak+1×l+1.
On entry, nwork=value and k=value.
Constraint: nworkk+1.
ifail=2
On entry, y=value and ymax=value.
Constraint: yymax.
On entry, y=value and ymin=value.
Constraint: yymin.
On entry, ymin=value and ymax=value.
Constraint: ymin<ymax.
ifail=3
On entry, I=value, xI=value and xmax=value.
Constraint: xIxmax.
On entry, I=value, xI=value and xmin=value.
Constraint: xIxmin.
On entry, xmin=value and xmax=value.
Constraint: xmin<xmax.
ifail=4
Unexpected internal failure when evaluating the polynomial.
ifail=-99
An unexpected error has been triggered by this routine. Please contact NAG.
See Section 3.9 in How to Use the NAG Library and its Documentation for further information.
ifail=-399
Your licence key may have expired or may not have been installed correctly.
See Section 3.8 in How to Use the NAG Library and its Documentation for further information.
ifail=-999
Dynamic memory allocation failed.
See Section 3.7 in How to Use the NAG Library and its Documentation for further information.

7
Accuracy

The method is numerically stable in the sense that the computed values of the polynomial are exact for a set of coefficients which differ from those supplied by only a modest multiple of machine precision.

8
Parallelism and Performance

e02cbf is threaded by NAG for parallel execution in multithreaded implementations of the NAG Library.
Please consult the X06 Chapter Introduction for information on how to control and interrogate the OpenMP environment used within this routine. Please also consult the Users' Note for your implementation for any additional implementation-specific information.

9
Further Comments

The time taken is approximately proportional to k+1×m+l+1, where m=mlast-mfirst+1, the number of points at which the evaluation is required.
This subroutine is suitable for evaluating the polynomial surface fits produced by the subroutine e02caf, which provides the real array a in the required form. For this use, the values of ymin and ymax supplied to the present subroutine must be the same as those supplied to e02caf. The same applies to xmin and xmax if they are independent of y. If they vary with y, their values must be consistent with those supplied to e02caf (see Section 9 in e02caf).
The arguments mfirst and mlast are intended to permit the selection of a segment of the array x which is to be associated with a particular value of y, when, for example, other segments of x are associated with other values of y. Such a case arises when, after using e02caf to fit a set of data, you wish to evaluate the resulting polynomial at all the data values. In this case, if the arguments x, y, mfirst and mlast of the present routine are set respectively (in terms of arguments of e02caf) to x, yS, 1+i=1 s-1mi and i=1smi, the routine will compute values of the polynomial surface at all data points which have yS as their y coordinate (from which values the residuals of the fit may be derived).

10
Example

This example reads data in the following order, using the notation of the argument list above:
Nkl ai, for ​i=1,2,,k+1×l+1 yminymax yiMixminixmaxiX1iXMi, for ​i=1,2,,N.  
For each line y=yi the polynomial is evaluated at Mi equispaced points between X1i and XMi inclusive.

10.1
Program Text

Program Text (e02cbfe.f90)

10.2
Program Data

Program Data (e02cbfe.d)

10.3
Program Results

Program Results (e02cbfe.r)

GnuplotProduced by GNUPLOT 4.6 patchlevel 3 Example Program Evaluation of Least-squares Bi-variate Polynomial Fit P(x,y) gnuplot_plot_1 gnuplot_plot_2 0 0.5 1 1.5 2 2.5 3 3.5 4 y 0 0.5 1 1.5 2 2.5 3 3.5 4 4.5 x −10 −5 0 5 10 15