NonlinearSolver.hpp

/*
  Copyright 2015 SINTEF ICT, Applied Mathematics.
  Copyright 2015 Statoil ASA.

  This file is part of the Open Porous Media project (OPM).

  OPM is free software: you can redistribute it and/or modify
  it under the terms of the GNU General Public License as published by
  the Free Software Foundation, either version 3 of the License, or
  (at your option) any later version.

  OPM 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 General Public License for more details.

  You should have received a copy of the GNU General Public License
  along with OPM.  If not, see <http://www.gnu.org/licenses/>.
*/

#ifndef OPM_NON_LINEAR_SOLVER_HPP
#define OPM_NON_LINEAR_SOLVER_HPP

#include <dune/common/fmatrix.hh>
#include <dune/istl/bcrsmatrix.hh>

#include <opm/common/ErrorMacros.hpp>
#include <opm/common/Exceptions.hpp>

#include <opm/models/nonlinear/newtonmethodparams.hpp>
#include <opm/models/nonlinear/newtonmethodproperties.hh>

#include <opm/models/utils/propertysystem.hh>
#include <opm/models/utils/basicproperties.hh>

#include <opm/simulators/timestepping/SimulatorReport.hpp>
#include <opm/simulators/timestepping/SimulatorTimerInterface.hpp>
#include <opm/simulators/timestepping/TimeStepControl.hpp>

#include <memory>

namespace Opm::Parameters {

template<class Scalar>
struct NewtonMaxRelax { static constexpr Scalar value = 0.5; };

struct NewtonRelaxationType { static constexpr auto value = "dampen"; };

} // namespace Opm::Parameters

namespace Opm {

// Available relaxation scheme types.
enum class NonlinearRelaxType {
    Dampen,
    SOR
};

namespace detail {

template<class Scalar>
void detectOscillations(const std::vector<std::vector<Scalar>>& residualHistory,
                        const int it, const int numPhases, const Scalar relaxRelTol,
                        const int minimumOscillatingPhases,
                        bool& oscillate, bool& stagnate);

template <class BVector, class Scalar>
void stabilizeNonlinearUpdate(BVector& dx, BVector& dxOld,
                              const Scalar omega, NonlinearRelaxType relaxType);

}

// Solver parameters controlling nonlinear process.
template<class Scalar>
struct NonlinearSolverParameters
{
    NonlinearRelaxType relaxType_;
    Scalar relaxMax_;
    Scalar relaxIncrement_;
    Scalar relaxRelTol_;

    NonlinearSolverParameters();

    static void registerParameters();

    void reset();
};

    template <class TypeTag, class PhysicalModel>
    class NonlinearSolver
    {
        using Scalar = GetPropType<TypeTag, Properties::Scalar>;

    public:
        using SolverParameters = NonlinearSolverParameters<Scalar>;

        // ---------  Public methods  ---------

        NonlinearSolver(const SolverParameters& param,
                        std::unique_ptr<PhysicalModel> model)
            : param_(param)
            , model_(std::move(model))
            , linearizations_(0)
            , nonlinearIterations_(0)
            , linearIterations_(0)
            , wellIterations_(0)
            , nonlinearIterationsLast_(0)
            , linearIterationsLast_(0)
            , wellIterationsLast_(0)
        {
            if (!model_) {
                OPM_THROW(std::logic_error, "Must provide a non-null model argument for NonlinearSolver.");
            }
        }


        SimulatorReportSingle step(const SimulatorTimerInterface& timer, const TimeStepControlInterface *timeStepControl)
        {
            SimulatorReportSingle report;
            report.global_time = timer.simulationTimeElapsed();
            report.timestep_length = timer.currentStepLength();

            // Do model-specific once-per-step calculations.
            report += model_->prepareStep(timer);

            // Set up for main solver loop.
            bool converged = false;

            // ----------  Main nonlinear solver loop  ----------
            do {
                try {
                    // Do the nonlinear step. If we are in a converged state, the
                    // model will usually do an early return without an expensive
                    // solve, unless the newton_min_iter_ count has not been reached yet.
                    auto iterReport = model_->nonlinearIteration(timer, *this);
                    iterReport.global_time = timer.simulationTimeElapsed();
                    report += iterReport;
                    report.converged = iterReport.converged;

                    converged = report.converged;
                }
                catch (...) {
                    // if an iteration fails during a time step, all previous iterations
                    // count as a failure as well
                    failureReport_ = report;
                    failureReport_ += model_->failureReport();
                    throw;
                }
            }
            while ( (!converged && (model_->simulator().problem().iterationContext().iteration() <= this->model().param().newton_max_iter_)) ||
                    (model_->simulator().problem().iterationContext().iteration() <= this->model().param().newton_min_iter_));

            if (!converged) {
                failureReport_ = report;

                std::string msg = "Solver convergence failure - Failed to complete a time step within ";
                msg += std::to_string(model().param().newton_max_iter_) + " iterations.";
                OPM_THROW_NOLOG(TooManyIterations, msg);
            }
            auto relativeChange = model_->relativeChange();
            if (timeStepControl && !timeStepControl->timeStepAccepted(relativeChange, timer.currentStepLength())) {
                report.converged = false;
                report.time_step_rejected = true;
                failureReport_ = report;

                std::string msg = "Relative change in solution for time step was " + std::to_string(relativeChange);
                msg += ", which is larger than the tolerance accepted by the timestepping algorithm.";
                OPM_THROW_NOLOG(TimeSteppingBreakdown, msg);
            }

            report.converged = true;
            return report;
        }

        const SimulatorReportSingle& failureReport() const
        { return failureReport_; }

        int linearizations() const
        { return linearizations_; }

        int nonlinearIterations() const
        { return nonlinearIterations_; }

        int linearIterations() const
        { return linearIterations_; }

        int wellIterations() const
        { return wellIterations_; }

        int nonlinearIterationsLastStep() const
        { return nonlinearIterationsLast_; }

        int linearIterationsLastStep() const
        { return linearIterationsLast_; }

        int wellIterationsLastStep() const
        { return wellIterationsLast_; }

        std::vector<std::vector<Scalar> >
        computeFluidInPlace(const std::vector<int>& fipnum) const
        { return model_->computeFluidInPlace(fipnum); }

        const PhysicalModel& model() const
        { return *model_; }

        PhysicalModel& model()
        { return *model_; }

        void detectOscillations(const std::vector<std::vector<Scalar>>& residualHistory,
                                const int it, bool& oscillate, bool& stagnate) const
        {
            detail::detectOscillations(residualHistory, it, model_->numPhases(),
                                       this->relaxRelTol(), 1, oscillate, stagnate);
        }


        template <class BVector>
        void stabilizeNonlinearUpdate(BVector& dx, BVector& dxOld, const Scalar omega) const
        {
            detail::stabilizeNonlinearUpdate(dx, dxOld, omega, this->relaxType());
        }

        Scalar relaxMax() const
        { return param_.relaxMax_; }

        Scalar relaxIncrement() const
        { return param_.relaxIncrement_; }

        NonlinearRelaxType relaxType() const
        { return param_.relaxType_; }

        Scalar relaxRelTol() const
        { return param_.relaxRelTol_; }

        void setParameters(const SolverParameters& param)
        { param_ = param; }

    private:
        // ---------  Data members  ---------
        SimulatorReportSingle failureReport_;
        SolverParameters param_;
        std::unique_ptr<PhysicalModel> model_;
        int linearizations_;
        int nonlinearIterations_;
        int linearIterations_;
        int wellIterations_;
        int nonlinearIterationsLast_;
        int linearIterationsLast_;
        int wellIterationsLast_;
    };

} // namespace Opm

#endif // OPM_NON_LINEAR_SOLVER_HPP