Liouville theorem for integrable nonnegative elliptic subsolutions (source code)

= Liouville theorem for integrable nonnegative elliptic subsolutions
{c}

For $n\geq3$, a nonnegative entire <weak subsolution> of a bounded measurable uniformly elliptic divergence-form equation that belongs to $L^p(\mathbb R^n)$ for some $p>1$ is zero <almost everywhere>. Rescaling the local <Moser iteration> estimate gives $\|u\|_{L^\infty(B_{R/2})}\leq CR^{-n/p}\|u\|_{L^p(B_R)}$. Let $R\to\infty$.