A fractional Gehring lemma, with applications to nonlocal equations (Q484642): Difference between revisions

The classical Gehring lemma [\textit{F. W. Gehring}, Acta Math. 130, 265--277 (1973; Zbl 0258.30021)] asserts that if \(f\in L^p_{\operatorname{loc}}(\Omega),\) \(p>1,\) is a non-negative function satisfying the reverse Hölder inequality \[ -\!\!\!\!\!\! \left(\int_{B/2} f^p\;dx\right)^{1/p} \leq c \left(-\!\!\!\!\!\! \int_{B} f^q\;dx\right)^{1/q} \] whenever \(B\) is a ball in the open subset \(\Omega\subset \mathbb{R}^n\) and \(q<p,\) then there is a number \(\delta>0,\) depending only on \(n,\) \(q\) and \(c,\) such that \(f\in L^{p+\delta}_{\text{loc}}(\Omega)\) and \[ \left(-\!\!\!\!\!\! \int_{B/2} f^{p+\delta}\;dx\right)^{1/(p+\delta)} \leq \tilde c \left(-\!\!\!\!\!\! \int_{B} f^q\;dx\right)^{1/q} \] with a new constant \(\tilde c=\tilde{c}(n,q,c).\) This is a fundamental tool in modern nonlinear analysis with crucial implications in the regularity theory of nonlinear elliptic and parabolic equations, in the calculus of variations and in quasiconformal geometry. In the very interesting paper under review, the authors present a fractional analog of the Gehring lemma with important applications to new self-improving regularity properties of solutions to integrodifferential equations.