OAI/Analysis/RieszRectifiability/Limits/CorrectedRieszLimit.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Corrected Riesz limiting equation

Mean-corrected compact tests connect the local bilinear limits to the Riesz oscillation estimates. Together with the normalized height tail bounds, this shows that the limiting fractional pairing vanishes along the region exhaustion.

  1. theorem OAI.RieszRectifiability.corrected_riesz_limiting_equation line 25