OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/InverseFifthCutoffGrid.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Far-grid inverse-fifth sums with the orbital cutoff radius retained. The bound is independent of both box volume and mesh resolution.

  1. theorem OAI.ContinuumCoulomb.inverseFifth_cutoff_cube_bound line 12
  2. theorem OAI.ContinuumCoulomb.inverseFifth_cutoff_grid_sum line 36