Implementation of LOCA::MultiContinuation::ConstraintInterfaceMVDX for computing turning points for the minimally augmented turning point formulation. More...

#include <LOCA_TurningPoint_MinimallyAugmented_Constraint.H>

Inheritance diagram for LOCA::TurningPoint::MinimallyAugmented::Constraint:

[legend]

Collaboration diagram for LOCA::TurningPoint::MinimallyAugmented::Constraint:

[legend]

Public Member Functions
	Constraint (const Teuchos::RCP< LOCA::GlobalData > &global_data, const Teuchos::RCP< LOCA::Parameter::SublistParser > &topParams, const Teuchos::RCP< Teuchos::ParameterList > &tpParams, const Teuchos::RCP< LOCA::TurningPoint::MinimallyAugmented::AbstractGroup > &g, int bif_param)
	Constructor.

	Constraint (const Constraint &source, NOX::CopyType type=NOX::DeepCopy)
	Copy constructor.

virtual	~Constraint ()
	Destructor. More...

virtual void	setGroup (const Teuchos::RCP< LOCA::TurningPoint::MinimallyAugmented::AbstractGroup > &g)
	Set the group pointer. More...

virtual Teuchos::RCP< const NOX::Abstract::Vector >	getLeftNullVec () const
	Returns left null vector w.

virtual Teuchos::RCP< const NOX::Abstract::Vector >	getRightNullVec () const
	Returns right null vector v.

virtual Teuchos::RCP< const NOX::Abstract::Vector >	getAVec () const
	Returns a vector.

virtual Teuchos::RCP< const NOX::Abstract::Vector >	getBVec () const
	Returns b vector.

virtual double	getSigma () const
	Returns sigma.

Public Member Functions inherited from LOCA::MultiContinuation::ConstraintInterfaceMVDX
	ConstraintInterfaceMVDX ()
	Constructor.

virtual	~ConstraintInterfaceMVDX ()
	Destructor.

virtual const NOX::Abstract::MultiVector *	getDX () const =0
	Return solution component of constraint derivatives. More...

virtual NOX::Abstract::Group::ReturnType	multiplyDX (double alpha, const NOX::Abstract::MultiVector &input_x, NOX::Abstract::MultiVector::DenseMatrix &result_p) const
	Compute result_p = alpha * dg/dx * input_x. More...

virtual NOX::Abstract::Group::ReturnType	addDX (Teuchos::ETransp transb, double alpha, const NOX::Abstract::MultiVector::DenseMatrix &b, double beta, NOX::Abstract::MultiVector &result_x) const
	Compute result_x = alpha * dg/dx^T * op(b) + beta * result_x. More...

Public Member Functions inherited from LOCA::MultiContinuation::ConstraintInterface
	ConstraintInterface ()
	Constructor.

virtual	~ConstraintInterface ()
	Destructor.

virtual void	copy (const ConstraintInterface &source)=0
	Copy. More...

virtual Teuchos::RCP< LOCA::MultiContinuation::ConstraintInterface >	clone (NOX::CopyType type=NOX::DeepCopy) const =0
	Cloning function. More...

virtual int	numConstraints () const =0
	Return number of constraints. More...

virtual void	setX (const NOX::Abstract::Vector &x)=0
	Set the solution vector to x. More...

virtual void	setParam (int paramID, double val)=0
	Sets parameter indexed by paramID. More...

virtual void	setParams (const std::vector< int > &paramIDs, const NOX::Abstract::MultiVector::DenseMatrix &vals)=0
	Sets parameters indexed by paramIDs. More...

virtual NOX::Abstract::Group::ReturnType	computeConstraints ()=0
	Compute constraint residuals. More...

virtual NOX::Abstract::Group::ReturnType	computeDX ()=0
	Compute derivative of constraints w.r.t. solution vector x. More...

virtual NOX::Abstract::Group::ReturnType	computeDP (const std::vector< int > &paramIDs, NOX::Abstract::MultiVector::DenseMatrix &dgdp, bool isValidG)=0
	Compute derivative of constraints w.r.t. supplied parameters. More...

virtual bool	isConstraints () const =0
	Return `true` if constraint residuals are valid. More...

virtual bool	isDX () const =0
	Return `true` if derivative of constraint w.r.t. x is valid. More...

virtual const NOX::Abstract::MultiVector::DenseMatrix &	getConstraints () const =0
	Return constraint residuals. More...

virtual NOX::Abstract::Group::ReturnType	multiplyDX (double alpha, const NOX::Abstract::MultiVector &input_x, NOX::Abstract::MultiVector::DenseMatrix &result_p) const =0
	Compute result_p = alpha * dg/dx * input_x. More...

virtual NOX::Abstract::Group::ReturnType	addDX (Teuchos::ETransp transb, double alpha, const NOX::Abstract::MultiVector::DenseMatrix &b, double beta, NOX::Abstract::MultiVector &result_x) const =0
	Compute result_x = alpha * dg/dx^T * op(b) + beta * result_x. More...

virtual bool	isDXZero () const =0
	Return `true` if solution component of constraint derivatives is zero. More...

virtual void	preProcessContinuationStep (LOCA::Abstract::Iterator::StepStatus)
	Perform any preprocessing before a continuation step starts. More...

virtual void	postProcessContinuationStep (LOCA::Abstract::Iterator::StepStatus)
	Perform any postprocessing after a continuation step finishes. More...

Implementation of LOCA::MultiContinuation::ConstraintInterface
virtual methods
enum	NullVectorScaling { NVS_None , NVS_OrderOne , NVS_OrderN }
	Enumerated type determining type of scaling. More...

Teuchos::RCP< LOCA::GlobalData >	globalData
	Pointer LOCA global data object.

Teuchos::RCP< LOCA::Parameter::SublistParser >	parsedParams
	Parsed top-level parameters.

Teuchos::RCP< Teuchos::ParameterList >	turningPointParams
	Bifurcation parameter list.

Teuchos::RCP< LOCA::TurningPoint::MinimallyAugmented::AbstractGroup >	grpPtr
	Pointer to base group that defines .

Teuchos::RCP< NOX::Abstract::MultiVector >	a_vector
	Vector for .

Teuchos::RCP< NOX::Abstract::MultiVector >	b_vector
	Vector for .

Teuchos::RCP< NOX::Abstract::MultiVector >	w_vector
	Stores left null vector.

Teuchos::RCP< NOX::Abstract::MultiVector >	v_vector
	Stores right null vector.

Teuchos::RCP< NOX::Abstract::MultiVector >	Jv_vector
	Stores J*v.

Teuchos::RCP< NOX::Abstract::MultiVector >	Jtw_vector
	Stores J^T*w.

Teuchos::RCP< NOX::Abstract::MultiVector >	sigma_x
	Stores sigma_x.

NOX::Abstract::MultiVector::DenseMatrix	constraints
	Constraint values.

Teuchos::RCP< LOCA::BorderedSolver::AbstractStrategy >	borderedSolver
	Stores bordered solver strategy.

double	dn
	Stores vector length as a double.

double	sigma_scale
	Stores scale factor on sigma.

bool	isSymmetric
	Flag indicating whether Jacobian is symmetric.

bool	isValidConstraints
	Flag indicating whether constraints are valid.

bool	isValidDX
	Flag indicating whether sigma_x is valid.

std::vector< int >	bifParamID
	Stores the bifurcation parameter index.

bool	updateVectorsEveryContinuationStep
	Flag indicating whether to update and every continuation step.

bool	updateVectorsEveryIteration
	Flag indicating whether to update and every nonlinear iteration.

NullVectorScaling	nullVecScaling
	Null vector scaling method.

bool	multiplyMass
	Multiply null vectors by mass matrix.

Teuchos::RCP< LOCA::TimeDependent::AbstractGroup >	tdGrp
	Time dependent group interface for multiplying by mass matrix.

Teuchos::RCP< NOX::Abstract::Vector >	tmp_mass
	Temporary vector for mulplying null vectors by mass matrix.

virtual void	copy (const LOCA::MultiContinuation::ConstraintInterface &source)
	Copy. More...

virtual Teuchos::RCP< LOCA::MultiContinuation::ConstraintInterface >	clone (NOX::CopyType type=NOX::DeepCopy) const
	Cloning function. More...

virtual int	numConstraints () const
	Return number of constraints. More...

virtual void	setX (const NOX::Abstract::Vector &y)
	Set the solution vector to y. More...

virtual void	setParam (int paramID, double val)
	Sets parameter indexed by paramID. More...

virtual void	setParams (const std::vector< int > &paramIDs, const NOX::Abstract::MultiVector::DenseMatrix &vals)
	Sets parameters indexed by paramIDs. More...

virtual NOX::Abstract::Group::ReturnType	computeConstraints ()
	Compute continuation constraint equations. More...

virtual NOX::Abstract::Group::ReturnType	computeDX ()
	Compute derivative of constraints w.r.t. solution vector x. More...

virtual NOX::Abstract::Group::ReturnType	computeDP (const std::vector< int > &paramIDs, NOX::Abstract::MultiVector::DenseMatrix &dgdp, bool isValidG)
	Compute derivative of constraints w.r.t. supplied parameters. More...

virtual bool	isConstraints () const
	Return `true` if constraint residuals are valid. More...

virtual bool	isDX () const
	Return `true` if derivatives of constraints w.r.t. x are valid. More...

virtual const NOX::Abstract::MultiVector::DenseMatrix &	getConstraints () const
	Return constraint residuals. More...

virtual const NOX::Abstract::MultiVector *	getDX () const
	Return solution component of constraint derivatives. More...

virtual bool	isDXZero () const
	Return `true` if solution component of constraint derivatives is zero. More...

virtual void	postProcessContinuationStep (LOCA::Abstract::Iterator::StepStatus stepStatus)
	Perform any postprocessing after a continuation step finishes. More...

virtual void	scaleNullVectors (NOX::Abstract::Vector &a, NOX::Abstract::Vector &b)
	Scale a & b vectors.

virtual void	getInitialVectors (NOX::Abstract::Vector &a, NOX::Abstract::Vector &b)
	Get initial a & b vectors.

Detailed Description

Implementation of LOCA::MultiContinuation::ConstraintInterfaceMVDX for computing turning points for the minimally augmented turning point formulation.

This class implements the turning point constraint equation $\sigma(x,p) = 0$ for the minimally augmented turning point formulation where $\sigma$ is defined via

$\begin{bmatrix} J & a \\ b^T & 0 \end{bmatrix} \begin{bmatrix} v \\ \sigma_1 \end{bmatrix} = \begin{bmatrix} 0 \\ n \end{bmatrix},$

$\begin{bmatrix} J^T & b \\ a^T & 0 \end{bmatrix} \begin{bmatrix} w \\ \sigma_2 \end{bmatrix} = \begin{bmatrix} 0 \\ n \end{bmatrix},$

$\sigma = -w^T J v/n$

for any vectors $a$ and $b$ in $\Re^n$ . Using these relationships, it is easy to show

$\begin{split} \sigma_x &= -(w^T J v)_x/n = -w^T J_x v/n \\ \sigma_p &= -(w^T J v)_p/n = -w^T J_p v/n \end{split}$

The class is intialized via the tpParams parameter list argument to the constructor. The parameters this class recognizes are:

"Symmetric Jacobian" – [bool] (default: false) - Flag indicating whether Jacobian matrix is symmetric, in which case we force and therefore the second tranpose solve for is unnecessary
"Initial Null Vector Compuation" – [string] (default: "User Provided") - Method to compute initial and vectors. Valid choices are:
- "User Provided" - Initial vectors are provided in the parameter list, in which case the following parameters are relevant:
  - "Initial A Vector" – [Teuchos::RCP<NOX::Abstract::Vector>] (Must be supplied) - Vector storing initial value for vector
  - "Initial B Vector" – [Teuchos::RCP<NOX::Abstract::Vector>] (Must be supplied for nonsymmetric Jacobians) - Vector storing initial value for vector
- "Solve df/dp" - Compute $a = J^{-T}df/dp$ and $b = J^{-1} df/dp$ where is the bifurcation parameter.
- "Constant" - Entries of and are set to 1.0
"Null Vector Scaling" – [string] (default: "Order N") - Method to scale and . This determines the norm of these vectors and the scaling of . Valid choices are:
- "None" – Use initial scaling
- "Order 1" – Scale to unit norm
- "Order N" – Use vector length scaling
"Update Null Vectors Every Continuation Step" – [bool] (default: true) - Flag indicating whether to update and vectors via and every continuation step
"Update Null Vectors Every Nonlinear Iteration" – [bool] (default: false) - Flag indicating whether to update and vectors via and every nonlinear iteration
"Multiply Null Vectors by Mass Matrix" – [bool] (default: false) - Flag indicating whether to multiply and vectors by the mass matrix $M = \partial f/\partial\dot{x}$ at the strart of a turning point calculation, and each time and are updated. This can improve the scaling of these vectors, and may orthogonalize them against structural null spaces (i.e., pressure null space for incompressible Navier-Stokes).

Member Enumeration Documentation

◆ NullVectorScaling

enum LOCA::TurningPoint::MinimallyAugmented::Constraint::NullVectorScaling

protected

Enumerated type determining type of scaling.

Enumerator

NVS_OrderOne

No scaling.

NVS_OrderN

Scale to O(1)

Scale to O(N) when N is the vector length

Constructor & Destructor Documentation

◆ ~Constraint()

LOCA::TurningPoint::MinimallyAugmented::Constraint::~Constraint ( )

virtual

Destructor.

Reimplemented in LOCA::Pitchfork::MinimallyAugmented::Constraint.

Member Function Documentation

◆ clone()

Teuchos::RCP< LOCA::MultiContinuation::ConstraintInterface > LOCA::TurningPoint::MinimallyAugmented::Constraint::clone ( NOX::CopyType type = NOX::DeepCopy ) const

virtual

Cloning function.

Implements LOCA::MultiContinuation::ConstraintInterface.

Reimplemented in LOCA::Pitchfork::MinimallyAugmented::Constraint, and LOCA::TurningPoint::MinimallyAugmented::ModifiedConstraint.

◆ computeConstraints()

NOX::Abstract::Group::ReturnType LOCA::TurningPoint::MinimallyAugmented::Constraint::computeConstraints ( )

virtual

Compute continuation constraint equations.

Implements LOCA::MultiContinuation::ConstraintInterface.

Reimplemented in LOCA::Pitchfork::MinimallyAugmented::Constraint, and LOCA::TurningPoint::MinimallyAugmented::ModifiedConstraint.

References NOX::Abstract::Group::Ok, and NOX::Utils::OuterIteration.

Referenced by LOCA::Pitchfork::MinimallyAugmented::Constraint::computeConstraints().

◆ computeDP()

NOX::Abstract::Group::ReturnType LOCA::TurningPoint::MinimallyAugmented::Constraint::computeDP	(	const std::vector< int > &	paramIDs,
		NOX::Abstract::MultiVector::DenseMatrix &	dgdp,
		bool	isValidG
	)

virtual

Compute derivative of constraints w.r.t. supplied parameters.

The first column of dgdp should be filled with the constraint residuals $g$ if isValidG is false. If isValidG is true, then the dgdp contains $g$ on input.

Implements LOCA::MultiContinuation::ConstraintInterface.

Reimplemented in LOCA::Pitchfork::MinimallyAugmented::Constraint.

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

Referenced by LOCA::Pitchfork::MinimallyAugmented::Constraint::computeDP().

◆ computeDX()

NOX::Abstract::Group::ReturnType LOCA::TurningPoint::MinimallyAugmented::Constraint::computeDX ( )

virtual

Compute derivative of constraints w.r.t. solution vector x.

Implements LOCA::MultiContinuation::ConstraintInterface.

Reimplemented in LOCA::Pitchfork::MinimallyAugmented::Constraint.

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

Referenced by LOCA::Pitchfork::MinimallyAugmented::Constraint::computeDX().

◆ copy()

void LOCA::TurningPoint::MinimallyAugmented::Constraint::copy ( const LOCA::MultiContinuation::ConstraintInterface & source )

virtual

◆ getConstraints()

const NOX::Abstract::MultiVector::DenseMatrix & LOCA::TurningPoint::MinimallyAugmented::Constraint::getConstraints ( ) const

virtual

Return constraint residuals.

Implements LOCA::MultiContinuation::ConstraintInterface.

Reimplemented in LOCA::Pitchfork::MinimallyAugmented::Constraint.

◆ getDX()

const NOX::Abstract::MultiVector * LOCA::TurningPoint::MinimallyAugmented::Constraint::getDX ( ) const

virtual

Return solution component of constraint derivatives.

Implements LOCA::MultiContinuation::ConstraintInterfaceMVDX.

Reimplemented in LOCA::Pitchfork::MinimallyAugmented::Constraint.

◆ isConstraints()

bool LOCA::TurningPoint::MinimallyAugmented::Constraint::isConstraints ( ) const

virtual

Return true if constraint residuals are valid.

Implements LOCA::MultiContinuation::ConstraintInterface.

◆ isDX()

bool LOCA::TurningPoint::MinimallyAugmented::Constraint::isDX ( ) const

virtual

Return true if derivatives of constraints w.r.t. x are valid.

Implements LOCA::MultiContinuation::ConstraintInterface.

◆ isDXZero()

bool LOCA::TurningPoint::MinimallyAugmented::Constraint::isDXZero ( ) const

virtual

Return true if solution component of constraint derivatives is zero.

Implements LOCA::MultiContinuation::ConstraintInterface.

◆ numConstraints()

int LOCA::TurningPoint::MinimallyAugmented::Constraint::numConstraints ( ) const

virtual

Return number of constraints.

Implements LOCA::MultiContinuation::ConstraintInterface.

Reimplemented in LOCA::Pitchfork::MinimallyAugmented::Constraint.

◆ postProcessContinuationStep()

void LOCA::TurningPoint::MinimallyAugmented::Constraint::postProcessContinuationStep ( LOCA::Abstract::Iterator::StepStatus stepStatus )

virtual

Perform any postprocessing after a continuation step finishes.

The stepStatus argument indicates whether the step was successful. Here we update the $a$ and $b$ vectors to $w$ and $v$ respectively if requested.

Reimplemented from LOCA::MultiContinuation::ConstraintInterface.

Reimplemented in LOCA::TurningPoint::MinimallyAugmented::ModifiedConstraint.

References NOX::Utils::StepperDetails, and LOCA::Abstract::Iterator::Successful.

Referenced by LOCA::TurningPoint::MinimallyAugmented::ModifiedConstraint::postProcessContinuationStep().

◆ setGroup()

void LOCA::TurningPoint::MinimallyAugmented::Constraint::setGroup ( const Teuchos::RCP< LOCA::TurningPoint::MinimallyAugmented::AbstractGroup > & g )

virtual

Set the group pointer.

This method should be called when ever the constrained group is copied, since we don't explicitly copy the underlying group here.

Referenced by LOCA::Pitchfork::MinimallyAugmented::Constraint::setGroup().

◆ setParam()

void LOCA::TurningPoint::MinimallyAugmented::Constraint::setParam	(	int	paramID,
		double	val
	)

virtual

Sets parameter indexed by paramID.

Implements LOCA::MultiContinuation::ConstraintInterface.

◆ setParams()

void LOCA::TurningPoint::MinimallyAugmented::Constraint::setParams	(	const std::vector< int > &	paramIDs,
		const NOX::Abstract::MultiVector::DenseMatrix &	vals
	)

virtual

Sets parameters indexed by paramIDs.

Implements LOCA::MultiContinuation::ConstraintInterface.

◆ setX()

void LOCA::TurningPoint::MinimallyAugmented::Constraint::setX ( const NOX::Abstract::Vector & y )

virtual

Set the solution vector to y.

Implements LOCA::MultiContinuation::ConstraintInterface.

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

LOCA_TurningPoint_MinimallyAugmented_Constraint.H
LOCA_TurningPoint_MinimallyAugmented_Constraint.C

Public Member Functions

Implementation of LOCA::MultiContinuation::ConstraintInterface

Detailed Description

Member Enumeration Documentation

◆ NullVectorScaling

Constructor & Destructor Documentation

◆ ~Constraint()

Member Function Documentation

◆ clone()

◆ computeConstraints()

◆ computeDP()

◆ computeDX()

◆ copy()

◆ getConstraints()

◆ getDX()

◆ isConstraints()

◆ isDX()

◆ isDXZero()

◆ numConstraints()

◆ postProcessContinuationStep()

◆ setGroup()

◆ setParam()

◆ setParams()

◆ setX()