ScalingStacks

Proof. [042B]

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 notice in advance that α~1\tilde{\alpha}_{1} and α¯1\bar{\alpha}_{1} are periodic in η\eta, so it suffices to assume |x|≤1/2|x|\leq 1/2. The main idea of a variant of Cauchy’s integral test for convergence.

Using the fact that |∂2α1∂x2|≤C​a22(μ12+a22​|η|2)3/2|\frac{\partial^{2}\alpha_{1}}{\partial x^{2}}|\leq C\frac{a_{22}}{(\mu_{1}^{2}+a_{22}|\eta|^{2})^{3/2}}, and the mean value type inequality

f(0)−∫−1/21/2f(s)ds≤Csup|s|≤1/2|f′′(s)|,f(0)-\int_{-1/2}^{1/2}f(s)ds\leq C\sup_{|s|\leq 1/2}|f^{\prime\prime}(s)|,

we deduce that for |η|2+μ12a22≳1|\eta|^{2}+\frac{\mu_{1}^{2}}{a_{22}}\gtrsim 1,

|α1(μ1,μ2,η)−∫x−1/2x+1/2α1(μ1,μ2,s+−1y)ds|≤CA−1/4(|η|2+μ12a22)−3/2|\alpha_{1}(\mu_{1},\mu_{2},\eta)-\int_{x-1/2}^{x+1/2}\alpha_{1}(\mu_{1},\mu_{2},s+\sqrt{-1}y)ds|\leq CA^{-1/4}(|\eta|^{2}+\frac{\mu_{1}^{2}}{a_{22}})^{-3/2}

Thus for |x|≤1/2|x|\leq 1/2,

|∑n∈ℤ∖{0}{α1​(μ1,μ2,η+n)−∫x−1/2x+1/2α1​(μ1,μ2,s+n+−1​y)​ds}|≤CA−1/4∑|n|≠0(|η+n|2+μ12a22)−3/2≤CA−1/4,\begin{split}&|\sum_{n\in\mathbb{Z}\setminus\{0\}}\{\alpha_{1}(\mu_{1},\mu_{2},\eta+n)-\int_{x-1/2}^{x+1/2}\alpha_{1}(\mu_{1},\mu_{2},s+n+\sqrt{-1}y)ds\}|\\ &\leq CA^{-1/4}\sum_{|n|\neq 0}(|\eta+n|^{2}+\frac{\mu_{1}^{2}}{a_{22}})^{-3/2}\leq CA^{-1/4},\end{split}

and the sum converges to zero as μ12+|η|2→∞\mu_{1}^{2}+|\eta|^{2}\to\infty.

In particular if y2+a22−1​μ12≳1y^{2}+a_{22}^{-1}\mu_{1}^{2}\gtrsim 1, then adding the above two inequalities already implies the bound

|α~1−α¯1|=|∑n∈ℤ{α1(μ1,μ2,η+n)−∫x−1/2x+1/2α1(μ1,μ2,s+n+−1y)ds}|≤CA−1/4,\begin{split}|\tilde{\alpha}_{1}-\bar{\alpha}_{1}|&=|\sum_{n\in\mathbb{Z}}\{\alpha_{1}(\mu_{1},\mu_{2},\eta+n)-\int_{x-1/2}^{x+1/2}\alpha_{1}(\mu_{1},\mu_{2},s+n+\sqrt{-1}y)ds\}|\leq CA^{-1/4},\end{split}

and that |α~1−α¯1||\tilde{\alpha}_{1}-\bar{\alpha}_{1}| converges to zero as μ12+|η|2→∞\mu_{1}^{2}+|\eta|^{2}\to\infty.

If however y2+a22−1​μ12≪1y^{2}+a_{22}^{-1}\mu_{1}^{2}\ll 1 but μ2≲−A1/4\mu_{2}\lesssim-A^{1/4}, then we can make

a22​μ2+a12​μ1A1/2​μ12+a22​|η|2≲−1,\frac{a_{22}\mu_{2}+a_{12}\mu_{1}}{A^{1/2}\sqrt{\mu_{1}^{2}+a_{22}|\eta|^{2}}}\lesssim-1,

and the Taylor expansion of arctan\arctan will ensure |α1​(μ1,μ2,η)|≤C−μ2|\alpha_{1}(\mu_{1},\mu_{2},\eta)|\leq\frac{C}{-\mu_{2}}, so

|α1(μ1,μ2,η)−∫x−1/2x+1/2α1(μ1,μ2,s+−1y)ds|≤Cμ2−1≤CA−1/4,|\alpha_{1}(\mu_{1},\mu_{2},\eta)-\int_{x-1/2}^{x+1/2}\alpha_{1}(\mu_{1},\mu_{2},s+\sqrt{-1}y)ds|\leq C\mu_{2}^{-1}\leq CA^{-1/4},

from which we again deduce |α~1−α¯1|≤CA−1/4|\tilde{\alpha}_{1}-\bar{\alpha}_{1}|\leq CA^{-1/4}. ∎

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