OAI/Analysis/LipschitzHilbert/Estimates/MihlinTimeCommutator.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Uniform full-input multiplier commutators for the short Hilbert integral. The first time moment cancels its singularity.

  1. theorem OAI.LipschitzHilbert.PacketRepresentation.lineProjectionKernel_eq_profile line 12
  2. theorem OAI.LipschitzHilbert.PacketRepresentation.mihlinTimeCommutator_energy line 18
  3. theorem OAI.LipschitzHilbert.PacketRepresentation.sharpVerticalCommutator_mihlin_energy line 48