OAI/Analysis/RieszRectifiability/Rigidity/PointSupportedFiniteJet.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Finite jets of point-supported distributions

A finite Schwartz seminorm bound and shrinking localization show that a tempered distribution supported at the origin annihilates tests whose derivatives vanish there through a fixed order. Consequently it depends only on a finite jet. The final theorem applies this conclusion to the inverse Fourier transform of a represented height distribution satisfying the fractional equation.

  1. theorem OAI.RieszRectifiability.point_supported_distribution_kills_zero_jets line 25
  2. theorem OAI.RieszRectifiability.point_supported_distribution_finite_jet line 59
  3. theorem OAI.RieszRectifiability.represented_height_inverse_fourier_finite_jet line 75