OAI/Analysis/LipschitzHilbert/Fourier/LocalizedAnnularVariation.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Localizing the dyadic annular variation estimate by the manuscript's polynomial weights. The constant is uniform in the number of scales, coordinates, and the location and length of the interval.

  1. theorem OAI.LipschitzHilbert.partialBandSum_polynomialLocalization line 18
  2. theorem OAI.LipschitzHilbert.hilbertPartialBandSum_polynomialLocalization line 28
  3. theorem OAI.LipschitzHilbert.localized_dyadic_hilbert_variation line 37