OAI/Analysis/CoulombIonization/Variational/SmoothNewton.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CoulombAnalysis.newtonInverse_locallyIntegrable line 20
2. lemma OAI.CoulombAnalysis.tfPotential_eq_convolution line 27
3. lemma OAI.CoulombAnalysis.tfPotential_contDiff line 32
4. lemma OAI.CoulombAnalysis.tfPotential_poisson_global line 38
5. lemma OAI.CoulombAnalysis.tfLaplacian_translate line 51
6. lemma OAI.CoulombAtom.packetDensity_smooth line 58
7. lemma OAI.CoulombAnalysis.shrinking_density_test_limit line 76
8. lemma OAI.CoulombAnalysis.radial_mollifier_laplacian_identity line 105
9. theorem OAI.CoulombAnalysis.compact_laplacian_newton_zero line 156