NAG FL Interface
d02bhf (ivp_rkm_zero_simple)
1
Purpose
d02bhf integrates a system of first-order ordinary differential equations over an interval with suitable initial conditions, using a Runge–Kutta–Merson method, until a user-specified function of the solution is zero.
2
Specification
Fortran Interface
Subroutine d02bhf ( |
x, xend, n, y, tol, irelab, hmax, fcn, g, w, ifail) |
Integer, Intent (In) |
:: |
n, irelab |
Integer, Intent (Inout) |
:: |
ifail |
Real (Kind=nag_wp), External |
:: |
g |
Real (Kind=nag_wp), Intent (In) |
:: |
xend, hmax |
Real (Kind=nag_wp), Intent (Inout) |
:: |
x, y(n), tol |
Real (Kind=nag_wp), Intent (Out) |
:: |
w(n,7) |
External |
:: |
fcn |
|
C Header Interface
#include <nag.h>
void |
d02bhf_ (double *x, const double *xend, const Integer *n, double y[], double *tol, const Integer *irelab, const double *hmax, void (NAG_CALL *fcn)(const double *x, const double y[], double f[]), double (NAG_CALL *g)(const double *x, const double y[]), double w[], Integer *ifail) |
|
C++ Header Interface
#include <nag.h> extern "C" {
void |
d02bhf_ (double &x, const double &xend, const Integer &n, double y[], double &tol, const Integer &irelab, const double &hmax, void (NAG_CALL *fcn)(const double &x, const double y[], double f[]), double (NAG_CALL *g)(const double &x, const double y[]), double w[], Integer &ifail) |
}
|
The routine may be called by the names d02bhf or nagf_ode_ivp_rkm_zero_simple.
3
Description
d02bhf advances the solution of a system of ordinary differential equations
from
towards
using a Merson form of the Runge–Kutta method. The system is defined by
fcn, which evaluates
in terms of
and
(see
Section 5), and the values of
must be given at
.
As the integration proceeds, a check is made on the function specified by you, to determine an interval where it changes sign. The position of this sign change is then determined accurately by interpolating for the solution and its derivative. It is assumed that is a continuous function of the variables, so that a solution of can be determined by searching for a change in sign in .
The accuracy of the integration and, indirectly, of the determination of the position where
, is controlled by
tol.
For a description of Runge–Kutta methods and their practical implementation see
Hall and Watt (1976).
4
References
Hall G and Watt J M (ed.) (1976) Modern Numerical Methods for Ordinary Differential Equations Clarendon Press, Oxford
5
Arguments
-
1:
– Real (Kind=nag_wp)
Input/Output
-
On entry: must be set to the initial value of the independent variable .
On exit: the point where
unless an error has occurred, when it contains the value of
at the error. In particular, if
anywhere on the range
x to
xend, it will contain
xend on exit.
-
2:
– Real (Kind=nag_wp)
Input
-
On entry: the final value of the independent variable
.
If on entry, integration proceeds in a negative direction.
-
3:
– Integer
Input
-
On entry: , the number of differential equations.
Constraint:
.
-
4:
– Real (Kind=nag_wp) array
Input/Output
-
On entry: the initial values of the solution .
On exit: the computed values of the solution at the final point .
-
5:
– Real (Kind=nag_wp)
Input/Output
-
On entry: must be set to a
positive tolerance for controlling the error in the integration and in the determination of the position where
.
d02bhf has been designed so that, for most problems, a reduction in
tol leads to an approximately proportional reduction in the error in the solution obtained in the integration. The relation between changes in
tol and the error in the determination of the position where
is less clear, but for
tol small enough the error should be approximately proportional to
tol. However, the actual relation between
tol and the accuracy cannot be guaranteed. You are strongly recommended to call
d02bhf with more than one value for
tol and to compare the results obtained to estimate their accuracy. In the absence of any prior knowledge you might compare results obtained by calling
d02bhf with
and
if
correct decimal digits in the solution are required.
Constraint:
.
On exit: normally unchanged. However if the range from
to the position where
(or to the final value of
if an error occurs) is so short that a small change in
tol is unlikely to make any change in the computed solution,
tol is returned with its sign changed. To check results returned with
,
d02bhf should be called again with a positive value of
tol whose magnitude is considerably smaller than that of the previous call.
-
6:
– Integer
Input
-
On entry: determines the type of error control. At each step in the numerical solution an estimate of the local error,
, is made. For the current step to be accepted the following condition must be satisfied:
- ;
- ;
- , where is machine precision.
If the appropriate condition is not satisfied, the step size is reduced and the solution recomputed on the current step.
If you wish to measure the error in the computed solution in terms of the number of correct decimal places, set on entry, whereas if the error requirement is in terms of the number of correct significant digits, set . Where there is no preference in the choice of error test, will result in a mixed error test. It should be borne in mind that the computed solution will be used in evaluating .
Constraint:
, or .
-
7:
– Real (Kind=nag_wp)
Input
-
On entry: if
, no special action is taken.
If
, a check is made for a change in sign of
at steps not greater than
. This facility should be used if there is any chance of ‘missing’ the change in sign by checking too infrequently. For example, if two changes of sign of
are expected within a distance
, say, of each other, a suitable value for
hmax might be
. If only one change of sign in
is expected on the range
x to
xend, the choice
is most appropriate.
-
8:
– Subroutine, supplied by the user.
External Procedure
-
fcn must evaluate the functions
(i.e., the derivatives
) for given values of its arguments
.
The specification of
fcn is:
Fortran Interface
Subroutine fcn ( |
x, y, f) |
Real (Kind=nag_wp), Intent (In) |
:: |
x, y(*) |
Real (Kind=nag_wp), Intent (Out) |
:: |
f(*) |
|
C Header Interface
void |
fcn_ (const double *x, const double y[], double f[]) |
|
C++ Header Interface
#include <nag.h> extern "C" {
void |
fcn_ (const double &x, const double y[], double f[]) |
}
|
In the description of the arguments of
d02bhf below,
denotes the value of
n in the call of
d02bhf.
-
1:
– Real (Kind=nag_wp)
Input
-
On entry: , the value of the argument.
-
2:
– Real (Kind=nag_wp) array
Input
-
On entry: , for , the value of the argument.
-
3:
– Real (Kind=nag_wp) array
Output
-
On exit: the value of
, for .
fcn must either be a module subprogram USEd by, or declared as EXTERNAL in, the (sub)program from which
d02bhf is called. Arguments denoted as
Input must
not be changed by this procedure.
Note: fcn should not return floating-point NaN (Not a Number) or infinity values, since these are not handled by
d02bhf. If your code inadvertently
does return any NaNs or infinities,
d02bhf is likely to produce unexpected results.
-
9:
– real (Kind=nag_wp) Function, supplied by the user.
External Procedure
-
g must evaluate the function
at a specified point.
The specification of
g is:
Fortran Interface
Real (Kind=nag_wp) |
:: |
g |
Real (Kind=nag_wp), Intent (In) |
:: |
x, y(*) |
|
C Header Interface
double |
g_ (const double *x, const double y[]) |
|
C++ Header Interface
#include <nag.h> extern "C" {
double |
g_ (const double &x, const double y[]) |
}
|
In the description of the arguments of
d02bhf below,
denotes the value of
n in the call of
d02bhf.
-
1:
– Real (Kind=nag_wp)
Input
-
On entry: , the value of the independent variable.
-
2:
– Real (Kind=nag_wp) array
Input
-
On entry: the value of
, for .
g must either be a module subprogram USEd by, or declared as EXTERNAL in, the (sub)program from which
d02bhf is called. Arguments denoted as
Input must
not be changed by this procedure.
Note: g should not return floating-point NaN (Not a Number) or infinity values, since these are not handled by
d02bhf. If your code inadvertently
does return any NaNs or infinities,
d02bhf is likely to produce unexpected results.
-
10:
– Real (Kind=nag_wp) array
Workspace
-
-
11:
– Integer
Input/Output
-
On entry:
ifail must be set to
,
or
to set behaviour on detection of an error; these values have no effect when no error is detected.
A value of causes the printing of an error message and program execution will be halted; otherwise program execution continues. A value of means that an error message is printed while a value of means that it is not.
If halting is not appropriate, the value
or
is recommended. If message printing is undesirable, then the value
is recommended. Otherwise, the value
is recommended.
When the value or is used it is essential to test the value of ifail on exit.
On exit:
unless the routine detects an error or a warning has been flagged (see
Section 6).
6
Error Indicators and Warnings
If on entry
or
, explanatory error messages are output on the current error message unit (as defined by
x04aaf).
Errors or warnings detected by the routine:
-
On entry, .
Constraint: .
On entry, .
Constraint: .
On entry, .
Constraint: .
-
The value of
tol,
, is too small for the function to make any further progress across the integration range. Current value of
.
With the given value of
tol, no further progress can be made across the integration range from the current point
, or dependence of the error on
tol would be lost if further progress across the integration range were attempted (see
Section 9 for a discussion of this error exit). The components
contain the computed values of the solution at the current point
. No point at which
changes sign has been located up to the point
.
-
The value of
tol,
, is too small for the function to take an initial step.
-
No change in sign of the function was detected in the integration range.
-
An internal error has occurred in this routine. Check the routine call and any array sizes. If the call is correct then please contact
NAG for assistance.
-
A serious error occurred in a call to the internal integrator.
The error code internally was
. Please contact
NAG.
-
Unexpected internal error in call to interpolation routine.
The interpolation routine returned error flag .
An unexpected error has been triggered by this routine. Please
contact
NAG.
See
Section 7 in the Introduction to the NAG Library FL Interface for further information.
Your licence key may have expired or may not have been installed correctly.
See
Section 8 in the Introduction to the NAG Library FL Interface for further information.
Dynamic memory allocation failed.
See
Section 9 in the Introduction to the NAG Library FL Interface for further information.
7
Accuracy
The accuracy depends on
tol, on the mathematical properties of the differential system, on the position where
and on the method. It can be controlled by varying
tol but the approximate proportionality of the error to
tol holds only for a restricted range of values of
tol. For
tol too large, the underlying theory may break down and the result of varying
tol may be unpredictable. For
tol too small, rounding error may affect the solution significantly and an error exit with
or
is possible.
The accuracy may also be restricted by the properties of
. You should try to code
g without introducing any unnecessary cancellation errors.
8
Parallelism and Performance
d02bhf is not threaded in any implementation.
The time taken by
d02bhf depends on the complexity and mathematical properties of the system of differential equations defined by
fcn, the complexity of
g, on the range, the position of the solution and the tolerance. There is also an overhead of the form
where
and
are machine-dependent computing times.
For some problems it is possible that
d02bhf will return
because of inaccuracy of the computed values
y, leading to inaccuracy in the computed values of
used in the search for the solution of
. This difficulty can be overcome by reducing
tol sufficiently, and if necessary, by choosing
hmax sufficiently small. If possible, you should choose
xend well beyond the expected point where
; for example make
about
larger than the expected range. As a simple check, if, with
xend fixed, a change in
tol does not lead to a significant change in
y at
xend, then inaccuracy is not a likely source of error.
If
d02bhf fails with
, then it could be called again with a larger value of
tol if this has not already been tried. If the accuracy requested is really needed and cannot be obtained with this routine, the system may be very stiff (see below) or so badly scaled that it cannot be solved to the required accuracy.
If
d02bhf fails with
, it is likely that it has been called with a value of
tol which is so small that a solution cannot be obtained on the range
x to
xend. This can happen for well-behaved systems and very small values of
tol. You should, however, consider whether there is a more fundamental difficulty. For example:
-
(a)in the region of a singularity (infinite value) of the solution, the routine will usually stop with , unless overflow occurs first. If overflow occurs using d02bhf, d02pff can be used instead to detect the increasing solution, before overflow occurs. In any case, numerical integration cannot be continued through a singularity, and analytical treatment should be considered;
-
(b)for ‘stiff’ equations, where the solution contains rapidly decaying components, the routine will compute in very small steps in (internally to d02bhf) to preserve stability. This will usually exhibit itself by making the computing time excessively long, or occasionally by an exit with . Merson's method is not efficient in such cases, and you should try d02ejf which uses a Backward Differentiation Formula method. To determine whether a problem is stiff, d02pef may be used.
For well-behaved systems with no difficulties such as stiffness or singularities, the Merson method should work well for low accuracy calculations (three or four figures). For high accuracy calculations or where
fcn is costly to evaluate, Merson's method may not be appropriate and a computationally less expensive method may be
d02cjf which uses an Adams' method.
For problems for which
d02bhf is not sufficiently general, you should consider
d02pff.
d02pff is a more general routine with many facilities including a more general error control criterion.
d02pff can be combined with the rootfinder
c05azf and the interpolation routine
d02psf to solve equations involving
and their derivatives.
d02bhf can also be used to solve an equation involving
,
and the derivatives of
.
For example in
Section 10,
d02bhf is used to find a value of
where
. It could instead be used to find a turning-point of
by replacing the function
in the program by:
Real (kind=nag_wp) Function g(x,y)
Real (kind=nag_wp) x,y(3),f(3)
Call fcn(x,y,f)
g = f(1)
Return
End
This routine is only intended to locate the first zero of . If later zeros are required, you are strongly advised to construct your own more general root-finding routines as discussed above.
10
Example
This example finds the value
at which
, where
,
,
are defined by
and where at
we are given
,
and
. We write
,
and
and we set
and
in turn so that we can compare the solutions. We expect the solution
and so we set
to avoid determining the solution of
too near the end of the range of integration. The initial values and range are read from a data file.
10.1
Program Text
10.2
Program Data
10.3
Program Results