Reference documentation for deal.II version 9.3.3
MappingQEulerian< dim, VectorType, spacedim >::MappingQEulerianGeneric Class Reference
Inheritance diagram for MappingQEulerian< dim, VectorType, spacedim >::MappingQEulerianGeneric:
[legend]

Classes

class  SupportQuadrature

Public Member Functions

MappingQEulerianGeneric (const unsigned int degree, const MappingQEulerian< dim, VectorType, spacedim > &mapping_q_eulerian)

virtual boost::container::small_vector< Point< spacedim >, GeometryInfo< dim >::vertices_per_cell > get_vertices (const typename Triangulation< dim, spacedim >::cell_iterator &cell) const override

virtual std::vector< Point< spacedim > > compute_mapping_support_points (const typename Triangulation< dim, spacedim >::cell_iterator &cell) const override

virtual bool preserves_vertex_locations () const override

virtual std::unique_ptr< Mapping< dim, spacedim > > clone () const override

unsigned int get_degree () const

virtual BoundingBox< spacedim > get_bounding_box (const typename Triangulation< dim, spacedim >::cell_iterator &cell) const override

virtual bool is_compatible_with (const ReferenceCell &reference_cell) const override

virtual Point< spacedim > get_center (const typename Triangulation< dim, spacedim >::cell_iterator &cell, const bool map_center_of_reference_cell=true) const

Mapping points between reference and real cells
virtual Point< spacedim > transform_unit_to_real_cell (const typename Triangulation< dim, spacedim >::cell_iterator &cell, const Point< dim > &p) const override

virtual Point< dim > transform_real_to_unit_cell (const typename Triangulation< dim, spacedim >::cell_iterator &cell, const Point< spacedim > &p) const override

virtual void transform_points_real_to_unit_cell (const typename Triangulation< dim, spacedim >::cell_iterator &cell, const ArrayView< const Point< spacedim > > &real_points, const ArrayView< Point< dim > > &unit_points) const override

Functions to transform tensors from reference to real coordinates
virtual void transform (const ArrayView< const Tensor< 1, dim > > &input, const MappingKind kind, const typename Mapping< dim, spacedim >::InternalDataBase &internal, const ArrayView< Tensor< 1, spacedim > > &output) const override

virtual void transform (const ArrayView< const DerivativeForm< 1, dim, spacedim > > &input, const MappingKind kind, const typename Mapping< dim, spacedim >::InternalDataBase &internal, const ArrayView< Tensor< 2, spacedim > > &output) const override

virtual void transform (const ArrayView< const Tensor< 2, dim > > &input, const MappingKind kind, const typename Mapping< dim, spacedim >::InternalDataBase &internal, const ArrayView< Tensor< 2, spacedim > > &output) const override

virtual void transform (const ArrayView< const DerivativeForm< 2, dim, spacedim > > &input, const MappingKind kind, const typename Mapping< dim, spacedim >::InternalDataBase &internal, const ArrayView< Tensor< 3, spacedim > > &output) const override

virtual void transform (const ArrayView< const Tensor< 3, dim > > &input, const MappingKind kind, const typename Mapping< dim, spacedim >::InternalDataBase &internal, const ArrayView< Tensor< 3, spacedim > > &output) const override

Interface with FEValues and friends
virtual UpdateFlags requires_update_flags (const UpdateFlags update_flags) const override

virtual std::unique_ptr< typename Mapping< dim, spacedim >::InternalDataBase > get_data (const UpdateFlags, const Quadrature< dim > &quadrature) const override

virtual std::unique_ptr< typename Mapping< dim, spacedim >::InternalDataBase > get_face_data (const UpdateFlags flags, const hp::QCollection< dim - 1 > &quadrature) const override

virtual std::unique_ptr< typename Mapping< dim, spacedim >::InternalDataBase > get_subface_data (const UpdateFlags flags, const Quadrature< dim - 1 > &quadrature) const override

virtual CellSimilarity::Similarity fill_fe_values (const typename Triangulation< dim, spacedim >::cell_iterator &cell, const CellSimilarity::Similarity cell_similarity, const Quadrature< dim > &quadrature, const typename Mapping< dim, spacedim >::InternalDataBase &internal_data, ::internal::FEValuesImplementation::MappingRelatedData< dim, spacedim > &output_data) const override

virtual void fill_fe_face_values (const typename Triangulation< dim, spacedim >::cell_iterator &cell, const unsigned int face_no, const hp::QCollection< dim - 1 > &quadrature, const typename Mapping< dim, spacedim >::InternalDataBase &internal_data, ::internal::FEValuesImplementation::MappingRelatedData< dim, spacedim > &output_data) const override

virtual void fill_fe_subface_values (const typename Triangulation< dim, spacedim >::cell_iterator &cell, const unsigned int face_no, const unsigned int subface_no, const Quadrature< dim - 1 > &quadrature, const typename Mapping< dim, spacedim >::InternalDataBase &internal_data, ::internal::FEValuesImplementation::MappingRelatedData< dim, spacedim > &output_data) const override

void fill_mapping_data_for_generic_points (const typename Triangulation< dim, spacedim >::cell_iterator &cell, const ArrayView< const Point< dim > > &unit_points, const UpdateFlags update_flags, ::internal::FEValuesImplementation::MappingRelatedData< dim, spacedim > &output_data) const

Mapping points between reference and real cells
Point< dim - 1 > project_real_point_to_unit_point_on_face (const typename Triangulation< dim, spacedim >::cell_iterator &cell, const unsigned int face_no, const Point< spacedim > &p) const

Static Public Member Functions

Exceptions
static ::ExceptionBaseExcInvalidData ()

static ::ExceptionBaseExcTransformationFailed ()

static ::ExceptionBaseExcDistortedMappedCell (Point< spacedim > arg1, double arg2, int arg3)

Protected Member Functions

Point< dim > transform_real_to_unit_cell_internal (const typename Triangulation< dim, spacedim >::cell_iterator &cell, const Point< spacedim > &p, const Point< dim > &initial_p_unit) const

Point< 1 > transform_real_to_unit_cell_internal (const Triangulation< 1, 1 >::cell_iterator &cell, const Point< 1 > &p, const Point< 1 > &initial_p_unit) const

Point< 2 > transform_real_to_unit_cell_internal (const Triangulation< 2, 2 >::cell_iterator &cell, const Point< 2 > &p, const Point< 2 > &initial_p_unit) const

Point< 3 > transform_real_to_unit_cell_internal (const Triangulation< 3, 3 >::cell_iterator &cell, const Point< 3 > &p, const Point< 3 > &initial_p_unit) const

Point< 1 > transform_real_to_unit_cell_internal (const Triangulation< 1, 2 >::cell_iterator &cell, const Point< 2 > &p, const Point< 1 > &initial_p_unit) const

Point< 2 > transform_real_to_unit_cell_internal (const Triangulation< 2, 3 >::cell_iterator &cell, const Point< 3 > &p, const Point< 2 > &initial_p_unit) const

Point< 1 > transform_real_to_unit_cell_internal (const Triangulation< 1, 3 >::cell_iterator &, const Point< 3 > &, const Point< 1 > &) const

virtual void add_line_support_points (const typename Triangulation< dim, spacedim >::cell_iterator &cell, std::vector< Point< spacedim > > &a) const

virtual void add_quad_support_points (const typename Triangulation< dim, spacedim >::cell_iterator &cell, std::vector< Point< spacedim > > &a) const

void add_quad_support_points (const Triangulation< 3, 3 >::cell_iterator &cell, std::vector< Point< 3 > > &a) const

void add_quad_support_points (const Triangulation< 2, 3 >::cell_iterator &cell, std::vector< Point< 3 > > &a) const

Interface with FEValues
virtual std::unique_ptr< InternalDataBase > get_face_data (const UpdateFlags update_flags, const Quadrature< dim - 1 > &quadrature) const

virtual void fill_fe_face_values (const typename Triangulation< dim, spacedim >::cell_iterator &cell, const unsigned int face_no, const Quadrature< dim - 1 > &quadrature, const typename Mapping< dim, spacedim >::InternalDataBase &internal_data, internal::FEValuesImplementation::MappingRelatedData< dim, spacedim > &output_data) const

Protected Attributes

const unsigned int polynomial_degree

const std::vector< Point< 1 > > line_support_points

const std::vector< Polynomials::Polynomial< double > > polynomials_1d

const std::vector< unsigned intrenumber_lexicographic_to_hierarchic

const std::vector< Point< dim > > unit_cell_support_points

const std::vector< Table< 2, double > > support_point_weights_perimeter_to_interior

const Table< 2, double > support_point_weights_cell

Private Attributes

const MappingQEulerian< dim, VectorType, spacedim > & mapping_q_eulerian

const SupportQuadrature support_quadrature

FEValues< dim, spacedim > fe_values

Threads::Mutex fe_values_mutex

Subscriptor functionality

Classes derived from Subscriptor provide a facility to subscribe to this object. This is mostly used by the SmartPointer class.

std::atomic< unsigned intcounter

std::map< std::string, unsigned intcounter_map

std::vector< std::atomic< bool > * > validity_pointers

const std::type_info * object_info

void subscribe (std::atomic< bool > *const validity, const std::string &identifier="") const

void unsubscribe (std::atomic< bool > *const validity, const std::string &identifier="") const

unsigned int n_subscriptions () const

template<typename StreamType >
void list_subscribers (StreamType &stream) const

void list_subscribers () const

template<class Archive >
void serialize (Archive &ar, const unsigned int version)

static ::ExceptionBaseExcInUse (int arg1, std::string arg2, std::string arg3)

static ::ExceptionBaseExcNoSubscriber (std::string arg1, std::string arg2)

using map_value_type = decltype(counter_map)::value_type

using map_iterator = decltype(counter_map)::iterator

static std::mutex mutex

void check_no_subscribers () const noexcept

Detailed Description

template<int dim, typename VectorType = Vector<double>, int spacedim = dim>
class MappingQEulerian< dim, VectorType, spacedim >::MappingQEulerianGeneric

A class derived from MappingQGeneric that provides the generic mapping with support points on boundary objects so that the corresponding Q3 mapping ends up being C1.

Definition at line 197 of file mapping_q_eulerian.h.

◆ MappingQEulerianGeneric()

template<int dim, typename VectorType = Vector<double>, int spacedim = dim>
 MappingQEulerian< dim, VectorType, spacedim >::MappingQEulerianGeneric::MappingQEulerianGeneric ( const unsigned int degree, const MappingQEulerian< dim, VectorType, spacedim > & mapping_q_eulerian )

Constructor.

◆ get_vertices()

template<int dim, typename VectorType = Vector<double>, int spacedim = dim>
 virtual boost::container::small_vector< Point< spacedim >, GeometryInfo< dim >::vertices_per_cell > MappingQEulerian< dim, VectorType, spacedim >::MappingQEulerianGeneric::get_vertices ( const typename Triangulation< dim, spacedim >::cell_iterator & cell ) const
overridevirtual

Return the mapped vertices of the cell. For the current class, this function does not use the support points from the geometry of the current cell but instead evaluates an externally given displacement field in addition to the geometry of the cell.

Reimplemented from Mapping< dim, spacedim >.

◆ compute_mapping_support_points()

template<int dim, typename VectorType = Vector<double>, int spacedim = dim>
 virtual std::vector< Point< spacedim > > MappingQEulerian< dim, VectorType, spacedim >::MappingQEulerianGeneric::compute_mapping_support_points ( const typename Triangulation< dim, spacedim >::cell_iterator & cell ) const
overridevirtual

Compute the positions of the support points in the current configuration. See the documentation of MappingQGeneric::compute_mapping_support_points() for more information.

Reimplemented from MappingQGeneric< dim, spacedim >.

◆ preserves_vertex_locations()

template<int dim, typename VectorType = Vector<double>, int spacedim = dim>
 virtual bool MappingQEulerian< dim, VectorType, spacedim >::MappingQEulerianGeneric::preserves_vertex_locations ( ) const
overridevirtual

Always return false because MappingQEulerianGeneric does not in general preserve vertex locations (unless the translation vector happens to provide for zero displacements at vertex locations).

Reimplemented from MappingQGeneric< dim, spacedim >.

◆ clone()

 virtual std::unique_ptr< Mapping< dim, spacedim > > MappingQGeneric< dim, spacedim >::clone ( ) const
overridevirtualinherited

Return a pointer to a copy of the present object. The caller of this copy then assumes ownership of it.

The function is declared abstract virtual in this base class, and derived classes will have to implement it.

This function is mainly used by the hp::MappingCollection class.

Implements Mapping< dim, spacedim >.

◆ get_degree()

 unsigned int MappingQGeneric< dim, spacedim >::get_degree ( ) const
inherited

Return the degree of the mapping, i.e. the value which was passed to the constructor.

◆ get_bounding_box()

 virtual BoundingBox< spacedim > MappingQGeneric< dim, spacedim >::get_bounding_box ( const typename Triangulation< dim, spacedim >::cell_iterator & cell ) const
overridevirtualinherited

Return the bounding box of a mapped cell.

If you are using a (bi-,tri-)linear mapping that preserves vertex locations, this function simply returns the value also produced by cell->bounding_box(). However, there are also mappings that add displacements or choose completely different locations, e.g., MappingQEulerian, MappingQ1Eulerian, or MappingFEField.

For linear mappings, this function returns the bounding box containing all the vertices of the cell, as returned by the get_vertices() method. For higher order mappings defined through support points, the bounding box is only guaranteed to contain all the support points, and it is, in general, only an approximation of the true bounding box, which may be larger.

Parameters
 [in] cell The cell for which you want to compute the bounding box

Reimplemented from Mapping< dim, spacedim >.

◆ is_compatible_with()

 virtual bool MappingQGeneric< dim, spacedim >::is_compatible_with ( const ReferenceCell & reference_cell ) const
overridevirtualinherited

Returns if this instance of Mapping is compatible with the type of cell in reference_cell.

Implements Mapping< dim, spacedim >.

◆ transform_unit_to_real_cell()

 virtual Point< spacedim > MappingQGeneric< dim, spacedim >::transform_unit_to_real_cell ( const typename Triangulation< dim, spacedim >::cell_iterator & cell, const Point< dim > & p ) const
overridevirtualinherited

Map the point p on the unit cell to the corresponding point on the real cell cell.

Parameters
 cell Iterator to the cell that will be used to define the mapping. p Location of a point on the reference cell.
Returns
The location of the reference point mapped to real space using the mapping defined by the class derived from the current one that implements the mapping, and the coordinates of the cell identified by the first argument.

Implements Mapping< dim, spacedim >.

◆ transform_real_to_unit_cell()

 virtual Point< dim > MappingQGeneric< dim, spacedim >::transform_real_to_unit_cell ( const typename Triangulation< dim, spacedim >::cell_iterator & cell, const Point< spacedim > & p ) const
overridevirtualinherited

Map the point p on the real cell to the corresponding point on the unit cell, and return its coordinates. This function provides the inverse of the mapping provided by transform_unit_to_real_cell().

In the codimension one case, this function returns the normal projection of the real point p on the curve or surface identified by the cell.

Note
Polynomial mappings from the reference (unit) cell coordinates to the coordinate system of a real cell are not always invertible if the point for which the inverse mapping is to be computed lies outside the cell's boundaries. In such cases, the current function may fail to compute a point on the reference cell whose image under the mapping equals the given point p. If this is the case then this function throws an exception of type Mapping::ExcTransformationFailed . Whether the given point p lies outside the cell can therefore be determined by checking whether the returned reference coordinates lie inside or outside the reference cell (e.g., using GeometryInfo::is_inside_unit_cell()) or whether the exception mentioned above has been thrown.
Parameters
 cell Iterator to the cell that will be used to define the mapping. p Location of a point on the given cell.
Returns
The reference cell location of the point that when mapped to real space equals the coordinates given by the second argument. This mapping uses the mapping defined by the class derived from the current one that implements the mapping, and the coordinates of the cell identified by the first argument.

Implements Mapping< dim, spacedim >.

◆ transform_points_real_to_unit_cell()

 virtual void MappingQGeneric< dim, spacedim >::transform_points_real_to_unit_cell ( const typename Triangulation< dim, spacedim >::cell_iterator & cell, const ArrayView< const Point< spacedim > > & real_points, const ArrayView< Point< dim > > & unit_points ) const
overridevirtualinherited

Map multiple points from the real point locations to points in reference locations. The functionality is essentially the same as looping over all points and calling the Mapping::transform_real_to_unit_cell() function for each point individually, but it can be much faster for certain mappings that implement a more specialized version such as MappingQGeneric. The only difference in behavior is that this function will never throw an ExcTransformationFailed() exception. If the transformation fails for real_points[i], the returned unit_points[i] contains std::numeric_limits<double>::infinity() as the first entry.

Reimplemented from Mapping< dim, spacedim >.

◆ transform() [1/5]

 virtual void MappingQGeneric< dim, spacedim >::transform ( const ArrayView< const Tensor< 1, dim > > & input, const MappingKind kind, const typename Mapping< dim, spacedim >::InternalDataBase & internal, const ArrayView< Tensor< 1, spacedim > > & output ) const
overridevirtualinherited

Transform a field of vectors or 1-differential forms according to the selected MappingKind.

Note
Normally, this function is called by a finite element, filling FEValues objects. For this finite element, there should be an alias MappingKind like mapping_bdm, mapping_nedelec, etc. This alias should be preferred to using the kinds below.

The mapping kinds currently implemented by derived classes are:

• mapping_contravariant: maps a vector field on the reference cell to the physical cell through the Jacobian:

$\mathbf u(\mathbf x) = J(\hat{\mathbf x})\hat{\mathbf u}(\hat{\mathbf x}).$

In physics, this is usually referred to as the contravariant transformation. Mathematically, it is the push forward of a vector field.

• mapping_covariant: maps a field of one-forms on the reference cell to a field of one-forms on the physical cell. (Theoretically this would refer to a DerivativeForm<1,dim,1> but we canonically identify this type with a Tensor<1,dim>). Mathematically, it is the pull back of the differential form

$\mathbf u(\mathbf x) = J(\hat{\mathbf x})(J(\hat{\mathbf x})^{T} J(\hat{\mathbf x}))^{-1}\hat{\mathbf u}(\hat{\mathbf x}).$

Gradients of scalar differentiable functions are transformed this way.

In the case when dim=spacedim the previous formula reduces to

$\mathbf u(\mathbf x) = J(\hat{\mathbf x})^{-T}\hat{\mathbf u}(\hat{\mathbf x})$

because we assume that the mapping $$\mathbf F_K$$ is always invertible, and consequently its Jacobian $$J$$ is an invertible matrix.

• mapping_piola: A field of dim-1-forms on the reference cell is also represented by a vector field, but again transforms differently, namely by the Piola transform

$\mathbf u(\mathbf x) = \frac{1}{\text{det}\;J(\hat{\mathbf x})} J(\hat{\mathbf x}) \hat{\mathbf u}(\hat{\mathbf x}).$

Parameters
 [in] input An array (or part of an array) of input objects that should be mapped. [in] kind The kind of mapping to be applied. [in] internal A pointer to an object of type Mapping::InternalDataBase that contains information previously stored by the mapping. The object pointed to was created by the get_data(), get_face_data(), or get_subface_data() function, and will have been updated as part of a call to fill_fe_values(), fill_fe_face_values(), or fill_fe_subface_values() for the current cell, before calling the current function. In other words, this object also represents with respect to which cell the transformation should be applied to. [out] output An array (or part of an array) into which the transformed objects should be placed. (Note that the array view is const, but the tensors it points to are not.)

Implements Mapping< dim, spacedim >.

◆ transform() [2/5]

 virtual void MappingQGeneric< dim, spacedim >::transform ( const ArrayView< const DerivativeForm< 1, dim, spacedim > > & input, const MappingKind kind, const typename Mapping< dim, spacedim >::InternalDataBase & internal, const ArrayView< Tensor< 2, spacedim > > & output ) const
overridevirtualinherited

Transform a field of differential forms from the reference cell to the physical cell. It is useful to think of $$\mathbf{T} = \nabla \mathbf u$$ and $$\hat{\mathbf T} = \hat \nabla \hat{\mathbf u}$$, with $$\mathbf u$$ a vector field. The mapping kinds currently implemented by derived classes are:

• mapping_covariant: maps a field of forms on the reference cell to a field of forms on the physical cell. Mathematically, it is the pull back of the differential form

$\mathbf T(\mathbf x) = \hat{\mathbf T}(\hat{\mathbf x}) J(\hat{\mathbf x})(J(\hat{\mathbf x})^{T} J(\hat{\mathbf x}))^{-1}.$

Jacobians of spacedim-vector valued differentiable functions are transformed this way.

In the case when dim=spacedim the previous formula reduces to

$\mathbf T(\mathbf x) = \hat{\mathbf u}(\hat{\mathbf x}) J(\hat{\mathbf x})^{-1}.$

Note
It would have been more reasonable to make this transform a template function with the rank in DerivativeForm<1, dim, rank>. Unfortunately C++ does not allow templatized virtual functions. This is why we identify DerivativeForm<1, dim, 1> with a Tensor<1,dim> when using mapping_covariant() in the function transform() above this one.
Parameters
 [in] input An array (or part of an array) of input objects that should be mapped. [in] kind The kind of mapping to be applied. [in] internal A pointer to an object of type Mapping::InternalDataBase that contains information previously stored by the mapping. The object pointed to was created by the get_data(), get_face_data(), or get_subface_data() function, and will have been updated as part of a call to fill_fe_values(), fill_fe_face_values(), or fill_fe_subface_values() for the current cell, before calling the current function. In other words, this object also represents with respect to which cell the transformation should be applied to. [out] output An array (or part of an array) into which the transformed objects should be placed. (Note that the array view is const, but the tensors it points to are not.)

Implements Mapping< dim, spacedim >.

◆ transform() [3/5]

 virtual void MappingQGeneric< dim, spacedim >::transform ( const ArrayView< const Tensor< 2, dim > > & input, const MappingKind kind, const typename Mapping< dim, spacedim >::InternalDataBase & internal, const ArrayView< Tensor< 2, spacedim > > & output ) const
overridevirtualinherited

Transform a tensor field from the reference cell to the physical cell. These tensors are usually the Jacobians in the reference cell of vector fields that have been pulled back from the physical cell. The mapping kinds currently implemented by derived classes are:

• mapping_contravariant_gradient: it assumes $$\mathbf u(\mathbf x) = J \hat{\mathbf u}$$ so that

$\mathbf T(\mathbf x) = J(\hat{\mathbf x}) \hat{\mathbf T}(\hat{\mathbf x}) J(\hat{\mathbf x})^{-1}.$

• mapping_covariant_gradient: it assumes $$\mathbf u(\mathbf x) = J^{-T} \hat{\mathbf u}$$ so that

$\mathbf T(\mathbf x) = J(\hat{\mathbf x})^{-T} \hat{\mathbf T}(\hat{\mathbf x}) J(\hat{\mathbf x})^{-1}.$

• mapping_piola_gradient: it assumes $$\mathbf u(\mathbf x) = \frac{1}{\text{det}\;J(\hat{\mathbf x})} J(\hat{\mathbf x}) \hat{\mathbf u}(\hat{\mathbf x})$$ so that

$\mathbf T(\mathbf x) = \frac{1}{\text{det}\;J(\hat{\mathbf x})} J(\hat{\mathbf x}) \hat{\mathbf T}(\hat{\mathbf x}) J(\hat{\mathbf x})^{-1}.$

Todo:
The formulas for mapping_covariant_gradient, mapping_contravariant_gradient and mapping_piola_gradient are only true as stated for linear mappings. If, for example, the mapping is bilinear (or has a higher order polynomial degree) then there is a missing term associated with the derivative of $$J$$.
Parameters
 [in] input An array (or part of an array) of input objects that should be mapped. [in] kind The kind of mapping to be applied. [in] internal A pointer to an object of type Mapping::InternalDataBase that contains information previously stored by the mapping. The object pointed to was created by the get_data(), get_face_data(), or get_subface_data() function, and will have been updated as part of a call to fill_fe_values(), fill_fe_face_values(), or fill_fe_subface_values() for the current cell, before calling the current function. In other words, this object also represents with respect to which cell the transformation should be applied to. [out] output An array (or part of an array) into which the transformed objects should be placed. (Note that the array view is const, but the tensors it points to are not.)

Implements Mapping< dim, spacedim >.

◆ transform() [4/5]

 virtual void MappingQGeneric< dim, spacedim >::transform ( const ArrayView< const DerivativeForm< 2, dim, spacedim > > & input, const MappingKind kind, const typename Mapping< dim, spacedim >::InternalDataBase & internal, const ArrayView< Tensor< 3, spacedim > > & output ) const
overridevirtualinherited

Transform a tensor field from the reference cell to the physical cell. This tensors are most of times the hessians in the reference cell of vector fields that have been pulled back from the physical cell.

The mapping kinds currently implemented by derived classes are:

• mapping_covariant_gradient: maps a field of forms on the reference cell to a field of forms on the physical cell. Mathematically, it is the pull back of the differential form

$\mathbf T_{ijk}(\mathbf x) = \hat{\mathbf T}_{iJK}(\hat{\mathbf x}) J_{jJ}^{\dagger} J_{kK}^{\dagger}$

,

where

$J^{\dagger} = J(\hat{\mathbf x})(J(\hat{\mathbf x})^{T} J(\hat{\mathbf x}))^{-1}.$

Hessians of spacedim-vector valued differentiable functions are transformed this way (After subtraction of the product of the derivative with the Jacobian gradient).

In the case when dim=spacedim the previous formula reduces to

$J^{\dagger} = J^{-1}$

Parameters
 [in] input An array (or part of an array) of input objects that should be mapped. [in] kind The kind of mapping to be applied. [in] internal A pointer to an object of type Mapping::InternalDataBase that contains information previously stored by the mapping. The object pointed to was created by the get_data(), get_face_data(), or get_subface_data() function, and will have been updated as part of a call to fill_fe_values(), fill_fe_face_values(), or fill_fe_subface_values() for the current cell, before calling the current function. In other words, this object also represents with respect to which cell the transformation should be applied to. [out] output An array (or part of an array) into which the transformed objects should be placed. (Note that the array view is const, but the tensors it points to are not.)

Implements Mapping< dim, spacedim >.

◆ transform() [5/5]

 virtual void MappingQGeneric< dim, spacedim >::transform ( const ArrayView< const Tensor< 3, dim > > & input, const MappingKind kind, const typename Mapping< dim, spacedim >::InternalDataBase & internal, const ArrayView< Tensor< 3, spacedim > > & output ) const
overridevirtualinherited

Transform a field of 3-differential forms from the reference cell to the physical cell. It is useful to think of $$\mathbf{T}_{ijk} = D^2_{jk} \mathbf u_i$$ and $$\mathbf{\hat T}_{IJK} = \hat D^2_{JK} \mathbf{\hat u}_I$$, with $$\mathbf u_i$$ a vector field.

The mapping kinds currently implemented by derived classes are:

• mapping_contravariant_hessian: it assumes $$\mathbf u_i(\mathbf x) = J_{iI} \hat{\mathbf u}_I$$ so that

$\mathbf T_{ijk}(\mathbf x) = J_{iI}(\hat{\mathbf x}) \hat{\mathbf T}_{IJK}(\hat{\mathbf x}) J_{jJ}(\hat{\mathbf x})^{-1} J_{kK}(\hat{\mathbf x})^{-1}.$

• mapping_covariant_hessian: it assumes $$\mathbf u_i(\mathbf x) = J_{iI}^{-T} \hat{\mathbf u}_I$$ so that

$\mathbf T_{ijk}(\mathbf x) = J_iI(\hat{\mathbf x})^{-1} \hat{\mathbf T}_{IJK}(\hat{\mathbf x}) J_{jJ}(\hat{\mathbf x})^{-1} J_{kK}(\hat{\mathbf x})^{-1}.$

• mapping_piola_hessian: it assumes $$\mathbf u_i(\mathbf x) = \frac{1}{\text{det}\;J(\hat{\mathbf x})} J_{iI}(\hat{\mathbf x}) \hat{\mathbf u}(\hat{\mathbf x})$$ so that

$\mathbf T_{ijk}(\mathbf x) = \frac{1}{\text{det}\;J(\hat{\mathbf x})} J_{iI}(\hat{\mathbf x}) \hat{\mathbf T}_{IJK}(\hat{\mathbf x}) J_{jJ}(\hat{\mathbf x})^{-1} J_{kK}(\hat{\mathbf x})^{-1}.$

Parameters
 [in] input An array (or part of an array) of input objects that should be mapped. [in] kind The kind of mapping to be applied. [in] internal A pointer to an object of type Mapping::InternalDataBase that contains information previously stored by the mapping. The object pointed to was created by the get_data(), get_face_data(), or get_subface_data() function, and will have been updated as part of a call to fill_fe_values(), fill_fe_face_values(), or fill_fe_subface_values() for the current cell, before calling the current function. In other words, this object also represents with respect to which cell the transformation should be applied to. [out] output An array (or part of an array) into which the transformed objects should be placed.

Implements Mapping< dim, spacedim >.

◆ requires_update_flags()

 virtual UpdateFlags MappingQGeneric< dim, spacedim >::requires_update_flags ( const UpdateFlags update_flags ) const
overridevirtualinherited

Given a set of update flags, compute which other quantities also need to be computed in order to satisfy the request by the given flags. Then return the combination of the original set of flags and those just computed.

As an example, if update_flags contains update_JxW_values (i.e., the product of the determinant of the Jacobian and the weights provided by the quadrature formula), a mapping may require the computation of the full Jacobian matrix in order to compute its determinant. They would then return not just update_JxW_values, but also update_jacobians. (This is not how it is actually done internally in the derived classes that compute the JxW values – they set update_contravariant_transformation instead, from which the determinant can also be computed – but this does not take away from the instructiveness of the example.)

An extensive discussion of the interaction between this function and FEValues can be found in the How Mapping, FiniteElement, and FEValues work together documentation module.

See also
UpdateFlags

Implements Mapping< dim, spacedim >.

◆ get_data()

 virtual std::unique_ptr< typename Mapping< dim, spacedim >::InternalDataBase > MappingQGeneric< dim, spacedim >::get_data ( const UpdateFlags, const Quadrature< dim > & quadrature ) const
overridevirtualinherited

Create and return a pointer to an object into which mappings can store data that only needs to be computed once but that can then be used whenever the mapping is applied to a concrete cell (e.g., in the various transform() functions, as well as in the fill_fe_values(), fill_fe_face_values() and fill_fe_subface_values() that form the interface of mappings with the FEValues class).

Derived classes will return pointers to objects of a type derived from Mapping::InternalDataBase (see there for more information) and may pre- compute some information already (in accordance with what will be asked of the mapping in the future, as specified by the update flags) and for the given quadrature object. Subsequent calls to transform() or fill_fe_values() and friends will then receive back the object created here (with the same set of update flags and for the same quadrature object). Derived classes can therefore pre-compute some information in their get_data() function and store it in the internal data object.

The mapping classes do not keep track of the objects created by this function. Ownership will therefore rest with the caller.

An extensive discussion of the interaction between this function and FEValues can be found in the How Mapping, FiniteElement, and FEValues work together documentation module.

Parameters
 update_flags A set of flags that define what is expected of the mapping class in future calls to transform() or the fill_fe_values() group of functions. This set of flags may contain flags that mappings do not know how to deal with (e.g., for information that is in fact computed by the finite element classes, such as UpdateFlags::update_values). Derived classes will need to store these flags, or at least that subset of flags that will require the mapping to perform any actions in fill_fe_values(), in InternalDataBase::update_each. quadrature The quadrature object for which mapping information will have to be computed. This includes the locations and weights of quadrature points.
Returns
A pointer to a newly created object of type InternalDataBase (or a derived class). Ownership of this object passes to the calling function.
Note
C++ allows that virtual functions in derived classes may return pointers to objects not of type InternalDataBase but in fact pointers to objects of classes derived from InternalDataBase. (This feature is called "covariant return types".) This is useful in some contexts where the calling is within the derived class and will immediately make use of the returned object, knowing its real (derived) type.

Implements Mapping< dim, spacedim >.

◆ get_face_data() [1/2]

 virtual std::unique_ptr< typename Mapping< dim, spacedim >::InternalDataBase > MappingQGeneric< dim, spacedim >::get_face_data ( const UpdateFlags flags, const hp::QCollection< dim - 1 > & quadrature ) const
overridevirtualinherited

Like get_data(), but in preparation for later calls to transform() or fill_fe_face_values() that will need information about mappings from the reference face to a face of a concrete cell.

Parameters
 update_flags A set of flags that define what is expected of the mapping class in future calls to transform() or the fill_fe_values() group of functions. This set of flags may contain flags that mappings do not know how to deal with (e.g., for information that is in fact computed by the finite element classes, such as UpdateFlags::update_values). Derived classes will need to store these flags, or at least that subset of flags that will require the mapping to perform any actions in fill_fe_values(), in InternalDataBase::update_each. quadrature The quadrature object for which mapping information will have to be computed. This includes the locations and weights of quadrature points.
Returns
A pointer to a newly created object of type InternalDataBase (or a derived class). Ownership of this object passes to the calling function.
Note
C++ allows that virtual functions in derived classes may return pointers to objects not of type InternalDataBase but in fact pointers to objects of classes derived from InternalDataBase. (This feature is called "covariant return types".) This is useful in some contexts where the calling is within the derived class and will immediately make use of the returned object, knowing its real (derived) type.

Reimplemented from Mapping< dim, spacedim >.

◆ get_face_data() [2/2]

 virtual std::unique_ptr< InternalDataBase > Mapping< dim, spacedim >::get_face_data ( const UpdateFlags update_flags, const Quadrature< dim - 1 > & quadrature ) const
protectedvirtualinherited
Deprecated:
Use the version taking a hp::QCollection argument.

◆ get_subface_data()

 virtual std::unique_ptr< typename Mapping< dim, spacedim >::InternalDataBase > MappingQGeneric< dim, spacedim >::get_subface_data ( const UpdateFlags flags, const Quadrature< dim - 1 > & quadrature ) const
overridevirtualinherited

Like get_data() and get_face_data(), but in preparation for later calls to transform() or fill_fe_subface_values() that will need information about mappings from the reference face to a child of a face (i.e., subface) of a concrete cell.

Parameters
 update_flags A set of flags that define what is expected of the mapping class in future calls to transform() or the fill_fe_values() group of functions. This set of flags may contain flags that mappings do not know how to deal with (e.g., for information that is in fact computed by the finite element classes, such as UpdateFlags::update_values). Derived classes will need to store these flags, or at least that subset of flags that will require the mapping to perform any actions in fill_fe_values(), in InternalDataBase::update_each. quadrature The quadrature object for which mapping information will have to be computed. This includes the locations and weights of quadrature points.
Returns
A pointer to a newly created object of type InternalDataBase (or a derived class). Ownership of this object passes to the calling function.
Note
C++ allows that virtual functions in derived classes may return pointers to objects not of type InternalDataBase but in fact pointers to objects of classes derived from InternalDataBase. (This feature is called "covariant return types".) This is useful in some contexts where the calling is within the derived class and will immediately make use of the returned object, knowing its real (derived) type.

Implements Mapping< dim, spacedim >.

◆ fill_fe_values()

 virtual CellSimilarity::Similarity MappingQGeneric< dim, spacedim >::fill_fe_values ( const typename Triangulation< dim, spacedim >::cell_iterator & cell, const CellSimilarity::Similarity cell_similarity, const Quadrature< dim > & quadrature, const typename Mapping< dim, spacedim >::InternalDataBase & internal_data, ::internal::FEValuesImplementation::MappingRelatedData< dim, spacedim > & output_data ) const
overridevirtualinherited

Compute information about the mapping from the reference cell to the real cell indicated by the first argument to this function. Derived classes will have to implement this function based on the kind of mapping they represent. It is called by FEValues::reinit().

Conceptually, this function's represents the application of the mapping $$\mathbf x=\mathbf F_K(\hat {\mathbf x})$$ from reference coordinates $$\mathbf\in [0,1]^d$$ to real space coordinates $$\mathbf x$$ for a given cell $$K$$. Its purpose is to compute the following kinds of data:

• Data that results from the application of the mapping itself, e.g., computing the location $$\mathbf x_q = \mathbf F_K(\hat{\mathbf x}_q)$$ of quadrature points on the real cell, and that is directly useful to users of FEValues, for example during assembly.
• Data that is necessary for finite element implementations to compute their shape functions on the real cell. To this end, the FEValues::reinit() function calls FiniteElement::fill_fe_values() after the current function, and the output of this function serves as input to FiniteElement::fill_fe_values(). Examples of information that needs to be computed here for use by the finite element classes is the Jacobian of the mapping, $$\hat\nabla \mathbf F_K(\hat{\mathbf x})$$ or its inverse, for example to transform the gradients of shape functions on the reference cell to the gradients of shape functions on the real cell.

The information computed by this function is used to fill the various member variables of the output argument of this function. Which of the member variables of that structure should be filled is determined by the update flags stored in the Mapping::InternalDataBase object passed to this function.

An extensive discussion of the interaction between this function and FEValues can be found in the How Mapping, FiniteElement, and FEValues work together documentation module.

Parameters
 [in] cell The cell of the triangulation for which this function is to compute a mapping from the reference cell to. [in] cell_similarity Whether or not the cell given as first argument is simply a translation, rotation, etc of the cell for which this function was called the most recent time. This information is computed simply by matching the vertices (as stored by the Triangulation) between the previous and the current cell. The value passed here may be modified by implementations of this function and should then be returned (see the discussion of the return value of this function). [in] quadrature A reference to the quadrature formula in use for the current evaluation. This quadrature object is the same as the one used when creating the internal_data object. The object is used both to map the location of quadrature points, as well as to compute the JxW values for each quadrature point (which involves the quadrature weights). [in] internal_data A reference to an object previously created by get_data() and that may be used to store information the mapping can compute once on the reference cell. See the documentation of the Mapping::InternalDataBase class for an extensive description of the purpose of these objects. [out] output_data A reference to an object whose member variables should be computed. Not all of the members of this argument need to be filled; which ones need to be filled is determined by the update flags stored inside the internal_data object.
Returns
An updated value of the cell_similarity argument to this function. The returned value will be used for the corresponding argument when FEValues::reinit() calls FiniteElement::fill_fe_values(). In most cases, derived classes will simply want to return the value passed for cell_similarity. However, implementations of this function may downgrade the level of cell similarity. This is, for example, the case for classes that take not only into account the locations of the vertices of a cell (as reported by the Triangulation), but also other information specific to the mapping. The purpose is that FEValues::reinit() can compute whether a cell is similar to the previous one only based on the cell's vertices, whereas the mapping may also consider displacement fields (e.g., in the MappingQ1Eulerian and MappingFEField classes). In such cases, the mapping may conclude that the previously computed cell similarity is too optimistic, and invalidate it for subsequent use in FiniteElement::fill_fe_values() by returning a less optimistic cell similarity value.
Note
FEValues ensures that this function is always called with the same pair of internal_data and output_data objects. In other words, if an implementation of this function knows that it has written a piece of data into the output argument in a previous call, then there is no need to copy it there again in a later call if the implementation knows that this is the same value.

Implements Mapping< dim, spacedim >.

◆ fill_fe_face_values() [1/2]

 virtual void MappingQGeneric< dim, spacedim >::fill_fe_face_values ( const typename Triangulation< dim, spacedim >::cell_iterator & cell, const unsigned int face_no, const hp::QCollection< dim - 1 > & quadrature, const typename Mapping< dim, spacedim >::InternalDataBase & internal_data, ::internal::FEValuesImplementation::MappingRelatedData< dim, spacedim > & output_data ) const
overridevirtualinherited

This function is the equivalent to Mapping::fill_fe_values(), but for faces of cells. See there for an extensive discussion of its purpose. It is called by FEFaceValues::reinit().

Parameters
 [in] cell The cell of the triangulation for which this function is to compute a mapping from the reference cell to. [in] face_no The number of the face of the given cell for which information is requested. [in] quadrature A reference to the quadrature formula in use for the current evaluation. This quadrature object is the same as the one used when creating the internal_data object. The object is used both to map the location of quadrature points, as well as to compute the JxW values for each quadrature point (which involves the quadrature weights). [in] internal_data A reference to an object previously created by get_data() and that may be used to store information the mapping can compute once on the reference cell. See the documentation of the Mapping::InternalDataBase class for an extensive description of the purpose of these objects. [out] output_data A reference to an object whose member variables should be computed. Not all of the members of this argument need to be filled; which ones need to be filled is determined by the update flags stored inside the internal_data object.

Reimplemented from Mapping< dim, spacedim >.

◆ fill_fe_face_values() [2/2]

 virtual void Mapping< dim, spacedim >::fill_fe_face_values ( const typename Triangulation< dim, spacedim >::cell_iterator & cell, const unsigned int face_no, const Quadrature< dim - 1 > & quadrature, const typename Mapping< dim, spacedim >::InternalDataBase & internal_data, internal::FEValuesImplementation::MappingRelatedData< dim, spacedim > & output_data ) const
protectedvirtualinherited
Deprecated:
Use the version taking a hp::QCollection argument.

◆ fill_fe_subface_values()

 virtual void MappingQGeneric< dim, spacedim >::fill_fe_subface_values ( const typename Triangulation< dim, spacedim >::cell_iterator & cell, const unsigned int face_no, const unsigned int subface_no, const Quadrature< dim - 1 > & quadrature, const typename Mapping< dim, spacedim >::InternalDataBase & internal_data, ::internal::FEValuesImplementation::MappingRelatedData< dim, spacedim > & output_data ) const
overridevirtualinherited

This function is the equivalent to Mapping::fill_fe_values(), but for subfaces (i.e., children of faces) of cells. See there for an extensive discussion of its purpose. It is called by FESubfaceValues::reinit().

Parameters
 [in] cell The cell of the triangulation for which this function is to compute a mapping from the reference cell to. [in] face_no The number of the face of the given cell for which information is requested. [in] subface_no The number of the child of a face of the given cell for which information is requested. [in] quadrature A reference to the quadrature formula in use for the current evaluation. This quadrature object is the same as the one used when creating the internal_data object. The object is used both to map the location of quadrature points, as well as to compute the JxW values for each quadrature point (which involves the quadrature weights). [in] internal_data A reference to an object previously created by get_data() and that may be used to store information the mapping can compute once on the reference cell. See the documentation of the Mapping::InternalDataBase class for an extensive description of the purpose of these objects. [out] output_data A reference to an object whose member variables should be computed. Not all of the members of this argument need to be filled; which ones need to be filled is determined by the update flags stored inside the internal_data object.

Implements Mapping< dim, spacedim >.

◆ fill_mapping_data_for_generic_points()

 void MappingQGeneric< dim, spacedim >::fill_mapping_data_for_generic_points ( const typename Triangulation< dim, spacedim >::cell_iterator & cell, const ArrayView< const Point< dim > > & unit_points, const UpdateFlags update_flags, ::internal::FEValuesImplementation::MappingRelatedData< dim, spacedim > & output_data ) const
inherited

As opposed to the other fill_fe_values() and fill_fe_face_values() functions that rely on pre-computed information of InternalDataBase, this function chooses the flexible evaluation path on the cell and points passed in to the current function.

Parameters
 [in] cell The cell where to evaluate the mapping [in] unit_points The points in reference coordinates where the transformation (Jacobians, positions) should be computed. [in] update_flags The kind of information that should be computed. [out] output_data A struct containing the evaluated quantities such as the Jacobian resulting from application of the mapping on the given cell with its underlying manifolds.

◆ transform_real_to_unit_cell_internal() [1/7]

 Point< dim > MappingQGeneric< dim, spacedim >::transform_real_to_unit_cell_internal ( const typename Triangulation< dim, spacedim >::cell_iterator & cell, const Point< spacedim > & p, const Point< dim > & initial_p_unit ) const
protectedinherited

Transform the point p on the real cell to the corresponding point on the unit cell cell by a Newton iteration.

◆ transform_real_to_unit_cell_internal() [2/7]

 Point< 1 > MappingQGeneric< 1, 1 >::transform_real_to_unit_cell_internal ( const Triangulation< 1, 1 >::cell_iterator & cell, const Point< 1 > & p, const Point< 1 > & initial_p_unit ) const
protectedinherited

Definition at line 474 of file mapping_q_generic.cc.

◆ transform_real_to_unit_cell_internal() [3/7]

 Point< 2 > MappingQGeneric< 2, 2 >::transform_real_to_unit_cell_internal ( const Triangulation< 2, 2 >::cell_iterator & cell, const Point< 2 > & p, const Point< 2 > & initial_p_unit ) const
protectedinherited

Definition at line 494 of file mapping_q_generic.cc.

◆ transform_real_to_unit_cell_internal() [4/7]

 Point< 3 > MappingQGeneric< 3, 3 >::transform_real_to_unit_cell_internal ( const Triangulation< 3, 3 >::cell_iterator & cell, const Point< 3 > & p, const Point< 3 > & initial_p_unit ) const
protectedinherited

Definition at line 512 of file mapping_q_generic.cc.

◆ transform_real_to_unit_cell_internal() [5/7]

 Point< 1 > MappingQGeneric< 1, 2 >::transform_real_to_unit_cell_internal ( const Triangulation< 1, 2 >::cell_iterator & cell, const Point< 2 > & p, const Point< 1 > & initial_p_unit ) const
protectedinherited

Definition at line 530 of file mapping_q_generic.cc.

◆ transform_real_to_unit_cell_internal() [6/7]

 Point< 2 > MappingQGeneric< 2, 3 >::transform_real_to_unit_cell_internal ( const Triangulation< 2, 3 >::cell_iterator & cell, const Point< 3 > & p, const Point< 2 > & initial_p_unit ) const
protectedinherited

Definition at line 561 of file mapping_q_generic.cc.

◆ transform_real_to_unit_cell_internal() [7/7]

 Point< 1 > MappingQGeneric< 1, 3 >::transform_real_to_unit_cell_internal ( const Triangulation< 1, 3 >::cell_iterator & , const Point< 3 > & , const Point< 1 > & ) const
protectedinherited

Definition at line 590 of file mapping_q_generic.cc.

◆ add_line_support_points()

 virtual void MappingQGeneric< dim, spacedim >::add_line_support_points ( const typename Triangulation< dim, spacedim >::cell_iterator & cell, std::vector< Point< spacedim > > & a ) const
protectedvirtualinherited

Append the support points of all shape functions located on bounding lines of the given cell to the vector a. Points located on the vertices of a line are not included.

This function uses the underlying manifold object of the line (or, if none is set, of the cell) for the location of the requested points. This function is usually called by compute_mapping_support_points() function.

This function is made virtual in order to allow derived classes to choose shape function support points differently than the present class, which chooses the points as interpolation points on the boundary.

◆ add_quad_support_points() [1/3]

 virtual void MappingQGeneric< dim, spacedim >::add_quad_support_points ( const typename Triangulation< dim, spacedim >::cell_iterator & cell, std::vector< Point< spacedim > > & a ) const
protectedvirtualinherited

Append the support points of all shape functions located on bounding faces (quads in 3d) of the given cell to the vector a. This function is only defined for dim=3. Points located on the vertices or lines of a quad are not included.

This function uses the underlying manifold object of the quad (or, if none is set, of the cell) for the location of the requested points. This function is usually called by compute_mapping_support_points().

This function is made virtual in order to allow derived classes to choose shape function support points differently than the present class, which chooses the points as interpolation points on the boundary.

◆ add_quad_support_points() [2/3]

 void MappingQGeneric< 3, 3 >::add_quad_support_points ( const Triangulation< 3, 3 >::cell_iterator & cell, std::vector< Point< 3 > > & a ) const
protectedinherited

Definition at line 1540 of file mapping_q_generic.cc.

◆ add_quad_support_points() [3/3]

 void MappingQGeneric< 2, 3 >::add_quad_support_points ( const Triangulation< 2, 3 >::cell_iterator & cell, std::vector< Point< 3 > > & a ) const
protectedinherited

Definition at line 1609 of file mapping_q_generic.cc.

◆ get_center()

 virtual Point< spacedim > Mapping< dim, spacedim >::get_center ( const typename Triangulation< dim, spacedim >::cell_iterator & cell, const bool map_center_of_reference_cell = true ) const
virtualinherited

Return the mapped center of a cell.

If you are using a (bi-,tri-)linear mapping that preserves vertex locations, this function simply returns the value also produced by cell->center(). However, there are also mappings that add displacements or choose completely different locations, e.g., MappingQEulerian, MappingQ1Eulerian, or MappingFEField, and mappings based on high order polynomials, for which the center may not coincide with the average of the vertex locations.

By default, this function returns the push forward of the center of the reference cell. If the parameter map_center_of_reference_cell is set to false, than the return value will be the average of the vertex locations, as returned by the get_vertices() method.

Parameters
 [in] cell The cell for which you want to compute the center [in] map_center_of_reference_cell A flag that switches the algorithm for the computation of the cell center from transform_unit_to_real_cell() applied to the center of the reference cell to computing the vertex averages.

◆ project_real_point_to_unit_point_on_face()

 Point< dim - 1 > Mapping< dim, spacedim >::project_real_point_to_unit_point_on_face ( const typename Triangulation< dim, spacedim >::cell_iterator & cell, const unsigned int face_no, const Point< spacedim > & p ) const
inherited

Transform the point p on the real cell to the corresponding point on the reference cell, and then project this point to a (dim-1)-dimensional point in the coordinate system of the face with the given face number face_no. Ideally the point p is near the face face_no, but any point in the cell can technically be projected.

This function does not make physical sense when dim=1, so it throws an exception in this case.

◆ ExcInvalidData()

 static ::ExceptionBase & Mapping< dim, spacedim >::ExcInvalidData ( )
staticinherited

Exception

◆ ExcTransformationFailed()

 static ::ExceptionBase & Mapping< dim, spacedim >::ExcTransformationFailed ( )
staticinherited

Computing the mapping between a real space point and a point in reference space failed, typically because the given point lies outside the cell where the inverse mapping is not unique.

Note
The message that will be printed by this exception reads:
"Computing the mapping between a real space point and a point in reference " "space failed, typically because the given point lies outside the cell " "where the inverse mapping is not unique."

◆ ExcDistortedMappedCell()

 static ::ExceptionBase & Mapping< dim, spacedim >::ExcDistortedMappedCell ( Point< spacedim > arg1, double arg2, int arg3 )
staticinherited

deal.II assumes the Jacobian determinant to be positive. When the cell geometry is distorted under the image of the mapping, the mapping becomes invalid and this exception is thrown.

Note
The message that will be printed by this exception reads:
<< "The image of the mapping applied to cell with center [" << arg1 << "] is distorted. The cell geometry or the " << "mapping are invalid, giving a non-positive volume " << "fraction of " << arg2 << " in quadrature point " << arg3 << "."

◆ mapping_q_eulerian

template<int dim, typename VectorType = Vector<double>, int spacedim = dim>
 const MappingQEulerian& MappingQEulerian< dim, VectorType, spacedim >::MappingQEulerianGeneric::mapping_q_eulerian
private

Reference to the surrounding object off of which we live.

Definition at line 240 of file mapping_q_eulerian.h.

◆ support_quadrature

template<int dim, typename VectorType = Vector<double>, int spacedim = dim>
 const SupportQuadrature MappingQEulerian< dim, VectorType, spacedim >::MappingQEulerianGeneric::support_quadrature
private

A member variable holding the quadrature points in the right order.

Definition at line 259 of file mapping_q_eulerian.h.

◆ fe_values

template<int dim, typename VectorType = Vector<double>, int spacedim = dim>
 FEValues MappingQEulerian< dim, VectorType, spacedim >::MappingQEulerianGeneric::fe_values
mutableprivate

FEValues object used to query the given finite element field at the support points in the reference configuration.

The variable is marked as mutable since we have to call FEValues::reinit from compute_mapping_support_points, a function that is 'const'.

Definition at line 269 of file mapping_q_eulerian.h.

◆ fe_values_mutex

template<int dim, typename VectorType = Vector<double>, int spacedim = dim>
 Threads::Mutex MappingQEulerian< dim, VectorType, spacedim >::MappingQEulerianGeneric::fe_values_mutex
mutableprivate

A variable to guard access to the fe_values variable.

Definition at line 274 of file mapping_q_eulerian.h.

◆ polynomial_degree

 const unsigned int MappingQGeneric< dim, spacedim >::polynomial_degree
protectedinherited

The degree of the polynomials used as shape functions for the mapping of cells.

Definition at line 642 of file mapping_q_generic.h.

◆ line_support_points

 const std::vector > MappingQGeneric< dim, spacedim >::line_support_points
protectedinherited

Definition at line 652 of file mapping_q_generic.h.

◆ polynomials_1d

 const std::vector > MappingQGeneric< dim, spacedim >::polynomials_1d
protectedinherited

Definition at line 659 of file mapping_q_generic.h.

◆ renumber_lexicographic_to_hierarchic

 const std::vector MappingQGeneric< dim, spacedim >::renumber_lexicographic_to_hierarchic
protectedinherited

Definition at line 666 of file mapping_q_generic.h.

◆ unit_cell_support_points

 const std::vector > MappingQGeneric< dim, spacedim >::unit_cell_support_points
protectedinherited

Definition at line 678 of file mapping_q_generic.h.

◆ support_point_weights_perimeter_to_interior

 const std::vector > MappingQGeneric< dim, spacedim >::support_point_weights_perimeter_to_interior
protectedinherited

A vector of tables of weights by which we multiply the locations of the support points on the perimeter of an object (line, quad, hex) to get the location of interior support points.

Access into this table is by [structdim-1], i.e., use 0 to access the support point weights on a line (i.e., the interior points of the GaussLobatto quadrature), use 1 to access the support point weights from to perimeter to the interior of a quad, and use 2 to access the support point weights from the perimeter to the interior of a hex.

The table itself contains as many columns as there are surrounding points to a particular object (2 for a line, 4 + 4*(degree-1) for a quad, 8 + 12*(degree-1) + 6*(degree-1)*(degree-1) for a hex) and as many rows as there are strictly interior points.

For the definition of this table see equation (8) of the ‘mapping’ report.

Definition at line 700 of file mapping_q_generic.h.

◆ support_point_weights_cell

 const Table<2, double> MappingQGeneric< dim, spacedim >::support_point_weights_cell
protectedinherited

A table of weights by which we multiply the locations of the vertex points of the cell to get the location of all additional support points, both on lines, quads, and hexes (as appropriate). This data structure is used when we fill all support points at once, which is the case if the same manifold is attached to all sub-entities of a cell. This way, we can avoid some of the overhead in transforming data for mappings.

The table has as many rows as there are vertices to the cell (2 in 1D, 4 in 2D, 8 in 3D), and as many rows as there are additional support points in the mapping, i.e., (degree+1)^dim - 2^dim.

Definition at line 714 of file mapping_q_generic.h.

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