OAI/Analysis/LipschitzHilbert/Fourier/LineKernelMaximal.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The actual low-pass convolution is dominated, uniformly over centers in a cell, by the existing three-grid maximal function.

  1. theorem OAI.LipschitzHilbert.PacketRepresentation.integral_reflected_interval line 15
  2. theorem OAI.LipschitzHilbert.PacketRepresentation.lineProjectionKernel_maximal line 29