High-contrast homogenization: Provider.PolynomialHomogenization.RuledBufferedComparisonRealization #
Imported from the Apache-2.0 HighContrastHomogenization development at commit
7a13dbcd8d6609264a713373f5c69ceeac870472.
Buffered comparison realizations on ruled Whitney cells #
The constant-coefficient comparison datum is restricted to each inward physical buffer and translated to its origin-centered observation cube. A single observation Dirichlet family supplies the prescribed trace, the physical-cell comparison fields, and the mixed Caccioppoli row.
def
HCPolySupport.HighContrast.ruledPhysicalFluxDefectOnCell
{d : ℕ}
{U : Set (Vec d)}
{rho Rad : ℝ}
(system : EnlargedMarginRuledTriadicWhitneySystem U rho Rad)
(aPhysical : CoeffField d)
(a0 : system.CellIndex → Book.Ch03.ConstantCoeffMatrix d)
(u : H1Function U)
(i : system.CellIndex)
(x : Vec d)
:
Vec d
The physical flux defect on one ruled cell.
Equations
- HCPolySupport.HighContrast.ruledPhysicalFluxDefectOnCell system aPhysical a0 u i x = HCPolySupport.matVecMul (aPhysical x - (a0 i).matrix) (u.grad x)