SpECTRE  v2024.04.12
StepChoosers::ErrorControl< StepChooserUse, EvolvedVariableTag, ErrorControlSelector > Class Template Reference

Suggests a step size based on a target absolute and/or relative error measure. More...

#include <ErrorControl.hpp>

Classes

struct  AbsoluteTolerance
 
struct  MaxFactor
 
struct  MinFactor
 
struct  RelativeTolerance
 
struct  SafetyFactor
 

Public Types

using evolved_variable_type = typename EvolvedVariableTag::type
 
using error_variable_type = typename ::Tags::StepperError< EvolvedVariableTag >::type
 
using options = tmpl::list< AbsoluteTolerance, RelativeTolerance, MaxFactor, MinFactor, SafetyFactor >
 
using simple_tags = tmpl::list<::Tags::StepperError< EvolvedVariableTag >, ::Tags::PreviousStepperError< EvolvedVariableTag >, ::Tags::StepperErrorUpdated >
 
using compute_tags = tmpl::list< Tags::IsUsingTimeSteppingErrorControlCompute< std::is_same_v< StepChooserUse, ::StepChooserUse::LtsStep > > >
 
using argument_tags = tmpl::list<::Tags::HistoryEvolvedVariables< EvolvedVariableTag >, ::Tags::StepperError< EvolvedVariableTag >, ::Tags::PreviousStepperError< EvolvedVariableTag >, ::Tags::StepperErrorUpdated, ::Tags::TimeStepper< TimeStepper > >
 

Public Member Functions

 ErrorControl (const double absolute_tolerance, const double relative_tolerance, const double max_factor, const double min_factor, const double safety_factor)
 
std::pair< double, bool > operator() (const TimeSteppers::History< evolved_variable_type > &history, const error_variable_type &error, const error_variable_type &previous_error, const bool &stepper_error_updated, const TimeStepper &stepper, const double previous_step) const
 
bool uses_local_data () const override
 Whether the result can differ on different elements, so requiring communication to synchronize the result across the domain. This is ignored for LTS step changing. More...
 
void pup (PUP::er &p) override
 
- Public Member Functions inherited from StepChooser< StepChooserUse >
 WRAPPED_PUPable_abstract (StepChooser)
 
virtual bool uses_local_data () const =0
 Whether the result can differ on different elements, so requiring communication to synchronize the result across the domain. This is ignored for LTS step changing. More...
 
template<typename StepChoosersToUse = AllStepChoosers, typename DbTags >
std::pair< double, bool > desired_step (const double last_step_magnitude, const db::DataBox< DbTags > &box) const
 The last_step_magnitude parameter describes the step size to be adjusted. It may be the step size or the slab size, or may be infinite if the appropriate size cannot be determined. More...
 

Static Public Member Functions

static std::string name ()
 

Static Public Attributes

static constexpr Options::String help
 

Detailed Description

template<typename StepChooserUse, typename EvolvedVariableTag, typename ErrorControlSelector = NoSuchType>
class StepChoosers::ErrorControl< StepChooserUse, EvolvedVariableTag, ErrorControlSelector >

Suggests a step size based on a target absolute and/or relative error measure.

Details

The suggested step is calculated via a simple specialization of the scheme suggested in [80]. We first compute the aggregated error measure from the stepper error:

\[ E = \max_i(|E_i| / sc_i), \]

where \(E_i\) is the ODE error reported for each individual grid point, reported by the time stepper, and \(sc_i\) is the step control measure determined by the tolerances:

\[ sc_i = Atol_i + \max(|y_i|,|y_i + E_i|) Rtol_i, \]

and \(y_i\) is the value of the function at the current step at grid point \(i\).

When no previous record of previous error is available, the step has size:

\[ h_{\text{new}} = h \cdot \min\left(F_{\text{max}}, \max\left(F_{\text{min}}, \frac{F_{\text{safety}}}{E^{1/(q + 1)}}\right)\right), \]

where \(h_{\text{new}}\) is the new suggested step size \(h\) is the previous step size, \(F_{\text{max}}\) is the maximum factor by which we allow the step to increase, \(F_{\text{min}}\) is the minimum factor by which we allow the step to decrease. \(F_{\text{safety}}\) is the safety factor on the computed error – this forces the step size slightly lower than we would naively compute so that the result of the step will likely be within the target error. \(q\) is the order of the stepper error calculation. Intuitively, we should change the step less drastically for a higher order stepper.

After the first error calculation, the error \(E\) is recorded in the DataBox using tag StepChoosers::Tags::PreviousStepError<EvolvedVariablesTag>, and subsequent error calculations use a simple PI scheme suggested in [153] section 17.2.1:

\[ h_{\text{new}} = h \cdot \min\left(F_{\text{max}}, \max\left(F_{\text{min}}, F_{\text{safety}} E^{-0.7 / (q + 1)} E_{\text{prev}}^{0.4 / (q + 1)}\right)\right), \]

where \(E_{\text{prev}}\) is the error computed in the previous step.

Note
The template parameter ErrorControlSelector is used to disambiguate in the input-file options between ErrorControl step choosers that are based on different variables. This is needed if multiple systems are evolved in the same executable. The name used for the input file includes ErrorControlSelector::name() if it is provided.

Member Function Documentation

◆ uses_local_data()

template<typename StepChooserUse , typename EvolvedVariableTag , typename ErrorControlSelector = NoSuchType>
bool StepChoosers::ErrorControl< StepChooserUse, EvolvedVariableTag, ErrorControlSelector >::uses_local_data ( ) const
inlineoverridevirtual

Whether the result can differ on different elements, so requiring communication to synchronize the result across the domain. This is ignored for LTS step changing.

Note
As this is only used for slab-size changing, the last_step_magnitude passed to the call operator is not considered local data.

Implements StepChooser< StepChooserUse >.

Member Data Documentation

◆ help

template<typename StepChooserUse , typename EvolvedVariableTag , typename ErrorControlSelector = NoSuchType>
constexpr Options::String StepChoosers::ErrorControl< StepChooserUse, EvolvedVariableTag, ErrorControlSelector >::help
staticconstexpr
Initial value:
{
"Chooses a step based on a target relative and absolute error tolerance"}

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