OAI/Analysis/RieszRectifiability/Rigidity/TruncatedRenormalizedHeightIdentity.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Truncated height pairing and its renormalized exterior term

For a compactly supported mean-zero Schwartz test, the weighted truncated fractional pairing splits into a symmetric local pairing and a renormalized exterior integral. Support separation removes the cutoff in cross terms, and the weighted exterior hypothesis supplies the integrability needed for cancellation.

  1. theorem OAI.RieszRectifiability.compact_schwartz_truncated_height_pairing line 23