OAI/MathematicalPhysics/Boltzmann/Branching/ProductKineticCutoff.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Kinetic cutoffs preserving velocity tests on a spacetime patch

  1. def OAI.BoltzmannNonuniqueness.Compactness.productCutoff line 16
  2. theorem OAI.BoltzmannNonuniqueness.Compactness.productCutoff_tsupport line 19
  3. theorem OAI.BoltzmannNonuniqueness.Compactness.productCutoff_compact line 26
  4. theorem OAI.BoltzmannNonuniqueness.Compactness.productCutoff_smooth line 31
  5. theorem OAI.BoltzmannNonuniqueness.Compactness.productCutoff_in_cell line 36
  6. theorem OAI.BoltzmannNonuniqueness.Compactness.productCutoff_initial_zero line 43
  7. theorem OAI.BoltzmannNonuniqueness.Compactness.productCutoff_preserves_test line 50