High-contrast homogenization: Provider.Quenched.SmallContrastEntrySupply #
Imported from the Apache-2.0 HighContrastHomogenization development at commit
7a13dbcd8d6609264a713373f5c69ceeac870472.
The entry lagged variance supply #
The lagged variance supply against the entry-collapsed envelope and the
entry comparability: past the burn-in by the logarithm of the second
source moment, every excess-multiplying constant of the lagged value is
kappaRef-dimensional, with the source moments confined to the
concentration slot (which carries the subdivision decay) and the entry
delay.
noncomputable def
HCPolySupport.HighContrast.Quenched.kap2Value
{d : ℕ}
(Cd g : ℝ)
(mAl : Mat d)
(G : ℕ)
(E : BlockMat d)
:
The entry comparability constant.
Equations
- HCPolySupport.HighContrast.Quenched.kap2Value Cd g mAl G E = HCPolySupport.HighContrast.kappaRef E * (2 * HCPolySupport.HighContrast.boundaryConst Cd g mAl * 3 ^ (g * ↑G))