Documentation

LeanPool.HighContrastHomogenization.Provider.PolynomialHomogenization.Root.RowSupply.DirichletCapstoneBoundary

High-contrast homogenization: #

Provider.PolynomialHomogenization.Root.RowSupply.DirichletCapstoneBoundary

Imported from the Apache-2.0 HighContrastHomogenization development at commit 7a13dbcd8d6609264a713373f5c69ceeac870472.

Dirichlet capstone boundary #

The terminal response estimate consumes a physical coefficient-energy price. This file names that premise at the exact selected gauge-domain witness and records its direct consumption by the conditional terminal theorem.

source
def HCPolySupport.HighContrast.RowSupply.GaugePhysicalEnergyPriceAtWitness {d : ℕ} (U : Set (Vec d)) (aPhysical : CoeffField d) (u : H1Function U) (Kenergy : ℝ) (boundaryEnergy : ENNReal) :
Prop

The physical coefficient-energy estimate required by RATE-AGG at one selected gauge-domain witness.

Equations
  • One or more equations did not get rendered due to their size.
Instances For