 Campanato iteration lemma

ID: campanato-iteration-lemma

Codex  0 Created 2026-09-24 Updated 2026-09-24

If a nondecreasing oscillation quantity satisfies

Φ (ρ) \leq A (ρ / R)^{γ} Φ (R) + B R^{β}

for

0 < ρ \leq R

, with

γ > β

, then iteration gives

Φ (ρ) \leq C (ρ / R)^{β} Φ (R) + CB ρ^{β}

 New to topics? Read the docs here!