Harnack inequality for uniformly elliptic divergence-form equations (source code)

= Harnack inequality for uniformly elliptic divergence-form equations
{c}

A nonnegative weak solution of a uniformly elliptic divergence-form equation satisfies
$$
\sup_{B_r}u\leq C\inf_{B_r}u
$$
whenever a fixed larger concentric ball lies in the domain. Combine the subsolution bound from <Moser iteration> with the <Weak Harnack inequality> for supersolutions.