OAI/Analysis/RieszRectifiability/Kernel/NormalPairingEnergy.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Normal cutoff pairings and local energy

The normal pairing splits into a symmetric interaction inside a ball and a renormalized exterior term. Bounds on the pairing, cutoff moments, and exterior interaction control the local fractional energy together with its cutoff error.

  1. def OAI.RieszRectifiability.normalCutoffPairing line 24
  2. def OAI.RieszRectifiability.normalExteriorEstimate line 32
  3. def OAI.RieszRectifiability.localCutoffErrorCoefficient line 36
  4. theorem OAI.RieszRectifiability.normalCutoffPairing_energy_bound line 39