Loading [MathJax]/extensions/TeX/AMSsymbols.js
 deal.II version GIT relicensing-2684-gc61376a70f 2025-02-22 15:30:00+00:00
\(\newcommand{\dealvcentcolon}{\mathrel{\mathop{:}}}\) \(\newcommand{\dealcoloneq}{\dealvcentcolon\mathrel{\mkern-1.2mu}=}\) \(\newcommand{\jump}[1]{\left[\!\left[ #1 \right]\!\right]}\) \(\newcommand{\average}[1]{\left\{\!\left\{ #1 \right\}\!\right\}}\)
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages Concepts
mapping_fe_field.h
Go to the documentation of this file.
1// ------------------------------------------------------------------------
2//
3// SPDX-License-Identifier: LGPL-2.1-or-later
4// Copyright (C) 2015 - 2024 by the deal.II authors
5//
6// This file is part of the deal.II library.
7//
8// Part of the source code is dual licensed under Apache-2.0 WITH
9// LLVM-exception OR LGPL-2.1-or-later. Detailed license information
10// governing the source code and code contributions can be found in
11// LICENSE.md and CONTRIBUTING.md at the top level directory of deal.II.
12//
13// ------------------------------------------------------------------------
14
15#ifndef dealii_mapping_fe_field_h
16#define dealii_mapping_fe_field_h
17
18
19#include <deal.II/base/config.h>
20
22#include <deal.II/base/mutex.h>
23
25
26#include <deal.II/fe/fe.h>
28#include <deal.II/fe/mapping.h>
29
30#include <deal.II/lac/vector.h>
31
32#include <boost/container/small_vector.hpp>
33
34#include <array>
35
36
38
39
80template <int dim, int spacedim = dim, typename VectorType = Vector<double>>
81class MappingFEField : public Mapping<dim, spacedim>
82{
83public:
117 const VectorType &euler_vector,
118 const ComponentMask &mask = {});
119
130 const std::vector<VectorType> &euler_vector,
131 const ComponentMask &mask = {});
132
142 const ComponentMask &mask = {});
143
148
153 virtual std::unique_ptr<Mapping<dim, spacedim>>
154 clone() const override;
155
161 virtual bool
162 preserves_vertex_locations() const override;
163
164 virtual bool
165 is_compatible_with(const ReferenceCell &reference_cell) const override;
166
174 virtual boost::container::small_vector<Point<spacedim>,
175#ifndef _MSC_VER
176 ReferenceCells::max_n_vertices<dim>()
177#else
179#endif
180 >
182 const override;
183
189 // for documentation, see the Mapping base class
190 virtual Point<spacedim>
193 const Point<dim> &p) const override;
194
195 // for documentation, see the Mapping base class
196 virtual Point<dim>
199 const Point<spacedim> &p) const override;
200
210 // for documentation, see the Mapping base class
211 virtual void
212 transform(const ArrayView<const Tensor<1, dim>> &input,
213 const MappingKind kind,
215 const ArrayView<Tensor<1, spacedim>> &output) const override;
216
217 // for documentation, see the Mapping base class
218 virtual void
220 const MappingKind kind,
222 const ArrayView<Tensor<2, spacedim>> &output) const override;
223
224 // for documentation, see the Mapping base class
225 virtual void
226 transform(const ArrayView<const Tensor<2, dim>> &input,
227 const MappingKind kind,
229 const ArrayView<Tensor<2, spacedim>> &output) const override;
230
231 // for documentation, see the Mapping base class
232 virtual void
234 const MappingKind kind,
236 const ArrayView<Tensor<3, spacedim>> &output) const override;
237
238 // for documentation, see the Mapping base class
239 virtual void
240 transform(const ArrayView<const Tensor<3, dim>> &input,
241 const MappingKind kind,
243 const ArrayView<Tensor<3, spacedim>> &output) const override;
244
253 unsigned int
254 get_degree() const;
255
261 get_component_mask() const;
262
267
268private:
274 // documentation can be found in Mapping::requires_update_flags()
275 virtual UpdateFlags
276 requires_update_flags(const UpdateFlags update_flags) const override;
277
278public:
290 class InternalData : public Mapping<dim, spacedim>::InternalDataBase
291 {
292 public:
297 const ComponentMask &mask);
298
299 // Documentation see Mapping::InternalDataBase.
300 virtual void
301 reinit(const UpdateFlags update_flags,
302 const Quadrature<dim> &quadrature) override;
303
308 const double &
309 shape(const unsigned int qpoint, const unsigned int shape_nr) const;
310
314 double &
315 shape(const unsigned int qpoint, const unsigned int shape_nr);
316
320 const Tensor<1, dim> &
321 derivative(const unsigned int qpoint, const unsigned int shape_nr) const;
322
327 derivative(const unsigned int qpoint, const unsigned int shape_nr);
328
332 const Tensor<2, dim> &
333 second_derivative(const unsigned int qpoint,
334 const unsigned int shape_nr) const;
335
340 second_derivative(const unsigned int qpoint, const unsigned int shape_nr);
341
345 const Tensor<3, dim> &
346 third_derivative(const unsigned int qpoint,
347 const unsigned int shape_nr) const;
348
353 third_derivative(const unsigned int qpoint, const unsigned int shape_nr);
354
358 const Tensor<4, dim> &
359 fourth_derivative(const unsigned int qpoint,
360 const unsigned int shape_nr) const;
361
366 fourth_derivative(const unsigned int qpoint, const unsigned int shape_nr);
367
371 virtual std::size_t
372 memory_consumption() const override;
373
378
384 std::vector<double> shape_values;
385
391 std::vector<Tensor<1, dim>> shape_derivatives;
392
399 std::vector<Tensor<2, dim>> shape_second_derivatives;
400
407 std::vector<Tensor<3, dim>> shape_third_derivatives;
408
415 std::vector<Tensor<4, dim>> shape_fourth_derivatives;
416
430 std::array<std::vector<Tensor<1, dim>>,
433
440 unsigned int n_shape_functions;
441
455
465 mutable std::vector<DerivativeForm<1, dim, spacedim>> covariant;
466
474 mutable std::vector<DerivativeForm<1, dim, spacedim>> contravariant;
475
480 mutable std::vector<double> volume_elements;
481
485 mutable std::vector<double> quadrature_weights;
486
490 mutable std::vector<std::vector<Tensor<1, spacedim>>> aux;
491
495 mutable std::vector<types::global_dof_index> local_dof_indices;
496
500 mutable std::vector<double> local_dof_values;
501 };
502
503protected:
504 // documentation can be found in Mapping::get_data()
505 virtual std::unique_ptr<typename Mapping<dim, spacedim>::InternalDataBase>
506 get_data(const UpdateFlags, const Quadrature<dim> &quadrature) const override;
507
508 using Mapping<dim, spacedim>::get_face_data;
509
510 // documentation can be found in Mapping::get_face_data()
511 virtual std::unique_ptr<typename Mapping<dim, spacedim>::InternalDataBase>
512 get_face_data(const UpdateFlags flags,
513 const hp::QCollection<dim - 1> &quadrature) const override;
514
515 // documentation can be found in Mapping::get_subface_data()
516 virtual std::unique_ptr<typename Mapping<dim, spacedim>::InternalDataBase>
517 get_subface_data(const UpdateFlags flags,
518 const Quadrature<dim - 1> &quadrature) const override;
519
520 // documentation can be found in Mapping::fill_fe_values()
524 const CellSimilarity::Similarity cell_similarity,
525 const Quadrature<dim> &quadrature,
526 const typename Mapping<dim, spacedim>::InternalDataBase &internal_data,
528 &output_data) const override;
529
530 using Mapping<dim, spacedim>::fill_fe_face_values;
531
532 // documentation can be found in Mapping::fill_fe_face_values()
533 virtual void
536 const unsigned int face_no,
537 const hp::QCollection<dim - 1> &quadrature,
538 const typename Mapping<dim, spacedim>::InternalDataBase &internal_data,
540 &output_data) const override;
541
542 // documentation can be found in Mapping::fill_fe_subface_values()
543 virtual void
546 const unsigned int face_no,
547 const unsigned int subface_no,
548 const Quadrature<dim - 1> &quadrature,
549 const typename Mapping<dim, spacedim>::InternalDataBase &internal_data,
551 &output_data) const override;
552
553 virtual void
557 const typename Mapping<dim, spacedim>::InternalDataBase &internal_data,
559 &output_data) const override;
560
570
575 const bool uses_level_dofs;
576
580 std::vector<ObserverPointer<const VectorType,
583
590
591private:
609
627 const Point<spacedim> &p,
628 const Point<dim> &starting_guess,
629 InternalData &mdata) const;
630
634 void
638 &data) const;
639
640 /*
641 * Which components to use for the mapping.
642 */
644
654 std::vector<unsigned int> fe_to_real;
655
661
666
667 void
668 compute_face_data(const unsigned int n_original_q_points,
669 InternalData &data) const;
670
671 // Declare other MappingFEField classes friends.
672 template <int, int, class>
673 friend class MappingFEField;
674};
675
678/* -------------- declaration of explicit specializations ------------- */
679
680#ifndef DOXYGEN
681
682#endif // DOXYGEN
683
685
686#endif
const Tensor< 3, dim > & third_derivative(const unsigned int qpoint, const unsigned int shape_nr) const
std::array< std::vector< Tensor< 1, dim > >, GeometryInfo< dim >::faces_per_cell *(dim - 1)> unit_tangentials
std::vector< double > quadrature_weights
std::vector< DerivativeForm< 1, dim, spacedim > > contravariant
std::vector< std::vector< Tensor< 1, spacedim > > > aux
std::vector< Tensor< 4, dim > > shape_fourth_derivatives
ObserverPointer< const FiniteElement< dim, spacedim > > fe
std::vector< Tensor< 3, dim > > shape_third_derivatives
const Tensor< 2, dim > & second_derivative(const unsigned int qpoint, const unsigned int shape_nr) const
std::vector< types::global_dof_index > local_dof_indices
virtual void reinit(const UpdateFlags update_flags, const Quadrature< dim > &quadrature) override
virtual std::size_t memory_consumption() const override
const Tensor< 4, dim > & fourth_derivative(const unsigned int qpoint, const unsigned int shape_nr) const
std::vector< Tensor< 1, dim > > shape_derivatives
std::vector< DerivativeForm< 1, dim, spacedim > > covariant
const Tensor< 1, dim > & derivative(const unsigned int qpoint, const unsigned int shape_nr) const
std::vector< double > local_dof_values
const double & shape(const unsigned int qpoint, const unsigned int shape_nr) const
std::vector< double > shape_values
std::vector< Tensor< 2, dim > > shape_second_derivatives
std::vector< double > volume_elements
std::vector< unsigned int > fe_to_real
virtual std::unique_ptr< typename Mapping< dim, spacedim >::InternalDataBase > get_subface_data(const UpdateFlags flags, const Quadrature< dim - 1 > &quadrature) const override
const ComponentMask fe_mask
void update_internal_dofs(const typename Triangulation< dim, spacedim >::cell_iterator &cell, const typename MappingFEField< dim, spacedim, VectorType >::InternalData &data) const
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 Point< spacedim > transform_unit_to_real_cell(const typename Triangulation< dim, spacedim >::cell_iterator &cell, const Point< dim > &p) const override
virtual bool preserves_vertex_locations() const override
Point< dim > do_transform_real_to_unit_cell(const typename Triangulation< dim, spacedim >::cell_iterator &cell, const Point< spacedim > &p, const Point< dim > &starting_guess, InternalData &mdata) const
void compute_face_data(const unsigned int n_original_q_points, InternalData &data) const
virtual Point< dim > transform_real_to_unit_cell(const typename Triangulation< dim, spacedim >::cell_iterator &cell, const Point< spacedim > &p) 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 void fill_fe_immersed_surface_values(const typename Triangulation< dim, spacedim >::cell_iterator &cell, const NonMatching::ImmersedSurfaceQuadrature< dim > &quadrature, const typename Mapping< dim, spacedim >::InternalDataBase &internal_data, internal::FEValuesImplementation::MappingRelatedData< dim, spacedim > &output_data) const override
friend class MappingFEField
virtual std::unique_ptr< typename Mapping< dim, spacedim >::InternalDataBase > get_data(const UpdateFlags, const Quadrature< dim > &quadrature) const override
virtual bool is_compatible_with(const ReferenceCell &reference_cell) const override
std::vector< ObserverPointer< const VectorType, MappingFEField< dim, spacedim, VectorType > > > euler_vector
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
ReferenceCell reference_cell
unsigned int get_degree() const
virtual UpdateFlags requires_update_flags(const UpdateFlags update_flags) const override
Point< spacedim > do_transform_unit_to_real_cell(const InternalData &mdata) const
Threads::Mutex fe_values_mutex
const bool uses_level_dofs
ComponentMask get_component_mask() const
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
ObserverPointer< const DoFHandler< dim, spacedim >, MappingFEField< dim, spacedim, VectorType > > euler_dof_handler
FEValues< dim, spacedim > fe_values
virtual std::unique_ptr< Mapping< dim, spacedim > > clone() const override
virtual boost::container::small_vector< Point< spacedim >, ReferenceCells::max_n_vertices< dim >() > get_vertices(const typename Triangulation< dim, spacedim >::cell_iterator &cell) 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
Abstract base class for mapping classes.
Definition mapping.h:320
Definition point.h:113
#define DEAL_II_NAMESPACE_OPEN
Definition config.h:522
#define DEAL_II_NAMESPACE_CLOSE
Definition config.h:523
#define DeclException0(Exception0)
static ::ExceptionBase & ExcInactiveCell()
UpdateFlags
MappingKind
Definition mapping.h:81
std::vector< index_type > data
Definition mpi.cc:740