OAI/Analysis/RieszRectifiability/Kernel/DyadicCommonHeightEquation.lean

Intrinsic equations for a common limiting height

Dyadic source moment bounds supply the integrable tails needed to pass from renormalized height equations to radius-independent pairings on the limiting plane. The resulting common height retains local square integrability and fractional energy bounds, represents a tempered distribution in intrinsic coordinates, and annihilates directional derivatives of compactly supported smooth tests.