OAI/MathematicalPhysics/ContinuumCoulomb/Nuclei/SlabKernelEstimates.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

The inverse-cube horizontal tail bound and the exact absolute-value integral that produce the quadratic potential of the infinite slab.

  1. theorem OAI.ContinuumCoulomb.reciprocal_sqrt_difference_bound line 13
  2. theorem OAI.ContinuumCoulomb.slab_line_difference_bound line 41
  3. theorem OAI.ContinuumCoulomb.slab_line_difference_uniform line 49
  4. theorem OAI.ContinuumCoulomb.integral_abs_sub_of_inside line 68
  5. theorem OAI.ContinuumCoulomb.slab_absolute_difference_integral line 101