OAI/MeasureTheory/Falconer/Radial/FarRadialKernel.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Radial decay for spherical stationary coefficients

Scalar compact-support integration by parts gives decay for the stationary coefficient, with the dimensional gain of the full ambient sphere.

  1. theorem OAI.Falconer.actualStationaryCoefficient_bound line 16
  2. def OAI.Falconer.normalizedStationaryCoefficient line 39
  3. theorem OAI.Falconer.normalizedStationaryCoefficient_bound line 43
  4. def OAI.Falconer.sphericalRadialCoefficient line 62
  5. theorem OAI.Falconer.spherical_radial_kernel line 69