https://mooseframework.inl.gov
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Static Public Member Functions | Protected Member Functions | Protected Attributes | Private Member Functions | Private Attributes | List of all members
PorousFlowPorosityHMBiotModulus Class Reference

This Matrial evolves porosity so that the PorousFlow equations match the standard equations of poroelasticity theory with a constant BiotModulus. More...

#include <PorousFlowPorosityHMBiotModulus.h>

Inheritance diagram for PorousFlowPorosityHMBiotModulus:
[legend]

Public Types

typedef DerivativeMaterialPropertyNameInterface::SymbolName SymbolName
 

Public Member Functions

 PorousFlowPorosityHMBiotModulus (const InputParameters &parameters)
 
const GenericMaterialProperty< U, is_ad > & getDefaultMaterialProperty (const std::string &name)
 
const GenericMaterialProperty< U, is_ad > & getDefaultMaterialPropertyByName (const std::string &name)
 
Moose::Kokkos::MaterialProperty< U, dimension > declareKokkosPropertyDerivative (const std::string &base, const std::vector< SymbolName > &c)
 
void validateDerivativeMaterialPropertyBase (const std::string &base)
 
const MaterialPropertyName derivativePropertyName (const MaterialPropertyName &base, const std::vector< SymbolName > &c) const
 
const MaterialPropertyName derivativePropertyNameFirst (const MaterialPropertyName &base, const SymbolName &c1) const
 
const MaterialPropertyName derivativePropertyNameSecond (const MaterialPropertyName &base, const SymbolName &c1, const SymbolName &c2) const
 
const MaterialPropertyName derivativePropertyNameThird (const MaterialPropertyName &base, const SymbolName &c1, const SymbolName &c2, const SymbolName &c3) const
 
GenericMaterialProperty< U, is_ad > & declarePropertyDerivative (const std::string &base, const std::vector< VariableName > &c)
 
GenericMaterialProperty< U, is_ad > & declarePropertyDerivative (const std::string &base, const std::vector< SymbolName > &c)
 
GenericMaterialProperty< U, is_ad > & declarePropertyDerivative (const std::string &base, const SymbolName &c1, const SymbolName &c2="", const SymbolName &c3="")
 
GenericMaterialProperty< U, is_ad > & declarePropertyDerivative (const std::string &base, const std::vector< VariableName > &c)
 
GenericMaterialProperty< U, is_ad > & declarePropertyDerivative (const std::string &base, const std::vector< SymbolName > &c)
 
GenericMaterialProperty< U, is_ad > & declarePropertyDerivative (const std::string &base, const SymbolName &c1, const SymbolName &c2="", const SymbolName &c3="")
 
const GenericMaterialProperty< U, is_ad > & getMaterialPropertyDerivative (const std::string &base, const std::vector< VariableName > &c)
 
const GenericMaterialProperty< U, is_ad > & getMaterialPropertyDerivative (const std::string &base, const std::vector< SymbolName > &c)
 
const GenericMaterialProperty< U, is_ad > & getMaterialPropertyDerivative (const std::string &base, const SymbolName &c1, const SymbolName &c2="", const SymbolName &c3="")
 
const GenericMaterialProperty< U, is_ad > & getMaterialPropertyDerivative (const std::string &base, const SymbolName &c1, unsigned int v2, unsigned int v3=libMesh::invalid_uint)
 
const GenericMaterialProperty< U, is_ad > & getMaterialPropertyDerivative (const std::string &base, unsigned int v1, unsigned int v2=libMesh::invalid_uint, unsigned int v3=libMesh::invalid_uint)
 
const GenericMaterialProperty< U, is_ad > & getMaterialPropertyDerivative (const std::string &base, const std::vector< VariableName > &c)
 
const GenericMaterialProperty< U, is_ad > & getMaterialPropertyDerivative (const std::string &base, const std::vector< SymbolName > &c)
 
const GenericMaterialProperty< U, is_ad > & getMaterialPropertyDerivative (const std::string &base, const SymbolName &c1, const SymbolName &c2="", const SymbolName &c3="")
 
const GenericMaterialProperty< U, is_ad > & getMaterialPropertyDerivative (const std::string &base, const SymbolName &c1, unsigned int v2, unsigned int v3=libMesh::invalid_uint)
 
const GenericMaterialProperty< U, is_ad > & getMaterialPropertyDerivative (const std::string &base, unsigned int v1, unsigned int v2=libMesh::invalid_uint, unsigned int v3=libMesh::invalid_uint)
 
const GenericMaterialProperty< U, is_ad > & getMaterialPropertyDerivativeByName (const MaterialPropertyName &base, const std::vector< VariableName > &c)
 
const GenericMaterialProperty< U, is_ad > & getMaterialPropertyDerivativeByName (const MaterialPropertyName &base, const std::vector< SymbolName > &c)
 
const GenericMaterialProperty< U, is_ad > & getMaterialPropertyDerivativeByName (const MaterialPropertyName &base, const SymbolName &c1, const SymbolName &c2="", const SymbolName &c3="")
 
const GenericMaterialProperty< U, is_ad > & getMaterialPropertyDerivativeByName (const MaterialPropertyName &base, const std::vector< VariableName > &c)
 
const GenericMaterialProperty< U, is_ad > & getMaterialPropertyDerivativeByName (const MaterialPropertyName &base, const std::vector< SymbolName > &c)
 
const GenericMaterialProperty< U, is_ad > & getMaterialPropertyDerivativeByName (const MaterialPropertyName &base, const SymbolName &c1, const SymbolName &c2="", const SymbolName &c3="")
 
Moose::Kokkos::MaterialProperty< U, dimension > getKokkosMaterialPropertyDerivative (const std::string &base, const std::vector< SymbolName > &c)
 
Moose::Kokkos::MaterialProperty< U, dimension > getKokkosMaterialPropertyDerivative (const std::string &base, const SymbolName &c1)
 
Moose::Kokkos::MaterialProperty< U, dimension > getKokkosMaterialPropertyDerivative (const std::string &base, const std::vector< SymbolName > &c)
 
Moose::Kokkos::MaterialProperty< U, dimension > getKokkosMaterialPropertyDerivative (const std::string &base, const SymbolName &c1)
 
Moose::Kokkos::MaterialProperty< U, dimension > getKokkosMaterialPropertyDerivativeByName (const MaterialPropertyName &base, const std::vector< SymbolName > &c)
 
Moose::Kokkos::MaterialProperty< U, dimension > getKokkosMaterialPropertyDerivativeByName (const MaterialPropertyName &base, const std::vector< SymbolName > &c)
 
void validateCoupling (const MaterialPropertyName &base, const std::vector< VariableName > &c, bool validate_aux=true)
 
void validateCoupling (const MaterialPropertyName &base, const VariableName &c1="", const VariableName &c2="", const VariableName &c3="")
 
void validateCoupling (const MaterialPropertyName &base, const std::vector< VariableName > &c, bool validate_aux=true)
 
void validateCoupling (const MaterialPropertyName &base, const VariableName &c1="", const VariableName &c2="", const VariableName &c3="")
 
void validateNonlinearCoupling (const MaterialPropertyName &base, const VariableName &c1="", const VariableName &c2="", const VariableName &c3="")
 
void validateNonlinearCoupling (const MaterialPropertyName &base, const VariableName &c1="", const VariableName &c2="", const VariableName &c3="")
 
const MaterialPropertyName propertyName (const MaterialPropertyName &base, const std::vector< SymbolName > &c) const
 
const MaterialPropertyName propertyName (const MaterialPropertyName &base, const std::vector< SymbolName > &c) const
 
const MaterialPropertyName propertyNameFirst (const MaterialPropertyName &base, const SymbolName &c1) const
 
const MaterialPropertyName propertyNameFirst (const MaterialPropertyName &base, const SymbolName &c1) const
 
const MaterialPropertyName propertyNameSecond (const MaterialPropertyName &base, const SymbolName &c1, const SymbolName &c2) const
 
const MaterialPropertyName propertyNameSecond (const MaterialPropertyName &base, const SymbolName &c1, const SymbolName &c2) const
 
const MaterialPropertyName propertyNameThird (const MaterialPropertyName &base, const SymbolName &c1, const SymbolName &c2, const SymbolName &c3) const
 
const MaterialPropertyName propertyNameThird (const MaterialPropertyName &base, const SymbolName &c1, const SymbolName &c2, const SymbolName &c3) const
 

Static Public Member Functions

static InputParameters validParams ()
 

Protected Member Functions

virtual void computeQpProperties () override
 
virtual GenericReal< is_ad > atNegInfinityQp () const override
 Returns "a" at the quadpoint (porosity = a + (b - a) * exp(decay))
 
virtual Real datNegInfinityQp (unsigned pvar) const override
 d(a)/d(PorousFlow variable pvar)
 
virtual GenericReal< is_ad > atZeroQp () const override
 Returns "b" at the quadpoint (porosity = a + (b - a) * exp(decay))
 
virtual Real datZeroQp (unsigned pvar) const override
 d(b)/d(PorousFlow variable pvar)
 
virtual GenericReal< is_ad > decayQp () const override
 Returns "decay" at the quadpoint (porosity = a + (b - a) * exp(decay))
 
virtual Real ddecayQp_dvar (unsigned pvar) const override
 d(decay)/d(PorousFlow variable pvar)
 
virtual RealGradient ddecayQp_dgradvar (unsigned pvar) const override
 d(decay)/d(grad(PorousFlow variable pvar))
 
virtual void initQpStatefulProperties () override
 
void applyPorosityMin ()
 If _porosity[_qp] < porosity_min, set _porosity[_qp] = porosity_min and multiply the derivatives of porosity by _zero_modifier (the derivative material properties for non-AD objects, and the AD derivatives for AD objects).
 

Protected Attributes

const MaterialProperty< Real > & _porosity_old
 Old value of porosity.
 
const Real _biot_modulus
 Constant biot modulus.
 
const Real _fluid_bulk_modulus
 Constant fluid bulk modulus.
 
const MaterialProperty< Real > & _pf_old
 Old value of effective fluid pressure.
 
const MaterialProperty< Real > & _vol_strain_qp_old
 Old value of total volumetric strain.
 
const MaterialProperty< Real > & _vol_strain_rate_qp
 Volumetric strain rate.
 
const MaterialProperty< std::vector< RealGradient > > & _dvol_strain_rate_qp_dvar
 d(volumetric strain rate)/d(PorousFlow variable)
 
const bool _mechanical
 Porosity is a function of volumetric strain.
 
const bool _fluid
 Porosity is a function of effective porepressure.
 
const bool _thermal
 Porosity is a function of temperature.
 
const bool _chemical
 Porosity is a function of chemistry.
 
const VariableValue & _phi0
 Porosity at zero strain and zero porepressure and zero temperature.
 
const Real _biot
 Biot coefficient.
 
const Real _exp_coeff
 Thermal expansion coefficient of the solid porous skeleton.
 
const Moose::Functor< Real > * _solid_bulk
 Drained bulk modulus of the porous skeleton (as a functor; can be variable, function, etc.) Only used if _fluid is True.
 
const Real _coeff
 Short-hand number (biot-1). Please note: this variable is not yet divided by solid_bulk.
 
const VariableValue & _t_reference
 Reference temperature.
 
const VariableValue & _p_reference
 Reference porepressure.
 
const unsigned _num_c_ref
 Number of reference mineral concentrations provided by user.
 
std::vector< const VariableValue * > _c_reference
 Reference mineral concentrations.
 
const unsigned _num_initial_c
 Number of reference mineral concentrations provided by user.
 
std::vector< const VariableValue * > _initial_c
 Reference mineral concentrations.
 
std::vector< Real > _c_weights
 Weights for the mineral concentrations.
 
const GenericMaterialProperty< Real, is_ad > *const _vol_strain_qp
 Strain.
 
const MaterialProperty< std::vector< RealGradient > > *const _dvol_strain_qp_dvar
 d(strain)/(dvar)
 
const GenericMaterialProperty< Real, is_ad > *const _pf
 Effective porepressure at the quadpoints or nodes.
 
const MaterialProperty< std::vector< Real > > *const _dpf_dvar
 d(effective porepressure)/(d porflow variable)
 
const GenericMaterialProperty< Real, is_ad > *const _temperature
 Temperature at the quadpoints or nodes.
 
const MaterialProperty< std::vector< Real > > *const _dtemperature_dvar
 d(temperature)/(d porflow variable)
 
const MaterialProperty< std::vector< Real > > *const _mineral_conc_old
 Old value of mineral concentration at the quadpoints or nodes.
 
const MaterialProperty< std::vector< Real > > *const _reaction_rate
 Reaction rate of mineralisation.
 
const MaterialProperty< std::vector< std::vector< Real > > > *const _dreaction_rate_dvar
 d(reaction_rate_conc)/d(porflow variable)
 
const unsigned int _aq_ph
 Aqueous phase number.
 
const MaterialProperty< std::vector< Real > > *const _saturation
 Saturation.
 
const MaterialProperty< std::vector< std::vector< Real > > > *const _dsaturation_dvar
 d(saturation)/d(PorousFlow var)
 
 usingPorousFlowPorosityExponentialBaseMembers
 
const bool _strain_at_nearest_qp
 When calculating nodal porosity, use the strain at the nearest quadpoint to the node.
 
const bool _ensure_positive
 for decayQp() > 0, porosity can be negative when using porosity = a + (b - a) * exp(decay).
 
 usingPorousFlowPorosityBaseMembers
 
GenericMaterialProperty< Real, is_ad > & _porosity
 Computed porosity at the nodes or quadpoints.
 
MaterialProperty< std::vector< Real > > *const _dporosity_dvar
 d(porosity)/d(PorousFlow variable)
 
MaterialProperty< std::vector< RealGradient > > *const _dporosity_dgradvar
 d(porosity)/d(grad PorousFlow variable)
 
const Real _porosity_min
 Minimum allowed porosity (default zero, so porosity is never negative)
 
const Real _zero_modifier
 When the porosity_min floor is active, the porosity derivatives are multiplied by this.
 
const unsigned int _num_phases
 Number of phases.
 
const unsigned int _num_components
 Number of fluid components.
 
const unsigned int _num_var
 Number of PorousFlow variables.
 

Private Member Functions

bool haveMaterialProperty (const std::string &prop_name)
 
std::vector< VariableName > buildVariableVector (const VariableName &c1, const VariableName &c2, const VariableName &c3)
 
void validateCouplingHelper (const MaterialPropertyName &base, const std::vector< VariableName > &c, const System &system, std::vector< VariableName > &missing)
 
bool isNotObjectVariable (const VariableName &name)
 

Private Attributes

FEProblemBase & _dmi_fe_problem
 

Detailed Description

This Matrial evolves porosity so that the PorousFlow equations match the standard equations of poroelasticity theory with a constant BiotModulus.

Even though a constant BiotModulus is not strictly correct, many analytical solutions of poroelasticity theory assume this, so PorousFlowPorosityHMBiotModulus is useful for comparing with those solutions. Otherwise it shouldn't generally be used because PorousFlowPorosity is physically more correct.

Definition at line 23 of file PorousFlowPorosityHMBiotModulus.h.

Constructor & Destructor Documentation

◆ PorousFlowPorosityHMBiotModulus()

PorousFlowPorosityHMBiotModulus::PorousFlowPorosityHMBiotModulus ( const InputParameters &  parameters)

Definition at line 35 of file PorousFlowPorosityHMBiotModulus.C.

36 : PorousFlowPorosity(parameters),
37 _porosity_old(_nodal_material ? getMaterialPropertyOld<Real>("PorousFlow_porosity_nodal")
38 : getMaterialPropertyOld<Real>("PorousFlow_porosity_qp")),
39 _biot_modulus(getParam<Real>("constant_biot_modulus")),
40 _fluid_bulk_modulus(getParam<Real>("constant_fluid_bulk_modulus")),
41 _pf_old(_nodal_material
42 ? getMaterialPropertyOld<Real>("PorousFlow_effective_fluid_pressure_nodal")
43 : getMaterialPropertyOld<Real>("PorousFlow_effective_fluid_pressure_qp")),
44 _vol_strain_qp_old(getMaterialPropertyOld<Real>("PorousFlow_total_volumetric_strain_qp")),
45 _vol_strain_rate_qp(getMaterialProperty<Real>("PorousFlow_volumetric_strain_rate_qp")),
46 _dvol_strain_rate_qp_dvar(getMaterialProperty<std::vector<RealGradient>>(
47 "dPorousFlow_volumetric_strain_rate_qp_dvar"))
48{
49}
PorousFlowPorosityTempl< false > PorousFlowPorosity
const Real _biot_modulus
Constant biot modulus.
const MaterialProperty< Real > & _vol_strain_rate_qp
Volumetric strain rate.
const MaterialProperty< Real > & _porosity_old
Old value of porosity.
const MaterialProperty< std::vector< RealGradient > > & _dvol_strain_rate_qp_dvar
d(volumetric strain rate)/d(PorousFlow variable)
const Real _fluid_bulk_modulus
Constant fluid bulk modulus.
const MaterialProperty< Real > & _pf_old
Old value of effective fluid pressure.
const MaterialProperty< Real > & _vol_strain_qp_old
Old value of total volumetric strain.
RealVectorValue RealGradient
DIE A HORRIBLE DEATH HERE typedef LIBMESH_DEFAULT_SCALAR_TYPE Real

Member Function Documentation

◆ applyPorosityMin()

template<bool is_ad>
void PorousFlowPorosityBaseTempl< is_ad >::applyPorosityMin ( )
protectedinherited

If _porosity[_qp] < porosity_min, set _porosity[_qp] = porosity_min and multiply the derivatives of porosity by _zero_modifier (the derivative material properties for non-AD objects, and the AD derivatives for AD objects).

Otherwise do nothing. Derived classes call this at the end of computeQpProperties(), after the unfloored porosity and its derivatives have been computed.

Definition at line 58 of file PorousFlowPorosityBase.C.

59{
61 return;
62
63 if constexpr (!is_ad)
64 {
66 for (unsigned int v = 0; v < _num_var; ++v)
67 {
68 (*_dporosity_dvar)[_qp][v] *= _zero_modifier;
69 (*_dporosity_dgradvar)[_qp][v] *= _zero_modifier;
70 }
71 }
72 else
73 {
74 // The AD path carries its derivatives inside the value and has no derivative material
75 // properties, so the value and the derivatives are softened separately. Assigning
76 // _porosity_min to the ADReal would instead discard the derivatives entirely.
77 _porosity[_qp].value() = _porosity_min;
78 _porosity[_qp].derivatives() *= _zero_modifier;
79 }
80}
const double v
const unsigned int _num_var
Number of PorousFlow variables.
const Real _zero_modifier
When the porosity_min floor is active, the porosity derivatives are multiplied by this.
const Real _porosity_min
Minimum allowed porosity (default zero, so porosity is never negative)
GenericMaterialProperty< Real, is_ad > & _porosity
Computed porosity at the nodes or quadpoints.
auto raw_value(const Eigen::Map< T > &in)

Referenced by computeQpProperties(), and PorousFlowPorosityLinear::computeQpProperties().

◆ atNegInfinityQp()

template<bool is_ad>
GenericReal< is_ad > PorousFlowPorosityTempl< is_ad >::atNegInfinityQp ( ) const
overrideprotectedvirtualinherited

Returns "a" at the quadpoint (porosity = a + (b - a) * exp(decay))

Implements PorousFlowPorosityExponentialBaseTempl< is_ad >.

Definition at line 207 of file PorousFlowPorosity.C.

208{
209 /*
210 *
211 * Note the use of the OLD value of porosity here.
212 * This strategy, which breaks the cyclic dependency between porosity
213 * and mineral concentration, is used in
214 * Kernel: PorousFlowPreDis
215 * Material: PorousFlowPorosity
216 * Material: PorousFlowAqueousPreDisChemistry
217 * Material: PorousFlowAqueousPreDisMineral
218 *
219 */
220 GenericReal<is_ad> result = _biot;
221 if (_chemical)
222 {
223 if (_t_step == 0 && !_app.isRestarting())
224 for (unsigned i = 0; i < _num_c_ref; ++i)
225 result -= _c_weights[i] * (*_initial_c[i])[_qp];
226 else
227 for (unsigned i = 0; i < _num_c_ref; ++i)
228 result -= _c_weights[i] * ((*_mineral_conc_old)[_qp][i] + _dt * (*_porosity_old)[_qp] *
229 (*_saturation)[_qp][_aq_ph] *
230 (*_reaction_rate)[_qp][i]);
231 }
232 return result;
233}
Moose::GenericType< Real, is_ad > GenericReal
const MaterialProperty< Real > *const _porosity_old
Old value of porosity.
const MaterialProperty< std::vector< Real > > *const _saturation
Saturation.
const bool _chemical
Porosity is a function of chemistry.
const Real _biot
Biot coefficient.
const unsigned _num_c_ref
Number of reference mineral concentrations provided by user.
std::vector< Real > _c_weights
Weights for the mineral concentrations.
const MaterialProperty< std::vector< Real > > *const _mineral_conc_old
Old value of mineral concentration at the quadpoints or nodes.
const unsigned int _aq_ph
Aqueous phase number.
const MaterialProperty< std::vector< Real > > *const _reaction_rate
Reaction rate of mineralisation.
std::vector< const VariableValue * > _initial_c
Reference mineral concentrations.

◆ atZeroQp()

template<bool is_ad>
GenericReal< is_ad > PorousFlowPorosityTempl< is_ad >::atZeroQp ( ) const
overrideprotectedvirtualinherited

Returns "b" at the quadpoint (porosity = a + (b - a) * exp(decay))

Implements PorousFlowPorosityExponentialBaseTempl< is_ad >.

Definition at line 250 of file PorousFlowPorosity.C.

251{
252 // note the [0] below: _phi0 is a constant monomial and we use [0] regardless of _nodal_material
253 GenericReal<is_ad> result = _phi0[0];
254 if (_chemical)
255 {
256 if (_t_step == 0 && !_app.isRestarting())
257 for (unsigned i = 0; i < _num_c_ref; ++i)
258 result -= _c_weights[i] * ((*_initial_c[i])[_qp] - (*_c_reference[i])[_qp]);
259 else
260 for (unsigned i = 0; i < _num_c_ref; ++i)
261 result -= _c_weights[i] * ((*_mineral_conc_old)[_qp][i] +
262 _dt * (*_porosity_old)[_qp] * (*_saturation)[_qp][_aq_ph] *
263 (*_reaction_rate)[_qp][i] -
264 (*_c_reference[i])[_qp]);
265 }
266 return result;
267}
const VariableValue & _phi0
Porosity at zero strain and zero porepressure and zero temperature.
std::vector< const VariableValue * > _c_reference
Reference mineral concentrations.

◆ computeQpProperties()

void PorousFlowPorosityHMBiotModulus::computeQpProperties ( )
overrideprotectedvirtual

Reimplemented from PorousFlowPorosityExponentialBaseTempl< is_ad >.

Definition at line 52 of file PorousFlowPorosityHMBiotModulus.C.

53{
54 // Note that in the following _strain[_qp] is evaluated at q quadpoint
55 // So _porosity_nodal[_qp], which should be the nodal value of porosity
56 // actually uses the strain at a quadpoint. This
57 // is OK for LINEAR elements, as strain is constant over the element anyway.
58
59 const unsigned qp_to_use =
60 (_nodal_material && (_bnd || _strain_at_nearest_qp) ? nearestQP(_qp) : _qp);
61
62 const Real denom = (1.0 + _vol_strain_rate_qp[qp_to_use] * _dt + _vol_strain_qp_old[qp_to_use]);
63 const Real s_p = _porosity_old[_qp] * (1 + _vol_strain_qp_old[qp_to_use]);
64 _porosity[_qp] = (s_p * std::exp(-((*_pf)[_qp] - _pf_old[_qp]) / _fluid_bulk_modulus) +
65 ((*_pf)[_qp] - _pf_old[_qp]) / _biot_modulus +
66 _biot * ((*_vol_strain_qp)[qp_to_use] - _vol_strain_qp_old[qp_to_use])) /
67 denom;
68
69 (*_dporosity_dvar)[_qp].resize(_num_var);
70 for (unsigned int v = 0; v < _num_var; ++v)
71 (*_dporosity_dvar)[_qp][v] =
72 (*_dpf_dvar)[_qp][v] *
73 (-s_p * std::exp(-((*_pf)[_qp] - _pf_old[_qp]) / _fluid_bulk_modulus) /
75 1.0 / _biot_modulus) /
76 denom;
77
78 (*_dporosity_dgradvar)[_qp].resize(_num_var);
79 for (unsigned int v = 0; v < _num_var; ++v)
80 (*_dporosity_dgradvar)[_qp][v] =
81 _biot * (*_dvol_strain_qp_dvar)[qp_to_use][v] / denom -
82 _porosity[_qp] / denom * _dvol_strain_rate_qp_dvar[qp_to_use][v] * _dt;
83
85}
virtual void resize(const std::size_t size) override final
MaterialProperty< std::vector< RealGradient > > *const _dporosity_dgradvar
d(porosity)/d(grad PorousFlow variable)
MaterialProperty< std::vector< Real > > *const _dporosity_dvar
d(porosity)/d(PorousFlow variable)
void applyPorosityMin()
If _porosity[_qp] < porosity_min, set _porosity[_qp] = porosity_min and multiply the derivatives of p...
const bool _strain_at_nearest_qp
When calculating nodal porosity, use the strain at the nearest quadpoint to the node.
const GenericMaterialProperty< Real, is_ad > *const _vol_strain_qp
Strain.
const GenericMaterialProperty< Real, is_ad > *const _pf
Effective porepressure at the quadpoints or nodes.

◆ datNegInfinityQp()

template<bool is_ad>
Real PorousFlowPorosityTempl< is_ad >::datNegInfinityQp ( unsigned  pvar) const
overrideprotectedvirtualinherited

d(a)/d(PorousFlow variable pvar)

Implements PorousFlowPorosityExponentialBaseTempl< is_ad >.

Definition at line 237 of file PorousFlowPorosity.C.

238{
239 Real result = 0.0;
240 if (_chemical && (_t_step >= 1 || _app.isRestarting()))
241 for (unsigned i = 0; i < _num_c_ref; ++i)
242 result -= _c_weights[i] * _dt * (*_porosity_old)[_qp] *
243 ((*_saturation)[_qp][_aq_ph] * (*_dreaction_rate_dvar)[_qp][i][pvar] +
244 (*_dsaturation_dvar)[_qp][_aq_ph][pvar] * (*_reaction_rate)[_qp][i]);
245 return result;
246}

◆ datZeroQp()

template<bool is_ad>
Real PorousFlowPorosityTempl< is_ad >::datZeroQp ( unsigned  pvar) const
overrideprotectedvirtualinherited

d(b)/d(PorousFlow variable pvar)

Implements PorousFlowPorosityExponentialBaseTempl< is_ad >.

Definition at line 271 of file PorousFlowPorosity.C.

272{
273 Real result = 0.0;
274 if (_chemical && (_t_step >= 1 || _app.isRestarting()))
275 for (unsigned i = 0; i < _num_c_ref; ++i)
276 result -= _c_weights[i] * _dt * (*_porosity_old)[_qp] *
277 ((*_saturation)[_qp][_aq_ph] * (*_dreaction_rate_dvar)[_qp][i][pvar] +
278 (*_dsaturation_dvar)[_qp][_aq_ph][pvar] * (*_reaction_rate)[_qp][i]);
279 return result;
280}

◆ ddecayQp_dgradvar()

template<bool is_ad>
RealGradient PorousFlowPorosityTempl< is_ad >::ddecayQp_dgradvar ( unsigned  pvar) const
overrideprotectedvirtualinherited

d(decay)/d(grad(PorousFlow variable pvar))

Implements PorousFlowPorosityExponentialBaseTempl< is_ad >.

Definition at line 375 of file PorousFlowPorosity.C.

376{
377 RealGradient result(0.0, 0.0, 0.0);
378 if (_mechanical)
379 {
380 const unsigned qp_to_use =
381 (_nodal_material && (_bnd || _strain_at_nearest_qp) ? nearestQP(_qp) : _qp);
382 result += -(*_dvol_strain_qp_dvar)[qp_to_use][pvar];
383 }
384 return result;
385}
const bool _mechanical
Porosity is a function of volumetric strain.

◆ ddecayQp_dvar()

template<bool is_ad>
Real PorousFlowPorosityTempl< is_ad >::ddecayQp_dvar ( unsigned  pvar) const
overrideprotectedvirtualinherited

d(decay)/d(PorousFlow variable pvar)

Implements PorousFlowPorosityExponentialBaseTempl< is_ad >.

Definition at line 335 of file PorousFlowPorosity.C.

336{
337 Real result = 0.0;
338
339 if (_thermal)
340 result += _exp_coeff * (*_dtemperature_dvar)[_qp][pvar];
341
342 if (_fluid)
343 {
344 Real solid_bulk;
345 // Using Qp 0 can leverage the functor caching
346 // TODO: Find a way to effectively use subdomain-constant-ness
347 unsigned int qp_used = (_constant_option == Material::ConstantTypeEnum::NONE) ? _qp : 0;
348 if (_nodal_material)
349 {
350 const std::set<SubdomainID> subdomain_set = {_current_elem->subdomain_id()};
351 const Moose::NodeArg space_arg = {_current_elem->node_ptr(qp_used), &subdomain_set};
352 solid_bulk = (*_solid_bulk)(space_arg, Moose::currentState());
353 }
354 else if (_bnd)
355 {
356 const Moose::ElemSideQpArg space_arg = {
357 _current_elem, _current_side, qp_used, _qrule, _q_point[qp_used]};
358 solid_bulk = (*_solid_bulk)(space_arg, Moose::currentState());
359 }
360 else
361 {
362 const Moose::ElemQpArg space_arg = {_current_elem, qp_used, _qrule, _q_point[qp_used]};
363 solid_bulk = (*_solid_bulk)(space_arg, Moose::currentState());
364 }
365 if (solid_bulk <= 0)
366 this->mooseError("PorousFlowPorosity: solid_bulk must be larger than Zero.");
367 result += _coeff / solid_bulk * (*_dpf_dvar)[_qp][pvar];
368 }
369
370 return result;
371}
void mooseError(Args &&... args)
const Real _exp_coeff
Thermal expansion coefficient of the solid porous skeleton.
const Real _coeff
Short-hand number (biot-1). Please note: this variable is not yet divided by solid_bulk.
const bool _fluid
Porosity is a function of effective porepressure.
const bool _thermal
Porosity is a function of temperature.
StateArg currentState()

◆ decayQp()

template<bool is_ad>
GenericReal< is_ad > PorousFlowPorosityTempl< is_ad >::decayQp ( ) const
overrideprotectedvirtualinherited

Returns "decay" at the quadpoint (porosity = a + (b - a) * exp(decay))

Implements PorousFlowPorosityExponentialBaseTempl< is_ad >.

Definition at line 284 of file PorousFlowPorosity.C.

285{
286 GenericReal<is_ad> result = 0.0;
287
288 if (_thermal)
289 result += _exp_coeff * ((*_temperature)[_qp] - _t_reference[_qp]);
290
291 if (_fluid)
292 {
293 Real solid_bulk;
294 // Using Qp 0 can leverage the functor caching
295 // TODO: Find a way to effectively use subdomain-constant-ness
296 unsigned int qp_used = (_constant_option == Material::ConstantTypeEnum::NONE) ? _qp : 0;
297 if (_nodal_material)
298 {
299 const std::set<SubdomainID> subdomain_set = {_current_elem->subdomain_id()};
300 const Moose::NodeArg space_arg = {_current_elem->node_ptr(qp_used), &subdomain_set};
301 solid_bulk = (*_solid_bulk)(space_arg, Moose::currentState());
302 }
303 else if (_bnd)
304 {
305 const Moose::ElemSideQpArg space_arg = {
306 _current_elem, _current_side, qp_used, _qrule, _q_point[qp_used]};
307 solid_bulk = (*_solid_bulk)(space_arg, Moose::currentState());
308 }
309 else
310 {
311 const Moose::ElemQpArg space_arg = {_current_elem, qp_used, _qrule, _q_point[qp_used]};
312 solid_bulk = (*_solid_bulk)(space_arg, Moose::currentState());
313 }
314 if (solid_bulk <= 0)
315 this->mooseError("PorousFlowPorosity: solid_bulk must be larger than Zero");
316 result += _coeff / solid_bulk * ((*_pf)[_qp] - _p_reference[_qp]);
317 }
318
319 if (_mechanical)
320 {
321 // Note that in the following _strain[_qp] is evaluated at q quadpoint
322 // So _porosity_nodal[_qp], which should be the nodal value of porosity
323 // actually uses the strain at a quadpoint. This
324 // is OK for LINEAR elements, as strain is constant over the element anyway.
325 const unsigned qp_to_use =
326 (_nodal_material && (_bnd || _strain_at_nearest_qp) ? nearestQP(_qp) : _qp);
327 result += -(*_vol_strain_qp)[qp_to_use];
328 }
329
330 return result;
331}
const VariableValue & _p_reference
Reference porepressure.
const VariableValue & _t_reference
Reference temperature.

◆ initQpStatefulProperties()

template<bool is_ad>
void PorousFlowPorosityExponentialBaseTempl< is_ad >::initQpStatefulProperties ( )
overrideprotectedvirtualinherited

Definition at line 55 of file PorousFlowPorosityExponentialBase.C.

56{
57 // Unqualified calls so ADL finds the MetaPhysicL overloads for the AD (DualNumber) instantiation
58 using std::exp;
59 using std::log;
60
63 mooseAssert(a > b, "PorousFlowPorosityExponentialBase a must be larger than b");
64 const GenericReal<is_ad> decay = decayQp();
65
66 if (decay <= 0.0 || !_ensure_positive)
67 _porosity[_qp] = a + (b - a) * exp(decay);
68 else
69 {
70 const GenericReal<is_ad> c = log(a / (a - b));
71 const GenericReal<is_ad> expx = exp(-decay / c);
72 _porosity[_qp] = a + (b - a) * exp(c * (1.0 - expx));
73 }
74
75 if (_porosity[_qp] < _porosity_min)
77}
virtual GenericReal< is_ad > atNegInfinityQp() const =0
Returns "a" at the quadpoint (porosity = a + (b - a) * exp(decay))
virtual GenericReal< is_ad > decayQp() const =0
Returns "decay" at the quadpoint (porosity = a + (b - a) * exp(decay))
virtual GenericReal< is_ad > atZeroQp() const =0
Returns "b" at the quadpoint (porosity = a + (b - a) * exp(decay))
const bool _ensure_positive
for decayQp() > 0, porosity can be negative when using porosity = a + (b - a) * exp(decay).
auto exp(const T &)
auto log(const T &)

◆ validParams()

InputParameters PorousFlowPorosityHMBiotModulus::validParams ( )
static

Definition at line 16 of file PorousFlowPorosityHMBiotModulus.C.

17{
19 params.set<bool>("mechanical") = true;
20 params.set<bool>("fluid") = true;
21 params.addRequiredRangeCheckedParam<Real>("constant_biot_modulus",
22 "constant_biot_modulus>0",
23 "Biot modulus, which is constant for this Material");
25 "constant_fluid_bulk_modulus",
26 "constant_fluid_bulk_modulus>0",
27 "Fluid bulk modulus, which is constant for this Material");
29 "This Material calculates the porosity for hydro-mechanical simulations, assuming that the "
30 "Biot modulus and the fluid bulk modulus are both constant. This is useful for comparing "
31 "with solutions from poroelasticity theory, but is less accurate than PorousFlowPorosity");
32 return params;
33}
void addRequiredRangeCheckedParam(const std::string &name, const std::string &parsed_function, const std::string &doc_string)
void addClassDescription(const std::string &doc_string)
T & set(const std::string &name, bool quiet_mode=false)
static InputParameters validParams()

Member Data Documentation

◆ _aq_ph

template<bool is_ad>
const unsigned int PorousFlowPorosityTempl< is_ad >::_aq_ph
protectedinherited

Aqueous phase number.

Definition at line 117 of file PorousFlowPorosity.h.

◆ _biot

template<bool is_ad>
const Real PorousFlowPorosityTempl< is_ad >::_biot
protectedinherited

Biot coefficient.

Definition at line 53 of file PorousFlowPorosity.h.

Referenced by computeQpProperties().

◆ _biot_modulus

const Real PorousFlowPorosityHMBiotModulus::_biot_modulus
protected

Constant biot modulus.

Definition at line 37 of file PorousFlowPorosityHMBiotModulus.h.

Referenced by computeQpProperties().

◆ _c_reference

template<bool is_ad>
std::vector<const VariableValue *> PorousFlowPorosityTempl< is_ad >::_c_reference
protectedinherited

Reference mineral concentrations.

Definition at line 75 of file PorousFlowPorosity.h.

Referenced by PorousFlowPorosityTempl< is_ad >::PorousFlowPorosityTempl().

◆ _c_weights

template<bool is_ad>
std::vector<Real> PorousFlowPorosityTempl< is_ad >::_c_weights
protectedinherited

Weights for the mineral concentrations.

Definition at line 84 of file PorousFlowPorosity.h.

Referenced by PorousFlowPorosityTempl< is_ad >::PorousFlowPorosityTempl().

◆ _chemical

template<bool is_ad>
const bool PorousFlowPorosityTempl< is_ad >::_chemical
protectedinherited

Porosity is a function of chemistry.

Definition at line 47 of file PorousFlowPorosity.h.

Referenced by PorousFlowPorosityTempl< is_ad >::PorousFlowPorosityTempl().

◆ _coeff

template<bool is_ad>
const Real PorousFlowPorosityTempl< is_ad >::_coeff
protectedinherited

Short-hand number (biot-1). Please note: this variable is not yet divided by solid_bulk.

Definition at line 63 of file PorousFlowPorosity.h.

◆ _dpf_dvar

template<bool is_ad>
const MaterialProperty<std::vector<Real> >* const PorousFlowPorosityTempl< is_ad >::_dpf_dvar
protectedinherited

d(effective porepressure)/(d porflow variable)

Definition at line 99 of file PorousFlowPorosity.h.

◆ _dporosity_dgradvar

template<bool is_ad>
MaterialProperty<std::vector<RealGradient> >* const PorousFlowPorosityBaseTempl< is_ad >::_dporosity_dgradvar
protectedinherited

d(porosity)/d(grad PorousFlow variable)

Definition at line 42 of file PorousFlowPorosityBase.h.

Referenced by computeQpProperties().

◆ _dporosity_dvar

template<bool is_ad>
MaterialProperty<std::vector<Real> >* const PorousFlowPorosityBaseTempl< is_ad >::_dporosity_dvar
protectedinherited

◆ _dreaction_rate_dvar

template<bool is_ad>
const MaterialProperty<std::vector<std::vector<Real> > >* const PorousFlowPorosityTempl< is_ad >::_dreaction_rate_dvar
protectedinherited

d(reaction_rate_conc)/d(porflow variable)

Definition at line 114 of file PorousFlowPorosity.h.

◆ _dsaturation_dvar

template<bool is_ad>
const MaterialProperty<std::vector<std::vector<Real> > >* const PorousFlowPorosityTempl< is_ad >::_dsaturation_dvar
protectedinherited

d(saturation)/d(PorousFlow var)

Definition at line 123 of file PorousFlowPorosity.h.

◆ _dtemperature_dvar

template<bool is_ad>
const MaterialProperty<std::vector<Real> >* const PorousFlowPorosityTempl< is_ad >::_dtemperature_dvar
protectedinherited

d(temperature)/(d porflow variable)

Definition at line 105 of file PorousFlowPorosity.h.

◆ _dvol_strain_qp_dvar

template<bool is_ad>
const MaterialProperty<std::vector<RealGradient> >* const PorousFlowPorosityTempl< is_ad >::_dvol_strain_qp_dvar
protectedinherited

d(strain)/(dvar)

Definition at line 93 of file PorousFlowPorosity.h.

◆ _dvol_strain_rate_qp_dvar

const MaterialProperty<std::vector<RealGradient> >& PorousFlowPorosityHMBiotModulus::_dvol_strain_rate_qp_dvar
protected

d(volumetric strain rate)/d(PorousFlow variable)

Definition at line 52 of file PorousFlowPorosityHMBiotModulus.h.

Referenced by computeQpProperties().

◆ _ensure_positive

template<bool is_ad>
const bool PorousFlowPorosityExponentialBaseTempl< is_ad >::_ensure_positive
protectedinherited

for decayQp() > 0, porosity can be negative when using porosity = a + (b - a) * exp(decay).

This expression is modified if ensure_positive = true to read porosity = a + (b - a) * exp(c * (1 - Exp(- decay / c))) where c = log(a/(b-a))

Definition at line 74 of file PorousFlowPorosityExponentialBase.h.

◆ _exp_coeff

template<bool is_ad>
const Real PorousFlowPorosityTempl< is_ad >::_exp_coeff
protectedinherited

Thermal expansion coefficient of the solid porous skeleton.

Definition at line 56 of file PorousFlowPorosity.h.

◆ _fluid

template<bool is_ad>
const bool PorousFlowPorosityTempl< is_ad >::_fluid
protectedinherited

Porosity is a function of effective porepressure.

Definition at line 41 of file PorousFlowPorosity.h.

Referenced by PorousFlowPorosityTempl< is_ad >::PorousFlowPorosityTempl().

◆ _fluid_bulk_modulus

const Real PorousFlowPorosityHMBiotModulus::_fluid_bulk_modulus
protected

Constant fluid bulk modulus.

Definition at line 40 of file PorousFlowPorosityHMBiotModulus.h.

Referenced by computeQpProperties().

◆ _initial_c

template<bool is_ad>
std::vector<const VariableValue *> PorousFlowPorosityTempl< is_ad >::_initial_c
protectedinherited

Reference mineral concentrations.

Definition at line 81 of file PorousFlowPorosity.h.

Referenced by PorousFlowPorosityTempl< is_ad >::PorousFlowPorosityTempl().

◆ _mechanical

template<bool is_ad>
const bool PorousFlowPorosityTempl< is_ad >::_mechanical
protectedinherited

Porosity is a function of volumetric strain.

Definition at line 38 of file PorousFlowPorosity.h.

◆ _mineral_conc_old

template<bool is_ad>
const MaterialProperty<std::vector<Real> >* const PorousFlowPorosityTempl< is_ad >::_mineral_conc_old
protectedinherited

Old value of mineral concentration at the quadpoints or nodes.

Definition at line 108 of file PorousFlowPorosity.h.

◆ _num_c_ref

template<bool is_ad>
const unsigned PorousFlowPorosityTempl< is_ad >::_num_c_ref
protectedinherited

Number of reference mineral concentrations provided by user.

Definition at line 72 of file PorousFlowPorosity.h.

Referenced by PorousFlowPorosityTempl< is_ad >::PorousFlowPorosityTempl().

◆ _num_components

const unsigned int PorousFlowMaterialVectorBase::_num_components
protectedinherited

◆ _num_initial_c

template<bool is_ad>
const unsigned PorousFlowPorosityTempl< is_ad >::_num_initial_c
protectedinherited

Number of reference mineral concentrations provided by user.

Definition at line 78 of file PorousFlowPorosity.h.

Referenced by PorousFlowPorosityTempl< is_ad >::PorousFlowPorosityTempl().

◆ _num_phases

const unsigned int PorousFlowMaterialVectorBase::_num_phases
protectedinherited

◆ _num_var

const unsigned int PorousFlowMaterialVectorBase::_num_var
protectedinherited

◆ _p_reference

template<bool is_ad>
const VariableValue& PorousFlowPorosityTempl< is_ad >::_p_reference
protectedinherited

Reference porepressure.

Definition at line 69 of file PorousFlowPorosity.h.

◆ _pf

template<bool is_ad>
const GenericMaterialProperty<Real, is_ad>* const PorousFlowPorosityTempl< is_ad >::_pf
protectedinherited

Effective porepressure at the quadpoints or nodes.

Definition at line 96 of file PorousFlowPorosity.h.

Referenced by computeQpProperties().

◆ _pf_old

const MaterialProperty<Real>& PorousFlowPorosityHMBiotModulus::_pf_old
protected

Old value of effective fluid pressure.

Definition at line 43 of file PorousFlowPorosityHMBiotModulus.h.

Referenced by computeQpProperties().

◆ _phi0

template<bool is_ad>
const VariableValue& PorousFlowPorosityTempl< is_ad >::_phi0
protectedinherited

Porosity at zero strain and zero porepressure and zero temperature.

Definition at line 50 of file PorousFlowPorosity.h.

◆ _porosity

template<bool is_ad>
GenericMaterialProperty<Real, is_ad>& PorousFlowPorosityBaseTempl< is_ad >::_porosity
protectedinherited

◆ _porosity_min

template<bool is_ad>
const Real PorousFlowPorosityBaseTempl< is_ad >::_porosity_min
protectedinherited

Minimum allowed porosity (default zero, so porosity is never negative)

Definition at line 45 of file PorousFlowPorosityBase.h.

◆ _porosity_old

const MaterialProperty<Real>& PorousFlowPorosityHMBiotModulus::_porosity_old
protected

Old value of porosity.

Definition at line 34 of file PorousFlowPorosityHMBiotModulus.h.

Referenced by computeQpProperties().

◆ _reaction_rate

template<bool is_ad>
const MaterialProperty<std::vector<Real> >* const PorousFlowPorosityTempl< is_ad >::_reaction_rate
protectedinherited

Reaction rate of mineralisation.

Definition at line 111 of file PorousFlowPorosity.h.

◆ _saturation

template<bool is_ad>
const MaterialProperty<std::vector<Real> >* const PorousFlowPorosityTempl< is_ad >::_saturation
protectedinherited

Saturation.

Definition at line 120 of file PorousFlowPorosity.h.

◆ _solid_bulk

template<bool is_ad>
const Moose::Functor<Real>* PorousFlowPorosityTempl< is_ad >::_solid_bulk
protectedinherited

Drained bulk modulus of the porous skeleton (as a functor; can be variable, function, etc.) Only used if _fluid is True.

Definition at line 60 of file PorousFlowPorosity.h.

Referenced by PorousFlowPorosityTempl< is_ad >::PorousFlowPorosityTempl().

◆ _strain_at_nearest_qp

template<bool is_ad>
const bool PorousFlowPorosityExponentialBaseTempl< is_ad >::_strain_at_nearest_qp
protectedinherited

When calculating nodal porosity, use the strain at the nearest quadpoint to the node.

Definition at line 65 of file PorousFlowPorosityExponentialBase.h.

Referenced by computeQpProperties().

◆ _t_reference

template<bool is_ad>
const VariableValue& PorousFlowPorosityTempl< is_ad >::_t_reference
protectedinherited

Reference temperature.

Definition at line 66 of file PorousFlowPorosity.h.

◆ _temperature

template<bool is_ad>
const GenericMaterialProperty<Real, is_ad>* const PorousFlowPorosityTempl< is_ad >::_temperature
protectedinherited

Temperature at the quadpoints or nodes.

Definition at line 102 of file PorousFlowPorosity.h.

◆ _thermal

template<bool is_ad>
const bool PorousFlowPorosityTempl< is_ad >::_thermal
protectedinherited

Porosity is a function of temperature.

Definition at line 44 of file PorousFlowPorosity.h.

Referenced by PorousFlowPorosityTempl< is_ad >::PorousFlowPorosityTempl().

◆ _vol_strain_qp

template<bool is_ad>
const GenericMaterialProperty<Real, is_ad>* const PorousFlowPorosityTempl< is_ad >::_vol_strain_qp
protectedinherited

Strain.

Definition at line 90 of file PorousFlowPorosity.h.

Referenced by computeQpProperties().

◆ _vol_strain_qp_old

const MaterialProperty<Real>& PorousFlowPorosityHMBiotModulus::_vol_strain_qp_old
protected

Old value of total volumetric strain.

Definition at line 46 of file PorousFlowPorosityHMBiotModulus.h.

Referenced by computeQpProperties().

◆ _vol_strain_rate_qp

const MaterialProperty<Real>& PorousFlowPorosityHMBiotModulus::_vol_strain_rate_qp
protected

Volumetric strain rate.

Definition at line 49 of file PorousFlowPorosityHMBiotModulus.h.

Referenced by computeQpProperties().

◆ _zero_modifier

template<bool is_ad>
const Real PorousFlowPorosityBaseTempl< is_ad >::_zero_modifier
protectedinherited

When the porosity_min floor is active, the porosity derivatives are multiplied by this.

Definition at line 48 of file PorousFlowPorosityBase.h.

◆ usingPorousFlowPorosityBaseMembers

template<bool is_ad>
PorousFlowPorosityExponentialBaseTempl< is_ad >::usingPorousFlowPorosityBaseMembers
protectedinherited

Definition at line 76 of file PorousFlowPorosityExponentialBase.h.

◆ usingPorousFlowPorosityExponentialBaseMembers

template<bool is_ad>
PorousFlowPorosityTempl< is_ad >::usingPorousFlowPorosityExponentialBaseMembers
protectedinherited

Definition at line 125 of file PorousFlowPorosity.h.


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