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

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

A three-point estimate converting bounded third derivatives and scalar tail decay into square integrable second derivatives.

  1. theorem OAI.ForcedComputation.VelocityDetector.taylor_two_remainder_bound line 15
  2. theorem OAI.ForcedComputation.VelocityDetector.second_derivative_three_point_bound line 40
  3. theorem OAI.ForcedComputation.VelocityDetector.first_derivative_two_point_bound line 64