OAI/MathematicalPhysics/Boltzmann/Compactness/EntropyDissipationCoordinates.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

The collision-rate dissipation is the physical entropy dissipation

  1. def OAI.BoltzmannNonuniqueness.CollisionCompactness.kernelEntropyProduction line 21
  2. theorem OAI.BoltzmannNonuniqueness.CollisionCompactness.kernelEntropyProduction_measurable line 29
  3. def OAI.BoltzmannNonuniqueness.CollisionCompactness.collisionEntropyGrouping line 44
  4. theorem OAI.BoltzmannNonuniqueness.CollisionCompactness.collisionEntropyGrouping_measurePreserving line 48
  5. theorem OAI.BoltzmannNonuniqueness.CollisionCompactness.rateProduction_eq_kernel line 55
  6. theorem OAI.BoltzmannNonuniqueness.CollisionCompactness.rateDissipation_eq_kernel line 71
  7. theorem OAI.BoltzmannNonuniqueness.CollisionCompactness.rateDissipation_congr line 80
  8. theorem OAI.BoltzmannNonuniqueness.kineticDensity_rateDissipation line 93