OAI/Analysis/LipschitzHilbert/Fourier/LineKernelCancellation.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Exact kernel mass, cancellation, and uniform Lipschitz approximation for the actual line projections.

  1. theorem OAI.LipschitzHilbert.PacketRepresentation.lineProjectionKernel_integral line 13
  2. theorem OAI.LipschitzHilbert.PacketRepresentation.lineConvolution_centered_bound line 20
  3. theorem OAI.LipschitzHilbert.PacketRepresentation.lineProjection_centered_bound line 42
  4. theorem OAI.LipschitzHilbert.PacketRepresentation.dyadicProjection_lipschitz_bound line 51
  5. theorem OAI.LipschitzHilbert.PacketRepresentation.lowpassProjection_lipschitz_approximation line 59