OAI/Analysis/HenonEmden/WeightedEnergy.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.HenonLaneEmden.compactSupport_of_outer_zero line 13
2. lemma OAI.HenonLaneEmden.compactSupport_eta line 19
3. lemma OAI.HenonLaneEmden.compactSupport_w line 21
4. lemma OAI.HenonLaneEmden.compactSupport_weight line 23
5. lemma OAI.HenonLaneEmden.IsSolution.integrable_source_energy_weight line 27
6. def OAI.HenonLaneEmden.weightedEnergy line 40
7. def OAI.HenonLaneEmden.weightedEnergyN line 43
8. lemma OAI.HenonLaneEmden.weightedEnergyN_nonneg line 46
9. lemma OAI.HenonLaneEmden.IsSolution.weightedEnergyN_eq line 50
10. lemma OAI.HenonLaneEmden.IsSolution.weightedEnergyN_finite line 58