High-contrast homogenization: Provider.PolynomialHomogenization.ConvexHardyRowAggregation

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

Fractional Hardy aggregation on convex domains

The initial Whitney-cell comparison and a stopped convex ball chain control the centered inverse-scale weighted squared-deviation term in the positive fractional row norm. The existential form chooses all auxiliary geometric parameters before the function being estimated.

noncomputable def HCPolySupport.HighContrast.convexHardyWhitneyRowAggregationFactor (d : ℕ) (rho Rad s beta : ℝ) (K : ℕ) (n : ℤ) : ENNReal

The explicit coefficient for the centered positive Whitney-row energy.

Equations

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