OAI/Analysis/RieszRectifiability/Rigidity/FractionalSchwartzKernel.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Integrability of fractional Schwartz kernels

Second-difference estimates control the fractional kernel near the origin, while Schwartz bounds and inverse-distance tails control its exterior integral. Combining the two regions gives integrability under upper growth and, in particular, for volume.

  1. theorem OAI.RieszRectifiability.volume_global_upper_growth line 23
  2. def OAI.RieszRectifiability.fractionalSchwartzKernel line 33
  3. theorem OAI.RieszRectifiability.fractionalSchwartzKernel_near_bound line 37
  4. theorem OAI.RieszRectifiability.fractionalSchwartzKernel_far_bound line 62
  5. theorem OAI.RieszRectifiability.fractionalSchwartzKernel_integrable_of_growth line 75
  6. theorem OAI.RieszRectifiability.fractionalSchwartzKernel_integrable line 105
  7. def OAI.RieszRectifiability.fractionalSchwartzTest line 109