OAI/MeasureTheory/Falconer/Radial/RadialTaylor.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Taylor expansion in the squared Euclidean radius.

  1. theorem OAI.Falconer.schwartz_radius_power_integrable line 13
  2. theorem OAI.Falconer.imaginaryTaylor_radius_integrable line 19
  3. theorem OAI.Falconer.imaginaryExponential_radius_integrable line 36
  4. theorem OAI.Falconer.radial_taylor_integral_bound line 44
  5. theorem OAI.Falconer.radial_taylor_integral line 62
  6. theorem OAI.Falconer.radial_taylor_inverse_integral line 86