ScalingStacks

Proof. [0426]

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.

In the series (3.4) defining α~1\tilde{\alpha}_{1}, we can separate the sum into two ranges |n|≳A−1/2|μ→|a+1|n|\gtrsim A^{-1/2}|\vec{\mu}|_{a}+1 and 1≤|n|≲A−1/2|μ→|a1\leq|n|\lesssim A^{-1/2}|\vec{\mu}|_{a}. In the first range, using elementary Taylor expansion of arctan,

|α1​(μ1,μ2,η+n)−14​|n|​a22|≤C​|μ→|aA3/4​|n|2,|\alpha_{1}(\mu_{1},\mu_{2},\eta+n)-\frac{1}{4|n|\sqrt{a_{22}}}|\leq\frac{C|\vec{\mu}|_{a}}{A^{3/4}|n|^{2}},

which implies after summation

∑|n|≳A−1/2|μ→|a+1|α1(μ1,μ2,η+n)−14​|n|​a22|≤CA−1/4min{1,A−3/4|μ→|a}.\begin{split}\sum_{|n|\gtrsim A^{-1/2}|\vec{\mu}|_{a}+1}|\alpha_{1}(\mu_{1},\mu_{2},\eta+n)-\frac{1}{4|n|\sqrt{a_{22}}}|\leq CA^{-1/4}\min\{1,A^{-3/4}|\vec{\mu}|_{a}\}.\end{split}

The second range only appears if 1≲A−1/2|μ→|a1\lesssim A^{-1/2}|\vec{\mu}|_{a}. This sum is crudely estimated by

∑1≤|n|≲A−1/2|μ→|a|α1(μ1,μ2,η+n)−14​|n|​a22|≤CA−1/4∑1≤|n|≲A−1/2|μ→|a1n≤CA−1/4log(A−3/4|μ→|a).\begin{split}&\sum_{1\leq|n|\lesssim A^{-1/2}|\vec{\mu}|_{a}}|\alpha_{1}(\mu_{1},\mu_{2},\eta+n)-\frac{1}{4|n|\sqrt{a_{22}}}|\leq CA^{-1/4}\sum_{1\leq|n|\lesssim A^{-1/2}|\vec{\mu}|_{a}}\frac{1}{n}\\ &\leq CA^{-1/4}\log(A^{-3/4}|\vec{\mu}|_{a}).\end{split}

Combining the discussions gives the result. ∎

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