OAI/Analysis/RieszRectifiability/Kernel/LocalizedRieszPairingBounds.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Localized scalar Riesz pairing bounds

Lipschitz cancellation bounds the interior integrand by a weakly singular kernel. The exterior estimate uses compact support and the normal height to control its tail, giving quantitative bounds for the localized scalar pairing.

  1. theorem OAI.RieszRectifiability.rieszInteriorIntegrand_weak_kernel_bound line 21
  2. theorem OAI.RieszRectifiability.rieszInteriorIntegrand_integral_abs_bound line 48
  3. theorem OAI.RieszRectifiability.rieszFarIntegrand_integral_abs_bound line 73
  4. theorem OAI.RieszRectifiability.rieszScalarPairing_compact_lipschitz_bound line 130