High-contrast homogenization: #
Provider.PolynomialHomogenization.Root.RowSupply.PrintDirectGradientResponsePrice
Imported from the Apache-2.0 HighContrastHomogenization development at commit
7a13dbcd8d6609264a713373f5c69ceeac870472.
Response price for the direct gradient energy map #
The coarse response controls the inverse effective ellipticity in the direct gradient estimate. The Whitney geometry supplies a uniform upper bound for the parent-scale normalization.
theorem
HCPolySupport.HighContrast.RowSupply.physicalDualBesovScaleFactor_eq_rpow
{d : ℕ}
(Q : TriadicCube d)
(s : ℝ)
:
The physical dual scale factor written as a single power.