OAI/Probability/SLE/Loewner/HydrodynamicComposition.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

The coefficient of a normalized composition subtracts capacities. Schwarz–Pick then makes capacity monotone under inclusion of slit domains.

  1. lemma OAI.SLEExactGauge.hydrodynamic_ratio_limit line 13
  2. lemma OAI.SLEExactGauge.hydrodynamic_composition_coefficient line 27
  3. lemma OAI.SLEExactGauge.hydrodynamic_composition_ratio line 45
  4. lemma OAI.SLEExactGauge.normalized_selfMap_coefficient_nonpos line 59
  5. theorem OAI.SLEExactGauge.nested_hydrodynamic_coefficient_le line 76