OAI/MathematicalPhysics/PrefixFlows/Model.lean

GitHub source file

22 declarations, 0 contain sorry, 0 declared as axioms

Periodic classical solutions and material trajectories.

  1. abbrev OAI.PrefixFlows.Space line 10
  2. abbrev OAI.PrefixFlows.Spacetime line 11
  3. abbrev OAI.PrefixFlows.Field line 12
  4. abbrev OAI.PrefixFlows.Pressure line 13
  5. def OAI.PrefixFlows.point line 15
  6. def OAI.PrefixFlows.position line 16
  7. def OAI.PrefixFlows.future line 17
  8. def OAI.PrefixFlows.cylinder line 18
  9. def OAI.PrefixFlows.unitCube line 19
  10. def OAI.PrefixFlows.axis line 21
  11. def OAI.PrefixFlows.SpacePeriodic line 23
  12. def OAI.PrefixFlows.spatialMean line 27
  13. def OAI.PrefixFlows.MeanZero line 31
  14. structure OAI.PrefixFlows.ClassicalJet line 37
  15. def OAI.PrefixFlows.ClassicalRegularity line 45
  16. def OAI.PrefixFlows.ClassicalSolution line 64
  17. def OAI.PrefixFlows.GloballySmooth line 75
  18. def OAI.PrefixFlows.kineticEnergy line 78
  19. def OAI.PrefixFlows.BoundedEnergy line 81
  20. def OAI.PrefixFlows.initialLabel line 84
  21. def OAI.PrefixFlows.MaterialTrajectory line 87
  22. def OAI.PrefixFlows.observed line 92