OAI/Analysis/RieszRectifiability/Limits/SmoothAnnularCenterLimits.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Smooth annular transforms with varying centers

Converging centers yield uniform convergence of the scalar annular tests and an eventual common compact support. Together with uniform growth, these estimates pass the smooth annular transform through weak limits of measures.

  1. theorem OAI.RieszRectifiability.scalarSmoothAnnularTest_center_uniform line 24
  2. theorem OAI.RieszRectifiability.scalarSmoothAnnularTest_common_support line 44
  3. theorem OAI.RieszRectifiability.scalarSmoothAnnularTest_integral line 62
  4. theorem OAI.RieszRectifiability.smoothAnnularTransform_directional_tendsto line 71
  5. theorem OAI.RieszRectifiability.smoothAnnularTransform_bound_of_center_limit line 99