OAI/MathematicalPhysics/Boltzmann/Branching/WindowLocalizedSource.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

A single physical damping rate for all starts in a short time window

  1. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.window_damping_range line 18
  2. theorem OAI.BoltzmannNonuniqueness.ReferenceGeometry.window_damping_normalization line 41
  3. def OAI.BoltzmannNonuniqueness.TransportCutoff.kineticWindow line 65
  4. def OAI.BoltzmannNonuniqueness.TransportCutoff.kineticWindowVolume line 68
  5. theorem OAI.BoltzmannNonuniqueness.TransportCutoff.kineticWindow_measurable line 71
  6. theorem OAI.BoltzmannNonuniqueness.TransportCutoff.kineticWindowVolume_eq line 74
  7. theorem OAI.BoltzmannNonuniqueness.TransportCutoff.localizedSource_eq_window line 80
  8. theorem OAI.BoltzmannNonuniqueness.TransportCutoff.ui_add line 94
  9. theorem OAI.BoltzmannNonuniqueness.TransportCutoff.localizedSource_ui_window line 103