OAI/MeasureTheory/Falconer/Fourier/JetStateNoncomparable.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Noncomparable radial decay with the original descriptor amplitudes

The larger displacement uses the finite stationary expansion. The smaller one remains its exact sphere integral, with every original mask retained.

  1. theorem OAI.Falconer.DescriptorJetSymbol.single_radial_support line 17
  2. theorem OAI.Falconer.exists_jetState_noncomparable_radial_kernel line 32