Rythmos_ImplicitBDFStepperRampingStepControl_decl.hpp

//@HEADER
// ***********************************************************************
//
//                           Rythmos Package
//                 Copyright (2006) Sandia Corporation
//
// Under terms of Contract DE-AC04-94AL85000, there is a non-exclusive
// license for use of this work by or on behalf of the U.S. Government.
//
// This library is free software; you can redistribute it and/or modify
// it under the terms of the GNU Lesser General Public License as
// published by the Free Software Foundation; either version 2.1 of the
// License, or (at your option) any later version.
//
// This library is distributed in the hope that it will be useful, but
// WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
// Lesser General Public License for more details.
//
// You should have received a copy of the GNU Lesser General Public
// License along with this library; if not, write to the Free Software
// Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301
// USA
// Questions? Contact Todd S. Coffey (tscoffe@sandia.gov)
//
// ***********************************************************************
//@HEADER

#ifndef Rythmos_IMPLICITBDF_STEPPER_RAMPING_STEP_CONTROL_DECL_H
#define Rythmos_IMPLICITBDF_STEPPER_RAMPING_STEP_CONTROL_DECL_H

#include "Rythmos_ErrWtVecCalcAcceptingStepControlStrategyBase.hpp"
#include "Rythmos_ImplicitBDFStepperStepControl.hpp" // for BDFactionFlag definition

namespace Rythmos {

//enum BDFactionFlag { ACTION_UNSET, ACTION_LOWER, ACTION_MAINTAIN, ACTION_RAISE };

  template<class Scalar>
  class ImplicitBDFStepperRampingStepControl
    : virtual public ErrWtVecCalcAcceptingStepControlStrategyBase<Scalar>
  {
  public:

    typedef typename Teuchos::ScalarTraits<Scalar>::magnitudeType ScalarMag;

    ImplicitBDFStepperRampingStepControl();

    void setRequestedStepSize(const StepperBase<Scalar>& stepper,
            const Scalar& stepSize, const StepSizeType& stepSizeType);

    void nextStepSize(const StepperBase<Scalar>& stepper, Scalar* stepSize,
          StepSizeType* stepSizeType, int* order);

    void setCorrection(
         const StepperBase<Scalar>& stepper
        ,const RCP<const Thyra::VectorBase<Scalar> >& soln
        ,const RCP<const Thyra::VectorBase<Scalar> >& ee
        ,int solveStatus
        );

    bool acceptStep(const StepperBase<Scalar>& stepper, Scalar* LETValue);

    void completeStep(const StepperBase<Scalar>& stepper);

    AttemptedStepStatusFlag rejectStep(const StepperBase<Scalar>& stepper);

    StepControlStrategyState getCurrentState();

    int getMinOrder() const;

    int getMaxOrder() const;

    void setStepControlData(const StepperBase<Scalar>& stepper);

    bool supportsCloning() const;

    RCP<StepControlStrategyBase<Scalar> > cloneStepControlStrategyAlgorithm() const;



    void setErrWtVecCalc(const RCP<ErrWtVecCalcBase<Scalar> >& errWtVecCalc);

    RCP<const ErrWtVecCalcBase<Scalar> > getErrWtVecCalc() const;


    void describe(
      Teuchos::FancyOStream &out,
      const Teuchos::EVerbosityLevel verbLevel
      ) const;

    void setParameterList(RCP<Teuchos::ParameterList> const& paramList);

    RCP<Teuchos::ParameterList> getNonconstParameterList();

    RCP<Teuchos::ParameterList> unsetParameterList();

    RCP<const Teuchos::ParameterList> getValidParameters() const;


    void initialize(const StepperBase<Scalar>& stepper);


    int numberOfSteps() const;

    int numberOfFailedSteps() const;

    Scalar currentStepSize() const;

    int currentOrder() const;


  private:

    Scalar wRMSNorm_(
        const Thyra::VectorBase<Scalar>& weight,
        const Thyra::VectorBase<Scalar>& vector
        ) const;

    void setStepControlState_(StepControlStrategyState state);

    void updateCoeffs_();

    //* returns true if the objects verbosity level is equal to or greater than level in verbLevel */
    bool doOutput_(Teuchos::EVerbosityLevel verbLevel);

  private:

    StepControlStrategyState stepControlState_;
    RCP<ErrWtVecCalcBase<Scalar> > errWtVecCalc_;
    RCP<Teuchos::ParameterList> parameterList_;

    StepSizeType stepSizeType_;
    Scalar requestedStepSize_;
    Scalar currentStepSize_;
    int currentOrder_;
    Scalar nextStepSize_;
    int nextOrder_;

    int numberOfSteps_;
    int totalNumberOfFailedSteps_;
    int countOfConstantStepsAfterFailure_;
    int newtonConvergenceStatus_;

    Scalar time_;
    Scalar stopTime_;

    RCP<const Thyra::VectorBase<Scalar> > ee_; // Newton update
    RCP<Thyra::VectorBase<Scalar> > errWtVec_; // error weight vector
    RCP<Thyra::VectorBase<Scalar> > delta_;
    ScalarMag relErrTol_; // relative error tolerance
    ScalarMag absErrTol_; // absolute error tolerance

    // Validated parameters
    int numConstantSteps_;
    Scalar initialStepSize_;
    Scalar maxStepSize_;
    Scalar minStepSize_;
    Scalar stepSizeIncreaseFactor_;
    Scalar stepSizeDecreaseFactor_;
    int minOrder_;
    int maxOrder_;
    bool useLETToDetermineConvergence_;
    bool restrictStepSizeByNumberOfNonlinearIterations_;
    int numberOfNonlinearIterationsForStepSizeRestriction_;

    // Garbage to clean up for LET

    Array<Scalar> alpha_;    // $\alpha_j(n)=h_n/\psi_j(n)$ coefficient used in local error test
    // note:   $h_n$ = current step size, n = current time step
    Array<Scalar> sigma_;    // $\sigma_j(n) = \frac{h_n^j(j-1)!}{\psi_1(n)*\cdots *\psi_j(n)}$
    Array<Scalar> gamma_;    // $\gamma_j(n)=\sum_{l=1}^{j-1}1/\psi_l(n)$ coefficient used to
    // calculate time derivative of history array for predictor
    Array<Scalar> beta_;     // coefficients used to evaluate predictor from history array
    Array<Scalar> psi_;      // $\psi_j(n) = t_n-t_{n-j}$ intermediary variable used to
    // compute $\beta_j(n)$
    Scalar alpha_s_;    // $\alpha_s$ fixed-leading coefficient of this BDF method
    Scalar alpha_0_;     // $-\sum_{j=1}^k \alpha_j(n)$ coefficient used in local error test
    Scalar cj_ ;        // $-\alpha_s/h_n$ coefficient used in local error test
    Scalar ck_ ;        // local error coefficient gamma[0] = 0;
    Scalar ck_enorm_;   // ck * enorm

  };

} // namespace Rythmos

#endif // Rythmos_IMPLICITBDF_STEPPER_STEP_CONTROL_DECL_H