NAG FL Interface
d03uaf (dim2_​ellip_​fd_​iter)

1 Purpose

d03uaf performs at each call one iteration of the Strongly Implicit Procedure. It is used to calculate on successive calls a sequence of approximate corrections to the current estimate of the solution when solving a system of simultaneous algebraic equations for which the iterative update matrix is of five-point molecule form on a two-dimensional topologically-rectangular mesh. (‘Topological’ means that a polar grid r,θ, for example, can be used as it is equivalent to a rectangular box.)

2 Specification

Fortran Interface
Subroutine d03uaf ( n1, n2, lda, a, b, c, d, e, aparam, it, r, wrksp1, wrksp2, ifail)
Integer, Intent (In) :: n1, n2, lda, it
Integer, Intent (Inout) :: ifail
Real (Kind=nag_wp), Intent (In) :: a(lda,n2), b(lda,n2), c(lda,n2), d(lda,n2), e(lda,n2), aparam
Real (Kind=nag_wp), Intent (Inout) :: r(lda,n2), wrksp1(lda,n2), wrksp2(lda,n2)
C Header Interface
#include <nag.h>
void  d03uaf_ (const Integer *n1, const Integer *n2, const Integer *lda, const double a[], const double b[], const double c[], const double d[], const double e[], const double *aparam, const Integer *it, double r[], double wrksp1[], double wrksp2[], Integer *ifail)
The routine may be called by the names d03uaf or nagf_pde_dim2_ellip_fd_iter.

3 Description

Given a set of simultaneous equations
Mt=q (1)
(which could be nonlinear) derived, for example, from a finite difference representation of a two-dimensional elliptic partial differential equation and its boundary conditions, the solution t may be obtained iteratively from a starting approximation t 1 by the formulae
rn = q-Mtn Msn = r n t n+1 = t n +s n .  
Thus r n is the residual of the nth approximate solution t n , and s n is the update change vector.
d03uaf determines the approximate change vector s corresponding to a given residual r, i.e., it determines an approximate solution to a set of equations
Ms=r (2)
where M is a square n1×n2 by n1×n2 matrix and r is a known vector of length n1×n2. The set of equations (2) must be of five-diagonal form
aij si,j-1 + bij si-1,j + cij sij + dij si+1,j + eij si,j+1 = rij ,  
for i=1,2,,n1 and j=1,2,,n2, provided that cij0.0. Indeed, if cij=0.0, then the equation is assumed to be
sij=rij.  
For example, if n1=3 and n2=2, the equations take the form
c11 d11 e11 b21 c21 d21 e21 b31 c31 e31 a12 c12 d12 a22 b22 c22 d22 a32 b32 c32 s11 s21 s31 s12 s22 s32 = r11 r21 r31 r12 r22 r32 .  
The calling program supplies the current residual r at each iteration and the coefficients of the five-point molecule system of equations on which the update procedure is based. The routine performs one iteration, using the approximate LU factorization of the Strongly Implicit Procedure with the necessary acceleration argument adjustment, to calculate the approximate solution s of the set of equations (2). The change s overwrites the residual array for return to the calling program. The calling program must combine this change stored in r with the old approximation to obtain the new approximate solution for t. It must then recalculate the residuals and, if the accuracy requirements have not been satisfied, commence the next iterative cycle.
Clearly there is no requirement that the iterative update matrix passed in the form of the five-diagonal element arrays a, b, c, d and e is the same as that used to calculate the residuals, and therefore the one governing the problem. However, the convergence may be impaired if they are not equal. Indeed, if the system of equations (1) is not precisely of the five-diagonal form illustrated above but has a few additional terms, then the methods of deferred or defect correction can be employed. The residual is calculated by the calling program using the full system of equations, but the update formula is based on a five-diagonal system (2) of the form given above. For example, the solution of a system of nine-diagonal equations each involving the combination of terms with ti±1,j±1,ti±1,j,ti,j±1 and tij could use the five-diagonal coefficients on which to base the update, provided these incorporate the major features of the equations.
Problems in topologically non-rectangular regions can be solved using the routine by surrounding the region with a circumscribing topological rectangle. The equations for the nodal values external to the region of interest are set to zero (i.e., cij=rij=0) and the boundary conditions are incorporated into the equations for the appropriate nodes.
If there is no better initial approximation when starting the iterative cycle, one can use an array of all zeros as the initial approximation from which the first set of residuals are determined.
The routine can be used to solve linear elliptic equations in which case the arrays a, b, c, d, e and the quantities q will be unchanged during the iterative cycles, or for solving nonlinear elliptic equations in which case some or all of these arrays may require updating as each new approximate solution is derived. Depending on the nonlinearity, some under-relaxation of the coefficients and/or source terms may be needed during their recalculation using the new estimates of the solution (see Jacobs (1972)).
The routine can also be used to solve each step of a time-dependent parabolic equation in two space dimensions. The solution at each time step can be expressed in terms of an elliptic equation if the Crank–Nicolson or other form of implicit time integration is used.
Neither diagonal dominance, nor positive-definiteness, of the matrix M or of the update matrix formed from the arrays a, b, c, d and e is necessary to ensure convergence.
For problems in which the solution is not unique, in the sense that an arbitrary constant can be added to the solution (for example Laplace's equation with all Neumann boundary conditions), the calling program should subtract a typical nodal value from the whole solution t at every iteration to keep rounding errors to a minimum.

4 References

Ames W F (1977) Nonlinear Partial Differential Equations in Engineering (2nd Edition) Academic Press
Jacobs D A H (1972) The strongly implicit procedure for the numerical solution of parabolic and elliptic partial differential equations Note RD/L/N66/72 Central Electricity Research Laboratory
Stone H L (1968) Iterative solution of implicit approximations of multi-dimensional partial differential equations SIAM J. Numer. Anal. 5 530–558

5 Arguments

1: n1 Integer Input
On entry: the number of nodes in the first coordinate direction, n1.
Constraint: n1>1.
2: n2 Integer Input
On entry: the number of nodes in the second coordinate direction, n2.
Constraint: n2>1.
3: lda Integer Input
On entry: the first dimension of the arrays a, b, c, d, e, r, wrksp1 and wrksp2 as declared in the (sub)program from which d03uaf is called.
Constraint: ldan1.
4: aldan2 Real (Kind=nag_wp) array Input
On entry: aij must contain the coefficient of the ‘southerly’ term involving si,j-1 in the i,jth equation of the system (2), for i=1,2,,n1 and j=1,2,,n2. The elements of a, for j=1, must be zero after incorporating the boundary conditions, since they involve nodal values from outside the rectangle.
5: bldan2 Real (Kind=nag_wp) array Input
On entry: bij must contain the coefficient of the ‘westerly’ term involving si-1,j in the i,jth equation of the system (2), for i=1,2,,n1 and j=1,2,,n2. The elements of b, for i=1, must be zero after incorporating the boundary conditions, since they involve nodal values from outside the rectangle.
6: cldan2 Real (Kind=nag_wp) array Input
On entry: cij must contain the coefficient of the ‘central’ term involving sij in the i,jth equation of the system (2), for i=1,2,,n1 and j=1,2,,n2. The elements of c are checked to ensure that they are nonzero. If any element is found to be zero, the corresponding algebraic equation is assumed to be sij=rij. This feature can be used to define the equations for nodes at which, for example, Dirichlet boundary conditions are applied, or for nodes external to the problem of interest, by setting cij=0.0 at appropriate points. The corresponding value of rij is set equal to the appropriate value, namely the difference between the prescribed value of tij and the current value of tij in the Dirichlet case, or zero at an external point.
7: dldan2 Real (Kind=nag_wp) array Input
On entry: dij must contain the coefficient of the ‘easterly’ term involving si+1,j in the i,jth equation of the system (2), for i=1,2,,n1 and j=1,2,,n2. The elements of d, for i=n1, must be zero after incorporating the boundary conditions, since they involve nodal values from outside the rectangle.
8: eldan2 Real (Kind=nag_wp) array Input
On entry: eij must contain the coefficient of the ‘northerly’ term involving si,j+1 in the i,jth equation of the system (2), for i=1,2,,n1 and j=1,2,,n2. The elements of e, for j=n2, must be zero after incorporating the boundary conditions, since they involve nodal values from outside the rectangle.
9: aparam Real (Kind=nag_wp) Input
On entry: the iteration acceleration factor. A value of 1.0 is adequate for most typical problems. However, if convergence is slow, the value can be reduced, typically to 0.2 or 0.1. If divergence is obtained, the value can be increased, typically to 2.0, 5.0 or 10.0.
Constraint: 0.0<aparam n1-1 2+ n2-1 2/2.0.
10: it Integer Input
On entry: the iteration number. It must be initialized, but not necessarily to 1, before the first call, and must be incremented by one in the calling program for each subsequent call. d03uaf uses the counter to select the appropriate acceleration argument from a sequence of nine, each one being used twice in succession. (Note that the acceleration argument depends on the value of aparam.)
11: rldan2 Real (Kind=nag_wp) array Input/Output
On entry: rij must contain the current residual rij on the right-hand side of the i,jth equation of the system (2), for i=1,2,,n1 and j=1,2,,n2.
On exit: these residuals are overwritten by the corresponding components of solution s to the system (2), i.e., the changes to be made to the vector t to reduce the residuals supplied.
12: wrksp1ldan2 Real (Kind=nag_wp) array Workspace
13: wrksp2ldan2 Real (Kind=nag_wp) array Workspace
14: ifail Integer Input/Output
On entry: ifail must be set to 0, -1 or 1 to set behaviour on detection of an error; these values have no effect when no error is detected.
A value of 0 causes the printing of an error message and program execution will be halted; otherwise program execution continues. A value of -1 means that an error message is printed while a value of 1 means that it is not.
If halting is not appropriate, the value -1 or 1 is recommended. If message printing is undesirable, then the value 1 is recommended. Otherwise, the value 0 is recommended. 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, n1=value.
Constraint: n1>1.
On entry, n2=value.
Constraint: n2>1.
ifail=2
On entry, lda=value and n1=value.
Constraint: ldan1.
ifail=3
On entry, aparam=value.
Constraint: aparam>0.0.
ifail=4
On entry, aparam=value, n1=value and n2=value.
Constraint: aparamn1-12+n2-12/2.
ifail=-99
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.
ifail=-399
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.
ifail=-999
Dynamic memory allocation failed.
See Section 9 in the Introduction to the NAG Library FL Interface for further information.

7 Accuracy

The improvement in accuracy for each iteration, i.e., on each call, depends on the size of the system and on the condition of the update matrix characterised by the five-diagonal coefficient arrays. The ultimate accuracy obtainable depends on the above factors and on the machine precision. However, since d03uaf works with residuals and the update vector, the calling program can, in most cases where at each iteration all the residuals are usually of about the same size, calculate the residuals from extended precision values of the function, source term and equation coefficients if greater accuracy is required. The rate of convergence obtained with the Strongly Implicit Procedure is not always smooth because of the cyclic use of nine acceleration arguments. The convergence may become slow with very large problems. The final accuracy obtained can be judged approximately from the rate of convergence determined from the changes to the dependent variable t and in particular the change on the last iteration.

8 Parallelism and Performance

d03uaf is not threaded in any implementation.

9 Further Comments

The time taken is approximately proportional to n1×n2 for each call.
When used with deferred or defect correction, the residual is calculated in the calling program from a different system of equations to those represented by the five-point molecule coefficients used by d03uaf as the basis of the iterative update procedure. When using deferred correction the overall rate of convergence depends not only on the items detailed in Section 7 but also on the difference between the two coefficient matrices used.
Convergence may not always be obtained when the problem is very large and/or the coefficients of the equations have widely disparate values. The latter case may be associated with an ill-conditioned matrix.

10 Example

This example solves Laplace's equation in a rectangle with a non-uniform grid spacing in the x and y coordinate directions and with Dirichlet boundary conditions specifying the function on the perimeter of the rectangle equal to e1.0+x/yn2×cosy/yn2.

10.1 Program Text

Program Text (d03uafe.f90)

10.2 Program Data

Program Data (d03uafe.d)

10.3 Program Results

Program Results (d03uafe.r)
GnuplotProduced by GNUPLOT 4.6 patchlevel 3 Example Program Laplace's Equation on a Non-uniform Grid gnuplot_plot_1 gnuplot_plot_2 0 2 4 6 8 10 12 14 16 x 0 5 10 15 20 25 30 35 40 45 y 0.5 0.6 0.7 0.8 0.9 1 1.1 1.2 1.3 1.4 1.5 U