OAI/MathematicalPhysics/Boltzmann/Jets/AnnularTightness.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Annular bounds imply uniform integrability of physical gain and loss

  1. theorem OAI.BoltzmannNonuniqueness.CollisionCompactness.annular_gainLoss_uniformIntegrable line 21
  2. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.window_center_norm line 66
  3. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.annular_window_bounds line 76
  4. theorem OAI.BoltzmannNonuniqueness.CollisionCompactness.annular_unifTight line 118