OAI/MathematicalPhysics/ContinuumCoulomb/OneParticle/LocalizedLeakage.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Exponential off-site density leakage for the actual localized modes.

  1. theorem OAI.ContinuumCoulomb.positionSplitCoordinates_fst_norm_le line 12
  2. theorem OAI.ContinuumCoulomb.continuumLocalizedMode_planar_tail line 18
  3. def OAI.ContinuumCoulomb.localizedTailConstant line 37
  4. theorem OAI.ContinuumCoulomb.localizedTailConstant_nonnegative line 40
  5. theorem OAI.ContinuumCoulomb.localizedDensity_planar_tail line 43
  6. theorem OAI.ContinuumCoulomb.localizedDensity_near_other_center line 59