OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/ManufacturedCompactQuadrature.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Fourth-order quadrature for a compact orbital density under the actual manufactured transport. The bound depends on the compact source radius and the well-support volume, and is independent of the horizontal slab area.

  1. theorem OAI.ContinuumCoulomb.manufactured_compact_source_quadrature line 13