This article is highly supported by ChatGPT.
Mortar Method
Dual Mortar
In the dual mortar formulation, the Lagrange multiplier space is constructed using a biorthogonal (dual) basis. We define the Lagrange multiplier basis functions \mu_i such that they are biorthogonal to the primal trace basis functions \phi_j on the contact interface \Gamma_c:
\int_{\Gamma_c} \mu_i \phi_j d\Gamma = \delta_{ij}where \delta_{ij} is the Kronecker delta. This means the multiplier basis is constructed to be dual to the displacement trace basis.
In the standard mortar formulation, the coupling matrix between multipliers and primal trace functions is
M_{ij} = \int_{\Gamma_c} \mu_i \phi_j d\GammaThis matrix is generally dense, even if the original finite element matrices are sparse.
As a result:
- The saddle-point system becomes globally coupled
- Static condensation is expensive
- Memory cost increases
With the biorthogonality condition,
M=I\\ (B=I)
the coupling matrix becomes the identity matrix.
This leads to:
- The Lagrange multipliers becoming locally supported
- Possibility of static condensation
- Improved sparsity
- Better computational efficiency
- Reduced memory footprint
Coarse Mortar
In the mortar method, the Lagrange multiplier space is intentionally chosen to be coarser than the displacement space. For example, the displacement field may use P2 elements, while the multiplier space uses P1 or even P0 elements, i.e., a lower polynomial order.
The reason is stability and efficiency. If the multiplier space has the same richness as the displacement trace space, the number of degrees of freedom increases significantly, the saddle-point system becomes larger, and the formulation is more prone to violating the inf–sup condition. This often leads to instability and deteriorated convergence.
By reducing the order of the multiplier space, we effectively restrict it to only the physically necessary constraint modes. Mathematically, the constraint is written as
Bu=0
but choosing a coarser multiplier space reduces the rank of B. In other words, we deliberately weaken the constraint.
The essential idea is to stabilize the formulation by lowering the dimensionality of the interface constraint space. Physically, this means ignoring small-scale oscillations along the interface and enforcing only macroscopic compatibility.
Augmented Lagrangian
In the augmented Lagrangian (AL) approach, a penalty term is added to the energy functional in addition to the classical Lagrange multiplier term. The interface contribution becomes
\int_{\Gamma_c}
\lambda , (u_1 - u_2)
+
\frac{\rho}{2}
| u_1 - u_2 |^2
d\GammaThe first term enforces the constraint through a Lagrange multiplier, while the second term penalizes the constraint violation with a parameter ( \rho > 0 ).
In the discrete system, this modifies the stiffness structure. Instead of a purely saddle-point system, the primal block gains an additional term of the form
K_1 + \rho B_1^T B_1
and similarly for the coupled interface contributions. The matrix is no longer purely indefinite in the same way as the classical Lagrange multiplier formulation.
The motivation is numerical robustness. A pure Lagrange multiplier method leads to a saddle-point system that is indefinite and sensitive to inf–sup stability. The multiplier field can exhibit oscillations, and the linear system can be difficult to solve.
By introducing the augmented term, the constraint is softened. This improves numerical stability, enhances conditioning, and makes the multiplier field behave more physically (less oscillatory and better controlled).
The essential idea is to stabilize the constraint enforcement by combining Lagrange multipliers with a penalty mechanism — a hybrid between exact constraint enforcement and soft penalization.
| Method | Multiplier Space | Constraint Strength | Matrix Structure | Stability |
|---|---|---|---|---|
| Dual | Same dimension (dual basis) | Exact | Saddle-point | Good |
| Coarse | Lower-dimensional | Weakened | Saddle-point | Improved |
| AL | Same dimension | Slightly relaxed (effective) | Nearly positive definite | Very strong |
