OAI/MathematicalPhysics/Boltzmann/Branching/EnergyCollisionMarginals.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Both collision rates are integrable with the energy weight

  1. theorem OAI.BoltzmannNonuniqueness.CollisionCompactness.preRate_energy_integrable line 20
  2. theorem OAI.BoltzmannNonuniqueness.CollisionCompactness.preRate_other_energy_integrable line 40
  3. theorem OAI.BoltzmannNonuniqueness.CollisionCompactness.postRate_energy_integrable line 50
  4. theorem OAI.BoltzmannNonuniqueness.CollisionCompactness.gainLoss_energy_integrable line 107
  5. theorem OAI.BoltzmannNonuniqueness.LocalMildSolution.energy_gainLoss_integrable line 121