OAI/MeasureTheory/Falconer/Estimates/InverseScale.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Arbitrary scale decay of the actual inverse remainder

One finite inverse order works uniformly at all large scales. Only the ratio of the squared symbol scale to the oscillation parameter matters.

  1. theorem OAI.Falconer.exists_displacement_inverse_order line 16