High-contrast homogenization:

Provider.PolynomialHomogenization.Root.RowSupply.ObservationHomogenizationErrorPowerTail

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

Observation homogenization error from a reference power tail

The descendant filling kernel and the all-depth Besov weight are regrouped into one nonnegative convolution. Its parent row is exactly the squared scalar identity weak error and is therefore priced by the retained power tail once the parent lies beyond the activation generation.

noncomputable def HCPolySupport.HighContrast.RowSupply.observationFillingCoefficient (d : ℕ) (epsilon : ℝ) (abar : Mat d) : ℝ

The uniform boundary coefficient in the affine observation filling.

Equations

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

noncomputable def HCPolySupport.HighContrast.RowSupply.observationParentRowMajorant {d : ℕ} (epsilon : ℝ) (abar : Mat d) (aRef : Book.Ch03.CoeffFamily d) (M K : ℤ) (l : ℕ) : ℝ

The honest pointwise majorant for the observation descendant row.

Equations

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

noncomputable def HCPolySupport.HighContrast.RowSupply.observationParentConvolutionFactor (d : ℕ) (s epsilon : ℝ) (abar : Mat d) (M K : ℤ) : ℝ

The exact convolution loss multiplying the squared parent weak error.

Equations

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