Tempus  Version of the Day
Time Integration
Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp
Go to the documentation of this file.
1 // @HEADER
2 // ****************************************************************************
3 // Tempus: Copyright (2017) Sandia Corporation
4 //
5 // Distributed under BSD 3-clause license (See accompanying file Copyright.txt)
6 // ****************************************************************************
7 // @HEADER
8 
9 #ifndef Tempus_ModelEvaluatorPairPartIMEX_StaggeredFSA_decl_hpp
10 #define Tempus_ModelEvaluatorPairPartIMEX_StaggeredFSA_decl_hpp
11 
13 #include "Tempus_WrapperModelEvaluatorPairPartIMEX_Basic.hpp"
14 #include "Tempus_StaggeredForwardSensitivityModelEvaluator.hpp"
15 
16 #include "Thyra_ProductMultiVectorBase.hpp"
17 #include "Thyra_DefaultMultiVectorProductVectorSpace.hpp"
18 #include "Thyra_DefaultMultiVectorProductVector.hpp"
19 
20 namespace Tempus {
21 
22 /** \brief Specialization of IMEX-Part ME for "combined" FSA method.
23  *
24  * This specializes the implementation of several parts of
25  * WrapperModelEvaluatorPairPartIMEX_Basic for forward-sensitivity analysis
26  * with StaggeredForwardSensitivityModelEvaluator. It deals with the product
27  * structure of the sensitivity solution vectors and incorporates the
28  * sensitivity of the implicit term with respect to the explicit-only vector.
29  */
30 template <typename Scalar>
32  : public SensitivityModelEvaluatorBase<Scalar>,
34 {
35 public:
36 
37  /// Constructor
39  const Teuchos::RCP<const WrapperModelEvaluatorPairPartIMEX_Basic<Scalar> >& forwardModel,
40  const Teuchos::RCP<const Teuchos::ParameterList>& pList = Teuchos::null);
41 
42  /// Destructor
44 
45  /// Initialize after setting member data.
46  virtual void initialize();
47 
48  /// \name Methods that apply to both explicit and implicit terms.
49  //@{
50 
51  virtual Teuchos::RCP<const Thyra::VectorSpaceBase<Scalar> >
52  get_p_space(int i) const;
53 
54  //@}
55 
56  //@{ \name Accessors
57 
58  /// Extract IMEX vector from a full solution vector
59  virtual Teuchos::RCP<Thyra::VectorBase<Scalar> >
61  const Teuchos::RCP<Thyra::VectorBase<Scalar> > & full) const;
62 
63  /// Extract IMEX vector for reading
64  virtual Teuchos::RCP<const Thyra::VectorBase<Scalar> >
66  const Teuchos::RCP<const Thyra::VectorBase<Scalar> > & full) const;
67 
68  /// Extract explicit-only vector from a full solution vector
69  virtual Teuchos::RCP<Thyra::VectorBase<Scalar> >
71  const Teuchos::RCP<Thyra::VectorBase<Scalar> > & full) const;
72 
73  /// Extract explicit-only vector for reading
74  virtual Teuchos::RCP<const Thyra::VectorBase<Scalar> >
76  const Teuchos::RCP<const Thyra::VectorBase<Scalar> > & full) const;
77 
78  //@}
79 
80  /// \name Overridden from Tempus::SensitivityModelEvaluatorBase
81  //@{
82 
83  /// Get the underlying forward model
84  virtual Teuchos::RCP<const Thyra::ModelEvaluator<Scalar> >
85  getForwardModel() const;
86 
87  /// Set solution history from forward state evaluation (for interpolation)
88  virtual void setForwardSolutionHistory(
89  const Teuchos::RCP<const Tempus::SolutionHistory<Scalar> >& sh);
90 
91  /// Set solution state from forward state evaluation (for frozen state)
92  virtual void setForwardSolutionState(
93  const Teuchos::RCP<const Tempus::SolutionState<Scalar> >& s);
94 
95  /// Set the solver of the underlying model if you want to reuse it
96  virtual void setSolver(
97  const Teuchos::RCP<Thyra::NonlinearSolverBase<Scalar> >& solver,
98  const bool force_W_update);
99 
100  //@}
101 
102  /// \name Overridden from Thyra::StateFuncModelEvaluatorBase
103  //@{
104 
105  virtual Thyra::ModelEvaluatorBase::InArgs<Scalar>
106  createInArgs() const;
107 
108  virtual void
110  const Thyra::ModelEvaluatorBase::InArgs<Scalar> & inArgs,
111  const Thyra::ModelEvaluatorBase::OutArgs<Scalar> & outArgs) const;
112 
113  //@}
114 
115  Teuchos::RCP<const Teuchos::ParameterList> getValidParameters() const;
116 
117 protected:
118 
119  /// Build implicit x and end explicit y states from forward_state_
120  void buildIMEXStates() const;
121 
123  typedef Thyra::DefaultMultiVectorProductVectorSpace<Scalar> DMVPVS;
124  typedef Thyra::DefaultMultiVectorProductVector<Scalar> DMVPV;
125  typedef Thyra::ProductMultiVectorBase<Scalar> PMVB;
127 
128  Teuchos::RCP<const WrapperModelEvaluatorPairPartIMEX_Basic<Scalar> > forwardModel_;
129  Teuchos::RCP<const Thyra::ModelEvaluator<Scalar> > appExplicitModel_;
130  Teuchos::RCP<const Thyra::ModelEvaluator<Scalar> > appImplicitModel_;
131  Teuchos::RCP<FSAME> fsaExplicitModel_;
132  Teuchos::RCP<FSAME> fsaImplicitModel_;
133 
136 
137  Teuchos::RCP<const DMVPVS> explicit_dydp_prod_space_;
138  Teuchos::RCP<const DMVPVS> imex_dxdp_prod_space_;
139 
140  Teuchos::RCP<const Tempus::SolutionHistory<Scalar> > sh_;
141  mutable Scalar t_interp_;
142  mutable Teuchos::RCP<const Tempus::SolutionState<Scalar> > forward_state_;
143  mutable Teuchos::RCP<Tempus::SolutionState<Scalar> > nc_forward_state_;
144  mutable Teuchos::RCP<const Tempus::SolutionState<Scalar> > explicit_y_state_;
145  mutable Teuchos::RCP<const Tempus::SolutionState<Scalar> > implicit_x_state_;
146 
147  mutable Teuchos::RCP<Thyra::MultiVectorBase<Scalar> > my_dfdp_mv_;
148  mutable Teuchos::RCP<Thyra::LinearOpBase<Scalar> > my_dfdp_op_;
149 
150 };
151 
152 } // namespace Tempus
153 
154 #endif // Tempus_ModelEvaluatorPairPartIMEX_Basic_decl_hpp
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::fsaExplicitModel_
Teuchos::RCP< FSAME > fsaExplicitModel_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:131
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::getIMEXVector
virtual Teuchos::RCP< Thyra::VectorBase< Scalar > > getIMEXVector(const Teuchos::RCP< Thyra::VectorBase< Scalar > > &full) const
Extract IMEX vector from a full solution vector.
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_impl.hpp:126
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA
WrapperModelEvaluatorPairPartIMEX_StaggeredFSA(const Teuchos::RCP< const WrapperModelEvaluatorPairPartIMEX_Basic< Scalar > > &forwardModel, const Teuchos::RCP< const Teuchos::ParameterList > &pList=Teuchos::null)
Constructor.
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_impl.hpp:19
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::t_interp_
Scalar t_interp_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:141
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::y_tangent_index_
int y_tangent_index_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:135
Tempus::SensitivityModelEvaluatorBase
A ModelEvaluator decorator for sensitivity analysis.
Definition: Tempus_SensitivityModelEvaluatorBase.hpp:26
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA
Specialization of IMEX-Part ME for "combined" FSA method.
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:31
Tempus::WrapperModelEvaluatorPairPartIMEX_Basic
ModelEvaluator pair for implicit and explicit (IMEX) evaulations.
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_Basic_decl.hpp:37
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::get_p_space
virtual Teuchos::RCP< const Thyra::VectorSpaceBase< Scalar > > get_p_space(int i) const
Get the p space.
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_impl.hpp:111
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::explicit_y_state_
Teuchos::RCP< const Tempus::SolutionState< Scalar > > explicit_y_state_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:144
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::appImplicitModel_
Teuchos::RCP< const Thyra::ModelEvaluator< Scalar > > appImplicitModel_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:130
Tempus_SensitivityModelEvaluatorBase.hpp
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::evalModelImpl
virtual void evalModelImpl(const Thyra::ModelEvaluatorBase::InArgs< Scalar > &inArgs, const Thyra::ModelEvaluatorBase::OutArgs< Scalar > &outArgs) const
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_impl.hpp:365
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::DMVPV
Thyra::DefaultMultiVectorProductVector< Scalar > DMVPV
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:124
Tempus
Definition: Tempus_AdjointAuxSensitivityModelEvaluator_decl.hpp:20
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::my_dfdp_mv_
Teuchos::RCP< Thyra::MultiVectorBase< Scalar > > my_dfdp_mv_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:147
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::getExplicitOnlyVector
virtual Teuchos::RCP< Thyra::VectorBase< Scalar > > getExplicitOnlyVector(const Teuchos::RCP< Thyra::VectorBase< Scalar > > &full) const
Extract explicit-only vector from a full solution vector.
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_impl.hpp:209
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::forward_state_
Teuchos::RCP< const Tempus::SolutionState< Scalar > > forward_state_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:142
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::buildIMEXStates
void buildIMEXStates() const
Build implicit x and end explicit y states from forward_state_.
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_impl.hpp:522
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::getForwardModel
virtual Teuchos::RCP< const Thyra::ModelEvaluator< Scalar > > getForwardModel() const
Get the underlying forward model.
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_impl.hpp:294
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::explicit_dydp_prod_space_
Teuchos::RCP< const DMVPVS > explicit_dydp_prod_space_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:137
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::setForwardSolutionHistory
virtual void setForwardSolutionHistory(const Teuchos::RCP< const Tempus::SolutionHistory< Scalar > > &sh)
Set solution history from forward state evaluation (for interpolation)
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_impl.hpp:302
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::forwardModel_
Teuchos::RCP< const WrapperModelEvaluatorPairPartIMEX_Basic< Scalar > > forwardModel_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:128
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::getValidParameters
Teuchos::RCP< const Teuchos::ParameterList > getValidParameters() const
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_impl.hpp:510
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::appExplicitModel_
Teuchos::RCP< const Thyra::ModelEvaluator< Scalar > > appExplicitModel_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:129
Tempus::SolutionState
Solution state for integrators and steppers. SolutionState contains the metadata for solutions and th...
Definition: Tempus_SolutionState_decl.hpp:56
Tempus::StaggeredForwardSensitivityModelEvaluator
Transform a ModelEvaluator's sensitivity equations to its residual.
Definition: Tempus_StaggeredForwardSensitivityModelEvaluator_decl.hpp:48
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::FSAME
StaggeredForwardSensitivityModelEvaluator< Scalar > FSAME
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:126
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::Base
WrapperModelEvaluatorPairPartIMEX_Basic< Scalar > Base
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:122
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::my_dfdp_op_
Teuchos::RCP< Thyra::LinearOpBase< Scalar > > my_dfdp_op_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:148
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::setSolver
virtual void setSolver(const Teuchos::RCP< Thyra::NonlinearSolverBase< Scalar > > &solver, const bool force_W_update)
Set the solver of the underlying model if you want to reuse it.
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_impl.hpp:327
Tempus::SolutionHistory
SolutionHistory is basically a container of SolutionStates. SolutionHistory maintains a collection of...
Definition: Tempus_Integrator.hpp:25
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::imex_dxdp_prod_space_
Teuchos::RCP< const DMVPVS > imex_dxdp_prod_space_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:138
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::sh_
Teuchos::RCP< const Tempus::SolutionHistory< Scalar > > sh_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:140
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::PMVB
Thyra::ProductMultiVectorBase< Scalar > PMVB
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:125
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::initialize
virtual void initialize()
Initialize after setting member data.
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_impl.hpp:64
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::DMVPVS
Thyra::DefaultMultiVectorProductVectorSpace< Scalar > DMVPVS
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:123
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::setForwardSolutionState
virtual void setForwardSolutionState(const Teuchos::RCP< const Tempus::SolutionState< Scalar > > &s)
Set solution state from forward state evaluation (for frozen state)
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_impl.hpp:314
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::nc_forward_state_
Teuchos::RCP< Tempus::SolutionState< Scalar > > nc_forward_state_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:143
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::implicit_x_state_
Teuchos::RCP< const Tempus::SolutionState< Scalar > > implicit_x_state_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:145
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::fsaImplicitModel_
Teuchos::RCP< FSAME > fsaImplicitModel_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:132
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::createInArgs
virtual Thyra::ModelEvaluatorBase::InArgs< Scalar > createInArgs() const
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_impl.hpp:342
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::use_dfdp_as_tangent_
bool use_dfdp_as_tangent_
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:134
Tempus::WrapperModelEvaluatorPairPartIMEX_StaggeredFSA::~WrapperModelEvaluatorPairPartIMEX_StaggeredFSA
virtual ~WrapperModelEvaluatorPairPartIMEX_StaggeredFSA()
Destructor.
Definition: Tempus_WrapperModelEvaluatorPairPartIMEX_StaggeredFSA_decl.hpp:43