OAI/Analysis/RieszRectifiability/Foundations/DensityGradientEquation.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The fractional equation from density Riesz tests

Summing the vanishing Riesz pairings against directional derivatives over an orthonormal basis gives the fractional Schwartz equation. The finite sum also supplies integrability, with the factor -1 / 2 fixed by the gradient identity.

  1. theorem OAI.RieszRectifiability.density_fractional_equation_of_riesz_tests line 21