OAI/Analysis/RieszRectifiability/Kernel/RieszInteriorCapError.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Integrable errors for capped interior Riesz kernels

The capped interior integrand is integrable for finite measures and bounded continuous tests. For Lipschitz tests, a near-diagonal weight dominates its difference from the original integrand, giving integrability of the latter and quantitative control of the capping error.

  1. theorem OAI.RieszRectifiability.cappedRieszInterior_integrable line 22
  2. theorem OAI.RieszRectifiability.rieszInterior_integrable_and_cap_error line 33