Energy quantization and mean value inequalities for nonlinear boundary value problems
We give a unified statement and proof of a class of well known mean value inequalities for nonnegative functions with a nonlinear bound on the Laplacian. We generalize these to domains with boundary, requiring a (possibly nonlinear) bound on the normal derivative at the boundary. These inequalities give rise to an energy quantization principle for sequences of solutions of boundary value problems that have bounded energy and whose energy densities satisfy nonlinear bounds on the Laplacian and normal...