f12ad: FL CL AD

NAG CL Interface
f12adc (real_option)

Note: this function uses optional parameters to define choices in the problem specification. If you wish to use default settings for all of the optional parameters, then this function need not be called. If, however, you wish to reset some or all of the settings please refer to Section 11 for a detailed description of the specification of the optional parameters.

Keyword Search:

NAG Library Manual, Mark 27

Interfaces: FL CL AD

NAG CL Interface Introduction

F12 (Sparseig) Chapter Contents

F12 (Sparseig) Chapter Introduction

f12ad: FL CL AD

▸▿ 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

▸▿ 11 Optional Parameters

11.1 Description of the Optional Parameters

1 Purpose

f12adc is an option setting function that may be used to supply individual optional parameters to f12abc and f12acc. These are part of a suite of functions that also includes: f12aac and f12aec. The initialization function f12aac must have been called prior to calling f12adc.

2 Specification

#include <nag.h>

void	f12adc (const char str, Integer icomm[], double comm[], NagError fail)

The function may be called by the names: f12adc, nag_sparseig_real_option or nag_real_sparse_eigensystem_option.

3 Description

f12adc may be used to supply values for optional parameters to f12abc and f12acc. It is only necessary to call f12adc for those arguments whose values are to be different from their default values. One call to f12adc sets one argument value.

Each optional parameter is defined by a single character string consisting of one or more items. The items associated with a given option must be separated by spaces, or equals signs

[=]

. Alphabetic characters may be upper or lower case. The string

Vectors = None

is an example of a string used to set an optional parameter. For each option the string contains one or more of the following items:

–a mandatory keyword;
–a phrase that qualifies the keyword;
–a number that specifies an Integer or double value. Such numbers may be up to $16$ contiguous characters in C's d or g format.

f12adc does not have an equivalent function from the ARPACK package which passes options by directly setting values to scalar arguments or to specific elements of array arguments. f12adc is intended to make the passing of options more transparent and follows the same principle as the single option setting functions in Chapter E04.

The setup function f12aac must be called prior to the first call to f12adc and all calls to f12adc must precede the first call to f12abc, the reverse communication iterative solver.

A complete list of optional parameters, their abbreviations, synonyms and default values is given in Section 11.

4 References

Lehoucq R B (2001) Implicitly restarted Arnoldi methods and subspace iteration SIAM Journal on Matrix Analysis and Applications 23 551–562

Lehoucq R B and Scott J A (1996) An evaluation of software for computing eigenvalues of sparse nonsymmetric matrices Preprint MCS-P547-1195 Argonne National Laboratory

Lehoucq R B and Sorensen D C (1996) Deflation techniques for an implicitly restarted Arnoldi iteration SIAM Journal on Matrix Analysis and Applications 17 789–821

Lehoucq R B, Sorensen D C and Yang C (1998) ARPACK Users' Guide: Solution of Large-scale Eigenvalue Problems with Implicitly Restarted Arnoldi Methods SIAM, Philidelphia

5 Arguments

1: $str$ – const char * Input: On entry: a single valid option string (as described in Section 3 and Section 11).
2: $icomm [\dim]$ – Integer Communication Array: Note: the actual argument supplied must be the array icomm supplied to the initialization routine f12aac.

On initial entry: must remain unchanged following a call to the setup function f12aac.

On exit: contains data on the current options set.
3: $comm [\dim]$ – double Communication Array: Note: the actual argument supplied must be the array comm supplied to the initialization routine f12aac.

On initial entry: must remain unchanged following a call to the setup function f12aac.

On exit: contains data on the current options set.
4: $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_ALLOC_FAIL: Dynamic memory allocation failed.
See Section 3.1.2 in the Introduction to the NAG Library CL Interface for further information.
NE_BAD_PARAM: On entry, argument $〈value〉$ had an illegal value.
NE_INITIALIZATION: Either the initialization function has not been called prior to the call of this function or a communication array has become corrupted.
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.
See Section 7.5 in the Introduction to the NAG Library CL Interface for further information.
NE_INVALID_OPTION: Ambiguous keyword: $〈value〉$

Keyword not recognized: $〈value〉$

Second keyword not recognized: $〈value〉$
NE_NO_LICENCE: Your licence key may have expired or may not have been installed correctly.
See Section 8 in the Introduction to the NAG Library CL Interface for further information.

7 Accuracy

Not applicable.

8 Parallelism and Performance

f12adc is not threaded in any implementation.

9 Further Comments

None.

10 Example

This example solves

A x = λ B x

in shifted-inverse mode, where

A

and

B

are derived from the finite element discretization of the one-dimensional convection-diffusion operator

\frac{d^{2} u}{d x^{2}} + ρ \frac{d u}{d x}

on the interval

[0, 1]

, with zero Dirichlet boundary conditions.

The shift

σ

is a real number, and the operator used in the shifted-inverse iterative process is

OP = {(A - σ B)}^{- 1} B

11 Optional Parameters

Several optional parameters for the computational functions f12abc and f12acc define choices in the problem specification or the algorithm logic. In order to reduce the number of formal arguments of f12abc and f12acc these optional parameters have associated default values that are appropriate for most problems. Therefore, you need only specify those optional parameters whose values are to be different from their default values.

The remainder of this section can be skipped if you wish to use the default values for all optional parameters.

The following is a list of the optional parameters available. A full description of each optional parameter is provided in Section 11.1.

Optional parameters may be specified by calling f12adc before a call to f12abc, but after a call to f12aac. One call is necessary for each optional parameter.

All optional parameters you do not specify are set to their default values. Optional parameters you specify are unaltered by f12abc and f12acc (unless they define invalid values) and so remain in effect for subsequent calls unless you alter them.

11.1 Description of the Optional Parameters

For each option, we give a summary line, a description of the optional parameter and details of constraints.

The summary line contains:

the keywords, where the minimum abbreviation of each keyword is underlined;
a parameter value, where the letters $a$ , $i$ and $r$ denote options that take character, integer and real values respectively;
the default value, where the symbol $ε$ is a generic notation for machine precision (see X02AJC).

Keywords and character values are case and white space insensitive.

Optional parameters used to specify files (e.g.,

Advisory

and

Monitoring

) have type Nag_FileID. This ID value must either be set to

0

(the default value) in which case there will be no output, or will be as returned by a call of x04acc.

Advisory

Default

= 0

(See Section 3.1.1 in the Introduction to the NAG Library CL Interface for further information on NAG data types.)

Advisory messages are output to Nag_FileID

Advisory

during the solution of the problem.

Defaults

This special keyword may be used to reset all optional parameters to their default values.

Exact Shifts

Default

Supplied Shifts

During the Arnoldi iterative process, shifts are applied internally as part of the implicit restarting scheme. The shift strategy used by default and selected by the

Exact Shifts

is strongly recommended over the alternative

Supplied Shifts

(see Lehoucq et al. (1998) for details of shift strategies).

Exact Shifts

are used then these are computed internally by the algorithm in the implicit restarting scheme.

Supplied Shifts

are used then, during the Arnoldi iterative process, you must supply shifts through array arguments of f12abc when f12abc returns with

irevcm = 3

; the real and imaginary parts of the shifts are supplied in y and mx respectively. This option should only be used if you are an experienced user since this requires some algorithmic knowledge and because more operations are usually required than for the implicit shift scheme. Details on the use of explicit shifts and further references on shift strategies are available in Lehoucq et al. (1998).

Iteration Limit

i

Default

= 300

The limit on the number of Arnoldi iterations that can be performed before f12abc exits. If not all requested eigenvalues have converged to within

Tolerance

and the number of Arnoldi iterations has reached this limit then f12abc exits with an error; f12acc can still be called subsequently to return the number of converged eigenvalues, the converged eigenvalues and, if requested, the corresponding eigenvectors.

Largest Magnitude

Default

Largest Imaginary

Largest Real

Smallest Imaginary

Smallest Magnitude

Smallest Real

The Arnoldi iterative method converges on a number of eigenvalues with given properties. The default is for f12abc to compute the eigenvalues of largest magnitude using

Largest Magnitude

. Alternatively, eigenvalues may be chosen which have

Largest Real

part,

Largest Imaginary

part,

Smallest Magnitude

Smallest Real

part or

Smallest Imaginary

part.

Note that these options select the eigenvalue properties for eigenvalues of

OP

(and

B

for

Generalized

problems), the linear operator determined by the computational mode and problem type.

Nolist

Default

List

Optional parameter

List

enables printing of each optional parameter specification as it is supplied.

Nolist

suppresses this printing.

Monitoring

Default

= - 1

(See Section 3.1.1 in the Introduction to the NAG Library CL Interface for further information on NAG data types.)

Unless

Monitoring

is set to

- 1

(the default), monitoring information is output to Nag_FileID

Monitoring

during the solution of each problem; this may be the same as

Advisory

. The type of information produced is dependent on the value of

Print Level

, see the description of the optional parameter

Print Level

in this section for details of the information produced. Please see x04acc to associate a file with a given Nag_FileID.

Print Level

i

Default

= 0

This controls the amount of printing produced by f12adc as follows.

$= 0$	No output except error messages.
$> 0$	The set of selected options.
$= 2$	Problem and timing statistics on final exit from f12abc.
$\geq 5$	A single line of summary output at each Arnoldi iteration.
$\geq 10$	If $Monitoring$ is set, then at each iteration, the length and additional steps of the current Arnoldi factorization and the number of converged Ritz values; during re-orthogonalization, the norm of initial/restarted starting vector.
$\geq 20$	Problem and timing statistics on final exit from f12abc. If $Monitoring$ is set, then at each iteration, the number of shifts being applied, the eigenvalues and estimates of the Hessenberg matrix $H$ , the size of the Arnoldi basis, the wanted Ritz values and associated Ritz estimates and the shifts applied; vector norms prior to and following re-orthogonalization.
$\geq 30$	If $Monitoring$ is set, then on final iteration, the norm of the residual; when computing the Schur form, the eigenvalues and Ritz estimates both before and after sorting; for each iteration, the norm of residual for compressed factorization and the compressed upper Hessenberg matrix $H$ ; during re-orthogonalization, the initial/restarted starting vector; during the Arnoldi iteration loop, a restart is flagged and the number of the residual requiring iterative refinement; while applying shifts, the indices of the shifts being applied.
$\geq 40$	If $Monitoring$ is set, then during the Arnoldi iteration loop, the Arnoldi vector number and norm of the current residual; while applying shifts, key measures of progress and the order of $H$ ; while computing eigenvalues of $H$ , the last rows of the Schur and eigenvector matrices; when computing implicit shifts, the eigenvalues and Ritz estimates of $H$ .
$\geq 50$	If $Monitoring$ is set, then during Arnoldi iteration loop: norms of key components and the active column of $H$ , norms of residuals during iterative refinement, the final upper Hessenberg matrix $H$ ; while applying shifts: number of shifts, shift values, block indices, updated matrix $H$ ; while computing eigenvalues of $H$ : the matrix $H$ , the computed eigenvalues and Ritz estimates.

Random Residual

Default

Initial Residual

To begin the Arnoldi iterative process, f12abc requires an initial residual vector. By default f12abc provides its own random initial residual vector; this option can also be set using optional parameter

Random Residual

. Alternatively, you can supply an initial residual vector (perhaps from a previous computation) to f12abc through the array argument resid; this option can be set using optional parameter

Initial Residual

Regular

Default

Regular Inverse

Shifted Inverse Imaginary

Shifted Inverse Real

These options define the computational mode which in turn defines the form of operation

OP (x)

to be performed when f12abc returns with

irevcm = - 1

1

and the matrix-vector product

B x

when f12abc returns with

irevcm = 2

Given a

Standard

eigenvalue problem in the form

A x = λ x

then the following modes are available with the appropriate operator

OP (x)

$Regular$	$OP = A$
$Shifted Inverse Real$	$OP = {(A - σ I)}^{- 1}$ where $σ$ is real

Given a

Generalized

eigenvalue problem in the form

A x = λ B x

then the following modes are available with the appropriate operator

OP (x)

$Regular Inverse$	$OP = B^{- 1} A$
$Shifted Inverse Real$ with real shift	$OP = {(A - σ B)}^{- 1} B$ , where $σ$ is real
$Shifted Inverse Real$ with complex shift	$OP = Real ({(A - σ B)}^{- 1} B)$ , where $σ$ is complex
$Shifted Inverse Imaginary$	$OP = Imag ({(A - σ B)}^{- 1} B)$ , where $σ$ is complex

Standard

Default

Generalized

The problem to be solved is either a standard eigenvalue problem,

A x = λ x

, or a generalized eigenvalue problem,

A x = λ B x

. The optional parameter

Standard

should be used when a standard eigenvalue problem is being solved and the optional parameter

Generalized

should be used when a generalized eigenvalue problem is being solved.

Tolerance

r

Default

= ε

An approximate eigenvalue has deemed to have converged when the corresponding Ritz estimate is within

Tolerance

relative to the magnitude of the eigenvalue.

Vectors

Default

= RITZ

The function f12acc can optionally compute the Schur vectors and/or the eigenvectors corresponding to the converged eigenvalues. To turn off computation of any vectors the option

Vectors = NONE

should be set. To compute only the Schur vectors (at very little extra cost), the option

Vectors = SCHUR

should be set and these will be returned in the array argument v of f12acc. To compute the eigenvectors (Ritz vectors) corresponding to the eigenvalue estimates, the option

Vectors = RITZ

should be set and these will be returned in the array argument z of f12acc, if z is set equal to v (as in Section 10) then the Schur vectors in v are overwritten by the eigenvectors computed by f12acc.

NAG Library Manual, Mark 27

Interfaces: FL CL AD

NAG CL Interface Introduction

F12 (Sparseig) Chapter Contents

F12 (Sparseig) Chapter Introduction

f12ad: FL CL AD