OAI/Analysis/RieszRectifiability/Rigidity/FractionalEquationFromRealPairing.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Fractional equations from real height pairings

Vanishing real pairings for compactly supported mean-zero tests give the complex fractional equation by separating real and imaginary parts. Weighted tail integrability then extends the equation to all mean-zero Schwartz tests.

  1. theorem OAI.RieszRectifiability.compact_fractional_equation_of_real_pairing line 21
  2. theorem OAI.RieszRectifiability.schwartz_fractional_equation_of_real_pairing line 76