d01wcc evaluates an estimate of a multidimensional integral over a hyper-rectangle (i.e., with constant limits), and also an estimate of the relative error. You will need to set the relative accuracy required, supply the integrand as a function f, and also set the minimum and maximum acceptable number of calls to f (in minpts and maxpts).

The function operates by repeated subdivision of the hyper-rectangular region into smaller hyper-rectangles. In each subregion, the integral is estimated using a seventh-degree rule, and an error estimate is obtained by comparison with a fifth-degree rule which uses a subset of the same points. The fourth differences of the integrand along each coordinate axis are evaluated, and the subregion is marked for possible future subdivision in half along that coordinate axis which has the largest absolute fourth difference.

If the estimated errors, totalled over the subregions, exceed the requested relative error (or if fewer than minpts calls to f have been made), further subdivision is necessary, and is performed on the subregion with the largest estimated error, that subregion being halved along the appropriate coordinate axis.

The function will fail if the requested relative error level has not been attained by the time maxpts calls to f have been made.

This function is based on the HALF subroutine developed by van Dooren and de Ridder (1976). It uses a different basic rule, described by Genz and Malik (1980).

4 References

Genz A C and Malik A A (1980) An adaptive algorithm for numerical integration over an N-dimensional rectangular region J. Comput. Appl. Math. 6 295–302

van Dooren P and de Ridder L (1976) An adaptive algorithm for numerical integration over an N-dimensional cube J. Comput. Appl. Math. 2 207–217

5 Arguments

1: $ndim$ – Integer Input

On entry: the number of dimensions of the integral,

n

Constraint:

2 \leq ndim \leq 15

2: $f$ – function, supplied by the user External Function

f must return the value of the integrand

f

at a given point.

The specification of f is:

double

f (Integer ndim, const double x[], Nag_User *comm)

1: $ndim$ – Integer Input

On entry: the number of dimensions of the integral.

2: $x [ndim]$ – const double Input

On entry: the coordinates of the point at which the integrand must be evaluated.

3: $comm$ – Nag_User *

Pointer to a structure of type Nag_User with the following member:

p – Pointer: On entry/exit: the pointer $comm \to p$ should be cast to the required type, e.g., struct user *s = (struct user *)comm → p, to obtain the original object's address with appropriate type. (See the argument comm below.)

Note: f should not return floating-point NaN (Not a Number) or infinity values, since these are not handled by d01wcc. If your code inadvertently does return any NaNs or infinities, d01wcc is likely to produce unexpected results.

3: $a [ndim]$ – const double Input

On entry: the lower limits of integration,

a_{i}

, for

i = 1, 2, \dots, n

4: $b [ndim]$ – const double Input

On entry: the upper limits of integration,

b_{i}

, for

i = 1, 2, \dots, n

5: $minpts$ – Integer * Input/Output

On entry: minpts must be set to the minimum number of integrand evaluations to be allowed.

On exit: minpts contains the actual number of integrand evaluations used by this function.

6: $maxpts$ – Integer Input

On entry: the maximum number of integrand evaluations to be allowed.

Constraints:

$maxpts \geq minpts$ ;
$maxpts \geq 2^{ndim} + 2 \times {ndim}^{2} + 2 \times ndim + 1$ .

7: $eps$ – double Input

On entry: the relative error acceptable. When the solution is zero or very small relative accuracy may not be achievable but you may still set eps to a reasonable value and check fail for NE_QUAD_MAX_INTEGRAND_EVAL.

Constraint:

eps > 0.0

8: $finval$ – double * Output

On exit: the best estimate obtained for the integral.

9: $acc$ – double * Output

On exit: the estimated relative error in finval.

10: $comm$ – Nag_User *

Pointer to a structure of type Nag_User with the following member:

p – Pointer: On entry/exit: the pointer $comm \to p$ , of type Pointer, allows you to communicate information to and from f(). An object of the required type should be declared, e.g., a structure, and its address assigned to the pointer $comm \to p$ by means of a cast to Pointer in the calling program, e.g., comm.p = (Pointer)&s. The type pointer will be void * with a C compiler that defines void * and char * otherwise.

11: $fail$ – NagError * Input/Output

The NAG error argument (see Section 7 in the Introduction to the NAG Library CL Interface).

6 Error Indicators and Warnings

NE_2_INT_ARG_LT: On entry, $maxpts = ⟨ value ⟩$ while $minpts = ⟨ value ⟩$ . These arguments must satisfy $maxpts \geq minpts$ .
NE_ALLOC_FAIL: Dynamic memory allocation failed.
NE_INVALID_INT_RANGE_2: Value $⟨ value ⟩$ given to ndim not valid. Correct range is $2 \leq ndim \leq 15$ .
NE_QUAD_MAX_INTEGRAND_CONS: $maxpts < ⟨ value ⟩$ . Constraint: $maxpts \geq 2^{ndim} + 2 \times {ndim}^{2} + 2 \times ndim + 1$ .
NE_QUAD_MAX_INTEGRAND_EVAL: maxpts was too small to obtain the required accuracy. On return, finval and acc contain estimates of the integral and the relative error, but acc will be greater than eps.
NE_REAL_ARG_LE: On entry, eps must not be less than or equal to 0.0: $eps = ⟨ value ⟩$ .

7 Accuracy

A relative error estimate is output through the argument acc.

8 Parallelism and Performance

d01wcc is not threaded in any implementation.

9 Further Comments

Execution time will usually be dominated by the time taken to evaluate the integrand f, and hence the maximum time that could be taken will be proportional to maxpts.