OAI/Analysis/RieszRectifiability/Rigidity/FractionalTruncatedSpatialDecay.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Spatial decay of truncated fractional tests

For a mean-zero Schwartz function, split the truncated fractional kernel integral at half the observation-point norm. The local second-difference estimate and the far-field cancellation bound give decay uniform in smaller truncation radii.

  1. theorem OAI.RieszRectifiability.fractionalSchwartzTruncatedTest_spatial_decay line 21
  2. theorem OAI.RieszRectifiability.fractionalSchwartzTruncatedTest_polynomial_decay line 70