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

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The periodic Gaussian heat evolution solves the scalar heat equation.

  1. theorem OAI.ForcedComputation.VelocityDetector.torusHeatEvolution_solution line 13
  2. theorem OAI.ForcedComputation.VelocityDetector.torusHeatInput line 33

    Source documentation

    Maheux's two-dimensional periodic heat representation and Gaussian bound for the lattice Gaussian and convolution.

    theorem torusHeatInput : TorusHeatInput where
…

    Mentions: OAI.ForcedComputation.VelocityDetector.TorusHeatInput