ScalingStacks

Proof. [045Y]

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.

Using the same strategy as in Lemma 4.22, we reduce to the special case x1=x2=0,ηp=−1​ypx_{1}=x_{2}=0,\eta_{p}=\sqrt{-1}y_{p}. Pairing (n1,n2)(n_{1},n_{2}) with (−n1,−n2)(-n_{1},-n_{2}) in the series (4.26),

(γp​3+γp​4)​(η1,η2,μ)=∑(n1,n2)∈ℤ2−1​ap​q¯​yq2​π2​A1/2​|ai​j¯​(ni+−1​yi)​(nj−−1​yj)|2.(\gamma_{p3}+\gamma_{p4})(\eta_{1},\eta_{2},\mu)=\sum_{(n_{1},n_{2})\in\mathbb{Z}^{2}}\frac{\sqrt{-1}a_{p\bar{q}}y_{q}}{2\pi^{2}A^{1/2}|a_{i\bar{j}}(n_{i}+\sqrt{-1}y_{i})(n_{j}-\sqrt{-1}y_{j})|^{2}}.

We compare this series expression of γp​3+γp​4\gamma_{p3}+\gamma_{p4} to the closely related integral (cf. Lemma 4.21)

−1​ap​q¯​yq2​π2​A1/2​I03=−1​ap​q¯​yq​𝔸2​π​A3/2​|y|a2.\begin{split}\frac{\sqrt{-1}a_{p\bar{q}}y_{q}}{2\pi^{2}A^{1/2}}I_{03}=\frac{\sqrt{-1}a_{p\bar{q}}y_{q}\sqrt{\mathbb{A}}}{2\pi A^{3/2}|y|_{a}^{2}}.\end{split}

The deviation between the series and the integral is bounded by

C|ap​q¯yq|A−1/4∫ℝ21|ai​j¯​(si+−1​yi)​(sj−−1​yj)|5/2ds1ds2≤CA1/2​|y|a2,C|a_{p\bar{q}}y_{q}|A^{-1/4}\int_{\mathbb{R}^{2}}\frac{1}{|a_{i\bar{j}}(s_{i}+\sqrt{-1}y_{i})(s_{j}-\sqrt{-1}y_{j})|^{5/2}}ds_{1}ds_{2}\leq\frac{C}{A^{1/2}|y|_{a}^{2}},

using the same type of Cauchy integral test argument as Lemma 4.1.

The ‘morever’ statement is a minor variant of the proof of Lemma 4.22, where in the application of the Cauchy integral test we use the mean value inequality to estimate the difference between the series and the integral, similar to the argument in Lemma 4.1. ∎

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