OAI/Analysis/RieszRectifiability/Kernel/HeightEnergyPairingIdentity.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Height-energy pairing for compactly supported Schwartz tests

Finite interior fractional energy and a weighted exterior height bound give integrability of the fractional Schwartz pairing and identify it with the renormalized complex height pairing on the ball.

  1. theorem OAI.RieszRectifiability.compact_schwartz_height_energy_pairing_identity line 21