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

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Integration by parts transfers Gaussian derivatives to bounded smooth data.

  1. theorem OAI.ForcedComputation.PlaneHeat.oneDimSecond_integrable line 13
  2. theorem OAI.ForcedComputation.PlaneHeat.integrable_weight_smul line 27
  3. theorem OAI.ForcedComputation.PlaneHeat.gaussian_integral_by_parts line 36
  4. theorem OAI.ForcedComputation.PlaneHeat.gaussian_second_integral_by_parts line 51