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

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Numerical Gaussian estimates for the two-torus detector. These estimates are proved directly and introduce no heat-kernel hypothesis.

  1. theorem OAI.ForcedComputation.VelocityDetector.heat_shell_ratio line 13
  2. theorem OAI.ForcedComputation.VelocityDetector.heat_shell_series line 19
  3. theorem OAI.ForcedComputation.VelocityDetector.gaussian_time_factor line 36
  4. theorem OAI.ForcedComputation.VelocityDetector.heat_constant_small line 48