NAG Library Function Document

nag_ode_bvp_coll_nlin_contin (d02txc)

+− Contents

1 Purpose

2 Specification

3 Description

4 References

5 Arguments

6 Error Indicators and Warnings

7 Accuracy

8 Parallelism and Performance

9 Further Comments

+− 10 Example

10.1 Program Text

10.2 Program Data

10.3 Program Results

1 Purpose

nag_ode_bvp_coll_nlin_contin (d02txc) allows a solution to a nonlinear two-point boundary value problem computed by nag_ode_bvp_coll_nlin_solve (d02tlc) to be used as an initial approximation in the solution of a related nonlinear two-point boundary value problem in a continuation call to nag_ode_bvp_coll_nlin_solve (d02tlc).

2 Specification

#include <nag.h>

#include <nagd02.h>

void	nag_ode_bvp_coll_nlin_contin (Integer mxmesh, Integer nmesh, const double mesh[], const Integer ipmesh[], double rcomm[], Integer icomm[], NagError *fail)

3 Description

nag_ode_bvp_coll_nlin_contin (d02txc) and its associated functions (nag_ode_bvp_coll_nlin_solve (d02tlc), nag_ode_bvp_coll_nlin_setup (d02tvc), nag_ode_bvp_coll_nlin_interp (d02tyc) and nag_ode_bvp_coll_nlin_diag (d02tzc)) solve the two-point boundary value problem for a nonlinear system of ordinary differential equations

\begin{array}{rcl} y_{1}^{(m_{1})} (x) & = & f_{1} (x, y_{1}, y_{1}^{(1)}, \dots, y_{1}^{(m_{1} - 1)}, y_{2}, \dots, y_{n}^{(m_{n} - 1)}) \\ y_{2}^{(m_{2})} (x) & = & f_{2} (x, y_{1}, y_{1}^{(1)}, \dots, y_{1}^{(m_{1} - 1)}, y_{2}, \dots, y_{n}^{(m_{n} - 1)}) \\ ⋮ \\ y_{n}^{(m_{n})} (x) & = & f_{n} (x, y_{1}, y_{1}^{(1)}, \dots, y_{1}^{(m_{1} - 1)}, y_{2}, \dots, y_{n}^{(m_{n} - 1)}) \end{array}

over an interval

[a, b]

subject to

p

(

> 0

) nonlinear boundary conditions at

a

and

q

(

> 0

) nonlinear boundary conditions at

b

, where

p + q = \sum_{i = 1}^{n} m_{i}

. Note that

y_{i}^{(m)} (x)

is the

m

th derivative of the

i

th solution component. Hence

y_{i}^{(0)} (x) = y_{i} (x)

. The left boundary conditions at

a

are defined as

g_{i} (z (y (a))) = 0, i = 1, 2, \dots, p,

and the right boundary conditions at

b

{\bar{g}}_{j} (z (y (b))) = 0, j = 1, 2, \dots, q,

where

y = (y_{1}, y_{2}, \dots, y_{n})

and

z (y (x)) = (y_{1} (x), y_{1}^{(1)} (x), \dots, y_{1}^{(m_{1} - 1)} (x), y_{2} (x), \dots, y_{n}^{(m_{n} - 1)} (x)) .

First, nag_ode_bvp_coll_nlin_setup (d02tvc) must be called to specify the initial mesh, error requirements and other details. Then, nag_ode_bvp_coll_nlin_solve (d02tlc) can be used to solve the boundary value problem. After successful computation, nag_ode_bvp_coll_nlin_diag (d02tzc) can be used to ascertain details about the final mesh. nag_ode_bvp_coll_nlin_interp (d02tyc) can be used to compute the approximate solution anywhere on the interval

[a, b]

using interpolation.

If the boundary value problem being solved is one of a sequence of related problems, for example as part of some continuation process, then nag_ode_bvp_coll_nlin_contin (d02txc) should be used between calls to nag_ode_bvp_coll_nlin_solve (d02tlc). This avoids the overhead of a complete initialization when the setup function nag_ode_bvp_coll_nlin_setup (d02tvc) is used. nag_ode_bvp_coll_nlin_contin (d02txc) allows the solution values computed in the previous call to nag_ode_bvp_coll_nlin_solve (d02tlc) to be used as an initial approximation for the solution in the next call to nag_ode_bvp_coll_nlin_solve (d02tlc).

You must specify the new initial mesh. The previous mesh can be obtained by a call to nag_ode_bvp_coll_nlin_diag (d02tzc). It may be used unchanged as the new mesh, in which case any fixed points in the previous mesh remain as fixed points in the new mesh. Fixed and other points may be added or subtracted from the mesh by manipulation of the contents of the array argument ipmesh. Initial values for the solution components on the new mesh are computed by interpolation on the values for the solution components on the previous mesh.

The functions are based on modified versions of the codes COLSYS and COLNEW (see Ascher et al. (1979) and Ascher and Bader (1987)). A comprehensive treatment of the numerical solution of boundary value problems can be found in Ascher et al. (1988) and Keller (1992).

4 References

Ascher U M and Bader G (1987) A new basis implementation for a mixed order boundary value ODE solver SIAM J. Sci. Stat. Comput. 8 483–500

Ascher U M, Christiansen J and Russell R D (1979) A collocation solver for mixed order systems of boundary value problems Math. Comput. 33 659–679

Ascher U M, Mattheij R M M and Russell R D (1988) Numerical Solution of Boundary Value Problems for Ordinary Differential Equations Prentice–Hall

Keller H B (1992) Numerical Methods for Two-point Boundary-value Problems Dover, New York

5 Arguments

1: mxmesh – IntegerInput

On entry: the maximum number of points allowed in the mesh.

Constraint: this must be identical to the value supplied for the argument mxmesh in the prior call to nag_ode_bvp_coll_nlin_setup (d02tvc).

2: nmesh – IntegerInput

On entry: the number of points to be used in the new initial mesh. It is strongly recommended that if this function is called that the suggested value (see below) for nmesh is used. In this case the arrays mesh and ipmesh returned by nag_ode_bvp_coll_nlin_diag (d02tzc) can be passed to this function without any modification.

Suggested value:

(n^{*} + 1) / 2

, where

n^{*}

is the number of mesh points used in the previous mesh as returned in the argument nmesh of nag_ode_bvp_coll_nlin_diag (d02tzc).

Constraint:

6 \leq nmesh \leq (mxmesh + 1) / 2

3: mesh[mxmesh] – const doubleInput

On entry: the nmesh points to be used in the new initial mesh as specified by ipmesh.

Suggested value: the argument mesh returned from a call to nag_ode_bvp_coll_nlin_diag (d02tzc).

Constraint:

mesh [i_{j} - 1] < mesh [i_{j + 1} - 1]

, for

j = 1, 2, \dots, nmesh - 1

, the values of

i_{1}, i_{2}, \dots, i_{nmesh}

are defined in ipmesh.

mesh [i_{1} - 1]

must contain the left boundary point,

a

, and

mesh [i_{nmesh} - 1]

must contain the right boundary point,

b

, as specified in the previous call to nag_ode_bvp_coll_nlin_setup (d02tvc).

4: ipmesh[mxmesh] – const IntegerInput

On entry: specifies the points in mesh to be used as the new initial mesh. Let

\{i_{j} : j = 1, 2, \dots, nmesh\}

be the set of array indices of ipmesh such that

ipmesh [i_{j} - 1] = 1 ​ or ​ 2

and

1 = i_{1} < i_{2} < \dots < i_{nmesh}

. Then

mesh [i_{j} - 1]

will be included in the new initial mesh.

ipmesh [i_{j} - 1] = 1

mesh [i_{j} - 1]

will be a fixed point in the new initial mesh.

ipmesh [k - 1] = 3

for any

k

, then

mesh [k - 1]

will not be included in the new mesh.

Suggested value: the argument ipmesh returned in a call to nag_ode_bvp_coll_nlin_diag (d02tzc).

Constraints:

$ipmesh [k - 1] = 1$ , $2$ or $3$ , for $k = 1, 2, \dots, i_{nmesh}$ ;
$ipmesh [0] = ipmesh [i_{nmesh} - 1] = 1$ .

5: rcomm[ $\dim$ ] – doubleCommunication Array

Note: the dimension,

\dim

, of this array is dictated by the requirements of associated functions that must have been previously called. This array MUST be the same array passed as argument rcomm in the previous call to nag_ode_bvp_coll_nlin_solve (d02tlc).

On entry: this must be the same array as supplied to nag_ode_bvp_coll_nlin_solve (d02tlc) and must remain unchanged between calls.

On exit: contains information about the solution for use on subsequent calls to associated functions.

6: icomm[ $\dim$ ] – IntegerCommunication Array

Note: the dimension,

\dim

, of this array is dictated by the requirements of associated functions that must have been previously called. This array MUST be the same array passed as argument icomm in the previous call to nag_ode_bvp_coll_nlin_solve (d02tlc).

On entry: this must be the same array as supplied to nag_ode_bvp_coll_nlin_solve (d02tlc) and must remain unchanged between calls.

On exit: contains information about the solution for use on subsequent calls to associated functions.

7: fail – NagError *Input/Output

The NAG error argument (see Section 3.6 in the Essential Introduction).

6 Error Indicators and Warnings

NE_BAD_PARAM: On entry, argument $⟨value⟩$ had an illegal value.
NE_CONVERGENCE_SOL: The solver function did not produce any results suitable for remeshing.
NE_INT: An element of ipmesh was set to $- 1$ before nmesh elements containing $1$ or $2$ were detected.
$ipmesh [i] \neq - 1$ , $1$ , $2$ or $3$ for some $i$ .
On entry, $ipmesh [0] = ⟨value⟩$ .
Constraint: $ipmesh [0] = 1$ .
On entry, $nmesh = ⟨value⟩$ .
Constraint: $nmesh \geq 6$ .
You have set the element of ipmesh corresponding to the last element of mesh to be included in the new mesh as $⟨value⟩$ , which is not $1$ .
NE_INT_2: On entry, $nmesh = ⟨value⟩$ and $mxmesh = ⟨value⟩$ .
Constraint: $nmesh \leq (mxmesh + 1) / 2$ .
NE_INT_CHANGED: On entry, $mxmesh = ⟨value⟩$ and $mxmesh = ⟨value⟩$ in nag_ode_bvp_coll_nlin_setup (d02tvc).
Constraint: $mxmesh = mxmesh$ in nag_ode_bvp_coll_nlin_setup (d02tvc).
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.
NE_MESH_ERROR: The first element of array mesh does not coincide with the left hand end of the range previously specified.
First element of mesh: $⟨value⟩$ ; left hand of the range: $⟨value⟩$ .
The last point of the new mesh does not coincide with the right hand end of the range previously specified.
Last point of the new mesh: $⟨value⟩$ ; right hand end of the range: $⟨value⟩$ .
NE_MISSING_CALL: The solver function does not appear to have been called.
NE_NOT_STRICTLY_INCREASING: The entries in mesh are not strictly increasing.

7 Accuracy

Not applicable.

8 Parallelism and Performance

Not applicable.

9 Further Comments

For problems where sharp changes of behaviour are expected over short intervals it may be advisable to:

–	cluster the mesh points where sharp changes in behaviour are expected;
–	maintain fixed points in the mesh using the argument ipmesh to ensure that the remeshing process does not inadvertently remove mesh points from areas of known interest.

In the absence of any other information about the expected behaviour of the solution, using the values suggested in Section 5 for nmesh, ipmesh and mesh is strongly recommended.

10 Example

This example illustrates the use of continuation, solution on an infinite range, and solution of a system of two differential equations of orders

3

and

2

. See also nag_ode_bvp_coll_nlin_solve (d02tlc), nag_ode_bvp_coll_nlin_setup (d02tvc), nag_ode_bvp_coll_nlin_interp (d02tyc) and nag_ode_bvp_coll_nlin_diag (d02tzc), for the illustration of other facilities.

Consider the problem of swirling flow over an infinite stationary disk with a magnetic field along the axis of rotation. See Ascher et al. (1988) and the references therein. After transforming from a cylindrical coordinate system

(r, θ, z)

, in which the

θ

component of the corresponding velocity field behaves like

r^{- n}

, the governing equations are

\begin{array}{lcl} f^{'''} + \frac{1}{2} (3 - n) f f^{''} + n {(f^{'})}^{2} + g^{2} - s f^{'} & = & γ^{2} \\ g^{''} + \frac{1}{2} (3 - n) f g^{'} + (n - 1) g f^{'} - s (g - 1) & = & 0 \end{array}

with boundary conditions

f (0) = f^{'} (0) = g (0) = 0, f^{'} (\infty) = 0, g (\infty) = γ,

where

s

is the magnetic field strength, and

γ

is the Rossby number.

Some solutions of interest are for

γ = 1

, small

n

and

s \to 0

. An added complication is the infinite range, which we approximate by

[0, L]

. We choose

n = 0.2

and first solve for

L = 60.0, s = 0.24

using the initial approximations

f (x) = - x^{2} e^{- x}

and

g (x) = 1.0 - e^{- x}

, which satisfy the boundary conditions, on a uniform mesh of

21

points. Simple continuation on the parameters

L

and

s

using the values

L = 120.0, s = 0.144

and then

L = 240.0, s = 0.0864

is used to compute further solutions. We use the suggested values for nmesh, ipmesh and mesh in the call to nag_ode_bvp_coll_nlin_contin (d02txc) prior to a continuation call, that is only every second point of the preceding mesh is used.

The equations are first mapped onto

[0, 1]

to yield

\begin{array}{lcl} f^{'''} & = & L^{3} (γ^{2} - g^{2}) + L^{2} s g^{'} - L (\frac{1}{2} (3 - n) f f^{''} + n {(g^{'})}^{2}) \\ g^{''} & = & L^{2} s (g - 1) - L (\frac{1}{2} (3 - n) f g^{'} + (n - 1) f^{'} g) . \end{array}

NAG Library Function Documentnag_ode_bvp_coll_nlin_contin (d02txc)