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

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Uniform bounds and a torus-distance modulus for smooth periodic data.

  1. theorem OAI.ForcedComputation.planePeriodic_bound line 16
  2. theorem OAI.ForcedComputation.planePeriodic_fderiv line 37
  3. theorem OAI.ForcedComputation.planePeriodic_lipschitz line 42
  4. theorem OAI.ForcedComputation.planePeriodic_norm_sub_le_torus line 51