OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Flow/CompactTimeSupport.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

A common compact spatial support controls all derivatives, including time jets. Periodicity is used only to reduce the time variable to one closed cell.

  1. theorem OAI.ForcedComputation.mixedDerivative_common_support line 13
  2. theorem OAI.ForcedComputation.boundedMixed_of_compact_periodic line 30
  3. theorem OAI.ForcedComputation.boundedMixed_of_compact_tail line 54