ScalingStacks

Proof. [044K]

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.

We consider the closely related integral

γ¯(y1,y2,μ)=−18​π2∫1(ap​q¯​ηp​η¯q+A​μ2)3/2dx1dx2.\bar{\gamma}(y_{1},y_{2},\mu)=-\frac{1}{8\pi^{2}}\int\frac{1}{(a_{p\bar{q}}\eta_{p}\bar{\eta}_{q}+A\mu^{2})^{3/2}}dx_{1}dx_{2}.

After substituting the variables

{x1′=x1−Im​(a2​1¯)a1​1¯​y2+Re​(a2​1¯)a1​1¯​x2,x2′=x2+Im​(a2​1¯)​Re​(a2​1¯)𝔸​y2+a1​1¯​Im​(a2​1¯)𝔸​y1,\begin{cases}x_{1}^{\prime}=x_{1}-\frac{\text{Im}(a_{2\bar{1}})}{a_{1\bar{1}}}y_{2}+\frac{\text{Re}(a_{2\bar{1}})}{a_{1\bar{1}}}x_{2},\\ x_{2}^{\prime}=x_{2}+\frac{\text{Im}(a_{2\bar{1}})\text{Re}(a_{2\bar{1}})}{\mathbb{A}}y_{2}+\frac{a_{1\bar{1}}\text{Im}(a_{2\bar{1}})}{\mathbb{A}}y_{1},\end{cases}

we complete the square

ap​q¯​ηp​η¯q+A​μ2=a1​1¯​x1′2+𝔸a1​1¯​x2′2+|(y1,y2,μ)|a′2=a1​1¯​x1′2+𝔸a1​1¯​x2′2+ϱ2.a_{p\bar{q}}\eta_{p}\bar{\eta}_{q}+A\mu^{2}=a_{1\bar{1}}x_{1}^{\prime 2}+\frac{\mathbb{A}}{a_{1\bar{1}}}x_{2}^{\prime 2}+|(y_{1},y_{2},\mu)|_{a}^{\prime 2}=a_{1\bar{1}}x_{1}^{\prime 2}+\frac{\mathbb{A}}{a_{1\bar{1}}}x_{2}^{\prime 2}+\varrho^{2}.

This allows us to evaluate using polar coordinates

γ¯=−14​π​ϱ​𝔸.\bar{\gamma}=-\frac{1}{4\pi\varrho\sqrt{\mathbb{A}}}.

For fixed y1,y2,μy_{1},y_{2},\mu, we can compare the integral γ¯\bar{\gamma} with the series γ\gamma, by estimating the difference using the mean value inequality

1|(η1,η2,μ)|a3−∫[x1−12,x1+12]×[x2−12,x2+12]1|(s1+−1​y1,s2+−1​y2,μ)|a3​d​s1​d​s2≤C​A1/2|(η1,η2,μ)|a5.\begin{split}&\frac{1}{|(\eta_{1},\eta_{2},\mu)|_{a}^{3}}-\int_{[x_{1}-\frac{1}{2},x_{1}+\frac{1}{2}]\times[x_{2}-\frac{1}{2},x_{2}+\frac{1}{2}]}\frac{1}{|(s_{1}+\sqrt{-1}y_{1},s_{2}+\sqrt{-1}y_{2},\mu)|_{a}^{3}}ds_{1}ds_{2}\\ \leq&\frac{CA^{1/2}}{|(\eta_{1},\eta_{2},\mu)|_{a}^{5}}.\end{split}

Summing over all square regions, and applying Cauchy integral test,

|γ−γ¯|≤C​A1/2​∑n,m1|(η1+n,η2+m,μ)|a5≤C​A1/2​∫1|(s1+−1​y1,s2+−1​y2,μ)|a5​d​s1​d​s2≤C​ϱ−3,\begin{split}|\gamma-\bar{\gamma}|&\leq CA^{1/2}\sum_{n,m}\frac{1}{|(\eta_{1}+n,\eta_{2}+m,\mu)|_{a}^{5}}\\ &\leq CA^{1/2}\int\frac{1}{|(s_{1}+\sqrt{-1}y_{1},s_{2}+\sqrt{-1}y_{2},\mu)|_{a}^{5}}ds_{1}ds_{2}\\ &\leq C\varrho^{-3},\end{split}

as required. ∎

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