ScalingStacks

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 qq to the convolution integral ∇ga2Ga∗f⁡(p)\nabla^{2}_{g_{a}}G_{a}*f(p), depending on the spatial separation between pp and qq. We write |q|a′=ϱ⁡(q),|p|a′=ϱ⁡(p)|q|_{a}^{\prime}=\varrho(q),|p|_{a}^{\prime}=\varrho(p).

Suppose pp and qq do not belong to the same dyadic scale, namely |p|a′≥A1/2+2​|q|a′|p|_{a}^{\prime}\geq A^{1/2}+2|q|_{a}^{\prime} or |q|a′≥A1/2+2​|p|a′|q|_{a}^{\prime}\geq A^{1/2}+2|p|_{a}^{\prime}. From Lemma 3.17 we easily deduce

|∇ga2Ga|ga≤A−1/2min(|q|a′−3,|p|a′−3),|\nabla^{2}_{g_{a}}G_{a}|_{g_{a}}\leq A^{-1/2}\min(|q|_{a}^{\prime-3},|p|_{a}^{\prime-3}),

so the contribution from all such dyadic scales on supp​(f)\text{supp}(f) is bounded by

C​A3​δ/4−1/2​(∫2​|p|a<ϱ<A1/2​eνϱ−3​d​Vola+∫A1/2≲ϱ<|p|a′/2|p|a′−3​d​Vola)≤C​A3​δ/4​ν,\begin{split}&CA^{3\delta/4-1/2}(\int_{2|p|_{a}<\varrho<A^{1/2}e^{\nu}}\varrho^{-3}d\text{Vol}_{a}+\int_{A^{1/2}\lesssim\varrho<|p|_{a}^{\prime}/2}|p|_{a}^{\prime-3}d\text{Vol}_{a})\leq CA^{3\delta/4}\nu,\end{split}

where we use δ>−3\delta>-3 to control the source f=O⁡(Aδ/4​ℓδ)f=O(A^{\delta/4}\ell^{\delta}) in L1L^{1}.

We are left with one dyadic scale |q|a′∼|p|a′≲A1/2​eν|q|_{a}^{\prime}\sim|p|_{a}^{\prime}\lesssim A^{1/2}e^{\nu}. By a similar argument, the contribution from sources at A1/2≲|p−q|a≲2​|p|a′A^{1/2}\lesssim|p-q|_{a}\lesssim 2|p|_{a}^{\prime} is bounded by C​A3​δ/4​ν.CA^{3\delta/4}\nu. If ℓ⁡(p)>12​A1/2\ell(p)>\frac{1}{2}A^{1/2}, then the contribution from sources at |p−q|a≤14​A1/2|p-q|_{a}\leq\frac{1}{4}A^{1/2} is controlled by C​A3​δ/4CA^{3\delta/4} using standard Schauder theory.

If ℓ⁡(p)≤12​A1/2\ell(p)\leq\frac{1}{2}A^{1/2} and |p−q|a′≲A1/2|p-q|_{a}^{\prime}\lesssim A^{1/2}, then for the purpose of estimating the convolution integral we can simply replace the Green kernel GaG_{a} by −14​π2​|(μ1,μ2,η)|a2\frac{-1}{4\pi^{2}|(\mu_{1},\mu_{2},\eta)|_{a}^{2}}, 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 −3<δ<0-3<\delta<0 and τ=0\tau=0. A careful examination of that argument there, restoring the AA-dependence, shows that the contribution of sources inside this region towards ∇ga2Δa−1​f\nabla^{2}_{g_{a}}\Delta_{a}^{-1}f is bounded by C​(A1/4​ℓ)δ.C(A^{1/4}\ell)^{\delta}.

Combining the above shows the claim. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.