OAI/Analysis/HenonEmden/NewtonPotential.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HenonLaneEmden.WeakPDE.rawPotential line 31
2. lemma OAI.HenonLaneEmden.WeakPDE.measurable_kernel_source line 35
3. lemma OAI.HenonLaneEmden.WeakPDE.measurable_rawPotential line 40
4. lemma OAI.HenonLaneEmden.WeakPDE.rawPotential_nonneg line 44
5. lemma OAI.HenonLaneEmden.WeakPDE.locallyIntegrable_rawPotential line 48
6. lemma OAI.HenonLaneEmden.WeakPDE.integral_kernel_laplacian_translate line 56
7. lemma OAI.HenonLaneEmden.WeakPDE.rawPotential_weak_equation line 69
8. lemma OAI.HenonLaneEmden.WeakPDE.convolve_assoc line 107
9. lemma OAI.HenonLaneEmden.WeakPDE.convolve_const line 120
10. lemma OAI.HenonLaneEmden.WeakPDE.convolve_const_right line 124
11. lemma OAI.HenonLaneEmden.WeakPDE.harmonic_distribution_nonneg_constant line 133
12. lemma OAI.HenonLaneEmden.WeakPDE.potential_constant line 184