OAI/MeasureTheory/FalconerCompletion/Fourier/DerivativeIntegralBoundOfSupport2.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Fourier kernels and oscillatory estimates.

  1. lemma OAI.GraphLiteralSupport.Attempt4PrefixShell.derivative_integral_bound_of_support line 19
  2. lemma OAI.GraphLiteralSupport.Attempt4PrefixShell.fourierDerivativeND_L1_uniform line 36
  3. lemma OAI.GraphLiteralSupport.Attempt4PrefixShell.quadratic_decay_factor line 56
  4. theorem OAI.GraphLiteralSupport.Attempt4PrefixShell.quadratic_stationaryND_uniform line 64
  5. lemma OAI.GraphLiteralSupport.Attempt4PrefixShell.quadraticExpansionND_eq_laplacian_series line 116