ScalingStacks

Proof of Theorem 6.3 . [055C]

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 of Theorem 6.3.

It suffices to verify each condition for ℱ\mathscr{F} in Lemma 6.1. Proposition 6.8 and Proposition 6.4 show that ℱ\mathscr{F} satisfies Item (1) and Item (2a). In our context, CL>0C_{L}>0 and CN>0C_{N}>0 are uniform constants. r0>0r_{0}>0 can be chosen as any fixed constant in (0,12​CL​CN)(0,\frac{1}{2C_{L}C_{N}}). To verify Item (2b) in Lemma 6.1, we just need to use (6.21). In fact, we have assumed ν+α<0\nu+\alpha<0, then

(6.135) ‖ℱ⁡(𝟎)‖𝔖2≤C⋅Tν+α≪r04​CL,\|\mathscr{F}(\bm{0})\|_{\mathfrak{S}_{2}}\leq C\cdot T^{\nu+\alpha}\ll\frac{r_{0}}{4C_{L}},

as TT is sufficiently large. This completes the proof.

∎

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