OAI/Analysis/PlanarEndpoint/DyadicArithmetic.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Gaussian regularization, Fourier evolution and endpoint maximal estimates.

  1. lemma OAI.PlanarEndpoint.interpolate_energy line 12
  2. lemma OAI.PlanarEndpoint.dyadic_rpow_mul line 46
  3. lemma OAI.PlanarEndpoint.dyadic_scale line 49
  4. lemma OAI.PlanarEndpoint.dyadic_width line 53
  5. lemma OAI.PlanarEndpoint.dyadic_decay line 58