Proof. [043A]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
The basic idea is similar to Proposition 2.18. We analyse the contribution of the source located at to the convolution integral , depending on the spatial separation between and . We write .
Suppose and do not belong to the same dyadic scale, namely or . From Lemma 3.17 we easily deduce
so the contribution from all such dyadic scales on is bounded by
where we use to control the source in .
We are left with one dyadic scale . By a similar argument, the contribution from sources at is bounded by If , then the contribution from sources at is controlled by using standard Schauder theory.
If and , then for the purpose of estimating the convolution integral we can simply replace the Green kernel by , and correspondingly for their second derivatives. The point is that at this length scale the periodicity effect is secondary, and we are essentially in the same situation as Lemma 2.18 with and . A careful examination of that argument there, restoring the -dependence, shows that the contribution of sources inside this region towards is bounded by
Combining the above shows the claim. ∎