ScalingStacks

Proof. [045W]

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.

Consider first the special case where x1=x2=0,ηp=−1​ypx_{1}=x_{2}=0,\eta_{p}=\sqrt{-1}y_{p}. By pairing (n1,n2)(n_{1},n_{2}) with (−n1,−n2)(-n_{1},-n_{2}) in the summation, we obtain

{γp​3​(η1,η2,μ)=−3​ap​q¯​−1​yq8​π2​A1/2​∑(n1,n2)∈ℤ2γ+​(n1+−1​y1,n2+−1​y2,μ),γp​4​(η1,η2,μ)=3​ap​q¯​−1​yq8​π2​A1/2​∑(n1,n2)∈ℤ2γ−​(n1+−1​y1,n2+−1​y2,μ).\begin{cases}\gamma_{p3}(\eta_{1},\eta_{2},\mu)=\frac{-3a_{p\bar{q}}\sqrt{-1}y_{q}}{8\pi^{2}A^{1/2}}\sum_{(n_{1},n_{2})\in\mathbb{Z}^{2}}\gamma_{+}(n_{1}+\sqrt{-1}y_{1},n_{2}+\sqrt{-1}y_{2},\mu),\\ \gamma_{p4}(\eta_{1},\eta_{2},\mu)=\frac{3a_{p\bar{q}}\sqrt{-1}y_{q}}{8\pi^{2}A^{1/2}}\sum_{(n_{1},n_{2})\in\mathbb{Z}^{2}}\gamma_{-}(n_{1}+\sqrt{-1}y_{1},n_{2}+\sqrt{-1}y_{2},\mu).\end{cases}

By the Cauchy integral test,

∑(n1,n2)∈ℤ21|(n1+−1​y1,n2+−1​y2,μ)|a3​ap​q¯​(np+−1​yp)​(nq−−1​yq)≤CI01≤CA−1/21ϱ3max(1,log(A​μ2|y|a2)).\begin{split}&\sum_{(n_{1},n_{2})\in\mathbb{Z}^{2}}\frac{1}{|(n_{1}+\sqrt{-1}y_{1},n_{2}+\sqrt{-1}y_{2},\mu)|_{a}^{3}a_{p\bar{q}}(n_{p}+\sqrt{-1}y_{p})(n_{q}-\sqrt{-1}y_{q})}\\ \leq&CI_{01}\leq CA^{-1/2}\frac{1}{\varrho^{3}}\max(1,\log(\frac{A\mu^{2}}{|y|_{a}^{2}})).\end{split}

Similarly,

|∑n1,n21(ap​q¯​(np+−1​yp)​(nq−−1​yq))2​|(n1+−1​y1,n2+−1​y2,μ)|a|≤CI02≤CA−1/21|y|a2​ϱ.\begin{split}&|\sum_{n_{1},n_{2}}\frac{1}{(a_{p\bar{q}}(n_{p}+\sqrt{-1}y_{p})(n_{q}-\sqrt{-1}y_{q}))^{2}|(n_{1}+\sqrt{-1}y_{1},n_{2}+\sqrt{-1}y_{2},\mu)|_{a}}|\\ \leq&CI_{02}\leq CA^{-1/2}\frac{1}{|y|_{a}^{2}\varrho}.\end{split}

Combining these two estimates,

|γp​3−γp​4|(η1,η2,μ)≤CA−1/2|ap​qyq||μ|1|y|a2​ϱ≤CA−1/4|μ||y|a​ϱ.|\gamma_{p3}-\gamma_{p4}|(\eta_{1},\eta_{2},\mu)\leq CA^{-1/2}|a_{pq}y_{q}||\mu|\frac{1}{|y|_{a}^{2}\varrho}\leq\frac{CA^{-1/4}|\mu|}{|y|_{a}\varrho}.

Morever, when μ≥0\mu\geq 0,

1ap​q¯​(np+−1​yp)​(nq−−1​yq)​|A1/2​μ|(n1+−1​y1,n2+−1​y2,μ)|a−1|≤C​1|(n1+−1​y1,n2+−1​y2,μ)|a2,\begin{split}&\frac{1}{a_{p\bar{q}}(n_{p}+\sqrt{-1}y_{p})(n_{q}-\sqrt{-1}y_{q})}|\frac{A^{1/2}\mu}{|(n_{1}+\sqrt{-1}y_{1},n_{2}+\sqrt{-1}y_{2},\mu)|_{a}}-1|\\ \leq&C\frac{1}{|(n_{1}+\sqrt{-1}y_{1},n_{2}+\sqrt{-1}y_{2},\mu)|_{a}^{2}},\end{split}

whence

|∑n1,n21|ap​q¯​(np+−1​yp)​(nq−−1​yq)|2​(A1/2​μ|(n1+−1​y1,n2+−1​y2,μ)|a−1)|≤C​∑n1,n21ap​q¯​(np+−1​yp)​(nq−−1​yq)​|(n1+−1​y1,n2+−1​y2,μ)|a2≤C​∫ℝ21ap​q¯​(sp+−1​yp)​(sq−−1​yq)​|(s1+−1​y1,s2+−1​y2,μ)|a2​d​s1​d​s2≤CA−1/21ϱ2max(1,log(A​μ2|y|a2)).\begin{split}&|\sum_{n_{1},n_{2}}\frac{1}{|a_{p\bar{q}}(n_{p}+\sqrt{-1}y_{p})(n_{q}-\sqrt{-1}y_{q})|^{2}}\left(\frac{A^{1/2}\mu}{|(n_{1}+\sqrt{-1}y_{1},n_{2}+\sqrt{-1}y_{2},\mu)|_{a}}-1\right)|\\ \leq&C\sum_{n_{1},n_{2}}\frac{1}{a_{p\bar{q}}(n_{p}+\sqrt{-1}y_{p})(n_{q}-\sqrt{-1}y_{q})|(n_{1}+\sqrt{-1}y_{1},n_{2}+\sqrt{-1}y_{2},\mu)|_{a}^{2}}\\ \leq&C\int_{\mathbb{R}^{2}}\frac{1}{a_{p\bar{q}}(s_{p}+\sqrt{-1}y_{p})(s_{q}-\sqrt{-1}y_{q})|(s_{1}+\sqrt{-1}y_{1},s_{2}+\sqrt{-1}y_{2},\mu)|_{a}^{2}}ds_{1}ds_{2}\\ \leq&CA^{-1/2}\frac{1}{\varrho^{2}}\max(1,\log(\frac{A\mu^{2}}{|y|_{a}^{2}})).\end{split}

This leads to

|γp​3​(η1,η2,μ)|≤C​A−1​|ap​q¯​yq|ϱ2​max⁡(1,log⁡(A​μ2|y|a2)),μ≥0.|\gamma_{p3}(\eta_{1},\eta_{2},\mu)|\leq\frac{CA^{-1}|a_{p\bar{q}}y_{q}|}{\varrho^{2}}\max(1,\log(\frac{A\mu^{2}}{|y|_{a}^{2}})),\quad\mu\geq 0.

Similarly

|γp​4​(η1,η2,μ)|≤C​A−1​|ap​q¯​yq|ϱ2​max⁡(1,log⁡(A​μ2|y|a2)),μ≤0.|\gamma_{p4}(\eta_{1},\eta_{2},\mu)|\leq\frac{CA^{-1}|a_{p\bar{q}}y_{q}|}{\varrho^{2}}\max(1,\log(\frac{A\mu^{2}}{|y|_{a}^{2}})),\quad\mu\leq 0.

For general |x1|,|x2|≤12|x_{1}|,|x_{2}|\leq\frac{1}{2}, the difference γp​3​(η1,η2,μ)−γp​3​(−1​y1,−1​y2,μ)\gamma_{p3}(\eta_{1},\eta_{2},\mu)-\gamma_{p3}(\sqrt{-1}y_{1},\sqrt{-1}y_{2},\mu), respectively γp​4​(η1,η2,μ)−γp​4​(−1​y1,−1​y2,μ)\gamma_{p4}(\eta_{1},\eta_{2},\mu)-\gamma_{p4}(\sqrt{-1}y_{1},\sqrt{-1}y_{2},\mu), can be estimated by termwise comparing the two series using the methods above. The result is

{|γp​3(η1,η2,μ)−γp​3(−1y1,−1y2,μ)|≤C⁡(|x1|+|x2|)A1/2​ϱ2max(1,log(A​μ2|y|a2)),μ≥0,|γp​4(η1,η2,μ)−γp​4(−1y1,−1y2,μ)|≤C⁡(|x1|+|x2|)A1/2​ϱ2max(1,log(A​μ2|y|a2)),μ≤0,\begin{cases}|\gamma_{p3}(\eta_{1},\eta_{2},\mu)-\gamma_{p3}(\sqrt{-1}y_{1},\sqrt{-1}y_{2},\mu)|\leq\frac{C(|x_{1}|+|x_{2}|)}{A^{1/2}\varrho^{2}}\max(1,\log(\frac{A\mu^{2}}{|y|_{a}^{2}})),\mu\geq 0,\\ |\gamma_{p4}(\eta_{1},\eta_{2},\mu)-\gamma_{p4}(\sqrt{-1}y_{1},\sqrt{-1}y_{2},\mu)|\leq\frac{C(|x_{1}|+|x_{2}|)}{A^{1/2}\varrho^{2}}\max(1,\log(\frac{A\mu^{2}}{|y|_{a}^{2}})),\mu\leq 0,\end{cases}

and

|(γp​3−γp​4)​(η1,η2,μ)−(γp​3−γp​4)​(−1​y1,−1​y2,μ)|≤C​|μ|​(|x1|+|x2|)|y|a2​ϱ,\begin{split}&|(\gamma_{p3}-\gamma_{p4})(\eta_{1},\eta_{2},\mu)-(\gamma_{p3}-\gamma_{p4})(\sqrt{-1}y_{1},\sqrt{-1}y_{2},\mu)|\leq\frac{C|\mu|(|x_{1}|+|x_{2}|)}{|y|_{a}^{2}\varrho},\end{split}

so the claims in the Lemma reduces to the special case x1=x2=0x_{1}=x_{2}=0 above. ∎

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