version 3.8
geomechanics/poroelastic/couplingmanager.hh
Go to the documentation of this file.
1// -*- mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
2// vi: set et ts=4 sw=4 sts=4:
3//
4// SPDX-FileCopyrightInfo: Copyright © DuMux Project contributors, see AUTHORS.md in root folder
5// SPDX-License-Identifier: GPL-3.0-or-later
6//
13#ifndef DUMUX_POROMECHANICS_COUPLING_MANAGER_HH
14#define DUMUX_POROMECHANICS_COUPLING_MANAGER_HH
15
16#include <algorithm>
17#include <type_traits>
18
19#include <dune/common/std/type_traits.hh>
23
24namespace Dumux {
25
38template< class MDTraits,
39 std::size_t PMFlowId = 0,
40 std::size_t PoroMechId = PMFlowId+1 >
41class PoroMechanicsCouplingManager : public virtual CouplingManager< MDTraits >
42{
44
45 // the sub-domain type tags
46 template<std::size_t id> using SubDomainTypeTag = typename MDTraits::template SubDomain<id>::TypeTag;
47
48 // further types specific to the sub-problems
49 template<std::size_t id> using Scalar = GetPropType<SubDomainTypeTag<id>, Properties::Scalar>;
50 template<std::size_t id> using Problem = GetPropType<SubDomainTypeTag<id>, Properties::Problem>;
51 template<std::size_t id> using GridVariables = GetPropType<SubDomainTypeTag<id>, Properties::GridVariables>;
52 template<std::size_t id> using PrimaryVariables = typename GridVariables<id>::PrimaryVariables;
53 template<std::size_t id> using GridVolumeVariables = typename GridVariables<id>::GridVolumeVariables;
54 template<std::size_t id> using ElementVolumeVariables = typename GridVolumeVariables<id>::LocalView;
55 template<std::size_t id> using VolumeVariables = typename GridVolumeVariables<id>::VolumeVariables;
56 template<std::size_t id> using GridGeometry = typename GridVariables<id>::GridGeometry;
57 template<std::size_t id> using FVElementGeometry = typename GridGeometry<id>::LocalView;
58 template<std::size_t id> using GridView = typename GridGeometry<id>::GridView;
59 template<std::size_t id> using GridIndexType = typename GridView<id>::IndexSet::IndexType;
60 template<std::size_t id> using Element = typename GridView<id>::template Codim<0>::Entity;
61 template<std::size_t id> using GlobalPosition = typename Element<id>::Geometry::GlobalCoordinate;
62
64 static_assert(std::is_same< GridView<PMFlowId>, GridView<PoroMechId> >::value,
65 "The grid types of the two sub-problems have to be equal!");
66
68 static_assert(GridGeometry<PoroMechId>::discMethod == DiscretizationMethods::box,
69 "Poro-mechanical problem must be discretized with the box scheme for this coupling manager!");
70
71 static_assert(GridGeometry<PMFlowId>::discMethod == DiscretizationMethods::cctpfa ||
72 GridGeometry<PMFlowId>::discMethod == DiscretizationMethods::ccmpfa,
73 "Porous medium flow problem must be discretized with a cell-centered scheme for this coupling manager!");
74
76 static_assert(!GetPropType<SubDomainTypeTag<PMFlowId>, Properties::GridVariables>::GridVolumeVariables::cachingEnabled,
77 "Poromechanics framework does not yet work for enabled grid volume variables caching");
78
80 template<std::size_t id>
81 using CouplingIndexType = typename std::conditional< id == PMFlowId,
82 GridIndexType<PoroMechId>,
83 GridIndexType<PMFlowId> >::type;
84
90 struct PoroMechanicsCouplingContext
91 {
92 // We need unique ptrs because the local views have no default constructor
93 Element<PMFlowId> pmFlowElement;
94 std::unique_ptr< FVElementGeometry<PMFlowId> > pmFlowFvGeometry;
95 std::unique_ptr< ElementVolumeVariables<PMFlowId> > pmFlowElemVolVars;
96 };
97
98 template<typename T>
99 using Storage = decltype(std::declval<T>().localResidual().evalStorage(
100 std::declval<T>().fvGeometry(),
101 std::declval<T>().curElemVolVars()
102 ));
103
104 template<typename LA>
105 static constexpr bool hasExperimentalEvalStorage = Dune::Std::is_detected_v<Storage, LA>;
106
107public:
108
109 // export the domain ids
110 static constexpr auto pmFlowId = Dune::index_constant<PMFlowId>();
111 static constexpr auto poroMechId = Dune::index_constant<PoroMechId>();
112
118 template<std::size_t i, std::size_t j = (i == PMFlowId) ? PoroMechId : PMFlowId>
119 using CouplingStencilType = typename std::conditional< i == PMFlowId,
120 std::vector< CouplingIndexType<i> >,
121 std::array< CouplingIndexType<i>, 1> >::type;
122
124 using SolutionVector = typename MDTraits::SolutionVector;
125
133 void init(std::shared_ptr< Problem<PMFlowId> > pmFlowProblem,
134 std::shared_ptr< Problem<PoroMechId> > poroMechanicalProblem,
135 const SolutionVector& curSol)
136 {
137 // set the sub problems
138 this->setSubProblem(pmFlowProblem, pmFlowId);
139 this->setSubProblem(poroMechanicalProblem, poroMechId);
140
141 // copy the solution vector
143 // set up the coupling map pmfow -> poromechanics
144 initializeCouplingMap_();
145 }
146
150 const CouplingStencilType<PMFlowId>& couplingStencil(Dune::index_constant<PMFlowId> pmFlowDomainId,
151 const Element<PMFlowId>& element,
152 Dune::index_constant<PoroMechId> poroMechDomainId) const
153 {
154 return pmFlowCouplingMap_[ this->problem(pmFlowId).gridGeometry().elementMapper().index(element) ];
155 }
156
160 const CouplingStencilType<PoroMechId> couplingStencil(Dune::index_constant<PoroMechId> poroMechDomainId,
161 const Element<PoroMechId>& element,
162 Dune::index_constant<PMFlowId> pmFlowDomainId) const
163 {
164 const auto eIdx = this->problem(pmFlowId).gridGeometry().elementMapper().index(element);
165 return CouplingStencilType<PoroMechId>{ {eIdx} };
166 }
167
170
175 template< class Assembler >
176 void bindCouplingContext(Dune::index_constant<PoroMechId> poroMechDomainId,
177 const Element<PoroMechId>& element,
178 const Assembler& assembler)
179 {
180 // first reset the context
181 poroMechCouplingContext_.pmFlowFvGeometry.reset(nullptr);
182 poroMechCouplingContext_.pmFlowElemVolVars.reset(nullptr);
183
184 // prepare the fvGeometry and the element volume variables
185 // these quantities will be used later to obtain the effective pressure
186 const auto fvGeometry = localView( this->problem(pmFlowId).gridGeometry() ).bindElement(element);
187 const auto elemVolVars = localView(assembler.gridVariables(Dune::index_constant<PMFlowId>()).curGridVolVars()).bindElement(element,
188 fvGeometry,
189 this->curSol(Dune::index_constant<PMFlowId>()));
190
191 poroMechCouplingContext_.pmFlowElement = element;
192 poroMechCouplingContext_.pmFlowFvGeometry = std::make_unique< FVElementGeometry<PMFlowId> >(fvGeometry);
193 poroMechCouplingContext_.pmFlowElemVolVars = std::make_unique< ElementVolumeVariables<PMFlowId> >(elemVolVars);
194 }
195
201 template< class PoroMechLocalAssembler >
202 void updateCouplingContext(Dune::index_constant<PoroMechId> poroMechDomainId,
203 const PoroMechLocalAssembler& poroMechLocalAssembler,
204 Dune::index_constant<PMFlowId> pmFlowDomainId,
205 GridIndexType<PMFlowId> dofIdxGlobalJ,
206 const PrimaryVariables<PMFlowId>& priVarsJ,
207 unsigned int pvIdxJ)
208 {
209 // communicate the deflected pm flow domain primary variable
210 ParentType::updateCouplingContext(poroMechDomainId, poroMechLocalAssembler, pmFlowDomainId, dofIdxGlobalJ, priVarsJ, pvIdxJ);
211
212 // now, update the coupling context (i.e. elemVolVars)
213 const auto& element = poroMechCouplingContext_.pmFlowElement;
214 const auto& fvGeometry = *poroMechCouplingContext_.pmFlowFvGeometry;
215 poroMechCouplingContext_.pmFlowElemVolVars->bindElement(element, fvGeometry, this->curSol(pmFlowDomainId));
216 }
217
224 template< class PoroMechLocalAssembler >
225 void updateCouplingContext(Dune::index_constant<PoroMechId> poroMechDomainIdI,
226 const PoroMechLocalAssembler& poroMechLocalAssembler,
227 Dune::index_constant<PoroMechId> poroMechDomainIdJ,
228 GridIndexType<PoroMechId> dofIdxGlobalJ,
229 const PrimaryVariables<PoroMechId>& priVarsJ,
230 unsigned int pvIdxJ)
231 {
232 // communicate the deflected displacement
233 ParentType::updateCouplingContext(poroMechDomainIdI, poroMechLocalAssembler, poroMechDomainIdJ, dofIdxGlobalJ, priVarsJ, pvIdxJ);
234
235 // now, update the coupling context (i.e. elemVolVars)
236 (*poroMechCouplingContext_.pmFlowElemVolVars).bindElement(poroMechCouplingContext_.pmFlowElement,
237 *poroMechCouplingContext_.pmFlowFvGeometry,
238 this->curSol(Dune::index_constant<PMFlowId>()));
239 }
240
245 template< std::size_t j, class PMFlowLocalAssembler >
246 void updateCouplingContext(Dune::index_constant<PMFlowId> pmFlowDomainId,
247 const PMFlowLocalAssembler& pmFlowLocalAssembler,
248 Dune::index_constant<j> domainIdJ,
249 GridIndexType<j> dofIdxGlobalJ,
250 const PrimaryVariables<j>& priVarsJ,
251 unsigned int pvIdxJ)
252 {
253 // communicate the deflected displacement
254 ParentType::updateCouplingContext(pmFlowDomainId, pmFlowLocalAssembler, domainIdJ, dofIdxGlobalJ, priVarsJ, pvIdxJ);
255 }
256
259
265 template< class PMFlowLocalAssembler, class UpdatableFluxVarCache >
266 void updateCoupledVariables(Dune::index_constant<PMFlowId> pmFlowDomainId,
267 const PMFlowLocalAssembler& pmFlowLocalAssembler,
268 ElementVolumeVariables<PMFlowId>& elemVolVars,
269 UpdatableFluxVarCache& elemFluxVarsCache)
270 {
271 // update the element volume variables to obtain the updated porosity/permeability
272 elemVolVars.bind(pmFlowLocalAssembler.element(),
273 pmFlowLocalAssembler.fvGeometry(),
274 this->curSol(pmFlowDomainId));
275
276 // update the transmissibilities subject to the new permeabilities
277 elemFluxVarsCache.update(pmFlowLocalAssembler.element(),
278 pmFlowLocalAssembler.fvGeometry(),
279 elemVolVars);
280 }
281
287 template< class PoroMechLocalAssembler, class UpdatableFluxVarCache >
288 void updateCoupledVariables(Dune::index_constant<PoroMechId> poroMechDomainId,
289 const PoroMechLocalAssembler& poroMechLocalAssembler,
290 ElementVolumeVariables<PoroMechId>& elemVolVars,
291 UpdatableFluxVarCache& elemFluxVarsCache)
292 {
293 elemVolVars.bind(poroMechLocalAssembler.element(),
294 poroMechLocalAssembler.fvGeometry(),
295 this->curSol(poroMechDomainId));
296 }
297
304 template< class PMFlowLocalAssembler >
305 auto evalCouplingResidual(Dune::index_constant<PMFlowId> pmFlowDomainId,
306 const PMFlowLocalAssembler& pmFlowLocalAssembler,
307 Dune::index_constant<PoroMechId> poroMechDomainId,
308 GridIndexType<PoroMechId> dofIdxGlobalJ)
309 {
310 auto res = pmFlowLocalAssembler.localResidual().evalFluxAndSource(pmFlowLocalAssembler.element(),
311 pmFlowLocalAssembler.fvGeometry(),
312 pmFlowLocalAssembler.curElemVolVars(),
313 pmFlowLocalAssembler.elemFluxVarsCache(),
314 pmFlowLocalAssembler.elemBcTypes());
315
316 // If the residual instationary, evaluate storage
317 if (!pmFlowLocalAssembler.localResidual().isStationary())
318 {
319 if constexpr (hasExperimentalEvalStorage<PMFlowLocalAssembler>)
320 res += pmFlowLocalAssembler.localResidual().evalStorage(pmFlowLocalAssembler.fvGeometry(),
321 pmFlowLocalAssembler.curElemVolVars());
322 else
323 res += pmFlowLocalAssembler.localResidual().evalStorage(pmFlowLocalAssembler.element(),
324 pmFlowLocalAssembler.fvGeometry(),
325 pmFlowLocalAssembler.prevElemVolVars(),
326 pmFlowLocalAssembler.curElemVolVars());
327 }
328
329 return res;
330 }
331
338 template< class PoroMechLocalAssembler >
339 auto evalCouplingResidual(Dune::index_constant<PoroMechId> poroMechDomainId,
340 const PoroMechLocalAssembler& poroMechLocalAssembler,
341 Dune::index_constant<PMFlowId> pmFlowDomainId,
342 GridIndexType<PMFlowId> dofIdxGlobalJ)
343 {
344 return poroMechLocalAssembler.localResidual().evalFluxAndSource(poroMechLocalAssembler.element(),
345 poroMechLocalAssembler.fvGeometry(),
346 poroMechLocalAssembler.curElemVolVars(),
347 poroMechLocalAssembler.elemFluxVarsCache(),
348 poroMechLocalAssembler.elemBcTypes());
349 }
350
352 const VolumeVariables<PMFlowId>& getPMFlowVolVars(const Element<PoroMechId>& element) const
353 {
355 const auto eIdx = this->problem(poroMechId).gridGeometry().elementMapper().index(element);
356 return (*poroMechCouplingContext_.pmFlowElemVolVars)[eIdx];
357 }
358
364 template<std::size_t i>
365 const auto& curSol(Dune::index_constant<i> domainIdx) const
366 { return ParentType::curSol(domainIdx); }
367
368
369private:
375 void initializeCouplingMap_()
376 {
377 // some references for convenience
378 const auto& pmFlowGridGeom = this->problem(pmFlowId).gridGeometry();
379 const auto& poroMechGridGeom = this->problem(poroMechId).gridGeometry();
380
381 // make sure the two grids are really the same. Note that if the two grids
382 // happen to have equal number of elements by chance, we don't detect this source of error.
383 if (pmFlowGridGeom.gridView().size(0) != poroMechGridGeom.gridView().size(0))
384 DUNE_THROW(Dune::InvalidStateException, "The two sub-problems are assumed to operate on the same mesh!");
385
386 pmFlowCouplingMap_.resize(pmFlowGridGeom.gridView().size(0));
387 static constexpr int dim = GridView<PMFlowId>::dimension;
388 for (const auto& element : elements(pmFlowGridGeom.gridView()))
389 {
390 const auto eIdx = pmFlowGridGeom.elementMapper().index(element);
391
392 // firstly, the element couples to the nodal dofs in itself
393 for (int i = 0; i < element.geometry().corners(); ++i)
394 pmFlowCouplingMap_[eIdx].push_back( poroMechGridGeom.vertexMapper().subIndex(element, i , dim) );
395
396 // the pm flow problem couples to the same elements as in its own stencil
397 // due to the dependency of the residual on all permeabilities in its stencil,
398 // which in turn depend on the mechanical deformations.
399 const auto& inverseConnectivity = pmFlowGridGeom.connectivityMap()[eIdx];
400 for (const auto& dataJ : inverseConnectivity)
401 for (int i = 0; i < element.geometry().corners(); ++i)
402 pmFlowCouplingMap_[dataJ.globalJ].push_back( poroMechGridGeom.vertexMapper().subIndex(element, i , dim) );
403 }
404
405 // make stencils unique
406 for (auto& stencil : pmFlowCouplingMap_)
407 {
408 std::sort(stencil.begin(), stencil.end());
409 stencil.erase(std::unique(stencil.begin(), stencil.end()), stencil.end());
410 }
411 }
412
413 // Container for storing the coupling element stencils for the pm flow domain
414 std::vector< CouplingStencilType<PMFlowId> > pmFlowCouplingMap_;
415
416 // the coupling context of the poromechanics domain
417 PoroMechanicsCouplingContext poroMechCouplingContext_;
418};
419
420} //end namespace Dumux
421
422#endif
The interface of the coupling manager for multi domain problems.
Definition: multidomain/couplingmanager.hh:48
void updateCoupledVariables(Dune::index_constant< i > domainI, const LocalAssemblerI &localAssemblerI, UpdatableElementVolVars &elemVolVars, UpdatableFluxVarCache &elemFluxVarsCache)
update variables of domain i that depend on variables in domain j after the coupling context has been...
Definition: multidomain/couplingmanager.hh:208
void setSubProblem(std::shared_ptr< SubProblem > problem, Dune::index_constant< i > domainIdx)
set a pointer to one of the sub problems
Definition: multidomain/couplingmanager.hh:300
const Problem< i > & problem(Dune::index_constant< i > domainIdx) const
Return a reference to the sub problem.
Definition: multidomain/couplingmanager.hh:309
void bindCouplingContext(Dune::index_constant< i > domainI, const Element< i > &elementI, const Assembler &assembler)
prepares all data and variables that are necessary to evaluate the residual of the element of domain ...
Definition: multidomain/couplingmanager.hh:157
SubSolutionVector< i > & curSol(Dune::index_constant< i > domainIdx)
the solution vector of the subproblem
Definition: multidomain/couplingmanager.hh:338
void updateSolution(const SolutionVector &curSol)
Updates the entire solution vector, e.g. before assembly or after grid adaption Overload might want t...
Definition: multidomain/couplingmanager.hh:219
Coupling manager for porous medium flow problems coupled to a poro-mechanical problem.
Definition: geomechanics/poroelastic/couplingmanager.hh:42
void bindCouplingContext(Dune::index_constant< PoroMechId > poroMechDomainId, const Element< PoroMechId > &element, const Assembler &assembler)
For the assembly of the element residual of an element of the poro-mechanics domain,...
Definition: geomechanics/poroelastic/couplingmanager.hh:176
auto evalCouplingResidual(Dune::index_constant< PMFlowId > pmFlowDomainId, const PMFlowLocalAssembler &pmFlowLocalAssembler, Dune::index_constant< PoroMechId > poroMechDomainId, GridIndexType< PoroMechId > dofIdxGlobalJ)
Evaluates the coupling element residual of the porous medium flow domain with respect to the poro-mec...
Definition: geomechanics/poroelastic/couplingmanager.hh:305
typename std::conditional< i==PMFlowId, std::vector< CouplingIndexType< i > >, std::array< CouplingIndexType< i >, 1 > >::type CouplingStencilType
The types used for coupling stencils. An element of the poro-mechanical domain always only couples to...
Definition: geomechanics/poroelastic/couplingmanager.hh:121
void updateCoupledVariables(Dune::index_constant< PoroMechId > poroMechDomainId, const PoroMechLocalAssembler &poroMechLocalAssembler, ElementVolumeVariables< PoroMechId > &elemVolVars, UpdatableFluxVarCache &elemFluxVarsCache)
Update the poro-mechanics volume variables after the coupling context has been updated....
Definition: geomechanics/poroelastic/couplingmanager.hh:288
void updateCoupledVariables(Dune::index_constant< PMFlowId > pmFlowDomainId, const PMFlowLocalAssembler &pmFlowLocalAssembler, ElementVolumeVariables< PMFlowId > &elemVolVars, UpdatableFluxVarCache &elemFluxVarsCache)
Update the porous medium flow domain volume variables and flux variables cache after the coupling con...
Definition: geomechanics/poroelastic/couplingmanager.hh:266
const VolumeVariables< PMFlowId > & getPMFlowVolVars(const Element< PoroMechId > &element) const
Return the porous medium flow variables an element/scv of the poromech domain couples to.
Definition: geomechanics/poroelastic/couplingmanager.hh:352
void updateCouplingContext(Dune::index_constant< PMFlowId > pmFlowDomainId, const PMFlowLocalAssembler &pmFlowLocalAssembler, Dune::index_constant< j > domainIdJ, GridIndexType< j > dofIdxGlobalJ, const PrimaryVariables< j > &priVarsJ, unsigned int pvIdxJ)
We need this overload to avoid ambiguity. However, for the porous medium flow domain weonly have to u...
Definition: geomechanics/poroelastic/couplingmanager.hh:246
auto evalCouplingResidual(Dune::index_constant< PoroMechId > poroMechDomainId, const PoroMechLocalAssembler &poroMechLocalAssembler, Dune::index_constant< PMFlowId > pmFlowDomainId, GridIndexType< PMFlowId > dofIdxGlobalJ)
Evaluates the coupling element residual of the poromechanical domain with respect to the porous mediu...
Definition: geomechanics/poroelastic/couplingmanager.hh:339
static constexpr auto pmFlowId
Definition: geomechanics/poroelastic/couplingmanager.hh:110
void updateCouplingContext(Dune::index_constant< PoroMechId > poroMechDomainIdI, const PoroMechLocalAssembler &poroMechLocalAssembler, Dune::index_constant< PoroMechId > poroMechDomainIdJ, GridIndexType< PoroMechId > dofIdxGlobalJ, const PrimaryVariables< PoroMechId > &priVarsJ, unsigned int pvIdxJ)
After deflection of the solution in the poromechanics domain during element residual assembly in that...
Definition: geomechanics/poroelastic/couplingmanager.hh:225
void updateCouplingContext(Dune::index_constant< PoroMechId > poroMechDomainId, const PoroMechLocalAssembler &poroMechLocalAssembler, Dune::index_constant< PMFlowId > pmFlowDomainId, GridIndexType< PMFlowId > dofIdxGlobalJ, const PrimaryVariables< PMFlowId > &priVarsJ, unsigned int pvIdxJ)
After deflection of the solution in the porous medium flow domain during element residual assembly in...
Definition: geomechanics/poroelastic/couplingmanager.hh:202
void init(std::shared_ptr< Problem< PMFlowId > > pmFlowProblem, std::shared_ptr< Problem< PoroMechId > > poroMechanicalProblem, const SolutionVector &curSol)
Initialize the coupling manager.
Definition: geomechanics/poroelastic/couplingmanager.hh:133
const CouplingStencilType< PoroMechId > couplingStencil(Dune::index_constant< PoroMechId > poroMechDomainId, const Element< PoroMechId > &element, Dune::index_constant< PMFlowId > pmFlowDomainId) const
Return the coupling element stencil for a given poro-mechanical domain element.
Definition: geomechanics/poroelastic/couplingmanager.hh:160
const auto & curSol(Dune::index_constant< i > domainIdx) const
the solution vector of the subproblem
Definition: geomechanics/poroelastic/couplingmanager.hh:365
typename MDTraits::SolutionVector SolutionVector
the type of the solution vector
Definition: geomechanics/poroelastic/couplingmanager.hh:124
static constexpr auto poroMechId
Definition: geomechanics/poroelastic/couplingmanager.hh:111
const CouplingStencilType< PMFlowId > & couplingStencil(Dune::index_constant< PMFlowId > pmFlowDomainId, const Element< PMFlowId > &element, Dune::index_constant< PoroMechId > poroMechDomainId) const
Return the coupling stencil for a given porous medium flow domain element.
Definition: geomechanics/poroelastic/couplingmanager.hh:150
Defines all properties used in Dumux.
GridCache::LocalView localView(const GridCache &gridCache)
Free function to get the local view of a grid cache object.
Definition: localview.hh:26
void updateCouplingContext(Dune::index_constant< i > domainI, const LocalAssemblerI &localAssemblerI, Dune::index_constant< j > domainJ, std::size_t dofIdxGlobalJ, const PrimaryVariables< j > &priVarsJ, int pvIdxJ)
updates all data and variables that are necessary to evaluate the residual of the element of domain i...
Definition: multidomain/couplingmanager.hh:183
typename GetProp< TypeTag, Property >::type GetPropType
get the type alias defined in the property
Definition: propertysystem.hh:296
The available discretization methods in Dumux.
The interface of the coupling manager for multi domain problems.
constexpr CCMpfa ccmpfa
Definition: method.hh:146
constexpr CCTpfa cctpfa
Definition: method.hh:145
constexpr Box box
Definition: method.hh:147
Definition: adapt.hh:17