https://mooseframework.inl.gov
MortarUtils.h
Go to the documentation of this file.
1 //* This file is part of the MOOSE framework
2 //* https://mooseframework.inl.gov
3 //*
4 //* All rights reserved, see COPYRIGHT for full restrictions
5 //* https://github.com/idaholab/moose/blob/master/COPYRIGHT
6 //*
7 //* Licensed under LGPL 2.1, please see LICENSE for details
8 //* https://www.gnu.org/licenses/lgpl-2.1.html
9 
10 #pragma once
11 
12 #include "Assembly.h"
13 #include "FEProblemBase.h"
14 #include "MaterialBase.h"
15 #include "MaterialWarehouse.h"
17 
18 #include "libmesh/quadrature.h"
19 #include "libmesh/elem.h"
20 #include "libmesh/point.h"
21 
22 namespace Moose
23 {
24 namespace Mortar
25 {
29 std::vector<unsigned int> getMortarSubElementNodeIndices(const Elem & parent_elem,
30  unsigned int sub_elem);
31 
47 void projectQPoints3d(const Elem * msm_elem,
48  const Elem * primal_elem,
49  unsigned int sub_elem_index,
50  const QBase & qrule_msm,
51  std::vector<Point> & q_pts);
52 
62 void mapQPoints3dFromReference(const Elem & mortar_segment_elem,
63  const MortarSegmentReferencePoints & reference_points,
64  const QBase & qrule_msm,
65  std::vector<Point> & secondary_q_pts,
66  std::vector<Point> & primary_q_pts);
67 
89 template <typename Iterators, typename Consumers, typename ActionFunctor>
90 void
92  const Iterators & secondary_elems_to_mortar_segments,
93  Assembly & assembly,
94  SubProblem & subproblem,
95  FEProblemBase & fe_problem,
96  const AutomaticMortarGeneration & amg,
97  const bool displaced,
98  const Consumers & consumers,
99  const THREAD_ID tid,
100  const std::map<SubdomainID, std::deque<MaterialBase *>> & secondary_ip_sub_to_mats,
101  const std::map<SubdomainID, std::deque<MaterialBase *>> & primary_ip_sub_to_mats,
102  const std::deque<MaterialBase *> & secondary_boundary_mats,
103  const ActionFunctor act,
104  const bool reinit_mortar_user_objects)
105 {
106  const auto & primary_secondary_boundary_id_pair = amg.primarySecondaryBoundaryIDPair();
107 
108  const auto primary_boundary_id = primary_secondary_boundary_id_pair.first;
109  const auto secondary_boundary_id = primary_secondary_boundary_id_pair.second;
110 
111  // For 3D mortar get index for retrieving sub-element info
112  unsigned int secondary_sub_elem_index = 0, primary_sub_elem_index = 0;
113  if (amg.dim() == 3)
114  {
115  secondary_sub_elem_index = amg.mortarSegmentMesh().get_elem_integer_index("secondary_sub_elem");
116  primary_sub_elem_index = amg.mortarSegmentMesh().get_elem_integer_index("primary_sub_elem");
117  }
118 
119  // The mortar quadrature rule. Necessary for sizing the number of custom points for re-init'ing
120  // the secondary interior, primary interior, and secondary face elements
121  const auto & qrule_msm = assembly.qRuleMortar();
122 
123  // The element Jacobian times weights
124  const auto & JxW_msm = assembly.jxWMortar();
125 
126  // Set required material properties
127  std::unordered_set<unsigned int> needed_mat_props;
128  for (const auto & consumer : consumers)
129  {
130  const auto & mp_deps = consumer->getMatPropDependencies();
131  needed_mat_props.insert(mp_deps.begin(), mp_deps.end());
132  }
133  fe_problem.setActiveMaterialProperties(needed_mat_props, /*tid=*/tid);
134 
135  // Loop through secondary elements, accumulating quadrature points for all corresponding mortar
136  // segments
137  for (const auto elem_to_msm : secondary_elems_to_mortar_segments)
138  {
139  const Elem * secondary_face_elem = subproblem.mesh().getMesh().elem_ptr(elem_to_msm->first);
140  // Set the secondary interior parent and side ids
141  const Elem * secondary_ip = secondary_face_elem->interior_parent();
142  unsigned int secondary_side_id = secondary_ip->which_side_am_i(secondary_face_elem);
143  const auto & secondary_ip_mats =
144  libmesh_map_find(secondary_ip_sub_to_mats, secondary_ip->subdomain_id());
145 
146  const auto & msm_elems = elem_to_msm->second;
147 
148  // Need to be able to check if there's edge dropping, in 3D we can't just compare
149 
150  // Map mortar segment integration points to primary and secondary sides
151  // Note points for segments will be held contiguously to allow reinit without moving
152  // cleaner way to do this would be with contiguously allocated 2D array but would either
153  // need to move into vector for calling
154  std::vector<Point> secondary_xi_pts, primary_xi_pts;
155 
156  std::vector<Real> JxW;
157 
158 #ifndef NDEBUG
159  unsigned int expected_length = 0;
160 #endif
161 
162  // Loop through contributing msm elements
163  for (const auto msm_elem : msm_elems)
164  {
165  // Initialize mortar segment quadrature and compute JxW
166  subproblem.reinitMortarElem(msm_elem, tid);
167 
168  // Get a reference to the MortarSegmentInfo for this Elem.
169  const MortarSegmentInfo & msinfo = amg.mortarSegmentMeshElemToInfo().at(msm_elem);
170 
171  if (msm_elem->dim() == 1)
172  {
173  for (unsigned int qp = 0; qp < qrule_msm->n_points(); qp++)
174  {
175  const Real eta = qrule_msm->qp(qp)(0);
176 
177  // Map quadrature points to secondary side
178  const Real xi1_eta = 0.5 * (1 - eta) * msinfo.xi1_a + 0.5 * (1 + eta) * msinfo.xi1_b;
179  secondary_xi_pts.push_back(xi1_eta);
180 
181  // Map quadrature points to primary side
182  const Real xi2_eta = 0.5 * (1 - eta) * msinfo.xi2_a + 0.5 * (1 + eta) * msinfo.xi2_b;
183  primary_xi_pts.push_back(xi2_eta);
184  }
185  }
186  else
187  {
188  if (amg.mortar3DQpMapping() == Mortar3DQuadraturePointMapping::REFERENCE_INTERPOLATION)
189  mapQPoints3dFromReference(*msm_elem,
190  amg.mortarSegmentReferencePoints(*msm_elem),
191  *qrule_msm,
192  secondary_xi_pts,
193  primary_xi_pts);
194  else
195  {
196  // Map independently because the parent-face linearizations differ.
197  projectQPoints3d(msm_elem,
198  msinfo.secondary_elem,
199  secondary_sub_elem_index,
200  *qrule_msm,
201  secondary_xi_pts);
203  msm_elem, msinfo.primary_elem, primary_sub_elem_index, *qrule_msm, primary_xi_pts);
204  }
205  }
206 
207  // If edge dropping case we need JxW on the msm to compute dual shape functions
208  if (assembly.needDual())
209  std::copy(std::begin(JxW_msm), std::end(JxW_msm), std::back_inserter(JxW));
210 
211 #ifndef NDEBUG
212  // Verify that the expected number of quadrature points have been inserted
213  expected_length += qrule_msm->n_points();
214  mooseAssert(secondary_xi_pts.size() == expected_length,
215  "Fewer than expected secondary quadrature points");
216  mooseAssert(primary_xi_pts.size() == expected_length,
217  "Fewer than expected primary quadrature points");
218 
219  if (assembly.needDual())
220  mooseAssert(JxW.size() == expected_length, "Fewer than expected JxW values computed");
221 #endif
222  } // end loop over msm_elems
223 
224  // Reinit dual shape coeffs if dual shape functions needed
225  // lindsayad: is there any need to make sure we do this on both reference and displaced?
226  if (assembly.needDual())
227  assembly.reinitDual(secondary_face_elem, secondary_xi_pts, JxW);
228 
229  unsigned int n_segment = 0;
230 
231  // Loop through contributing msm elements, computing residual and Jacobian this time
232  for (const auto msm_elem : msm_elems)
233  {
234  n_segment++;
235 
236  // These will hold quadrature points for each segment
237  std::vector<Point> xi1_pts, xi2_pts;
238 
239  // Get a reference to the MortarSegmentInfo for this Elem.
240  const MortarSegmentInfo & msinfo = amg.mortarSegmentMeshElemToInfo().at(msm_elem);
241 
242  // Set the primary interior parent and side ids
243  const Elem * primary_ip = msinfo.primary_elem->interior_parent();
244  unsigned int primary_side_id = primary_ip->which_side_am_i(msinfo.primary_elem);
245  const auto & primary_ip_mats =
246  libmesh_map_find(primary_ip_sub_to_mats, primary_ip->subdomain_id());
247 
248  // Compute a JxW for the actual mortar segment element (not the lower dimensional element on
249  // the secondary face!)
250  subproblem.reinitMortarElem(msm_elem, tid);
251 
252  // Extract previously computed mapped quadrature points for secondary and primary face
253  // elements
254  const unsigned int start = (n_segment - 1) * qrule_msm->n_points();
255  const unsigned int end = n_segment * qrule_msm->n_points();
256  xi1_pts.insert(
257  xi1_pts.begin(), secondary_xi_pts.begin() + start, secondary_xi_pts.begin() + end);
258  xi2_pts.insert(xi2_pts.begin(), primary_xi_pts.begin() + start, primary_xi_pts.begin() + end);
259 
260  const Elem * reinit_secondary_elem = secondary_ip;
261 
262  // If we're on the displaced mesh, we need to get the corresponding undisplaced elem before
263  // calling fe_problem.reinitElemFaceRef
264  if (displaced)
265  reinit_secondary_elem = fe_problem.mesh().elemPtr(reinit_secondary_elem->id());
266 
267  // NOTE to future developers: it can be tempting to try and change calls on fe_problem to
268  // calls on subproblem because it seems wasteful to reinit data on both the reference and
269  // displaced problems regardless of whether we are running on a "reference" or displaced
270  // mortar mesh. But making such changes opens a can of worms. For instance, a user may define
271  // constant material properties that are used by mortar constraints and not think about
272  // whether they should set `use_displaced_mesh` for the material (and indeed the user may want
273  // those constant properties usable by both reference and displaced consumer objects). If we
274  // reinit that material and we haven't reinit'd it's assembly member, then we will get things
275  // like segmentation faults. Moreover, one can easily imagine that a material may couple in
276  // variables so we need to make sure those are reinit'd too. So even though it's inefficient,
277  // it's safest to keep making calls on fe_problem instead of subproblem
278 
279  // reinit the variables/residuals/jacobians on the secondary interior
280  fe_problem.reinitElemFaceRef(
281  reinit_secondary_elem, secondary_side_id, TOLERANCE, &xi1_pts, nullptr, tid);
282 
283  const Elem * reinit_primary_elem = primary_ip;
284 
285  // If we're on the displaced mesh, we need to get the corresponding undisplaced elem before
286  // calling fe_problem.reinitElemFaceRef
287  if (displaced)
288  reinit_primary_elem = fe_problem.mesh().elemPtr(reinit_primary_elem->id());
289 
290  // reinit the variables/residuals/jacobians on the primary interior
291  fe_problem.reinitNeighborFaceRef(
292  reinit_primary_elem, primary_side_id, TOLERANCE, &xi2_pts, nullptr, tid);
293 
294  // reinit neighbor materials, but be careful not to execute stateful materials since
295  // conceptually they don't make sense with mortar (they're not interpolary)
296  fe_problem.reinitMaterialsNeighbor(primary_ip->subdomain_id(),
297  /*tid=*/tid,
298  /*swap_stateful=*/false,
299  &primary_ip_mats);
300 
301  // reinit the variables/residuals/jacobians on the lower dimensional element corresponding to
302  // the secondary face. This must be done last after the dof indices have been prepared for the
303  // secondary (element) and primary (neighbor)
304  subproblem.reinitLowerDElem(secondary_face_elem, /*tid=*/tid, &xi1_pts);
305 
306  // All this does currently is sets the neighbor/primary lower dimensional elem in Assembly and
307  // computes its volume for potential use in the MortarConstraints. Solution continuity
308  // stabilization for example relies on being able to access the volume
309  subproblem.reinitNeighborLowerDElem(msinfo.primary_elem, tid);
310 
311  // reinit higher-dimensional secondary face/boundary materials. Do this after we reinit
312  // lower-d variables in case we want to pull the lower-d variable values into the secondary
313  // face/boundary materials. Be careful not to execute stateful materials since conceptually
314  // they don't make sense with mortar (they're not interpolary)
315  fe_problem.reinitMaterialsFace(secondary_ip->subdomain_id(),
316  /*tid=*/tid,
317  /*swap_stateful=*/false,
318  &secondary_ip_mats);
319  fe_problem.reinitMaterialsBoundary(
320  secondary_boundary_id, /*tid=*/tid, /*swap_stateful=*/false, &secondary_boundary_mats);
321 
322  if (reinit_mortar_user_objects)
323  fe_problem.reinitMortarUserObjects(primary_boundary_id, secondary_boundary_id, displaced);
324 
325  act();
326 
327  } // End loop over msm segments on secondary face elem
328  } // End loop over (active) secondary elems
329 }
330 
345 template <typename Consumers>
346 void
347 setupMortarMaterials(const Consumers & consumers,
348  FEProblemBase & fe_problem,
349  const AutomaticMortarGeneration & amg,
350  const THREAD_ID tid,
351  std::map<SubdomainID, std::deque<MaterialBase *>> & secondary_ip_sub_to_mats,
352  std::map<SubdomainID, std::deque<MaterialBase *>> & primary_ip_sub_to_mats,
353  std::deque<MaterialBase *> & secondary_boundary_mats)
354 {
355  secondary_ip_sub_to_mats.clear();
356  primary_ip_sub_to_mats.clear();
357  secondary_boundary_mats.clear();
358 
359  auto & mat_warehouse = fe_problem.getRegularMaterialsWarehouse();
360  auto get_required_sub_mats =
361  [&mat_warehouse, tid, &consumers](
362  const SubdomainID sub_id,
363  const Moose::MaterialDataType mat_data_type) -> std::deque<MaterialBase *>
364  {
365  if (mat_warehouse[mat_data_type].hasActiveBlockObjects(sub_id, tid))
366  {
367  auto & sub_mats = mat_warehouse[mat_data_type].getActiveBlockObjects(sub_id, tid);
368  return MaterialBase::buildRequiredMaterials(consumers, sub_mats, /*allow_stateful=*/false);
369  }
370  else
371  return {};
372  };
373 
374  // Construct secondary *block* materials container
375  const auto & secondary_ip_sub_ids = amg.secondaryIPSubIDs();
376  for (const auto secondary_ip_sub : secondary_ip_sub_ids)
377  secondary_ip_sub_to_mats.emplace(
378  secondary_ip_sub, get_required_sub_mats(secondary_ip_sub, Moose::FACE_MATERIAL_DATA));
379 
380  // Construct primary *block* materials container
381  const auto & primary_ip_sub_ids = amg.primaryIPSubIDs();
382  for (const auto primary_ip_sub : primary_ip_sub_ids)
383  primary_ip_sub_to_mats.emplace(
384  primary_ip_sub, get_required_sub_mats(primary_ip_sub, Moose::NEIGHBOR_MATERIAL_DATA));
385 
386  // Construct secondary *boundary* materials container
387  const auto & boundary_pr = amg.primarySecondaryBoundaryIDPair();
388  const auto secondary_boundary = boundary_pr.second;
389  if (mat_warehouse.hasActiveBoundaryObjects(secondary_boundary, tid))
390  {
391  auto & boundary_mats = mat_warehouse.getActiveBoundaryObjects(secondary_boundary, tid);
392  secondary_boundary_mats =
393  MaterialBase::buildRequiredMaterials(consumers, boundary_mats, /*allow_stateful=*/false);
394  }
395 }
396 }
397 }
virtual MooseMesh & mesh()=0
void setActiveMaterialProperties(const std::unordered_set< unsigned int > &mat_prop_ids, const THREAD_ID tid)
Record and set the material properties required by the current computing thread.
void reinitNeighborLowerDElem(const Elem *elem, const THREAD_ID tid=0)
reinitialize a neighboring lower dimensional element
Definition: SubProblem.C:988
const std::pair< BoundaryID, BoundaryID > & primarySecondaryBoundaryIDPair() const
virtual void reinitLowerDElem(const Elem *lower_d_elem, const THREAD_ID tid, const std::vector< Point > *const pts=nullptr, const std::vector< Real > *const weights=nullptr)
Definition: SubProblem.C:958
Keeps track of stuff related to assembling.
Definition: Assembly.h:109
const std::map< SubdomainID, std::vector< std::shared_ptr< T > > > & getActiveBlockObjects(THREAD_ID tid=0) const
virtual Elem * elemPtr(const dof_id_type i)
Definition: MooseMesh.C:3213
std::vector< unsigned int > getMortarSubElementNodeIndices(const Elem &parent_elem, unsigned int sub_elem)
Return the node indices for a first-order sub-element of a parent face.
Definition: MortarUtils.C:27
void setupMortarMaterials(const Consumers &consumers, FEProblemBase &fe_problem, const AutomaticMortarGeneration &amg, const THREAD_ID tid, std::map< SubdomainID, std::deque< MaterialBase *>> &secondary_ip_sub_to_mats, std::map< SubdomainID, std::deque< MaterialBase *>> &primary_ip_sub_to_mats, std::deque< MaterialBase *> &secondary_boundary_mats)
This function creates containers of materials necessary to execute the mortar method for a supplied s...
Definition: MortarUtils.h:347
MaterialDataType
MaterialData types.
Definition: MooseTypes.h:740
void reinitMortarUserObjects(BoundaryID primary_boundary_id, BoundaryID secondary_boundary_id, bool displaced)
Call reinit on mortar user objects with matching primary boundary ID, secondary boundary ID...
void reinitMaterialsBoundary(BoundaryID boundary_id, const THREAD_ID tid, bool swap_stateful=true, const std::deque< MaterialBase *> *reinit_mats=nullptr)
reinit materials on a boundary
const libMesh::QBase *const & qRuleMortar() const
Returns a reference to the quadrature rule for the mortar segments.
Definition: Assembly.h:712
const std::set< SubdomainID > & primaryIPSubIDs() const
void mapQPoints3dFromReference(const Elem &mortar_segment_elem, const MortarSegmentReferencePoints &reference_points, const QBase &qrule_msm, std::vector< Point > &secondary_q_pts, std::vector< Point > &primary_q_pts)
3D mapping operator that interpolates stored parent reference points on each triangular mortar segmen...
Definition: MortarUtils.C:101
Specialization of SubProblem for solving nonlinear equations plus auxiliary equations.
const MaterialWarehouse & getRegularMaterialsWarehouse() const
void reinitMaterialsFace(SubdomainID blk_id, const THREAD_ID tid, bool swap_stateful=true, const std::deque< MaterialBase *> *reinit_mats=nullptr)
reinit materials on element faces
const std::set< SubdomainID > & secondaryIPSubIDs() const
This class is a container/interface for the objects involved in automatic generation of mortar spaces...
virtual void reinitElemFaceRef(const Elem *elem, unsigned int side, Real tolerance, const std::vector< Point > *const pts, const std::vector< Real > *const weights=nullptr, const THREAD_ID tid=0) override
reinitialize FE objects on a given element on a given side at a given set of reference points and the...
const Elem * primary_elem
bool needDual() const
Indicates whether dual shape functions are used (computation is now repeated on each element so expen...
Definition: Assembly.h:623
MeshBase & getMesh()
Accessor for the underlying libMesh Mesh object.
Definition: MooseMesh.C:3548
void reinitMaterialsNeighbor(SubdomainID blk_id, const THREAD_ID tid, bool swap_stateful=true, const std::deque< MaterialBase *> *reinit_mats=nullptr)
reinit materials on the neighboring element face
const MortarSegmentReferencePoints & mortarSegmentReferencePoints(const Elem &mortar_segment_elem) const
Return the parent-face reference coordinates for a mortar segment.
virtual void reinitNeighborFaceRef(const Elem *neighbor_elem, unsigned int neighbor_side, Real tolerance, const std::vector< Point > *const pts, const std::vector< Real > *const weights=nullptr, const THREAD_ID tid=0) override
reinitialize FE objects on a given neighbor element on a given side at a given set of reference point...
void loopOverMortarSegments(const Iterators &secondary_elems_to_mortar_segments, Assembly &assembly, SubProblem &subproblem, FEProblemBase &fe_problem, const AutomaticMortarGeneration &amg, const bool displaced, const Consumers &consumers, const THREAD_ID tid, const std::map< SubdomainID, std::deque< MaterialBase *>> &secondary_ip_sub_to_mats, const std::map< SubdomainID, std::deque< MaterialBase *>> &primary_ip_sub_to_mats, const std::deque< MaterialBase *> &secondary_boundary_mats, const ActionFunctor act, const bool reinit_mortar_user_objects)
This method will loop over pairs of secondary elements and their corresponding mortar segments...
Definition: MortarUtils.h:91
const Elem * secondary_elem
Mortar3DQuadraturePointMapping mortar3DQpMapping() const
Return the 3D mortar quadrature-point mapping method.
DIE A HORRIBLE DEATH HERE typedef LIBMESH_DEFAULT_SCALAR_TYPE Real
Holds xi^(1), xi^(2), and other data for a given mortar segment.
Generic class for solving transient nonlinear problems.
Definition: SubProblem.h:78
Parent-face reference coordinates associated with the vertices of one triangular mortar segment...
static std::deque< MaterialBase * > buildRequiredMaterials(const Consumers &mat_consumers, const std::vector< std::shared_ptr< MaterialBase >> &mats, const bool allow_stateful)
Build the materials required by a set of consumer objects.
Definition: MaterialBase.h:538
const std::unordered_map< const Elem *, MortarSegmentInfo > & mortarSegmentMeshElemToInfo() const
virtual MooseMesh & mesh() override
const MeshBase & mortarSegmentMesh() const
MOOSE now contains C++17 code, so give a reasonable error message stating what the user can do to add...
const std::vector< Real > & jxWMortar() const
Returns a reference to JxW for mortar segment elements.
Definition: Assembly.h:707
void reinitMortarElem(const Elem *elem, const THREAD_ID tid=0)
Reinit a mortar element to obtain a valid JxW.
Definition: SubProblem.C:995
unsigned int THREAD_ID
Definition: MooseTypes.h:237
void projectQPoints3d(const Elem *msm_elem, const Elem *primal_elem, unsigned int sub_elem_index, const QBase &qrule_msm, std::vector< Point > &q_pts)
3D projection operator for mapping qpoints on mortar segments to secondary or primary elements ...
Definition: MortarUtils.C:130
void reinitDual(const Elem *elem, const std::vector< Point > &pts, const std::vector< Real > &JxW)
Reintialize dual basis coefficients based on a customized quadrature rule.
Definition: Assembly.C:2274