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

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Compact spatial forcing with slow derivative decay, space-time L² bounds, and uniformly bounded kinetic energy.

This is Theorem bcs:scalar-theorem in Scalar Potentials and Slow Clocks for Forced Fluid Computation, obtained by specializing the rapid decay bounds of the addressed construction.

  1. theorem OAI.RapidForcing.compact_support_slow_decay line 20