Oscillation decay estimate (source code)

= Oscillation decay estimate

For a weak solution of a uniformly elliptic divergence-form equation, local boundedness and the <Weak Harnack inequality> imply
$$
\operatorname{osc}_{B_r}u\leq\theta\operatorname{osc}_{B_{2r}}u
$$
for a universal $0<\theta<1$. Iteration gives local <Hölder continuity>.