OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Programs/RapidConsequences.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Slow-decay and space-time energy consequences of the addressed construction.

  1. def OAI.RapidForcing.SlowDecay line 14
  2. theorem OAI.RapidForcing.spaceFinite line 18
  3. theorem OAI.RapidForcing.spaceBorel line 20
  4. def OAI.RapidForcing.SpaceTimeL2 line 22
  5. theorem OAI.RapidForcing.Rapid.slowDecay line 29
  6. theorem OAI.RapidForcing.JetControl.spaceTimeL2 line 38
  7. theorem OAI.RapidForcing.supported_uniform_energy line 60