deal.II version GIT relicensing-6834-g5b78e6bcdf 2026-10-01 11:20:01+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\}}\)
Loading...
Searching...
No Matches
mg_constrained_dofs.cc
Go to the documentation of this file.
1// -----------------------------------------------------------------------------
2//
3// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception OR LGPL-2.1-or-later
4// Copyright (C) 2023 - 2026 by the deal.II authors
5//
6// This file is part of the deal.II library.
7//
8// Detailed license information governing the source code and contributions
9// can be found in LICENSE.md and CONTRIBUTING.md at the top level directory.
10//
11// -----------------------------------------------------------------------------
12
13
15
17
20
21#include <set>
22
23
25
26
27template <int dim, int spacedim>
28void
31 const MGLevelObject<IndexSet> &level_relevant_dofs,
32 const bool initialize_periodicity_constraints)
33{
34 boundary_indices.clear();
36 level_constraints.clear();
37 user_constraints.clear();
38
39 const unsigned int nlevels = dof.get_triangulation().n_global_levels();
40 const unsigned int min_level = level_relevant_dofs.min_level();
41 const unsigned int max_level = (level_relevant_dofs.max_level() == 0) ?
42 nlevels - 1 :
43 level_relevant_dofs.max_level();
44 const bool use_provided_level_relevant_dofs =
45 (level_relevant_dofs.max_level() > 0);
46
47 // At this point level_constraint and refinement_edge_indices are empty.
48 refinement_edge_indices.resize(nlevels);
49 level_constraints.resize(nlevels);
50 user_constraints.resize(nlevels);
51 for (unsigned int l = min_level; l <= max_level; ++l)
52 {
53 if (use_provided_level_relevant_dofs)
54 {
56 level_relevant_dofs[l]);
57 }
58 else
59 {
60 const IndexSet relevant_dofs =
63 relevant_dofs);
64 }
65 }
66
67 if (initialize_periodicity_constraints)
68 {
69 // TODO: currently we only consider very basic periodic constraints
70 const IdentityMatrix transformation(dof.get_fe().n_dofs_per_face());
71 const ComponentMask component_mask;
72 const double periodicity_factor = 1.0;
73
74 for (const auto &[first_cell, second_cell] :
76 {
77 // only consider non-artificial cells
78 if (first_cell.first->is_artificial_on_level())
79 continue;
80 if (second_cell.first.first->is_artificial_on_level())
81 continue;
82
83 // consider cell pairs with the same level
84 if (first_cell.first->level() != second_cell.first.first->level())
85 continue;
86
88 first_cell.first->as_dof_handler_level_iterator(dof)->face(
89 first_cell.second),
90 second_cell.first.first->as_dof_handler_level_iterator(dof)->face(
91 second_cell.first.second),
92 transformation,
93 level_constraints[first_cell.first->level()],
94 component_mask,
95 second_cell.second,
96 periodicity_factor,
97 first_cell.first->level());
98 }
99 }
100
101 for (unsigned int l = min_level; l <= max_level; ++l)
102 {
103 level_constraints[l].close();
104
105 // Initialize with empty IndexSet of correct size
107 }
108
110}
111
112
113
114template <int dim, int spacedim>
115void
117 const DoFHandler<dim, spacedim> &dof,
118 const std::set<types::boundary_id> &boundary_ids,
119 const ComponentMask &component_mask)
120{
121 // allocate an IndexSet for each global level. Contents will be
122 // overwritten inside make_boundary_list.
123 const unsigned int n_levels = dof.get_triangulation().n_global_levels();
124 Assert(boundary_indices.empty() || boundary_indices.size() == n_levels,
126 boundary_indices.resize(n_levels);
127
129 boundary_ids,
131 component_mask);
132}
133
134
135
136template <int dim, int spacedim>
137void
139 const unsigned int level,
140 const IndexSet &level_boundary_indices)
141{
142 const unsigned int n_levels = dof.get_triangulation().n_global_levels();
143 if (boundary_indices.empty())
144 {
145 boundary_indices.resize(n_levels);
146 for (unsigned int i = 0; i < n_levels; ++i)
147 boundary_indices[i] = IndexSet(dof.n_dofs(i));
148 }
149 AssertDimension(boundary_indices.size(), n_levels);
150 boundary_indices[level].add_indices(level_boundary_indices);
151}
152
153
154
155template <int dim, int spacedim>
156void
158 const DoFHandler<dim, spacedim> &dof,
159 const types::boundary_id bid,
160 const unsigned int first_vector_component)
161{
162 // For a given boundary id, find which vector component is on the boundary
163 // and set a zero boundary constraint for those degrees of freedom.
164 const unsigned int n_components = dof.get_fe_collection().n_components();
165 AssertIndexRange(first_vector_component + dim - 1, n_components);
166
167 ComponentMask comp_mask(n_components, false);
168
169
171 face = dof.get_triangulation().begin_face(),
172 endf = dof.get_triangulation().end_face();
173 for (; face != endf; ++face)
174 if (face->at_boundary() && face->boundary_id() == bid)
175 for (unsigned int d = 0; d < dim; ++d)
176 {
177 Tensor<1, dim, double> unit_vec;
178 unit_vec[d] = 1.0;
179
180 const Tensor<1, dim> normal_vec =
181 face->get_manifold().normal_vector(face, face->center());
182
183 if (std::abs(std::abs(unit_vec * normal_vec) - 1.0) < 1e-10)
184 comp_mask.set(d + first_vector_component, true);
185 else
186 Assert(
187 std::abs(unit_vec * normal_vec) < 1e-10,
189 "We can currently only support no normal flux conditions "
190 "for a specific boundary id if all faces are normal to the "
191 "x, y, or z axis."));
192 }
193
194 Assert(comp_mask.n_selected_components() == 1,
196 "We can currently only support no normal flux conditions "
197 "for a specific boundary id if all faces are facing in the "
198 "same direction, i.e., a boundary normal to the x-axis must "
199 "have a different boundary id than a boundary normal to the "
200 "y- or z-axis and so on. If the mesh here was produced using "
201 "GridGenerator::..., setting colorize=true during mesh generation "
202 "and calling make_no_normal_flux_constraints() for each no normal "
203 "flux boundary will fulfill the condition."));
204
205 this->make_zero_boundary_constraints(dof, {bid}, comp_mask);
206}
207
208
209
210void
212 const unsigned int level,
213 const AffineConstraints<double> &constraints_on_level)
214{
216
217 // Get the relevant DoFs from level_constraints if
218 // the user constraint matrix has not been initialized
219 if (user_constraints[level].get_local_lines().size() == 0)
220 user_constraints[level].reinit(
221 level_constraints[level].get_locally_owned_indices(),
222 level_constraints[level].get_local_lines());
223
224 user_constraints[level].merge(
225 constraints_on_level,
227 user_constraints[level].close();
228}
229
230
231
232void
234{
235 for (auto &constraint : user_constraints)
236 constraint.clear();
237}
238
239
240
241void
248
249
250
251template <typename Number>
252void
254 const unsigned int level,
255 const bool add_boundary_indices,
256 const bool add_refinement_edge_indices,
257 const bool add_level_constraints,
258 const bool add_user_constraints) const
259{
260 constraints.clear();
261
262 // determine local lines
263 IndexSet index_set(this->get_refinement_edge_indices(level).size());
264
266 index_set.add_indices(this->get_boundary_indices(level));
267
268 if (add_refinement_edge_indices)
269 index_set.add_indices(this->get_refinement_edge_indices(level));
270
271 if (add_level_constraints)
272 index_set.add_indices(this->get_level_constraints(level).get_local_lines());
273
275 index_set.add_indices(
276 this->get_user_constraint_matrix(level).get_local_lines());
277
278 constraints.reinit(level_constraints[level].get_locally_owned_indices(),
279 index_set);
280
281 // merge constraints
283 for (const auto i : this->get_boundary_indices(level))
284 constraints.constrain_dof_to_zero(i);
285
286 if (add_refinement_edge_indices)
287 for (const auto i : this->get_refinement_edge_indices(level))
288 constraints.constrain_dof_to_zero(i);
289
290 if (add_level_constraints)
291 constraints.merge(this->get_level_constraints(level),
293 true);
294
296 constraints.merge(this->get_user_constraint_matrix(level),
298 true);
299
300 // finalize setup
301 constraints.close();
302}
303
304#include "multigrid/mg_constrained_dofs.inst"
305
306
void merge(const AffineConstraints< other_number > &other_constraints, const MergeConflictBehavior merge_conflict_behavior=no_conflicts_allowed, const bool allow_different_local_lines=false)
void constrain_dof_to_zero(const size_type constrained_dof)
void set(const unsigned int index, const bool value)
unsigned int n_selected_components(const unsigned int overall_number_of_components=numbers::invalid_unsigned_int) const
const hp::FECollection< dim, spacedim > & get_fe_collection() const
const FiniteElement< dim, spacedim > & get_fe(const types::fe_index index=0) const
const IndexSet & locally_owned_mg_dofs(const unsigned int level) const
const Triangulation< dim, spacedim > & get_triangulation() const
types::global_dof_index n_dofs() const
unsigned int n_dofs_per_face(unsigned int face_no=0, unsigned int child=0) const
void add_indices(const ForwardIterator &begin, const ForwardIterator &end)
Definition index_set.h:1814
std::vector< IndexSet > refinement_edge_indices
std::vector< AffineConstraints< double > > user_constraints
void make_no_normal_flux_constraints(const DoFHandler< dim, spacedim > &dof, const types::boundary_id bid, const unsigned int first_vector_component)
void make_zero_boundary_constraints(const DoFHandler< dim, spacedim > &dof, const std::set< types::boundary_id > &boundary_ids, const ComponentMask &component_mask={})
std::vector< IndexSet > boundary_indices
void add_boundary_indices(const DoFHandler< dim, spacedim > &dof, const unsigned int level, const IndexSet &boundary_indices)
void merge_constraints(AffineConstraints< Number > &constraints, const unsigned int level, const bool add_boundary_indices, const bool add_refinement_edge_indices, const bool add_level_constraints, const bool add_user_constraints) const
std::vector< AffineConstraints< double > > level_constraints
bool have_boundary_indices() const
void add_user_constraints(const unsigned int level, const AffineConstraints< double > &constraints_on_level)
const IndexSet & get_refinement_edge_indices(unsigned int level) const
const AffineConstraints< double > & get_user_constraint_matrix(const unsigned int level) const
const AffineConstraints< double > & get_level_constraints(const unsigned int level) const
const IndexSet & get_boundary_indices(const unsigned int level) const
void initialize(const DoFHandler< dim, spacedim > &dof, const MGLevelObject< IndexSet > &level_relevant_dofs=MGLevelObject< IndexSet >(), const bool initialize_periodicity_constraints=true)
unsigned int max_level() const
unsigned int min_level() const
face_iterator end_face() const
virtual unsigned int n_global_levels() const
face_iterator begin_face() const
const std::map< std::pair< cell_iterator, unsigned int >, std::pair< std::pair< cell_iterator, unsigned int >, types::geometric_orientation > > & get_periodic_face_map() const
unsigned int n_components() const
#define DEAL_II_NAMESPACE_OPEN
Definition config.h:38
#define DEAL_II_NAMESPACE_CLOSE
Definition config.h:39
unsigned int level
Definition grid_out.cc:4642
#define Assert(cond, exc)
#define AssertDimension(dim1, dim2)
#define AssertIndexRange(index, range)
static ::ExceptionBase & ExcInternalError()
static ::ExceptionBase & ExcMessage(std::string arg1)
std::size_t size
Definition mpi.cc:733
void set_periodicity_constraints(const FaceIterator &face_1, const std_cxx20::type_identity_t< FaceIterator > &face_2, const FullMatrix< double > &transformation, AffineConstraints< number > &affine_constraints, const ComponentMask &component_mask, const types::geometric_orientation combined_orientation, const number periodicity_factor, const unsigned int level=numbers::invalid_unsigned_int)
IndexSet extract_locally_relevant_level_dofs(const DoFHandler< dim, spacedim > &dof_handler, const unsigned int level)
void make_boundary_list(const DoFHandler< dim, spacedim > &mg_dof, const std::map< types::boundary_id, const Function< spacedim > * > &function_map, std::vector< std::set< types::global_dof_index > > &boundary_indices, const ComponentMask &component_mask={})
Definition mg_tools.cc:1227
void extract_inner_interface_dofs(const DoFHandler< dim, spacedim > &mg_dof_handler, std::vector< IndexSet > &interface_dofs)
Definition mg_tools.cc:1431
::VectorizedArray< Number, width > abs(const ::VectorizedArray< Number, width > &)