Reference documentation for deal.II version Git 350fd17bfc 20200226 19:16:00 +0100

Typedefs  
template<typename Number >  
using  ComparisonFunction = std::function< bool(const Number &, const Number &)> 
Functions  
Setting padaptivity flags  
template<int dim, int spacedim>  
void  full_p_adaptivity (const hp::DoFHandler< dim, spacedim > &dof_handler) 
template<int dim, int spacedim>  
void  p_adaptivity_from_flags (const hp::DoFHandler< dim, spacedim > &dof_handler, const std::vector< bool > &p_flags) 
template<int dim, typename Number , int spacedim>  
void  p_adaptivity_from_absolute_threshold (const hp::DoFHandler< dim, spacedim > &dof_handler, const Vector< Number > &criteria, const Number p_refine_threshold, const Number p_coarsen_threshold, const ComparisonFunction< typename identity< Number >::type > &compare_refine=std::greater_equal< Number >(), const ComparisonFunction< typename identity< Number >::type > &compare_coarsen=std::less_equal< Number >()) 
template<int dim, typename Number , int spacedim>  
void  p_adaptivity_from_relative_threshold (const hp::DoFHandler< dim, spacedim > &dof_handler, const Vector< Number > &criteria, const double p_refine_fraction=0.5, const double p_coarsen_fraction=0.5, const ComparisonFunction< typename identity< Number >::type > &compare_refine=std::greater_equal< Number >(), const ComparisonFunction< typename identity< Number >::type > &compare_coarsen=std::less_equal< Number >()) 
template<int dim, typename Number , int spacedim>  
void  p_adaptivity_fixed_number (const hp::DoFHandler< dim, spacedim > &dof_handler, const Vector< Number > &criteria, const double p_refine_fraction=0.5, const double p_coarsen_fraction=0.5, const ComparisonFunction< typename identity< Number >::type > &compare_refine=std::greater_equal< Number >(), const ComparisonFunction< typename identity< Number >::type > &compare_coarsen=std::less_equal< Number >()) 
template<int dim, typename Number , int spacedim>  
void  p_adaptivity_from_regularity (const hp::DoFHandler< dim, spacedim > &dof_handler, const Vector< Number > &sobolev_indices) 
template<int dim, typename Number , int spacedim>  
void  p_adaptivity_from_reference (const hp::DoFHandler< dim, spacedim > &dof_handler, const Vector< Number > &criteria, const Vector< Number > &references, const ComparisonFunction< typename identity< Number >::type > &compare_refine, const ComparisonFunction< typename identity< Number >::type > &compare_coarsen) 
Error prediction  
template<int dim, typename Number , int spacedim>  
void  predict_error (const hp::DoFHandler< dim, spacedim > &dof_handler, const Vector< Number > &error_indicators, Vector< Number > &predicted_errors, const double gamma_p=std::sqrt(0.1), const double gamma_h=1., const double gamma_n=1.) 
Decide between h and padaptivity  
template<int dim, int spacedim>  
void  force_p_over_h (const hp::DoFHandler< dim, spacedim > &dof_handler) 
template<int dim, int spacedim>  
void  choose_p_over_h (const hp::DoFHandler< dim, spacedim > &dof_handler) 
We supply adaptive methods to align computational ressources with the complexity of the numerical solution. Error estimates are an appropriate means of determining where adjustments need to be made.
However with hpadaptivity, we have two ways to realize these adjustments: For irregular solutions, hadaptive methods which dynamically assign cell sizes tend to reduce the approximation error, while for smooth solutions padaptive methods are better suited in which function spaces will be selected dynamically. This namespace collects tools to decide which type of adaptive methods to apply.
To successfully apply hpadaptive methods, we recommend the following workflow:
A suitable error estimate is the basis for any kind of adaptive method. Similar to pure grid refinement, we will determine error estimates in the usual way (i.e. KellyErrorEstimator) and mark cells for refinement or coarsening (i.e. GridRefinement).
Calling Triangulation::execute_coarsening_and_refinement() at this stage will perform pure grid refinement as expected.
Once all refinement and coarsening flags have been distributed on the mesh, we may determine if those qualify for padaptive methods. Corresponding functions will set future_fe_indices
on top of the refinement and coarsening flags if they fulfil a certain criterion.
In case of refinement, the superordinate element of the underlying hp::FECollection will be assigned as the future finite element. Correspondingly, the subordinate element will be selected for coarsening.
Triangulation::execute_coarsening_and_refinement() will now supply both h and padaptive methods independently.
Right now, there may be cells scheduled for both h and padaptation. If we do not want to impose both methods at once, we need to decide which one to pick for each cell individually and unambiguously. Since grid refinement will be imposed by default and we only determine qualification for padaptivity on top, we will always decide in favour of padaptive methods.
Calling Triangulation::execute_coarsening_and_refinement() will now perform either h or padaptive methods uniquely on each cell.
future_fe_indices
will be used to update the data accordingly. As an example, a realisation of pure padaptive methods would look like the following:
using hp::Refinement::ComparisonFunction = typedef std::function<bool(const Number &, const Number &)> 
An alias that defines the characteristics of a function that can be used as a comparison criterion for deciding whether to perform h or padaptation.
Such functions take two numbers as arguments: The first one corresponds to the provided criterion, while the other one conforms to the reference. The result of the comparision will be returned as a boolean.
Definition at line 143 of file refinement.h.
void hp::Refinement::full_p_adaptivity  (  const hp::DoFHandler< dim, spacedim > &  dof_handler  ) 
Each cell flagged for hrefinement will also be flagged for prefinement. The same applies to coarsening.
Setting p adaptivity flags
Definition at line 43 of file refinement.cc.
void hp::Refinement::p_adaptivity_from_flags  (  const hp::DoFHandler< dim, spacedim > &  dof_handler, 
const std::vector< bool > &  p_flags  
) 
Adapt which finite element to use on cells that have been specifically flagged for padaptation via the parameter p_flags
. Future finite elements will only be assigned if cells have been flagged for refinement and coarsening beforehand.
Each entry of the parameter p_flags
needs to correspond to an active cell.
Definition at line 55 of file refinement.cc.
void hp::Refinement::p_adaptivity_from_absolute_threshold  (  const hp::DoFHandler< dim, spacedim > &  dof_handler, 
const Vector< Number > &  criteria,  
const Number  p_refine_threshold,  
const Number  p_coarsen_threshold,  
const ComparisonFunction< typename identity< Number >::type > &  compare_refine = std::greater_equal<Number>() , 

const ComparisonFunction< typename identity< Number >::type > &  compare_coarsen = std::less_equal<Number>() 

) 
Adapt which finite element to use on cells whose criteria meet a certain absolute threshold.
For prefinement and pcoarsening, two separate thresholds need to provided via parameters p_refine_threshold
and p_coarsen_threshold
.
We consider a cell for padaptivity if it is currently flagged for refinement or coarsening and its criterion successfully compares to the corresponding threshold. Let us be more specific on the default case: We consider a cell for prefinement if it is flagged for refinement and its criterion is larger than or equal to the corresponding threshold. The same applies for pcoarsening, but the cell's criterion must be lower than or equal to the threshold. However, different compare function objects can be supplied via the parameters compare_refine
and compare_coarsen
to impose different decision strategies.
Each entry of the parameter criteria
needs to correspond to an active cell.
Definition at line 91 of file refinement.cc.
void hp::Refinement::p_adaptivity_from_relative_threshold  (  const hp::DoFHandler< dim, spacedim > &  dof_handler, 
const Vector< Number > &  criteria,  
const double  p_refine_fraction = 0.5 , 

const double  p_coarsen_fraction = 0.5 , 

const ComparisonFunction< typename identity< Number >::type > &  compare_refine = std::greater_equal<Number>() , 

const ComparisonFunction< typename identity< Number >::type > &  compare_coarsen = std::less_equal<Number>() 

) 
Adapt which finite element to use on cells whose criteria meet a certain threshold relative to the overall range of criterion values.
The threshold will be determined for refined and coarsened cells separately based on the currently set refinement markers. For each class of cells, we determine the maximal and minimal values of all criteria and determine the threshold by linear interpolation between these limits. Parameters p_refine_fraction
and p_refine_coarsen
are used as interpolation factors, where 0
corresponds to the minimal and 1
to the maximal value. By default, mean values are considered as thresholds.
We consider a cell for padaptivity if it is currently flagged for refinement or coarsening and its criterion successfully compares to the corresponding threshold. Let us be more specific on the default case: We consider a cell for prefinement if it is flagged for refinement and its criterion is larger than or equal to the corresponding threshold. The same applies for pcoarsening, but the cell's criterion must be lower than or equal to the threshold. However, different compare function objects can be supplied via the parameters compare_refine
and compare_coarsen
to impose different decision strategies.
Each entry of the parameter criteria
needs to correspond to an active cell. Parameters p_refine_fraction
and p_coarsen_fraction
need to be in the interval \([0,1]\).
Definition at line 123 of file refinement.cc.
void hp::Refinement::p_adaptivity_fixed_number  (  const hp::DoFHandler< dim, spacedim > &  dof_handler, 
const Vector< Number > &  criteria,  
const double  p_refine_fraction = 0.5 , 

const double  p_coarsen_fraction = 0.5 , 

const ComparisonFunction< typename identity< Number >::type > &  compare_refine = std::greater_equal<Number>() , 

const ComparisonFunction< typename identity< Number >::type > &  compare_coarsen = std::less_equal<Number>() 

) 
Adapt which finite element to use on a given fraction of cells.
Out of all cells flagged for a certain type of adaptation, be it refinement or coarsening, we will determine a fixed number of cells among this subset that will be flagged for the corresponding padaptive variant.
For each of both refinement and coarsening subsets, we will determine a threshold based on the provided parameter criteria
containing indicators for every active cell. In the default case for refinement, all cells with an indicator larger than or equal to the corresponding threshold will be considered for prefinement, while for coarsening all cells with an indicator less than or equal to the matching threshold are taken into account. However, different compare function objects can be supplied via the parameters compare_refine
and compare_coarsen
to impose different decision strategies.
For refinement, the threshold will be associated with the cell that has the p_refine_fraction
times Triangulation::n_active_cells() largest indicator, while it is the cell with the p_refine_coarsen
times Triangulation::n_active_cells() lowest indicator for coarsening.
Each entry of the parameter criteria
needs to correspond to an active cell. Parameters p_refine_fraction
and p_coarsen_fraction
need to be in the interval \([0,1]\).
Definition at line 217 of file refinement.cc.
void hp::Refinement::p_adaptivity_from_regularity  (  const hp::DoFHandler< dim, spacedim > &  dof_handler, 
const Vector< Number > &  sobolev_indices  
) 
Adapt which finite element to use on cells based on the regularity of the (unknown) analytical solution.
With an approximation of the local Sobolev regularity index \(k_K\), we may assess to which finite element space our local solution on cell \(K\) belongs. Since the regularity index is only an estimate, we won't use it to assign the finite element space directly, but rather consider it as an indicator for adaptation. If a cell is flagged for refinement, we will perform prefinement once it satisfies \(k_K > p_{K,\text{super}}\), where \(p_{K,\text{super}}\) is the polynomial degree of the finite element superordinate to the currently active element on cell \(K\). In case of coarsening, the criterion \(k_K < p_{K,\text{sub}}\) has to be met, with \(p_{K,\text{sub}}\) the degree of the subordinate element.
Each entry of the parameter sobolev_indices
needs to correspond to an active cell.
For more theoretical details see
Definition at line 411 of file refinement.cc.
void hp::Refinement::p_adaptivity_from_reference  (  const hp::DoFHandler< dim, spacedim > &  dof_handler, 
const Vector< Number > &  criteria,  
const Vector< Number > &  references,  
const ComparisonFunction< typename identity< Number >::type > &  compare_refine,  
const ComparisonFunction< typename identity< Number >::type > &  compare_coarsen  
) 
Adapt which finite element to use on each cell based on how its criterion relates to a reference.
We consider a cell for padaptivity if it is currently flagged for refinement or coarsening and its criterion successfully compares to the corresponding reference. Other than functions p_adaptivity_from_absolute_threshold() and p_adaptivity_from_relative_threshold(), compare function objects have to be provided explicitly via the parameters compare_refine
and compare_coarsen
.
Each entry of the parameters criteria
and references
needs to correspond to an active cell.
Definition at line 462 of file refinement.cc.
void hp::Refinement::predict_error  (  const hp::DoFHandler< dim, spacedim > &  dof_handler, 
const Vector< Number > &  error_indicators,  
Vector< Number > &  predicted_errors,  
const double  gamma_p = std::sqrt(0.1) , 

const double  gamma_h = 1. , 

const double  gamma_n = 1. 

) 
Predict how the current error_indicators
will adapt after refinement and coarsening has happened on the provided dof_handler
, and write its results to predicted_errors
. Each entry of error_indicators
and predicted_errors
corresponds to an active cell on the underlying Triangulation, thus each container has to be of size Triangulation::n_active_cells(). The errors are interpreted to be measured in the energy norm; this assumption enters the rate of convergence that is used in the prediction. The predicted_errors
output argument has one entry per current cell, with the \(2^d\) values for each cell that will be coarsened away equal, and with the value stored on a cell to be refined interpreted as applying to each of the future children.
For hadaptation, we expect the local error \(\eta_K\) on cell \(K\) to be proportional to \((h_K)^{p_K}\) in the energy norm, where \(h_K\) denotes the cell diameter and \(p_K\) the polynomial degree of the currently assigned finite element on cell \(K\). Here, we assume that the finite element will not change in the adaptation process so that \(p_K = \text{const}\). However during coarsening, the finite elements on siblings may be different, and their parent cell will be assigned to their least dominating finite element that belongs to its most general child. Thus, we will always interpolate on an enclosing finite element space. Additionaly assuming that the finite elements on the cells to be coarsened are sufficient to represent the solution correctly (e.g. at least quadratic basis functions for a quadratic solution), we are confident to say that the error will not change by sole interpolation on the larger finite element space.
Further, the function assumes that the local error on a cell that will be refined, will lead to errors on the \(2^{dim}\) children that are all equal, whereas local errors on siblings will be summed up on the parent cell in case of coarsening. This assumption is often not satisfied in practice: For example, if a cell is at a corner singularity, then the one child cell that ends up closest to the singularity will inherit the majority of the remaining error – but this function can not know where the singularity will be, and consequently assumes equal distribution.
When transferring the predicted error to the coarsened mesh, make sure to configure your CellDataTransfer object with CoarseningStrategies::sum() as a coarsening strategy.
For padaptation, the local error is expected to converge exponentially with the polynomial degree of the assigned finite element. Each increase or decrease of the degree will thus change its value by a userdefined control parameter gamma_p
. The assumption of exponential convergence is only valid if both h and padaptive methods are combined. An exception is thrown if a cell is flagged for both h and padaptation at once.
The prediction algorithm is formulated as follows with control parameters gamma_p
, gamma_h
and gamma_n
that may be used to influence prediction for each adaptation type individually.
Adaptation type  Prediction formula  

no adaptation  \(\eta_{K,\text{pred}} = \eta_{K} \, \gamma_\text{n}\)  \(\gamma_\text{n} \in (0,\infty)\) 
padaptation  \(\eta_{K,\text{pred}} = \eta_{K} \, \gamma_\text{p}^{(p_{K,\text{future}}  p_K)}\)  \(\gamma_\text{p} \in (0,1)\) 
hrefinement  \(\eta_{K_c,\text{pred}} = \eta_{K} \, \gamma_\text{h} \, 0.5^{p_K} \, 0.5^{\text{dim}} \quad \forall K_c \text{ children of } K\)  \(\gamma_\text{h} \in (0,\infty)\) 
hcoarsening  \(\eta_{K,\text{pred}} = \sum\limits_{K_c} \eta_{K_c} / (\gamma_\text{h} \, 0.5^{p_{K_c}}) \quad \forall K_c \text{ children of } K\) 
With these predicted error estimates, we are capable of adapting the finite element on cells based on their refinement history or rather the predicted change of their error estimates.
If a cell is flagged for adaptation, we want to perform padaptation once the associated error indicators \(\eta_{K}\) on cell \(K\) satisfy \(\eta_{K} < \eta_{K,\text{pred}}\), where the subscript \(\text{pred}\) denotes the predicted error. This corresponds to our assumption of smoothness being correct, else hadaptation is applied. We achieve this with the function hp::Refinement::p_adaptivity_from_criteria() and a function object std::less<Number>()
for both comparator parameters.
For the very first adaptation step, the user needs to decide whether h or padaptation is supposed to happen. An hstep will be applied with \(\eta_{K,\text{pred}} = 0\), whereas \(\eta_{K,\text{pred}} = \infty\) ensures a pstep. The latter may be realised with std::numeric_limits::infinity()
.
The following code snippet demonstrates how to impose hpadaptivity based on refinement history in an application:
For more theoretical details see
Error prediction
Definition at line 498 of file refinement.cc.
void hp::Refinement::force_p_over_h  (  const hp::DoFHandler< dim, spacedim > &  dof_handler  ) 
Choose padaptivity over hadaptivity in any case.
Removes all refine and coarsen flags on cells that have a future_fe_index
assigned.
Decide between h and p adaptivity
Definition at line 570 of file refinement.cc.
void hp::Refinement::choose_p_over_h  (  const hp::DoFHandler< dim, spacedim > &  dof_handler  ) 
Choose padaptivity over hadaptivity whenever it is invoked on all related cells.
In case of refinement, information about finite elements will be inherited. Thus we will prefer prefinement over hrefinement whenever desired, i.e. clear the refine flag and supply a corresponding future_fe_index
.
However for coarsening, we follow a different approach. Flagging a cell for hcoarsening does not ultimately mean that it will be coarsened. Only if a cell and all of its siblings are flagged, they will be merged into their parent cell. If we consider pcoarsening on top, we must decide for all siblings together how they will be coarsened. We distinguish between three different cases:
future_fe_indices
and clear the coarsen flags on all siblings. future_fe_indices
on all siblings. future_fe_indices
and clear the coarsen flags on all siblings. Definition at line 584 of file refinement.cc.