OAI/Analysis/AllenCahn/PoissonEstimates.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PoissonSupport.DeGiorgi.laplacian_poisson_at_max line 11
2. lemma OAI.PoissonSupport.DeGiorgi.bounded_poisson_lipschitz line 86
3. lemma OAI.PoissonSupport.DeGiorgi.gradient_poisson_at_max_y line 148
4. lemma OAI.PoissonSupport.DeGiorgi.poisson_gradient_bounds line 189
5. lemma OAI.PoissonSupport.DeGiorgi.bounded_unit_drift_lipschitz line 238
6. lemma OAI.PoissonSupport.DeGiorgi.fderiv_dilation line 313
7. lemma OAI.PoissonSupport.DeGiorgi.coordDeriv_dilation line 323
8. lemma OAI.PoissonSupport.DeGiorgi.coordDeriv_const_mul line 328
9. lemma OAI.PoissonSupport.DeGiorgi.laplacian_dilation line 335