OAI/Analysis/RieszRectifiability/Kernel/ScalarRieszLocalBound.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Uniform local bounds for scalar Riesz transforms

Near and far inverse-distance kernels give an integrable majorant for symmetric Schwartz test kernels. Its coefficients depend on Schwartz seminorms and a bound on the base point, yielding a local bound uniform over positive truncation scales.

  1. def OAI.RieszRectifiability.scalarRieszLocalDominator line 20
  2. theorem OAI.RieszRectifiability.scalarRieszLocalDominator_integrable line 27
  3. theorem OAI.RieszRectifiability.symmetricScalarRieszTestKernel_le_localDominator line 37
  4. theorem OAI.RieszRectifiability.exists_uniform_local_scalarCappedTransform_bound line 68