OAI/Analysis/LipschitzHilbert/OneInputMain.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Uniform short directional Hilbert transform estimates conditional on the finite-rectangle Lacey–Li bound, using martingale variation and the classical one-dimensional Hilbert transform.

  1. theorem OAI.LipschitzHilbert.main_of_laceyLi_input line 14
  2. theorem OAI.LipschitzHilbert.uniform_truncation_of_laceyLi_input line 18