OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/CenteredPhysicalThreshold.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Physical threshold reference for the exact half-cell boundary of the centered grid. The finite threshold is scaled by lambda and the true rational slab reference by lambda squared times the electron count.

  1. abbrev OAI.ContinuumCoulomb.CenteredPhysicalThreshold.Geometry line 14
  2. abbrev OAI.ContinuumCoulomb.CenteredPhysicalThreshold.Input line 15
  3. def OAI.ContinuumCoulomb.CenteredPhysicalThreshold.amplification line 17
  4. def OAI.ContinuumCoulomb.CenteredPhysicalThreshold.precision line 19
  5. def OAI.ContinuumCoulomb.CenteredPhysicalThreshold.reference line 22
  6. def OAI.ContinuumCoulomb.CenteredPhysicalThreshold.offset line 26
  7. def OAI.ContinuumCoulomb.CenteredPhysicalThreshold.value line 29
  8. def OAI.ContinuumCoulomb.CenteredPhysicalThreshold.actualReference line 33
  9. def OAI.ContinuumCoulomb.CenteredPhysicalThreshold.actualOffset line 37
  10. theorem OAI.ContinuumCoulomb.CenteredPhysicalThreshold.reference_error line 40
  11. theorem OAI.ContinuumCoulomb.CenteredPhysicalThreshold.amplification_bound line 61
  12. theorem OAI.ContinuumCoulomb.CenteredPhysicalThreshold.offset_error line 70
  13. theorem OAI.ContinuumCoulomb.CenteredPhysicalThreshold.lower_error line 102
  14. theorem OAI.ContinuumCoulomb.CenteredPhysicalThreshold.upper_error line 107
  15. theorem OAI.ContinuumCoulomb.CenteredPhysicalThreshold.gap line 112