LOCA::BorderedSolver::Bordering Class Reference

Bordered system solver strategy based on bordering. More...

#include <LOCA_BorderedSolver_Bordering.H>

Inheritance diagram for LOCA::BorderedSolver::Bordering:

Inheritance graph
[legend]
Collaboration diagram for LOCA::BorderedSolver::Bordering:

Collaboration graph
[legend]

List of all members.

Public Member Functions

 Bordering (const Teuchos::RCP< LOCA::GlobalData > &global_data, const Teuchos::RCP< LOCA::Parameter::SublistParser > &topParams, const Teuchos::RCP< Teuchos::ParameterList > &solverParams)
 Constructor.
virtual ~Bordering ()
 Destructor.
virtual void setMatrixBlocks (const Teuchos::RCP< const LOCA::BorderedSolver::AbstractOperator > &op, const Teuchos::RCP< const NOX::Abstract::MultiVector > &blockA, const Teuchos::RCP< const LOCA::MultiContinuation::ConstraintInterface > &blockB, const Teuchos::RCP< const NOX::Abstract::MultiVector::DenseMatrix > &blockC)
 Set blocks.
virtual
NOX::Abstract::Group::ReturnType 
initForSolve ()
 Intialize solver for a solve.
virtual
NOX::Abstract::Group::ReturnType 
initForTransposeSolve ()
 Intialize solver for a transpose solve.
virtual
NOX::Abstract::Group::ReturnType 
apply (const NOX::Abstract::MultiVector &X, const NOX::Abstract::MultiVector::DenseMatrix &Y, NOX::Abstract::MultiVector &U, NOX::Abstract::MultiVector::DenseMatrix &V) const
 Computed extended matrix-multivector product.
virtual
NOX::Abstract::Group::ReturnType 
applyTranspose (const NOX::Abstract::MultiVector &X, const NOX::Abstract::MultiVector::DenseMatrix &Y, NOX::Abstract::MultiVector &U, NOX::Abstract::MultiVector::DenseMatrix &V) const
 Computed extended matrix transpose-multivector product.
virtual
NOX::Abstract::Group::ReturnType 
applyInverse (Teuchos::ParameterList &params, const NOX::Abstract::MultiVector *F, const NOX::Abstract::MultiVector::DenseMatrix *G, NOX::Abstract::MultiVector &X, NOX::Abstract::MultiVector::DenseMatrix &Y) const
 Solves the extended system as defined above using bordering.
virtual
NOX::Abstract::Group::ReturnType 
applyInverseTranspose (Teuchos::ParameterList &params, const NOX::Abstract::MultiVector *F, const NOX::Abstract::MultiVector::DenseMatrix *G, NOX::Abstract::MultiVector &X, NOX::Abstract::MultiVector::DenseMatrix &Y) const
 Solves the transpose of the extended system as defined above using bordering.

Protected Member Functions

NOX::Abstract::Group::ReturnType solveFZero (Teuchos::ParameterList &params, const NOX::Abstract::MultiVector *AA, const LOCA::MultiContinuation::ConstraintInterface *BB, const NOX::Abstract::MultiVector::DenseMatrix *CC, const NOX::Abstract::MultiVector::DenseMatrix *G, NOX::Abstract::MultiVector &X, NOX::Abstract::MultiVector::DenseMatrix &Y) const
 Solves the extended system when F = 0.
NOX::Abstract::Group::ReturnType solveContiguous (Teuchos::ParameterList &params, const NOX::Abstract::MultiVector *AA, const LOCA::MultiContinuation::ConstraintInterface *BB, const NOX::Abstract::MultiVector::DenseMatrix *CC, vector< int > &indexF, vector< int > &indexA, const NOX::Abstract::MultiVector *F, const NOX::Abstract::MultiVector::DenseMatrix *G, NOX::Abstract::MultiVector &X, NOX::Abstract::MultiVector::DenseMatrix &Y) const
 Solves the extended system when F and A are contiguous.
NOX::Abstract::Group::ReturnType solveFZeroTrans (Teuchos::ParameterList &params, const NOX::Abstract::MultiVector *AA, const NOX::Abstract::MultiVector *BB, const NOX::Abstract::MultiVector::DenseMatrix *CC, const NOX::Abstract::MultiVector::DenseMatrix *G, NOX::Abstract::MultiVector &X, NOX::Abstract::MultiVector::DenseMatrix &Y) const
 Solves the transpose of the extended system when F = 0.
NOX::Abstract::Group::ReturnType solveContiguousTrans (Teuchos::ParameterList &params, const NOX::Abstract::MultiVector *AA, const NOX::Abstract::MultiVector *BB, const NOX::Abstract::MultiVector::DenseMatrix *CC, vector< int > &indexF, vector< int > &indexA, const NOX::Abstract::MultiVector *F, const NOX::Abstract::MultiVector::DenseMatrix *G, NOX::Abstract::MultiVector &X, NOX::Abstract::MultiVector::DenseMatrix &Y) const
 Solves the transpose of the extended system when F and B are contiguous.

Protected Attributes

Teuchos::RCP< LOCA::GlobalDataglobalData
 Global data object.
Teuchos::RCP
< Teuchos::ParameterList > 
solverParams
 Solver parameters.
Teuchos::RCP< const
LOCA::BorderedSolver::AbstractOperator
op
 Pointer to operator.
Teuchos::RCP< const
NOX::Abstract::MultiVector
A
 Pointer to A block.
Teuchos::RCP< const
LOCA::MultiContinuation::ConstraintInterface
B
 Pointer to B block.
Teuchos::RCP< const
NOX::Abstract::MultiVector::DenseMatrix
C
 Pointer to C block.
bool isZeroA
 flag indicating whether A block is zero
bool isZeroB
 flag indicating whether B block is zero
bool isZeroC
 flag indicating whether C block is zero
bool isZeroF
 flag indicating whether F block is zero
bool isZeroG
 flag indicating whether G block is zero

Private Member Functions

 Bordering (const Bordering &)
 Private to prohibit copying.
Borderingoperator= (const Bordering &)
 Private to prohibit copying.


Detailed Description

Bordered system solver strategy based on bordering.

This class solves the extended system of equations

\[ \begin{bmatrix} J & A \\ B^T & C \end{bmatrix} \begin{bmatrix} X \\ Y \end{bmatrix} = \begin{bmatrix} F \\ G \end{bmatrix} \]

via bordering (block elimination):

\[ \begin{aligned} X_1 &= J^{-1} F \\ X_2 &= J^{-1} A \\ Y &= (C-B^T X_2)^{-1}(G-B^T X_1) \\ X &= X_1 - X_2 Y \end{aligned} \]

It takes advantage of any of the matrix blocks being zero and concatenates $F$ and $A$ into a contiguous multivector to compute $X_1$ and $X_2$ in one block solve.

To solve the transpose of the system, a similar bordering algorithm is implemented. Note however that for the transpose, the constraint object representing $B$ must implement the LOCA::MultiContinuation::ConstraintInterfaceMVDX since $B$ appears on the right-hand-side of a linear system.

Definition at line 95 of file LOCA_BorderedSolver_Bordering.H.


Constructor & Destructor Documentation

LOCA::BorderedSolver::Bordering::Bordering ( const Teuchos::RCP< LOCA::GlobalData > &  global_data,
const Teuchos::RCP< LOCA::Parameter::SublistParser > &  topParams,
const Teuchos::RCP< Teuchos::ParameterList > &  solverParams 
)

Constructor.

Parameters:
global_data [in] Global data object
topParams [in] Parsed top-level parameter list
solverParams [in] Bordered solver parameters. Currently none are referenced.

Definition at line 53 of file LOCA_BorderedSolver_Bordering.C.

LOCA::BorderedSolver::Bordering::~Bordering (  )  [virtual]

Destructor.

Definition at line 71 of file LOCA_BorderedSolver_Bordering.C.

LOCA::BorderedSolver::Bordering::Bordering ( const Bordering  )  [private]

Private to prohibit copying.


Member Function Documentation

void LOCA::BorderedSolver::Bordering::setMatrixBlocks ( const Teuchos::RCP< const LOCA::BorderedSolver::AbstractOperator > &  op,
const Teuchos::RCP< const NOX::Abstract::MultiVector > &  blockA,
const Teuchos::RCP< const LOCA::MultiContinuation::ConstraintInterface > &  blockB,
const Teuchos::RCP< const NOX::Abstract::MultiVector::DenseMatrix > &  blockC 
) [virtual]

Set blocks.

The blockA or blockC pointer may be null if either is zero. Whether block B is zero will be determined by querying blockB via ConstraintInterface::isConstraintDerivativesXZero.

Implements LOCA::BorderedSolver::AbstractStrategy.

Definition at line 76 of file LOCA_BorderedSolver_Bordering.C.

References A, B, C, globalData, isZeroA, isZeroB, isZeroC, and op.

NOX::Abstract::Group::ReturnType LOCA::BorderedSolver::Bordering::initForSolve (  )  [virtual]

Intialize solver for a solve.

This should be called after setMatrixBlocks(), but before applyInverse().

Implements LOCA::BorderedSolver::AbstractStrategy.

Definition at line 105 of file LOCA_BorderedSolver_Bordering.C.

References NOX::Abstract::Group::Ok.

NOX::Abstract::Group::ReturnType LOCA::BorderedSolver::Bordering::initForTransposeSolve (  )  [virtual]

Intialize solver for a transpose solve.

This should be called after setMatrixBlocks(), but before applyInverseTranspose().

Implements LOCA::BorderedSolver::AbstractStrategy.

Definition at line 111 of file LOCA_BorderedSolver_Bordering.C.

References NOX::Abstract::Group::Ok.

Computed extended matrix-multivector product.

Computes

\[ \begin{bmatrix} U \\ V \end{bmatrix} = \begin{bmatrix} J & A \\ B^T & C \end{bmatrix} \begin{bmatrix} X \\ Y \end{bmatrix} = \begin{bmatrix} J*X + A*Y \\ B^T*X + C*Y \end{bmatrix}. \]

Implements LOCA::BorderedSolver::AbstractStrategy.

Definition at line 117 of file LOCA_BorderedSolver_Bordering.C.

References A, B, C, NOX::Abstract::Group::Failed, isZeroA, isZeroB, isZeroC, op, and NOX::Abstract::MultiVector::update().

NOX::Abstract::Group::ReturnType LOCA::BorderedSolver::Bordering::applyTranspose ( const NOX::Abstract::MultiVector X,
const NOX::Abstract::MultiVector::DenseMatrix Y,
NOX::Abstract::MultiVector U,
NOX::Abstract::MultiVector::DenseMatrix V 
) const [virtual]

Computed extended matrix transpose-multivector product.

Computes

\[ \begin{bmatrix} U \\ V \end{bmatrix} = \begin{bmatrix} J^T & B \\ A^T & C \end{bmatrix} \begin{bmatrix} X \\ Y \end{bmatrix} = \begin{bmatrix} J^T*X + B*Y \\ A^T*X + C^T*Y \end{bmatrix}. \]

Implements LOCA::BorderedSolver::AbstractStrategy.

Definition at line 150 of file LOCA_BorderedSolver_Bordering.C.

References A, B, C, NOX::Abstract::Group::Failed, isZeroA, isZeroB, isZeroC, NOX::Abstract::MultiVector::multiply(), and op.

NOX::Abstract::Group::ReturnType LOCA::BorderedSolver::Bordering::applyInverse ( Teuchos::ParameterList &  params,
const NOX::Abstract::MultiVector F,
const NOX::Abstract::MultiVector::DenseMatrix G,
NOX::Abstract::MultiVector X,
NOX::Abstract::MultiVector::DenseMatrix Y 
) const [virtual]

Solves the extended system as defined above using bordering.

The params argument is the linear solver parameters. If isZeroF or isZeroG is true, than the corresponding F or G pointers may be NULL.

Implements LOCA::BorderedSolver::AbstractStrategy.

Definition at line 183 of file LOCA_BorderedSolver_Bordering.C.

References A, B, C, NOX::Abstract::MultiVector::clone(), globalData, isZeroA, isZeroB, isZeroF, isZeroG, NOX::Abstract::MultiVector::numVectors(), op, LOCA::BorderedSolver::UpperTriangularBlockElimination::solve(), LOCA::BorderedSolver::LowerTriangularBlockElimination::solve(), solveContiguous(), and solveFZero().

NOX::Abstract::Group::ReturnType LOCA::BorderedSolver::Bordering::applyInverseTranspose ( Teuchos::ParameterList &  params,
const NOX::Abstract::MultiVector F,
const NOX::Abstract::MultiVector::DenseMatrix G,
NOX::Abstract::MultiVector X,
NOX::Abstract::MultiVector::DenseMatrix Y 
) const [virtual]

Solves the transpose of the extended system as defined above using bordering.

The params argument is the linear solver parameters. If isZeroF or isZeroG is true, than the corresponding F or G pointers may be NULL. Note that for the transpose solve B must be of type LOCA::MultiContinuation::ConstraintInterfaceMVDX.

Implements LOCA::BorderedSolver::AbstractStrategy.

Definition at line 246 of file LOCA_BorderedSolver_Bordering.C.

References A, B, C, NOX::Abstract::MultiVector::clone(), globalData, isZeroA, isZeroB, isZeroF, isZeroG, NOX::Abstract::MultiVector::numVectors(), op, solveContiguousTrans(), solveFZeroTrans(), LOCA::BorderedSolver::LowerTriangularBlockElimination::solveTranspose(), and LOCA::BorderedSolver::UpperTriangularBlockElimination::solveTranspose().

NOX::Abstract::Group::ReturnType LOCA::BorderedSolver::Bordering::solveFZero ( Teuchos::ParameterList &  params,
const NOX::Abstract::MultiVector AA,
const LOCA::MultiContinuation::ConstraintInterface BB,
const NOX::Abstract::MultiVector::DenseMatrix CC,
const NOX::Abstract::MultiVector::DenseMatrix G,
NOX::Abstract::MultiVector X,
NOX::Abstract::MultiVector::DenseMatrix Y 
) const [protected]

NOX::Abstract::Group::ReturnType LOCA::BorderedSolver::Bordering::solveContiguous ( Teuchos::ParameterList &  params,
const NOX::Abstract::MultiVector AA,
const LOCA::MultiContinuation::ConstraintInterface BB,
const NOX::Abstract::MultiVector::DenseMatrix CC,
vector< int > &  indexF,
vector< int > &  indexA,
const NOX::Abstract::MultiVector F,
const NOX::Abstract::MultiVector::DenseMatrix G,
NOX::Abstract::MultiVector X,
NOX::Abstract::MultiVector::DenseMatrix Y 
) const [protected]

NOX::Abstract::Group::ReturnType LOCA::BorderedSolver::Bordering::solveFZeroTrans ( Teuchos::ParameterList &  params,
const NOX::Abstract::MultiVector AA,
const NOX::Abstract::MultiVector BB,
const NOX::Abstract::MultiVector::DenseMatrix CC,
const NOX::Abstract::MultiVector::DenseMatrix G,
NOX::Abstract::MultiVector X,
NOX::Abstract::MultiVector::DenseMatrix Y 
) const [protected]

NOX::Abstract::Group::ReturnType LOCA::BorderedSolver::Bordering::solveContiguousTrans ( Teuchos::ParameterList &  params,
const NOX::Abstract::MultiVector AA,
const NOX::Abstract::MultiVector BB,
const NOX::Abstract::MultiVector::DenseMatrix CC,
vector< int > &  indexF,
vector< int > &  indexA,
const NOX::Abstract::MultiVector F,
const NOX::Abstract::MultiVector::DenseMatrix G,
NOX::Abstract::MultiVector X,
NOX::Abstract::MultiVector::DenseMatrix Y 
) const [protected]

Solves the transpose of the extended system when F and B are contiguous.

Definition at line 525 of file LOCA_BorderedSolver_Bordering.C.

References NOX::Abstract::Group::Failed, globalData, isZeroC, isZeroG, NOX::Abstract::MultiVector::numVectors(), NOX::Abstract::Group::Ok, op, and NOX::Abstract::MultiVector::subView().

Referenced by applyInverseTranspose().

Bordering& LOCA::BorderedSolver::Bordering::operator= ( const Bordering  )  [private]

Private to prohibit copying.


Member Data Documentation

Teuchos::RCP<Teuchos::ParameterList> LOCA::BorderedSolver::Bordering::solverParams [protected]

Solver parameters.

Definition at line 307 of file LOCA_BorderedSolver_Bordering.H.

Pointer to A block.

Definition at line 313 of file LOCA_BorderedSolver_Bordering.H.

Referenced by apply(), applyInverse(), applyInverseTranspose(), applyTranspose(), and setMatrixBlocks().

Pointer to B block.

Definition at line 316 of file LOCA_BorderedSolver_Bordering.H.

Referenced by apply(), applyInverse(), applyInverseTranspose(), applyTranspose(), and setMatrixBlocks().

Pointer to C block.

Definition at line 319 of file LOCA_BorderedSolver_Bordering.H.

Referenced by apply(), applyInverse(), applyInverseTranspose(), applyTranspose(), and setMatrixBlocks().

flag indicating whether A block is zero

Definition at line 322 of file LOCA_BorderedSolver_Bordering.H.

Referenced by apply(), applyInverse(), applyInverseTranspose(), applyTranspose(), and setMatrixBlocks().

flag indicating whether B block is zero

Definition at line 325 of file LOCA_BorderedSolver_Bordering.H.

Referenced by apply(), applyInverse(), applyInverseTranspose(), applyTranspose(), and setMatrixBlocks().

flag indicating whether C block is zero

Definition at line 328 of file LOCA_BorderedSolver_Bordering.H.

Referenced by apply(), applyTranspose(), setMatrixBlocks(), solveContiguous(), solveContiguousTrans(), solveFZero(), and solveFZeroTrans().

bool LOCA::BorderedSolver::Bordering::isZeroF [mutable, protected]

flag indicating whether F block is zero

Definition at line 331 of file LOCA_BorderedSolver_Bordering.H.

Referenced by applyInverse(), and applyInverseTranspose().

bool LOCA::BorderedSolver::Bordering::isZeroG [mutable, protected]

flag indicating whether G block is zero

Definition at line 334 of file LOCA_BorderedSolver_Bordering.H.

Referenced by applyInverse(), applyInverseTranspose(), solveContiguous(), solveContiguousTrans(), solveFZero(), and solveFZeroTrans().


The documentation for this class was generated from the following files:

Generated on Wed Oct 21 14:28:28 2009 for Nonlinear Solver Project by  doxygen 1.5.9