OAI/Analysis/RieszRectifiability/Kernel/CutoffError.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Weighted fractional cutoff errors

The cutoff error weights the fractional pair energy at both endpoints. Symmetry of the near-pair weight supports integrability and bounds for the contribution of nearby pairs.

  1. def OAI.RieszRectifiability.cutoffError line 22
  2. theorem OAI.RieszRectifiability.nearPairWeight_swap line 25
  3. theorem OAI.RieszRectifiability.near_cutoffError_integrable_and_bound line 36