OAI/Analysis/CoulombIonization/Variational/LocalWidthKernel.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CoulombAtom.widthKernel_ne_zero_distance line 18
  2. lemma OAI.CoulombAtom.widthKernel_eq_zero_of_far line 28
  3. lemma OAI.CoulombAtom.widthKernel_support_local line 34
  4. lemma OAI.CoulombAtom.widthKernel_clamp line 47
  5. lemma OAI.CoulombAtom.widthKernel_local_lipschitz line 66
  6. def OAI.CoulombAtom.masterKernel line 89
  7. lemma OAI.CoulombAtom.scaledRealPacket_sq line 92
  8. lemma OAI.CoulombAtom.masterKernel_eq_widthKernel line 99
  9. lemma OAI.CoulombAtom.masterKernel_nonneg line 105
  10. lemma OAI.CoulombAtom.masterKernel_mass line 108
  11. lemma OAI.CoulombAtom.masterKernel_smooth_eval line 115
  12. lemma OAI.CoulombAtom.masterWidth_small_lipschitz line 119
  13. lemma OAI.CoulombAtom.masterKernel_joint_continuous line 131
  14. lemma OAI.CoulombAtom.masterProfile_support line 139
  15. theorem OAI.CoulombAtom.masterKernel_uniform_test_constants line 145