ScalingStacks

Proof. [042J]

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.

Let μ1,μ2\mu_{1},\mu_{2} be fixed. The essential task is to understand the asymptotic behaviour of βi​(μ1,μ2,η+n)\beta_{i}(\mu_{1},\mu_{2},\eta+n) as |n||n| becomes large. We focus on β1\beta_{1}.

Using the homogeneity property of α1,α2,α3\alpha_{1},\alpha_{2},\alpha_{3} in the μ1,μ2\mu_{1},\mu_{2} and η\eta variables, it is easy to see from the integral definition of β1\beta_{1} that

β1​(0,0,η)=1η​β1​(0,0,1),|β1​(0,0,1)|≤C.\beta_{1}(0,0,\eta)=\frac{1}{\eta}\beta_{1}(0,0,1),\quad|\beta_{1}(0,0,1)|\leq C.

By elementary properties of arctan

α1​(μ1,μ2,η)=14​μ12+a22​|η|2+O⁡(|μ1|+|μ2|μ12+a22​|η|2),\alpha_{1}(\mu_{1},\mu_{2},\eta)=\frac{1}{4\sqrt{\mu_{1}^{2}+a_{22}|\eta|^{2}}}+O(\frac{|\mu_{1}|+|\mu_{2}|}{\mu_{1}^{2}+a_{22}|\eta|^{2}}),
∂α1∂η=−a22​η¯8​(μ12+a22​|η|2)3/2​(1+O⁡(|μ1|+|μ2|(μ12+a22​|η|2)1/2)),\frac{\partial\alpha_{1}}{\partial\eta}=\frac{-a_{22}\bar{\eta}}{8(\mu_{1}^{2}+a_{22}|\eta|^{2})^{3/2}}\left(1+O(\frac{|\mu_{1}|+|\mu_{2}|}{(\mu_{1}^{2}+a_{22}|\eta|^{2})^{1/2}})\right),

and similarly

∂α3∂η=−(a11+2​a22+a22)​η¯8​((μ1−μ2)2+(a11+2​a22+a22)​|η|2)3/2​(1+O⁡(|μ1|+|μ2|((μ1−μ2)2+A1/2​|η|2)1/2)).\frac{\partial\alpha_{3}}{\partial\eta}=\frac{-(a_{11}+2a_{22}+a_{22})\bar{\eta}}{8((\mu_{1}-\mu_{2})^{2}+(a_{11}+2a_{22}+a_{22})|\eta|^{2})^{3/2}}\left(1+O(\frac{|\mu_{1}|+|\mu_{2}|}{((\mu_{1}-\mu_{2})^{2}+A^{1/2}|\eta|^{2})^{1/2}})\right).

After integration

|β1​(μ1,μ2,η)−β1​(0,0,η)|≤C⁡(|μ1|+|μ2|)|η|​(1μ12+a22​|η|2+1(μ1−μ2)2+a22​|η|2).\begin{split}|\beta_{1}(\mu_{1},\mu_{2},\eta)-\beta_{1}(0,0,\eta)|\leq\frac{C(|\mu_{1}|+|\mu_{2}|)}{|\eta|}(\frac{1}{\sqrt{\mu_{1}^{2}+a_{22}|\eta|^{2}}}+\frac{1}{\sqrt{(\mu_{1}-\mu_{2})^{2}+a_{22}|\eta|^{2}}}).\end{split}

This shows the series

∑n∈ℤβ1​(μ1,μ2,η+n)−β1​(0,0,η+n)\sum_{n\in\mathbb{Z}}\beta_{1}(\mu_{1},\mu_{2},\eta+n)-\beta_{1}(0,0,\eta+n)

is absolutely convergent if η∉ℤ\eta\notin\mathbb{Z}, and if morever |x|≤12|x|\leq\frac{1}{2} then we have the bound

∑n∈ℤ∖{0}|β1​(μ1,μ2,η+n)−β1​(0,0,η+n)|≤C⁡(|μ1|+|μ2|)A1/4.\sum_{n\in\mathbb{Z}\setminus\{0\}}|\beta_{1}(\mu_{1},\mu_{2},\eta+n)-\beta_{1}(0,0,\eta+n)|\leq\frac{C(|\mu_{1}|+|\mu_{2}|)}{A^{1/4}}.

Thus the convergence of the series β~1\tilde{\beta}_{1} is equivalent to the convergence of

limN→∞∑n=−NNβ1​(0,0,η+n)=β1​(0,0,1)​limN→∞∑n=−NN1η+n=β1​(0,0,1)​π​cot⁡(π​η),\lim_{N\to\infty}\sum_{n=-N}^{N}\beta_{1}(0,0,\eta+n)=\beta_{1}(0,0,1)\lim_{N\to\infty}\sum_{n=-N}^{N}\frac{1}{\eta+n}=\beta_{1}(0,0,1)\pi\cot(\pi\eta),

and similarly for β~2\tilde{\beta}_{2} and β~0\tilde{\beta}_{0}. The periodicity claim follows from standard rearranging theorems for series. The estimate on β~i−βi\tilde{\beta}_{i}-\beta_{i} follows by combining the above discussions. ∎

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