OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Flow/SuspensionPerturbations.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

An explicit integer Lipschitz bound for the finite suspension formula and the resulting quantitative stability of its actual material trajectories.

  1. def OAI.ForcedComputation.suspensionLipschitzBound line 14
  2. theorem OAI.ForcedComputation.suspensionField_lipschitz line 17
  3. theorem OAI.ForcedComputation.suspension_flow_perturbation line 30
  4. theorem OAI.ForcedComputation.suspension_flow_from_zero line 45