OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Scalar/ScalarTimeWindow.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Restriction to a physical time window, and the exact heat evolution during an interval on which the prescribed drift and source vanish.

  1. theorem OAI.ForcedComputation.VelocityDetector.GlobalTorusScalarSolution.window line 14
  2. theorem OAI.ForcedComputation.VelocityDetector.GlobalTorusScalarSolution.heat_window line 36