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

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Uniform bounds and time moduli for periodic and compactly supported coefficients.

  1. theorem OAI.ForcedComputation.planePeriodic_bound_on line 16
  2. theorem OAI.ForcedComputation.planePeriodic_totalDerivative line 37
  3. theorem OAI.ForcedComputation.timeSlice_hasDerivAt line 47
  4. theorem OAI.ForcedComputation.timeSlice_norm_derivative_le line 53
  5. theorem OAI.ForcedComputation.planePeriodic_time_lipschitz line 61
  6. theorem OAI.ForcedComputation.supported_bound_on line 77
  7. theorem OAI.ForcedComputation.supported_time_lipschitz line 89