OAI/Probability/SLELocalization/TruncatedEnergy.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Conformal localization and Rectangle Energy estimates.

  1. lemma OAI.SLEExactGauge.RectangleEnergy.radialTruncation_fderiv_le line 14
  2. lemma OAI.SLEExactGauge.RectangleEnergy.truncated_gradient_comp_integrable line 29
  3. lemma OAI.SLEExactGauge.RectangleEnergy.truncated_line_oscillation line 61
  4. theorem OAI.SLEExactGauge.RectangleEnergy.truncated_rectangle_two_lines line 99
  5. lemma OAI.SLEExactGauge.RectangleEnergy.radial_section_mem line 142
  6. lemma OAI.SLEExactGauge.RectangleEnergy.truncated_radial_energy line 148
  7. theorem OAI.SLEExactGauge.RectangleEnergy.truncated_circle_energy line 206