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

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Quantitative estimates for the compact planar extension, assuming the variational equations for the actual periodic transition map.

  1. theorem OAI.ForcedComputation.Recorder.Planar.compactTransition_germ line 14
  2. theorem OAI.ForcedComputation.Recorder.Planar.compactTransition_germ_id line 30
  3. theorem OAI.ForcedComputation.Recorder.Planar.compactTransition_derivative_bounds line 39