OAI/Analysis/RieszRectifiability/Packing/FixedCutoffBessel.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Bessel bounds for fixed-cutoff pairings

Hard-truncation pairing limits transfer the vector-test Bessel estimate to a finite family of fixed-cutoff scalar pairings. The resulting bound retains the interaction packing constant and the mass of the common outer ball.

  1. theorem OAI.RieszRectifiability.DyadicOscillationTests.fixed_cutoff_bessel line 22