A real analysis theorem and applications to homogenization (Q4545157)

Fix a cube \(Q_0\) in \({\mathbb R}^n\) and let \(Q\) be a subcube of \(Q_0\). Denote the Lebesgue measure of \(Q\) by \(|Q|\). In this paper the authors consider a family of functions \(\{ f_{\varepsilon} \}_{\varepsilon > 0}\) contained in \(L^1(Q_0)\) that satisfy the following conditions: \({1 \over |Q_0|} \int_{Q_0} |f_{\varepsilon} (x)|dx \leq 1\) and there exists a \(p\) with \(1<p\leq \infty\) such that there is a uniform weak estimate in \(L^p\) for the \(f_{\varepsilon}\), and an invariance condition under rescalings of the \(f_{\varepsilon}\). Under these conditions the authors show that for \(1<q<p\) there is a uniform estimate of \[ \left({1 \over |Q_0 /2|} \int_{Q_0 /2} |f_{\varepsilon} (x)|^q dx\right)^{{1 \over q}} \] for all \(0 < \varepsilon < \varepsilon_1\), where \(\varepsilon_1\) depends on the above conditions, \(p, q,\) and \(|Q_0|\). Let \(M_{Q_0}f(x) = \sup \{ {1 \over |Q'|} \int_{Q'} |f(y)|dy \mid Q'\) is a dyadic subcube of \(Q_0\) and \(x \in Q'\}\). The authors prove their estimate by constructing the Calderón-Zygmund decomposition of the level sets of \(M_{Q_0} f_{\varepsilon}\) in \(Q_0/2\) and estimating their measure. The authors prove many technical lemmas that are used in the estimation of these measures. The authors finish the paper by using their uniform estimate to show that higher order correctors in linear periodic homogenization converge in \(L^p\)-spaces.