OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/LocalizedGroundUpper.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

The finite Hubbard variational bottom supplies admissible trials for the full continuum problem, including the exact physical energy offset.

  1. theorem OAI.ContinuumCoulomb.localized_hubbard_near_trial line 43
  2. theorem OAI.ContinuumCoulomb.localized_hubbard_physical_upper line 81