Documentation

LeanPool.HighContrastHomogenization.Provider.PolynomialHomogenization.ConvexHardyEarlyAggregation

High-contrast homogenization: Provider.PolynomialHomogenization.ConvexHardyEarlyAggregation #

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

Fractional aggregation of the small-radius Hardy-chain links #

The homogeneous part of the coherent ball chains is summed through a pointwise shadow estimate. The physical pair distance is retained until the dyadic scale sum, avoiding a logarithmic loss over the remaining chain depth.

source
noncomputable def HCPolySupport.HighContrast.convexHardyEarlyAggregationConstant (d : ℕ) (s beta rho Rad : ℝ) :
ENNReal

The explicit coefficient for aggregating all small-radius chain links.

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