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

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Uniform time Lipschitz bounds for bounded smooth Gaussian evolutions.

  1. theorem OAI.ForcedComputation.PlaneHeat.norm_heatConvolution_le line 16
  2. theorem OAI.ForcedComputation.PlaneHeat.evolution_time_hasDerivAt_pos line 25
  3. theorem OAI.ForcedComputation.PlaneHeat.evolution_time_continuous line 36
  4. theorem OAI.ForcedComputation.PlaneHeat.evolution_time_lipschitz line 61