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

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The prescribed Gaussian convolution has the exact initial value and preserves the unit spatial periods.

  1. theorem OAI.ForcedComputation.VelocityDetector.torusHeatKernel_periodic line 12
  2. theorem OAI.ForcedComputation.VelocityDetector.torusHeatEvolution_initial line 18
  3. theorem OAI.ForcedComputation.VelocityDetector.torusHeatEvolution_periodic line 22