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

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Quantitative concentration of the actual torus heat kernel near the lattice.

  1. def OAI.ForcedComputation.VelocityDetector.torusHeatTail line 14
  2. theorem OAI.ForcedComputation.VelocityDetector.torusHeatTail_nonneg line 17
  3. theorem OAI.ForcedComputation.VelocityDetector.torusHeatKernel_le_tail line 20
  4. theorem OAI.ForcedComputation.VelocityDetector.torusHeatTail_tendsto line 36
  5. theorem OAI.ForcedComputation.VelocityDetector.torusHeatEvolution_error_estimate line 53
  6. theorem OAI.ForcedComputation.VelocityDetector.torusHeatEvolution_tendsto_uniformly line 116