PenaltyPeriodicSegmentalConstraint

PenaltyPeriodicSegmentalConstraint enforces macro-micro periodic conditions between secondary and primary sides of a mortar interface using a penalty approach (no Lagrange multipliers needed). Must be used alongside PenaltyEqualValueConstraint.

Description

This Constraint demonstrates the usage of the scalar augmentation class described in MortarScalarBase. The other terms in the weak form are handled using the PenaltyEqualValueConstraint as described below.

In comparison to Dirichlet or Neumann conditions, periodic boundary conditions have been found to typically be the most accurate (fastest converging) approach for applying macro-to-micro scale transition constraints. Several methods for imposing periodic boundary conditions exist, each with pros and cons. For example, the periodic constraint will only be satisfied approximately by this method. Alternatively, the periodic condition can be imposed by the Lagrange multiplier method using PeriodicSegmentalConstraint or one of the other periodic approaches in MOOSE.

This class provides the macro-micro coupling terms to implement periodic boundary conditions using the penalty method, which is a subset of the Discontinuous Galerkin method proposed within Aduloju and Truster (2020). Alternatively, these equations impose an average value of the diffusive flux of a spatial variable over a domain using surface rather than volume integrals.

The strong form is posed over domain with opposing boundary pairs and is written in PeriodicSegmentalConstraint for the mortar method. The corresponding weak form is (using inner-product notation):

(1)

where is the average diffusive gradient to be solved for, and is the average diffusive flux imposed through the penalty constraint. Also, is the test function of the diffusive variable , and is an arbitrary test vector (spatially uniform) to impose the constraint involving the scalar variable . The jump operator is defined for a single valued or vector valued field as and , respectively. Finally, is a penalty parameter to impose the constraint.

Note: The macro-to-micro constraint will only be satisfied approximately by this method, depending on the size of the penalty parameter.

Input File Parameters

The terms in the weak form Eq. (1) are handled by several different classes. The volume integrals are handled by Diffusion or MatDiffusion. The surface term is computed by PenaltyEqualValueConstraint. The remaining four terms are handled by this class.

Two of these objects are shown in the input file below:

[Constraints]
  [mortarlr]
    type = PenaltyEqualValueConstraint
    primary_boundary = '11'
    secondary_boundary = '13'
    primary_subdomain = 'primary_right'
    secondary_subdomain = 'secondary_left'
    secondary_variable = u
    correct_edge_dropping = true
    penalty_value = 1.e2
  []
  [periodiclr]
    type = PenaltyPeriodicSegmentalConstraint
    primary_boundary = '11'
    secondary_boundary = '13'
    primary_subdomain = 'primary_right'
    secondary_subdomain = 'secondary_left'
    secondary_variable = u
    epsilon = epsilon
    sigma = sigma
    correct_edge_dropping = true
    penalty_value = 1.e2
  []
  [mortarbt]
    type = PenaltyEqualValueConstraint
    primary_boundary = '12'
    secondary_boundary = '10'
    primary_subdomain = 'primary_top'
    secondary_subdomain = 'secondary_bottom'
    secondary_variable = u
    correct_edge_dropping = true
    penalty_value = 1.e2
  []
  [periodicbt]
    type = PenaltyPeriodicSegmentalConstraint
    primary_boundary = '12'
    secondary_boundary = '10'
    primary_subdomain = 'primary_top'
    secondary_subdomain = 'secondary_bottom'
    secondary_variable = u
    epsilon = epsilon
    sigma = sigma
    correct_edge_dropping = true
    penalty_value = 1.e2
  []
[]
(moose/test/tests/mortar/periodic_segmental_constraint/penalty_periodic_simple2d.i)

The applied macroscale diffusive flux is applied as the sigma vector via an auxiliary scalar. The computed macroscale diffusive gradient is assigned in a scalar variable epsilon. Both of these scalars should have the same number of components as the spatial dimension of . The volume integral of the gradient of the primary field will be constrained to in a weak sense, depending on the size of the penalty parameter penalty_value.

Also, the coupled_scalar must be assigned the same scalar as epsilon.

The microscale diffusion variable is specified using the primary_variable parameter. If the solution values to be matched are between different variables, the secondary_variable parameter can also be supplied. These same parameters must be used for the micro-micro coupling terms in the PenaltyEqualValueConstraint object.

The generation of the lower-dimensional mesh surfaces for and are described in the Mortar Constraint system. The projection between two separated surfaces on opposite sides of the domain are naturally handled by the system. This is true for both PenaltyEqualValueConstraint and PenaltyPeriodicSegmentalConstraint. In fact, the meshes can be nonconforming as long as the geometry is conforming, although the choice of penalty_value becomes more delicate. Note that the periodic parameter is NOT needed, but if it is applied then it should be the same for BOTH PenaltyEqualValueConstraint and PenaltyPeriodicSegmentalConstraint.

commentnote:Parallel offsets

Due to current restrictions on AutomaticMortarGeneration, the opposing surfaces must be directly opposite along the unit normal direction.

Input Parameters

  • primary_boundaryThe name of the primary boundary sideset.

    C++ Type:BoundaryName

    Controllable:No

    Description:The name of the primary boundary sideset.

  • primary_subdomainThe name of the primary subdomain.

    C++ Type:SubdomainName

    Controllable:No

    Description:The name of the primary subdomain.

  • secondary_boundaryThe name of the secondary boundary sideset.

    C++ Type:BoundaryName

    Controllable:No

    Description:The name of the secondary boundary sideset.

  • secondary_subdomainThe name of the secondary subdomain.

    C++ Type:SubdomainName

    Controllable:No

    Description:The name of the secondary subdomain.

  • sigmaControlled scalar averaging variable

    C++ Type:std::vector<VariableName>

    Controllable:No

    Description:Controlled scalar averaging variable

Required Parameters

  • aux_lmAuxiliary Lagrange multiplier variable that is utilized together with the Petrov-Galerkin approach.

    C++ Type:std::vector<VariableName>

    Controllable:No

    Description:Auxiliary Lagrange multiplier variable that is utilized together with the Petrov-Galerkin approach.

  • compute_lm_residualsTrueWhether to compute Lagrange Multiplier residuals

    Default:True

    C++ Type:bool

    Controllable:No

    Description:Whether to compute Lagrange Multiplier residuals

  • compute_primal_residualsTrueWhether to compute residuals for the primal variable.

    Default:True

    C++ Type:bool

    Controllable:No

    Description:Whether to compute residuals for the primal variable.

  • compute_scalar_residualsTrueWhether to compute scalar residuals

    Default:True

    C++ Type:bool

    Controllable:No

    Description:Whether to compute scalar residuals

  • correct_edge_droppingFalseWhether to enable correct edge dropping treatment for mortar constraints. When disabled any Lagrange Multiplier degree of freedom on a secondary element without full primary contributions will be set (strongly) to 0.

    Default:False

    C++ Type:bool

    Controllable:No

    Description:Whether to enable correct edge dropping treatment for mortar constraints. When disabled any Lagrange Multiplier degree of freedom on a secondary element without full primary contributions will be set (strongly) to 0.

  • debug_meshFalseWhether this constraint is going to enable mortar segment mesh debug information. An exodusfile will be generated if the user sets this flag to true

    Default:False

    C++ Type:bool

    Controllable:No

    Description:Whether this constraint is going to enable mortar segment mesh debug information. An exodusfile will be generated if the user sets this flag to true

  • epsilonPrimary coupled scalar variable

    C++ Type:std::vector<VariableName>

    Controllable:No

    Description:Primary coupled scalar variable

  • ghost_higher_d_neighborsFalseWhether we should ghost higher-dimensional neighbors. This is necessary when we are doing second order mortar with finite volume primal variables, because in order for the method to be second order we must use cell gradients, which couples in the neighbor cells.

    Default:False

    C++ Type:bool

    Controllable:No

    Description:Whether we should ghost higher-dimensional neighbors. This is necessary when we are doing second order mortar with finite volume primal variables, because in order for the method to be second order we must use cell gradients, which couples in the neighbor cells.

  • ghost_point_neighborsFalseWhether we should ghost point neighbors of secondary face elements, and consequently also their mortar interface couples.

    Default:False

    C++ Type:bool

    Controllable:No

    Description:Whether we should ghost point neighbors of secondary face elements, and consequently also their mortar interface couples.

  • interpolate_normalsTrueWhether to interpolate the nodal normals (e.g. classic idea of evaluating field at quadrature points). If this is set to false, then non-interpolated nodal normals will be used, and then the _normals member should be indexed with _i instead of _qp

    Default:True

    C++ Type:bool

    Controllable:No

    Description:Whether to interpolate the nodal normals (e.g. classic idea of evaluating field at quadrature points). If this is set to false, then non-interpolated nodal normals will be used, and then the _normals member should be indexed with _i instead of _qp

  • minimum_projection_angle40Parameter to control which angle (in degrees) is admissible for the creation of mortar segments. If set to a value close to zero, very oblique projections are allowed, which can result in mortar segments solving physics not meaningfully, and overprojection of primary nodes onto the mortar segment mesh in extreme cases. This parameter is mostly intended for mortar mesh debugging purposes in two dimensions.

    Default:40

    C++ Type:double

    Controllable:No

    Description:Parameter to control which angle (in degrees) is admissible for the creation of mortar segments. If set to a value close to zero, very oblique projections are allowed, which can result in mortar segments solving physics not meaningfully, and overprojection of primary nodes onto the mortar segment mesh in extreme cases. This parameter is mostly intended for mortar mesh debugging purposes in two dimensions.

  • penalty_value1Penalty value used to impose a generalized force capturing the mortar constraint equation

    Default:1

    C++ Type:double

    Controllable:No

    Description:Penalty value used to impose a generalized force capturing the mortar constraint equation

  • periodicFalseWhether this constraint is going to be used to enforce a periodic condition. This has the effect of changing the normals vector for projection from outward to inward facing

    Default:False

    C++ Type:bool

    Controllable:No

    Description:Whether this constraint is going to be used to enforce a periodic condition. This has the effect of changing the normals vector for projection from outward to inward facing

  • primary_variablePrimal variable on primary surface. If this parameter is not provided then the primary variable will be initialized to the secondary variable

    C++ Type:VariableName

    Controllable:No

    Description:Primal variable on primary surface. If this parameter is not provided then the primary variable will be initialized to the secondary variable

  • prop_getter_suffixAn optional suffix parameter that can be appended to any attempt to retrieve/get material properties. The suffix will be prepended with a '_' character.

    C++ Type:MaterialPropertyName

    Controllable:No

    Description:An optional suffix parameter that can be appended to any attempt to retrieve/get material properties. The suffix will be prepended with a '_' character.

  • quadratureDEFAULTQuadrature rule to use on mortar segments. For 2D mortar DEFAULT is recommended. For 3D mortar, QUAD meshes are integrated using triangle mortar segments. While DEFAULT quadrature order is typically sufficiently accurate, exact integration of QUAD mortar faces requires SECOND order quadrature for FIRST variables and FOURTH order quadrature for SECOND order variables.

    Default:DEFAULT

    C++ Type:MooseEnum

    Options:DEFAULT, FIRST, SECOND, THIRD, FOURTH

    Controllable:No

    Description:Quadrature rule to use on mortar segments. For 2D mortar DEFAULT is recommended. For 3D mortar, QUAD meshes are integrated using triangle mortar segments. While DEFAULT quadrature order is typically sufficiently accurate, exact integration of QUAD mortar faces requires SECOND order quadrature for FIRST variables and FOURTH order quadrature for SECOND order variables.

  • secondary_variablePrimal variable on secondary surface.

    C++ Type:VariableName

    Controllable:No

    Description:Primal variable on secondary surface.

  • use_interpolated_stateFalseFor the old and older state use projected material properties interpolated at the quadrature points. To set up projection use the ProjectedStatefulMaterialStorageAction.

    Default:False

    C++ Type:bool

    Controllable:No

    Description:For the old and older state use projected material properties interpolated at the quadrature points. To set up projection use the ProjectedStatefulMaterialStorageAction.

  • use_petrov_galerkinFalseWhether to use the Petrov-Galerkin approach for the mortar-based constraints. If set to true, we use the standard basis as the test function and dual basis as the shape function for the interpolation of the Lagrange multiplier variable.

    Default:False

    C++ Type:bool

    Controllable:No

    Description:Whether to use the Petrov-Galerkin approach for the mortar-based constraints. If set to true, we use the standard basis as the test function and dual basis as the shape function for the interpolation of the Lagrange multiplier variable.

  • variableThe name of the lagrange multiplier variable that this constraint is applied to. This parameter may not be supplied in the case of using penalty methods for example

    C++ Type:NonlinearVariableName

    Controllable:No

    Description:The name of the lagrange multiplier variable that this constraint is applied to. This parameter may not be supplied in the case of using penalty methods for example

Optional Parameters

  • absolute_value_vector_tagsThe tags for the vectors this residual object should fill with the absolute value of the residual contribution

    C++ Type:std::vector<TagName>

    Controllable:No

    Description:The tags for the vectors this residual object should fill with the absolute value of the residual contribution

  • extra_matrix_tagsThe extra tags for the matrices this Kernel should fill

    C++ Type:std::vector<TagName>

    Controllable:No

    Description:The extra tags for the matrices this Kernel should fill

  • extra_vector_tagsThe extra tags for the vectors this Kernel should fill

    C++ Type:std::vector<TagName>

    Controllable:No

    Description:The extra tags for the vectors this Kernel should fill

  • matrix_tagssystemThe tag for the matrices this Kernel should fill

    Default:system

    C++ Type:MultiMooseEnum

    Options:nontime, system

    Controllable:No

    Description:The tag for the matrices this Kernel should fill

  • vector_tagsnontimeThe tag for the vectors this Kernel should fill

    Default:nontime

    C++ Type:MultiMooseEnum

    Options:nontime, time

    Controllable:No

    Description:The tag for the vectors this Kernel should fill

Tagging Parameters

  • control_tagsAdds user-defined labels for accessing object parameters via control logic.

    C++ Type:std::vector<std::string>

    Controllable:No

    Description:Adds user-defined labels for accessing object parameters via control logic.

  • enableTrueSet the enabled status of the MooseObject.

    Default:True

    C++ Type:bool

    Controllable:Yes

    Description:Set the enabled status of the MooseObject.

  • implicitTrueDetermines whether this object is calculated using an implicit or explicit form

    Default:True

    C++ Type:bool

    Controllable:No

    Description:Determines whether this object is calculated using an implicit or explicit form

  • seed0The seed for the master random number generator

    Default:0

    C++ Type:unsigned int

    Controllable:No

    Description:The seed for the master random number generator

  • use_displaced_meshFalseWhether or not this object should use the displaced mesh for computation. Note that in the case this is true but no displacements are provided in the Mesh block the undisplaced mesh will still be used.

    Default:False

    C++ Type:bool

    Controllable:No

    Description:Whether or not this object should use the displaced mesh for computation. Note that in the case this is true but no displacements are provided in the Mesh block the undisplaced mesh will still be used.

Advanced Parameters

References

  1. Sunday C. Aduloju and Timothy J. Truster. A primal formulation for imposing periodic boundary conditions on conforming and nonconforming meshes. Computer Methods in Applied Mechanics and Engineering, 359:112663, February 2020. URL: http://www.sciencedirect.com/science/article/pii/S0045782519305481, doi:10.1016/j.cma.2019.112663.[BibTeX]