OAI/Analysis/RieszRectifiability/Packing/LatticeOscillationCarleson.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Carleson packing of bad lattice descendants

Riesz oscillation packing bounds the radii of bad support descendants. The lattice mass comparison converts this into a mass packing estimate, with a positive constant uniform over measures satisfying the growth and Riesz bounds.

  1. theorem OAI.RieszRectifiability.bad_support_descendants_radius_packing line 23
  2. theorem OAI.RieszRectifiability.bad_support_descendants_mass_packing line 48
  3. theorem OAI.RieszRectifiability.exists_uniform_bad_cell_carleson_constant line 75