ScalingStacks

Proof. [0434]

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.

By the mean value inequality

|∫η−12η+12|(μ1,μ2,s+−1​y)|a−2​𝑑s−|(μ1,μ2,η)|a−2|≤C​A|(μ1,μ2,η)|a−4,|\int_{\eta-\frac{1}{2}}^{\eta+\frac{1}{2}}|(\mu_{1},\mu_{2},s+\sqrt{-1}y)|_{a}^{-2}ds-|(\mu_{1},\mu_{2},\eta)|_{a}^{-2}|\leq CA|(\mu_{1},\mu_{2},\eta)|_{a}^{-4},

changing η\eta to η+n\eta+n and summing over n∈ℤn\in\mathbb{Z}, we obtain for ϱ≳A1/2\varrho\gtrsim A^{1/2} that

|Ga​(μ1,μ2,η)−G¯a​(μ1,μ2,y)|≤∑nC​A​|(μ1,μ2,η+n)|a−4≤C​A​∫−∞∞|(μ1,μ2,s+−1​y)|a−4​𝑑s≤C​A1/2​ϱ−3.\begin{split}&|G_{a}(\mu_{1},\mu_{2},\eta)-\bar{G}_{a}(\mu_{1},\mu_{2},y)|\leq\sum_{n}CA|(\mu_{1},\mu_{2},\eta+n)|_{a}^{-4}\\ \leq&CA\int_{-\infty}^{\infty}|(\mu_{1},\mu_{2},s+\sqrt{-1}y)|_{a}^{-4}ds\\ \leq&CA^{1/2}\varrho^{-3}.\end{split}

The claim follows from Δa\Delta_{a}-harmonicity and bootstrap arguments. ∎

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