OAI/Analysis/LipschitzHilbert/Fourier/ScaledAnnularVariation.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

One annular-variation constant works for every common physical frequency scale. This removes dependence on the top's horizontal length.

  1. theorem OAI.LipschitzHilbert.partialBandSum_dilation line 14
  2. theorem OAI.LipschitzHilbert.scaled_dyadic_scalar_annular_variation line 19
  3. theorem OAI.LipschitzHilbert.scaled_dyadic_hilbert_annular_variation line 57