High-contrast homogenization: Provider.Quenched.SmallContrastWeakCap #
Imported from the Apache-2.0 HighContrastHomogenization development at commit
7a13dbcd8d6609264a713373f5c69ceeac870472.
The weak cap: the primal weak root by the per-scale carriers #
The sample-level majorization of the primal weak root, at the recentered samples and the inflated reference, with every group discharged by the per-scale variance carriers, the mean drops, the decayed bad-energy majorant, the geometric good-energy tail, and the terminal centering variance. No window multiplier, no coupled window, no history.
noncomputable def
HCPolySupport.HighContrast.Quenched.weakScaleBudget
{d : ℕ}
(P : MeasureTheory.Measure (CoeffSpace d))
(q : Mat d)
(F : BlockMat d)
(t : ℤ)
(j : ℕ)
:
The per-scale budget of the weak cap: the two single-cell fluctuation
carriers and the deterministic mean drop at depth j below t.
Equations
- One or more equations did not get rendered due to their size.