OAI/Analysis/RieszRectifiability/Rigidity/FractionalSchwartzBounds.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Seminorm bounds for the fractional Schwartz kernel

Second-derivative seminorms control the near-origin contribution of the fractional Schwartz kernel. Growth estimates for inverse powers of distance bound the exterior contribution in terms of the supremum seminorm.

  1. theorem OAI.RieszRectifiability.schwartz_second_derivative_seminorm_bound line 21
  2. theorem OAI.RieszRectifiability.fractionalSchwartzKernel_integral_norm_bound line 32