OAI/Analysis/RieszRectifiability/Flatness/FixedPlaneDyadicMoments.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Dyadic moments relative to one fixed plane

Approximate excess minimizers provide an affine plane at each dyadic radius. Summing the adjacent distance-transfer estimates controls the squared distance to the initial plane on every larger ball, uniformly in the measure and number of scales.

  1. theorem OAI.RieszRectifiability.exists_uniform_fixed_plane_dyadic_moments line 23